default search action

combined dblp search
author search
venue search
publication search

ask others

4th FTSCS 2015: Paris, France

> Home > Conferences and Workshops > FTSCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2015
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

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/Meseguer15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/Meseguer15
José Meseguer:
Variant-Based Satisfiability in Initial Algebras. 3-34

Timed Systems

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ZhangM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ZhangM15
Min Zhang, Frédéric Mallet:
An Executable Semantics of Clock Constraint Specification Language and Its Applications. 37-51
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/Andre15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/Andre15
Étienne André:
What's Decidable About Parametric Timed Automata? 52-68
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/BoudjadarDMK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/BoudjadarDMK15
Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim:
Compositional Predictability Analysis of Mixed Critical Real Time Systems. 69-84

Railway Systems

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/GrunerKM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/GrunerKM15
Stefan Gruner, Apurva Kumar, Tom Maibaum:
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. 87-102
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/JamesLRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/JamesLRS15
Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger:
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. 103-120
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/NardoneGBPVMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/NardoneGBPVMM15
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
Modeling Railway Control Systems in Promela. 121-136

Fault Tolerance

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/BeckerV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/BeckerV15
Klaus Becker, Sebastian Voss:
A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems. 139-154
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/WuZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/WuZ15
Xi Wu, Huibiao Zhu:
Probabilistic Analysis of a Calculus for Wireless Sensor Networks. 155-171
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/MayoAH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/MayoAH15
Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette:
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. 172-186

Automotive Systems

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/GhadhabKKF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/GhadhabKKF15
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
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/AokiTCMNN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/AokiTCMNN15
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

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/AledoSH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/AledoSH15
Pablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck:
An Approach to Static-Dynamic Software Analysis. 225-240
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/LinOKA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/LinOKA15
Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki:
Towards Verifying VDM Using SPIN. 241-256

Tools

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/LegayT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/LegayT15
Axel Legay, Louis-Marie Traonouez:
Statistical Model Checking of Simulink Models with Plasma Lab. 259-264
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ArshadMRH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ArshadMRH15
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.