Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bryant Israelsen, Landon Taylor, Zhen Zhang 0006 |
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 83-102, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer |
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 141-160, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chukri Soueidi, Yliès Falcone |
Sound Concurrent Traces for Online Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 59-80, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen |
Potency-Based Heuristic Search with Randomness for Explicit Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 180-187, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anton Wijs, Muhammad Osama 0003 |
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 188-197, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte |
WikiCoder: Learning to Write Knowledge-Powered Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 123-140, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Giso H. Dal, Alfons Laarman, Peter J. F. Lucas |
ParaGnosis: A Tool for Parallel Knowledge Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 22-37, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik |
Elimination of Detached Regions in Dependency Graph Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 163-179, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hugues Evrard, Alastair F. Donaldson |
Model Checking Futexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 41-58, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Caltais, Christian Schilling 0001 (eds.) |
Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-031-32156-6 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roi Fogler, Itay Cohen 0001, Doron Peled |
Accelerating Black Box Testing with Light-Weight Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 103-120, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman |
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, pp. 3-21, 2023, Springer, 978-3-031-32156-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Fereidoun Moradi, Maryam Bagheri 0001, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah, Marjan Sirjani |
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, pp. 24-43, 2022, Springer, 978-3-031-15076-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling 0001 |
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, pp. 79-96, 2022, Springer, 978-3-031-15076-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen |
Solving String Theories Involving Regular Membership Predicates Using SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, pp. 134-151, 2022, Springer, 978-3-031-15076-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone |
Bounded-Memory Runtime Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, pp. 114-133, 2022, Springer, 978-3-031-15076-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi |
Automated Consistency Analysis for Legal Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, pp. 1-23, 2022, Springer, 978-3-031-15076-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Owolabi Legunsen, Grigore Rosu (eds.) |
Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-031-15076-0 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Parker Hanson, Benjamin Winters, Eric Mercer, Brett Decker |
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, pp. 97-113, 2022, Springer, 978-3-031-15076-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thanh Son Nguyen, Ben Jones, Zvonimir Rakamaric |
Synthesis of Rigorous Floating-Point Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, pp. 44-60, 2022, Springer, 978-3-031-15076-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen |
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, pp. 61-78, 2022, Springer, 978-3-031-15076-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs |
PatEC: Pattern-Based Equivalence Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 120-139, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maik Wiesner, Marie-Christine Jakobs |
Verifying Pipeline Implementations in OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 81-98, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn |
The Marriage Between Safety and Cybersecurity: Still Practicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 3-21, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang 0001, Franck van Breugel |
Probabilistic Model Checking of Randomized Java Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 157-174, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David A. Cock, Michael Giardino, Timothy Roscoe |
A Model-Checked I2C Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 177-193, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink |
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 22-41, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alfons Laarman, Ana Sokolova (eds.) |
Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-030-84628-2 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault |
Go2Pins: A Framework for the LTL Verification of Go Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 140-156, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
Accelerating the Computation of Dead and Concurrent Places Using Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 45-62, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Chenoy, Fabien Duchene 0001, Thomas Given-Wilson, Axel Legay |
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 101-119, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Madoda Nxumalo, Nils Timm, Stefan Gruner |
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, pp. 63-80, 2021, Springer, 978-3-030-84628-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shiraj Arora, M. V. Panduranga Rao |
Model Checking Branching Time Properties for Incomplete Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 20-37, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay (eds.) |
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-030-30922-0 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid |
Learning Guided Enumerative Synthesis for Superoptimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 172-192, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sergey M. Staroletov, Nikolay V. Shilov 0002 |
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 193-207, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Foughali, Félix Ingrand, Cristina Seceleanu |
Statistical Model Checking of Complex Robotic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 114-134, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Ugo Gentile, Stefano Marrone 0001, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini |
From Dynamic State Machines to Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 56-73, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka |
Swarm Model Checking on the GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 94-113, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nhat-Hoa Tran, Toshiaki Aoki |
Conformance Testing of Schedulers for DSL-based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 208-225, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Metzler, Neeraj Suri, Georg Weissenbacher |
Extracting Safe Thread Schedules from Incomplete Model Checking Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 153-171, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai |
String Abstraction for Model Checking of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 74-93, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba |
Model Verification Through Dependency Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 1-19, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar 0001 |
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 244-259, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Liu, Xi Wang 0003, Lintao Xian, Zhongwen Guo |
STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 135-152, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Usman 0024, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid |
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 226-243, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001 |
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 38-55, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gnad 0001, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann 0001 |
Star-Topology Decoupling in SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 103-114, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marek Chalupa, Jan Strejcek, Martina Vitovská |
Joint Forces for Memory Safety Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 115-132, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Omar I. Al-Bataineh, Mark Reynolds 0001, David S. Rosenblum |
A Comparative Study of Decision Diagrams for Real-Time Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 216-234, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tim Lange 0001, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll 0001, Joost-Pieter Katoen |
Improving Generalization in Software IC3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 85-102, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio |
Petri Net Reductions for Counting Markings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 65-84, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Léo Henry, Thierry Jéron, Nicolas Markey |
Control Strategies for Off-Line Testing of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 171-189, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang |
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 275-291, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antti Valmari, Vesa Lappalainen |
Modelling Without a Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 308-327, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Doron Peled |
Efficient Runtime Verification of First-Order Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 26-47, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Panizo, Almudena Díaz, Bruno García |
An Extension of TRIANGLE Testbed with Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 190-195, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Tóth, István Majzik |
Lazy Reachability Checking for Timed Automata with Discrete Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 235-254, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco 0001 |
Context-Updates Analysis and Refinement in Chisel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 328-346, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Pommellet, Tayssir Touili |
Model-Checking HyperLTL for Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 133-152, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Radu Iosif |
Program Verification with Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 48-62, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Pedro Merino 0001 (eds.) |
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-319-94110-3 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kölbl, Stefan Leue, Hargurbir Singh |
From SysML to Model Checkers via Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 255-274, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | YoungMin Kwon, Eunhee Kim |
Quantitative Model Checking for a Controller Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 292-307, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff |
A Branching Time Variant of CaRet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 153-170, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Abe 0001 |
Local Data Race Freedom with Non-multi-copy Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 196-215, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach |
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 3-25, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook |
Automated formal reasoning about amazon web services (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 9, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Geffroy, Jérôme Leroux, Grégoire Sutre |
Backward coverability with pruning for lossy channel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 132-141, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Renard, Antoine Rollet, Yliès Falcone |
Runtime enforcement using Büchi games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 70-79, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Domagoj Babic |
SunDew: systematic automated security testing (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 10, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser |
Addressing challenges in obtaining high coverage when model checking Android applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 31-40, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden |
Runtime enforcement of reactive systems using synchronous enforcers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 80-89, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Idress Husien, Nicolas Berthier, Sven Schewe |
A hot method for synthesising cool controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 122-131, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Huu-Vu Nguyen, Tayssir Touili |
CARET model checking for malware detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 152-161, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi |
LeeTL: LTL with quantifications over model objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 41-49, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel |
The RERS 2017 challenge and workshop (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 11-20, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Ratiu, Andreas Ulrich |
Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 60-69, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol |
Explicit state model checking with generalized Büchi and Rabin automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 50-59, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hakan Erdogmus, Klaus Havelund (eds.) |
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![ACM, 978-1-4503-5077-8 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Lucas G. Wagner, David A. Greve, Andrew Gacek |
SIMPAL: a compositional reasoning framework for imperative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 90-93, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen |
Practical controller synthesis for MTL0, ∞. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 102-111, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino 0001 |
Guided test case generation for mobile apps in the TRIANGLE project: work in progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 192-195, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bersani, Francesco Marconi, Matteo Rossi 0001, Madalina Erascu, Silvio Ghilardi |
Formal verification of data-intensive applications through model checking modulo theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 98-101, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nima Dini, Cagdas Yelen, Sarfraz Khurshid |
Optimizing parallel Korat using invalid ranges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 182-191, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gerard J. Holzmann |
Cobra: fast structural code checking (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 1-8, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg |
Model learning and model checking of SSH implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 142-151, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jinru Hua, Sarfraz Khurshid |
EdSketch: execution-driven sketching for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 162-171, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | John Fearnley, Sanjay Jain 0001, Sven Schewe, Frank Stephan 0001, Dominik Wojtczak |
An ordered approach to solving parity games in quasi polynomial time and quasi linear space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 112-121, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Blake Loring, Duncan Mitchell, Johannes Kinder |
ExpoSE: practical symbolic execution of standalone JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 196-199, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Kokologiannakis, Konstantinos Sagonas |
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 172-181, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wytse Oortwijn, Tom van Dijk, Jaco van de Pol |
Distributed binary decision diagrams for symbolic reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 21-30, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco A. Feliú, Camilo Rocha, Swee Balachandran |
Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 94-97, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis |
Compositional Semantics and Analysis of Hierarchical Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 38-56, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat |
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 208-213, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski |
Symbolic Game Semantics for Model Checking Program Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 19-37, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Alberto Salmerón |
River Basin Management with Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 78-96, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Subash Shankar, Gilbert Pajela |
A Tool Integrating Model Checking into a C Verification Toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 214-224, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lakhdar Akroun, Gwen Salaün, Lina Ye |
Automated Analysis of Asynchronously Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 1-18, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Edelkamp, Christoph Greulich |
Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 57-77, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|