Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450369978

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361203 ◽

2019 ◽

Cited By ~ 2

Author(s):

Mohammad Hekmatnejad ◽

Shakiba Yaghoubi ◽

Adel Dokhanchi ◽

Heni Ben Amor ◽

Aviral Shrivastava ◽

...

Keyword(s):

Temporal Logic ◽

Automated Vehicles ◽

Safety Rules

Download Full-text

A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361198 ◽

2019 ◽

Author(s):

Jin Woo Ro ◽

Avinash Malik ◽

Partha Roop

Keyword(s):

Hybrid Automata ◽

Compositional Semantics

Download Full-text

Lattice-based SMT for program verification

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361214 ◽

2019 ◽

Author(s):

Karine Even-Mendoza ◽

Antti E. J. Hyvärinen ◽

Hana Chockler ◽

Natasha Sharygina

Keyword(s):

Program Verification

Download Full-text

RTL bug localization through LTL specification mining (WIP)

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361202 ◽

2019 ◽

Author(s):

Vighnesh Iyer ◽

Donggyu Kim ◽

Borivoje Nikolic ◽

Sanjit A. Seshia

Keyword(s):

Bug Localization ◽

Specification Mining

Download Full-text

Polyhedral fragments

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361205 ◽

2019 ◽

Author(s):

Michael Witterauf ◽

Frank Hannig ◽

Jürgen Teich

Download Full-text

Securing implantable medical devices with runtime enforcement hardware

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361200 ◽

2019 ◽

Author(s):

Hammond Pearce ◽

Matthew M. Y. Kuo ◽

Partha S. Roop ◽

Srinivas Pinisetty

Keyword(s):

Medical Devices ◽

Implantable Medical Devices ◽

Runtime Enforcement

Download Full-text

Security analysis of cloud-connected industrial control systems using combinatorial testing

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361211 ◽

2019 ◽

Author(s):

Peter W. V. Tran-Jørgensen ◽

Tomas Kulik ◽

Jalil Boudjadar ◽

Peter Gorm Larsen

Keyword(s):

Control Systems ◽

Security Analysis ◽

Combinatorial Testing ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Logical specification and uniform synthesis of robust controllers

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361213 ◽

2019 ◽

Cited By ~ 1

Author(s):

Paritosh K. Pandya ◽

Amol Wakankar

Keyword(s):

Robust Controllers ◽

Logical Specification

Download Full-text

A compositional approach for real-time machine learning

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361204 ◽

2019 ◽

Author(s):

Nathan Allen ◽

Yash Raje ◽

Jin Woo Ro ◽

Partha Roop

Keyword(s):

Machine Learning ◽

Real Time ◽

Time Machine ◽

Compositional Approach

Download Full-text

Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361199 ◽

2019 ◽

Cited By ~ 1

Author(s):

David J. Greaves

Download Full-text

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic

A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata

Lattice-based SMT for program verification

RTL bug localization through LTL specification mining (WIP)

Polyhedral fragments

Securing implantable medical devices with runtime enforcement hardware

Security analysis of cloud-connected industrial control systems using combinatorial testing

Logical specification and uniform synthesis of robust controllers

A compositional approach for real-time machine learning

Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19
Latest Publications