default search action

combined dblp search
author search
venue search
publication search

ask others

6th FTSCS 2018: Gold Coast, Australia

> 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/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2018
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Communications in Computer and Information Science 1008, Springer 2019, ISBN 978-3-030-12987-3

Analysis and Verification of Safety-Critical Systems

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/AhmedHA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/AhmedHA18
Asad Ahmed, Osman Hasan, Falah Awwad:
Formal Stability Analysis of Control Systems. 3-17
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/KamaliL018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/KamaliL018
Maryam Kamali, Sven Linker, Michael Fisher:
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. 18-36
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/MikaelyanMGN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/MikaelyanMGN18
Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll:
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees. 37-54
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/TornblomN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/TornblomN18
John Törnblom, Simin Nadjm-Tehrani:
Formal Verification of Random Forests in Safety-Critical Applications. 55-71

Analysis of Timed Systems

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/Andre18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/Andre18
Étienne André:
A Benchmark Library for Parametric Timed Model Checking. 75-83
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/AinH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/AinH18
Qurat Ul Ain, Osman Hasan:
Formal Timing Analysis of Digital Circuits. 84-100
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ZhangWCM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ZhangWCM18
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet:
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. 101-118

Semantics and Analysis Methods

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/MorrisSHAB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/MorrisSHAB18
Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler:
Refinement of Statecharts with Run-to-Completion Semantics. 121-138
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/TimmG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/TimmG18
Nils Timm, Stefan Gruner:
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. 139-157

Model Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/SilvaBSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/SilvaBSH18
William da Silva, Max Bureck, Ina Schieferdecker, Christian Hein:
Model Transformation with Triple Graph Grammars and Non-terminal Symbols. 161-177

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.