TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox Claude Helmstetter 02:1-02:18 2014-04-25
Introduction to the Special Issue on Distributed Hybrid Systems Alessandro Abate, Uli Fahrenberg, Martin Fränzle 00:1-00:3 2022-12-07
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle 04:1-04:34 2022-12-07
Real-Time Verification for Distributed Cyber-Physical Systems Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson 07:1-07:19 2022-12-07
Safety Verification of Networked Control Systems by Complex Zonotopes Arvind Adimoolam, Thao Dang 01:1-01:22 2022-12-07
Local Planning Semantics: A Semantics for Distributed Real-Time Systems Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga 01:1-01:27 2019-02-18
Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains Eric W. D. Rozier, Kristin Y. Rozier, Ulya Bayram 05:1-05:26 2017-02-28