2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Stately: An FSM Design Tool.

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315130 ◽

2020 ◽

Author(s):

Jeremy Pope ◽

Jules Saget ◽

Carl-Johan H. Seger

Keyword(s):

Design Tool

Download Full-text

Specification-guided Software Fault Localization for Autonomous Mobile Systems

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315067 ◽

2020 ◽

Author(s):

Tomoya Yamaguchi ◽

Bardh Hoxha ◽

Danil Prokhorov ◽

Jyotirmoy V. Deshmukh

Keyword(s):

Fault Localization ◽

Mobile Systems ◽

Software Fault

Download Full-text

Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315118 ◽

2020 ◽

Author(s):

Nikhil Naik ◽

Pierluigi Nuzzo

Keyword(s):

Neural Network ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9314994 ◽

2020 ◽

Author(s):

Marcelo Forets ◽

Daniel Freire ◽

Christian Schilling

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315182 ◽

2020 ◽

Author(s):

Mariia Vasileva ◽

Fedor Shmarov ◽

Paolo Zuliani

Keyword(s):

Hybrid Systems ◽

Gaussian Processes ◽

Stochastic Hybrid Systems

Download Full-text

Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315160 ◽

2020 ◽

Author(s):

Moon Soo Kim ◽

Weiwei Ai ◽

Partha S Roop ◽

Nathan Allen ◽

Rohit Ramchandra ◽

...

Keyword(s):

Heart Failure ◽

Formal Modeling ◽

Rate Adaptive

Download Full-text

Safe and efficient collision avoidance control for autonomous vehicles

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315034 ◽

2020 ◽

Author(s):

Qiang Wang ◽

Dachuan Li ◽

Joseph Sifakis

Keyword(s):

Collision Avoidance ◽

Autonomous Vehicles ◽

Collision Avoidance Control ◽

Avoidance Control

Download Full-text

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315153 ◽

2020 ◽

Author(s):

Luan Viet Nguyen ◽

Gautam Mohan ◽

James Weimer ◽

Oleg Sokolsky ◽

Insup Lee ◽

...

Keyword(s):

Hybrid Systems ◽

Model Based

Download Full-text

Runtime Verification of Timed Properties in Autonomous Robots

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315156 ◽

2020 ◽

Author(s):

Mohammed Foughali ◽

Saddek Bensalem ◽

Jacques Combaz ◽

Felix Ingrand

Keyword(s):

Autonomous Robots ◽

Runtime Verification ◽

Timed Properties

Download Full-text

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memocode51338.2020.9315135 ◽

2020 ◽

Author(s):

Maryam Bagheri ◽

Edward A. Lee ◽

Eunsuk Kang ◽

Marjan Sirjani ◽

Ehsan Khamespanah ◽

...

Keyword(s):

Control Systems ◽

Traffic Control ◽

Formal Method ◽

Robust Routing

Download Full-text

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Stately: An FSM Design Tool.

Specification-guided Software Fault Localization for Autonomous Mobile Systems

Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes

Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure

Safe and efficient collision avoidance control for autonomous vehicles

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency

Runtime Verification of Timed Properties in Autonomous Robots

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems

Export Citation Format

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Stately: An FSM Design Tool.

Specification-guided Software Fault Localization for Autonomous Mobile Systems

Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes

Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure

Safe and efficient collision avoidance control for autonomous vehicles

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency

Runtime Verification of Timed Properties in Autonomous Robots

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Latest Publications