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

Formal Analysis and Verification of DDS in ROS2

2018 ◽  
Author(s):  
Yanan Liu ◽  
Yong Guan ◽  
Xiaojuan Li ◽  
Rui Wang ◽  
Jie Zhang
Keyword(s):  
Formal Analysis

Quotient for Assume-Guarantee Contracts

2018 ◽  
Author(s):  
Inigo Incer Romeo ◽  
Alberto Sangiovanni-Vincentelli ◽  
Chung-Wei Lin ◽  
Eunsuk Kang

Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension

2018 ◽  
Author(s):  
Jinmiao Xu ◽  
Zhibin Yang ◽  
Zhiqiu Huang ◽  
Yong Zhou ◽  
Chengwei Liu ◽  
...  
Keyword(s):  
Functional Specification

Security of Pacemakers using Runtime Verification

2018 ◽  
Author(s):  
Srinivas Pinisetty ◽  
Partha S Roop ◽  
Vidula Sawant ◽  
Gerardo Schneider
Keyword(s):  
Runtime Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document