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

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By ACM Press

9781450369978
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

2019 ◽  
Author(s):  
Mohammad Hekmatnejad ◽  
Shakiba Yaghoubi ◽  
Adel Dokhanchi ◽  
Heni Ben Amor ◽  
Aviral Shrivastava ◽  
...  
Keyword(s):  
Temporal Logic ◽  
Automated Vehicles ◽  
Safety Rules

scholarly journals Lattice-based SMT for program verification

2019 ◽  
Author(s):  
Karine Even-Mendoza ◽  
Antti E. J. Hyvärinen ◽  
Hana Chockler ◽  
Natasha Sharygina
Keyword(s):  
Program Verification

scholarly journals RTL bug localization through LTL specification mining (WIP)

2019 ◽  
Author(s):  
Vighnesh Iyer ◽  
Donggyu Kim ◽  
Borivoje Nikolic ◽  
Sanjit A. Seshia
Keyword(s):  
Bug Localization ◽  
Specification Mining

Polyhedral fragments

2019 ◽  
Author(s):  
Michael Witterauf ◽  
Frank Hannig ◽  
Jürgen Teich
Load More ...
Sign in / Sign up

Export Citation Format

Share Document