2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By IEEE

9781538661956

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8557004 ◽

2018 ◽

Author(s):

Jonatan Wiik ◽

Johan Ersfolk ◽

Marina Walden

Keyword(s):

Dataflow Networks

Download Full-text

Formal Analysis and Verification of DDS in ROS2

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556970 ◽

2018 ◽

Author(s):

Yanan Liu ◽

Yong Guan ◽

Xiaojuan Li ◽

Rui Wang ◽

Jie Zhang

Keyword(s):

Formal Analysis

Download Full-text

Model Order Reduction of Nonlinear Circuit using Proper Orthogonal Decomposition and Nonlinear Autoregressive with eXogenous input (NARX) Neural Network

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556906 ◽

2018 ◽

Author(s):

S. Nagaraj ◽

D. Seshachalam ◽

Sunil Hucharaddi

Keyword(s):

Neural Network ◽

Proper Orthogonal Decomposition ◽

Model Order Reduction ◽

Order Reduction ◽

Orthogonal Decomposition ◽

Nonlinear Circuit ◽

Model Order ◽

Proper Orthogonal ◽

Nonlinear Autoregressive ◽

Narx Neural Network

Download Full-text

Run-time Requirement Enforcement for Loop Programs on Processor Arrays

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556911 ◽

2018 ◽

Author(s):

Michael Witterauf ◽

Jurgen Teich

Keyword(s):

Time Requirement ◽

Processor Arrays ◽

Download Full-text

Quotient for Assume-Guarantee Contracts

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556872 ◽

2018 ◽

Author(s):

Inigo Incer Romeo ◽

Alberto Sangiovanni-Vincentelli ◽

Chung-Wei Lin ◽

Eunsuk Kang

Download Full-text

Security of Pacemakers using Runtime Verification

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556922 ◽

2018 ◽

Author(s):

Srinivas Pinisetty ◽

Partha S Roop ◽

Vidula Sawant ◽

Gerardo Schneider

Keyword(s):

Runtime Verification

Download Full-text

It’s a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556996 ◽

2018 ◽

Author(s):

Mladen Skelin ◽

Marc Geilen

Keyword(s):

Time Dependent ◽

Modeling And Analysis ◽

Download Full-text

MEMOCODE 2018 Welcome Message from the Chairs

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556934 ◽

2018 ◽

Keyword(s):

Download Full-text

MEMOCODE 2018 Tutorials

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556926 ◽

2018 ◽

Download Full-text

MEMOCODE 2018 Committees

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556905 ◽

2018 ◽

Download Full-text