EPTCS 105 - FTSCS 2012
Peter Csaba Ölveczky, Cyrille Artho (Eds.): Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems. 2012 EPTCS 105 [ contents ]- Ralf Huuck: Formal Verification, Engineering and Business Value. ... 1-4
- Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky: PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude. ... 5-21
- Adrien Champion, Rémi Delmas, Michael Dierkes: Generating Property-Directed Potential Invariants By Backward Analysis. ... 22-38
- Masahiro Matsubara, Kohei Sakurai, Fumio Narisawa, Masushi Enshoiwa, Yoshio Yamane, Hisamitsu Yamanaka: Model Checking with Program Slicing Based on Variable Dependence Graphs. ... 56-68
- Mingyu Park, Taejoon Byun, Yunja Choi: Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems. ... 69-84
- Siraj Ahmed Shaikh, Padmanabhan Krishnan: A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles. ... 85-99
- Chen-Wei Wang, Jim Davies: Formal Model-Driven Engineering: Generating Data and Behavioural Components. ... 100-117
- Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu: MDM: A Mode Diagram Modeling Framework. ... 135-149
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team