FTSCS 2012
First International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2012 Satellite Event)

Kyoto, Japan, November 12, 2012


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