default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th SPIN 2018: Malaga, Spain
- María-del-Mar Gallardo, Pedro Merino:
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10869, Springer 2018, ISBN 978-3-319-94110-3
Tutorial and Invited Papers
- Irina Mariuca Asavoae, Hoang Nga Nguyen
, Markus Roggenbach:
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. 3-25 - Klaus Havelund, Doron Peled:
Efficient Runtime Verification of First-Order Temporal Properties. 26-47 - Radu Iosif:
Program Verification with Separation Logic. 48-62
Regular Papers
- Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio:
Petri Net Reductions for Counting Markings. 65-84 - Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen:
Improving Generalization in Software IC3. 85-102 - Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann:
Star-Topology Decoupling in SPIN. 103-114 - Marek Chalupa, Jan Strejcek, Martina Vitovská:
Joint Forces for Memory Safety Checking. 115-132 - Adrien Pommellet, Tayssir Touili:
Model-Checking HyperLTL for Pushdown Systems. 133-152 - Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff:
A Branching Time Variant of CaRet. 153-170 - Léo Henry, Thierry Jéron, Nicolas Markey:
Control Strategies for Off-Line Testing of Timed Systems. 171-189 - Laura Panizo, Almudena Díaz, Bruno García:
An Extension of TRIANGLE Testbed with Model-Based Testing. 190-195 - Tatsuya Abe:
Local Data Race Freedom with Non-multi-copy Atomicity. 196-215 - Omar I. Al-Bataineh, Mark Reynolds, David S. Rosenblum:
A Comparative Study of Decision Diagrams for Real-Time Model Checking. 216-234 - Tamás Tóth, István Majzik:
Lazy Reachability Checking for Timed Automata with Discrete Variables. 235-254 - Martin Kölbl, Stefan Leue, Hargurbir Singh:
From SysML to Model Checkers via Model Transformation. 255-274 - Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang:
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. 275-291 - YoungMin Kwon, Eunhee Kim:
Quantitative Model Checking for a Controller Design. 292-307 - Antti Valmari, Vesa Lappalainen:
Modelling Without a Modelling Language. 308-327 - Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco:
Context-Updates Analysis and Refinement in Chisel. 328-346
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-13 18:59 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:
