default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th FTSCS 2015: Paris, France
- Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers. Communications in Computer and Information Science 596, Springer 2016, ISBN 978-3-319-29509-1
Invited Paper
- José Meseguer:
Variant-Based Satisfiability in Initial Algebras. 3-34
Timed Systems
- Min Zhang
, Frédéric Mallet:
An Executable Semantics of Clock Constraint Specification Language and Its Applications. 37-51 - Étienne André:
What's Decidable About Parametric Timed Automata? 52-68 - Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim:
Compositional Predictability Analysis of Mixed Critical Real Time Systems. 69-84
Railway Systems
- Stefan Gruner, Apurva Kumar, Tom Maibaum:
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. 87-102 - Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger:
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. 103-120 - Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
Modeling Railway Control Systems in Promela. 121-136
Fault Tolerance
- Klaus Becker, Sebastian Voss:
A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems. 139-154 - Xi Wu, Huibiao Zhu:
Probabilistic Analysis of a Calculus for Wireless Sensor Networks. 155-171 - Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette:
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. 172-186
Automotive Systems
- Majdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer:
A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications. 189-205 - Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa:
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. 206-221
Software and Systems Analysis
- Pablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck:
An Approach to Static-Dynamic Software Analysis. 225-240 - Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki:
Towards Verifying VDM Using SPIN. 241-256
Tools
- Axel Legay, Louis-Marie Traonouez:
Statistical Model Checking of Simulink Models with Plasma Lab. 259-264 - Fahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan:
g-HOL: A Graphical User Interface for the HOL Proof Assistant. 265-269
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-20 23:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
