default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDependable Software Systems Engineering 2017
- Alexander Pretschner, Doron Peled, Thomas Hutzelmann:
Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security 50, IOS Press 2017, ISBN 978-1-61499-809-9 - Rajeev Alur, Konstantinos Mamouras:
An Introduction to the StreamQRE Language. 1-24 - Bernd Finkbeiner, Felix Klein:
Reactive Synthesis: Towards Output-Sensitive Algorithms. 25-43 - Constance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer:
Computing the Next-State Function of a Requirements Model. 44-59 - Kim G. Larsen
, Uli Fahrenberg, Axel Legay:
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. 60-103 - Peter Müller, Malte Schwerhoff, Alexander J. Summers:
Viper: A Verification Infrastructure for Permission-Based Reasoning. 104-125 - Doron Peled:
Automata Based Validation Techniques. 126-140 - Alexander Pretschner:
Defect-Based Testing. 141-163 - Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. 164-185 - Grigore Rosu:
𝕂: A Semantic Framework for Programming Languages and Formal Analysis Tools. 186-206 - John Rushby:
Assurance and Assurance Cases. 207-235
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 2025-12-09 23:22 CET 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:
