Z. Wang, G. Pu, S. Qin, J. Li, K. Larsen, J. Madsen, B. Gu and J. He | MDM: A Mode Diagram Modeling Framework for Periodic Control Systems |
A. Champion, R. Delmas and M. Dierkes | Generating Property Directed Potential Invariants By Backward Analysis |
A. Campetelli and M. Spichkova | Towards system development methodologies: From software to cyber-physical domain |
J. Suryadevara and L. Yin | Timed Automata Modeling of CCSL Constraints |
M. Wang and Y. Lu | A Timed Calculus for Mobile Ad Hoc Networks |
S. Shaikh and P. Krishnan | A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles |
K. Bae, J. Krisiloff, J. Meseguer and P. Olveczky | PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude |
P. Hui and S. Chikkagoudar | Formal Verification of Temporal Properties In Real-Time Parallel Computation |
M. Mahmoud, V. Aravantinos and S. Tahar | Towards the Formal Verification of Quantum Optical Systems |
M. Matsubara, K. Sakurai, F. Narisawa, M. Enshoiwa, Y. Yamane and H. Yamanaka | Model Checking with Program Slicing Based on Variable Dependence Graph |
C. Wang | Formal Model-Driven Engineering: Generating Data and Behavioural Components |
M. Park, T. Byun and Y. Choi | Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems |