Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th FTSCS 2018: Gold Coast, Australia
- 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
- Asad Ahmed, Osman Hasan, Falah Awwad:
Formal Stability Analysis of Control Systems. 3-17 - Maryam Kamali, Sven Linker
, Michael Fisher:
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. 18-36 - Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll:
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees. 37-54 - John Törnblom, Simin Nadjm-Tehrani:
Formal Verification of Random Forests in Safety-Critical Applications. 55-71
Analysis of Timed Systems
- Étienne André:
A Benchmark Library for Parametric Timed Model Checking. 75-83 - Qurat Ul Ain, Osman Hasan:
Formal Timing Analysis of Digital Circuits. 84-100 - 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
- Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler:
Refinement of Statecharts with Run-to-Completion Semantics. 121-138 - Nils Timm, Stefan Gruner:
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. 139-157
Model Transformation
- William da Silva, Max Bureck, Ina Schieferdecker, Christian Hein:
Model Transformation with Triple Graph Grammars and Non-terminal Symbols. 161-177
a service of 
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 2024-06-29 00:44 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:
