default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th FTSCS 2016: Tokyo, Japan
- Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers. Communications in Computer and Information Science 694, 2017, ISBN 978-3-319-53945-4
Specification and Verification
- Pedro de Carvalho Gomes, Dilian Gurov
, Marieke Huisman:
Specification and Verification of Synchronization with Condition Variables. 3-19 - Brijesh Dongol:
An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction. 20-35
Automotive and Railway Systems
- Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen:
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. 39-54 - Eduard Kamburjan, Reiner Hähnle:
Uniform Modeling of Railway Operations. 55-71
Circuits and Cyber-Physical Systems
- Imran Hafeez Abbasi, Faiq Khalid Lodhi, Awais Mehmood Kamboh, Osman Hasan:
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. 75-92 - Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. 93-108 - Richard Banach, Huibiao Zhu:
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. 109-125
Parametrized Verification
- Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André:
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. 129-144 - Nils Timm, Stefan Gruner:
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction. 145-160
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-04-29 00:29 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:
