default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDependable Software Systems Engineering 2016
- Javier Esparza, Orna Grumberg, Salomon Sickert:
Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security 45, IOS Press 2016, ISBN 978-1-61499-626-2 - Christel Baier
:
Probabilistic Model Checking. 1-23 - Nikolaj S. Bjørner:
SMT Solvers: Foundations and Applications. 24-32 - Véronique Cortier, Steve Kremer:
Formal Models for Analyzing Security Protocols: Some Lecture Notes. 33-58 - Javier Esparza:
Parameterized Verification of Crowds of Anonymous Processes. 59-71 - Bernd Finkbeiner:
Synthesis of Reactive Systems. 72-98 - Patrice Godefroid:
Between Testing and Verification: Dynamic Software Model Checking. 99-116 - Orna Grumberg, Yael Meller:
Learning-Based Compositional Model Checking of Behavioral UML Systems. 117-136 - Sumit Gulwani:
Programming by Examples - and its applications in Data Wrangling. 137-158 - Daniel Kroening:
Verification of Concurrent Software. 159-178 - Jean-François Raskin:
A Tutorial on Mean-payoff and Energy Games. 179-201 - Helmut Seidl, Sebastian Maneth, Gregor Kemper, Joost Engelfriet:
Equivalence - Combinatorics, Algebra, Proofs. 202-243 - Eran Yahav:
Analysis and Synthesis with "Big Code". 244-282
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-12-23 19:41 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:
