Abstract is missing.
- Variant-Based Satisfiability in Initial AlgebrasJosé Meseguer. 3-34 [doi]
- An Executable Semantics of Clock Constraint Specification Language and Its ApplicationsMin Zhang, Frédéric Mallet. 37-51 [doi]
- What's Decidable About Parametric Timed Automata?Étienne André. 52-68 [doi]
- Compositional Predictability Analysis of Mixed Critical Real Time SystemsAbdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim. 69-84 [doi]
- Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled KnowledgeStefan Gruner, Apurva Kumar, Tom Maibaum. 87-102 [doi]
- Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time MaudePhillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger. 103-120 [doi]
- Modeling Railway Control Systems in PromelaRoberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca. 121-136 [doi]
- A Formal Model and Analysis of Feature Degradation in Fault-Tolerant SystemsKlaus Becker, Sebastian Voss. 139-154 [doi]
- Probabilistic Analysis of a Calculus for Wireless Sensor NetworksXi Wu, Huibiao Zhu. 155-171 [doi]
- Leveraging Abstraction to Establish Out-of-Nominal Safety PropertiesJackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette. 172-186 [doi]
- A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive ApplicationsMajdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer. 189-205 [doi]
- Modeling Safety Requirements of ISO26262 Using Goal Trees and PatternsToshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa. 206-221 [doi]
- An Approach to Static-Dynamic Software AnalysisPablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck. 225-240 [doi]
- Towards Verifying VDM Using SPINHsin-hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki. 241-256 [doi]
- g-HOL: A Graphical User Interface for the HOL Proof AssistantFahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan. 265-269 [doi]