| 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.  |
SPIN  |
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. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chukri Soueidi, Yliès Falcone |
Sound Concurrent Traces for Online Monitoring. |
SPIN |
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. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs, Muhammad Osama 0003 |
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte |
WikiCoder: Learning to Write Knowledge-Powered Code. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giso H. Dal, Alfons Laarman, Peter J. F. Lucas |
ParaGnosis: A Tool for Parallel Knowledge Compilation. |
SPIN |
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. |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugues Evrard, Alastair F. Donaldson |
Model Checking Futexes. |
SPIN |
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 |
SPIN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Roi Fogler, Itay Cohen 0001, Doron Peled |
Accelerating Black Box Testing with Light-Weight Learning. |
SPIN |
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. |
SPIN |
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. |
SPIN |
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. |
SPIN |
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. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone |
Bounded-Memory Runtime Enforcement. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi |
Automated Consistency Analysis for Legal Contracts. |
SPIN |
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 |
SPIN |
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. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanh Son Nguyen, Ben Jones, Zvonimir Rakamaric |
Synthesis of Rigorous Floating-Point Predicates. |
SPIN |
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. |
SPIN |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Christine Jakobs |
PatEC: Pattern-Based Equivalence Checking. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Wiesner, Marie-Christine Jakobs |
Verifying Pipeline Implementations in OpenMP. |
SPIN |
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. |
SPIN |
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. |
SPIN |
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. |
SPIN |
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. |
SPIN |
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 |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault |
Go2Pins: A Framework for the LTL Verification of Go Programs. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
Accelerating the Computation of Dead and Concurrent Places Using Reductions. |
SPIN |
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. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Madoda Nxumalo, Nils Timm, Stefan Gruner |
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiraj Arora, M. V. Panduranga Rao |
Model Checking Branching Time Properties for Incomplete Markov Chains. |
SPIN |
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 |
SPIN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid |
Learning Guided Enumerative Synthesis for Superoptimization. |
SPIN |
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. |
SPIN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Foughali, Félix Ingrand, Cristina Seceleanu |
Statistical Model Checking of Complex Robotic Systems. |
SPIN |
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. |
SPIN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka |
Swarm Model Checking on the GPU. |
SPIN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nhat-Hoa Tran, Toshiaki Aoki |
Conformance Testing of Schedulers for DSL-based Model Checking. |
SPIN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Metzler, Neeraj Suri, Georg Weissenbacher |
Extracting Safe Thread Schedules from Incomplete Model Checking Results. |
SPIN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai |
String Abstraction for Model Checking of C Programs. |
SPIN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba |
Model Verification Through Dependency Graphs. |
SPIN |
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. |
SPIN |
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. |
SPIN |
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. |
SPIN |
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. |
SPIN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gnad 0001, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann 0001 |
Star-Topology Decoupling in SPIN. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Chalupa, Jan Strejcek, Martina Vitovská |
Joint Forces for Memory Safety Checking. |
SPIN |
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. |
SPIN |
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. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio |
Petri Net Reductions for Counting Markings. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Léo Henry, Thierry Jéron, Nicolas Markey |
Control Strategies for Off-Line Testing of Timed Systems. |
SPIN |
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. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Vesa Lappalainen |
Modelling Without a Modelling Language. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Doron Peled |
Efficient Runtime Verification of First-Order Temporal Properties. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Panizo, Almudena Díaz, Bruno García |
An Extension of TRIANGLE Testbed with Model-Based Testing. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Tóth, István Majzik |
Lazy Reachability Checking for Timed Automata with Discrete Variables. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco 0001 |
Context-Updates Analysis and Refinement in Chisel. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Pommellet, Tayssir Touili |
Model-Checking HyperLTL for Pushdown Systems. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Iosif |
Program Verification with Separation Logic. |
SPIN |
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 |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kölbl, Stefan Leue, Hargurbir Singh |
From SysML to Model Checkers via Model Transformation. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | YoungMin Kwon, Eunhee Kim |
Quantitative Model Checking for a Controller Design. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff |
A Branching Time Variant of CaRet. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatsuya Abe 0001 |
Local Data Race Freedom with Non-multi-copy Atomicity. |
SPIN |
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. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook |
Automated formal reasoning about amazon web services (keynote). |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Geffroy, Jérôme Leroux, Grégoire Sutre |
Backward coverability with pruning for lossy channel systems. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Renard, Antoine Rollet, Yliès Falcone |
Runtime enforcement using Büchi games. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Domagoj Babic |
SunDew: systematic automated security testing (keynote). |
SPIN |
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. |
SPIN |
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. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Idress Husien, Nicolas Berthier, Sven Schewe |
A hot method for synthesising cool controllers. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Huu-Vu Nguyen, Tayssir Touili |
CARET model checking for malware detection. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi |
LeeTL: LTL with quantifications over model objects. |
SPIN |
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). |
SPIN |
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. |
SPIN |
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. |
SPIN |
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 |
SPIN |
2017 |
DBLP BibTeX RDF |
|
| 1 | Lucas G. Wagner, David A. Greve, Andrew Gacek |
SIMPAL: a compositional reasoning framework for imperative programs. |
SPIN |
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, ∞. |
SPIN |
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. |
SPIN |
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. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Dini, Cagdas Yelen, Sarfraz Khurshid |
Optimizing parallel Korat using invalid ranges. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard J. Holzmann |
Cobra: fast structural code checking (keynote). |
SPIN |
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. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinru Hua, Sarfraz Khurshid |
EdSketch: execution-driven sketching for Java. |
SPIN |
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. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Blake Loring, Duncan Mitchell, Johannes Kinder |
ExpoSE: practical symbolic execution of standalone JavaScript. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michalis Kokologiannakis, Konstantinos Sagonas |
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wytse Oortwijn, Tom van Dijk, Jaco van de Pol |
Distributed binary decision diagrams for symbolic reachability. |
SPIN |
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. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis |
Compositional Semantics and Analysis of Hierarchical Block Diagrams. |
SPIN |
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. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar S. Dimovski |
Symbolic Game Semantics for Model Checking Program Families. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Alberto Salmerón |
River Basin Management with Spin. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Subash Shankar, Gilbert Pajela |
A Tool Integrating Model Checking into a C Verification Toolset. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lakhdar Akroun, Gwen Salaün, Lina Ye |
Automated Analysis of Asynchronously Communicating Systems. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Christoph Greulich |
Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license