Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th SPIN 2013: Stony Brook, NY, USA
- Ezio Bartocci, C. R. Ramakrishnan:
Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Lecture Notes in Computer Science 7976, Springer 2013, ISBN 978-3-642-39175-0 - Dirk Beyer
, Philipp Wendler:
Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. 1-17 - Gerard J. Holzmann:
Proving Properties of Concurrent Programs - (Extended Abstract). 18-23 - Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang:
Verifying a Quantitative Relaxation of Linearizability via Refinement. 24-42 - Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. 43-60 - Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
On-the-Fly Control Software Synthesis. 61-80 - Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek:
Compositional Approach to Suspension and Other Improvements to LTL Translation. 81-98 - John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk:
Regression Verification Using Impact Summaries. 99-116 - Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle:
Abstraction-Based Guided Search for Hybrid Systems. 117-134 - Sagar Chaki, Joseph Andrew Giampapa:
Probabilistic Verification of Coordinated Multi-robot Missions. 135-153 - Chih-Hong Cheng, Michael Geisinger, Christian Buckl:
Synthesizing Controllers for Automation Tasks with Performance Guarantees. 154-159 - Giorgio Delzanno, Riccardo Traverso:
Specification and Validation of Link Reversal Routing via Graph Transformations. 160-177 - Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard:
Local Model Checking of Weighted CTL with Upper-Bound Constraints. 178-195 - Sven Gröning, Christopher Rosas, Christian Wietfeld:
COMPLeTe - A COMmunication Protocol vaLidation Toolchain. 196-208 - Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder:
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. 209-226 - Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber:
Guard-Based Partial-Order Reduction. 227-245 - Florian Leitner-Fischer, Stefan Leue:
On the Synergy of Probabilistic Causality Computation and Causality Checking. 246-263 - Stefan Leue, Mitra Tabaei Befrouei:
Mining Sequential Patterns to Explain Concurrent Counterexamples. 264-281 - Nuno P. Lopes, José Monteiro:
Automatic Equivalence Checking of UF+IA Programs. 282-300 - Anthony Romano, Dawson R. Engler:
Expression Reduction from Programs in a Symbolic Binary Executor. 301-319 - Divjyot Sethi, Muralidhar Talupur, Sharad Malik:
Model Checking Unbounded Concurrent Lists. 320-340 - Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
Property-Driven Benchmark Generation. 341-357 - Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
Error-Completion in Interface Theories. 358-375
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-04-22 20:00 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:
