![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
4th 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.