| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kareem Khazem, Michael Tautschnig |
smid: A Black-Box Program Driver.  |
SPIN  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu 0001, José Ignacio Requeno |
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nishanthan Kamaleson, David Parker 0001, Jonathan E. Rowe |
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha |
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruth Hoffmann, Murray L. Ireland, Alice Miller 0001, Gethin Norman, Sandor M. Veres |
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann 0001, Christian Neukirchen, Harald Rueß |
Certification for μ-Calculus with Winning Strategies. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba |
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Walter Vogler |
Fair Testing and Stubborn Sets. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho |
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Anton Wijs (eds.) |
Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings |
SPIN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudipta Chattopadhyay 0001 |
MESS: Memory Performance Debugging on Embedded Multi-core Systems. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Sorrentino |
PickLock: A Deadlock Prediction Approach under Nested Locking. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser |
Model Counting for Complex Data Structures. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho |
DSVerifier: A Bounded Model Checking Tool for Digital Systems. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Stefan Löwe, Philipp Wendler |
Refinement Selection. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Stefan Löwe, Philipp Wendler |
Benchmarking and Resource Measurement. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle Klarl |
From Helena Ensemble Specifications to Promela Verification Models. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Timm, Stefan Gruner, Prince Sibanda |
Parallel SAT-Based Parameterised Three-Valued Model Checking. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal |
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino 0001 |
Runtime Verification of Expected Energy Consumption in Smartphones. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski |
Family-Based Model Checking Without a Family-Based Model Checker. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Biondi, Axel Legay, Jean Quilbeuf |
Comparative Analysis of Leakage Tools on Scalable Case Studies. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue |
Symbolic Causality Checking Using Bounded Model Checking. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Fischer 0002, Jaco Geldenhuys (eds.) |
Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser |
Fast, Dynamically-Sized Concurrent Hash Table. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaud Michaud, Alexandre Duret-Lutz |
Practical Stutter-Invariance Checks for ω-Regular Languages. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek |
On Refinement of Büchi Automata for Explicit Model Checking. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Backes, Jan Reineke 0001 |
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Christakis, Patrice Godefroid |
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan |
String Analysis for Vulnerability Detection and Repair. |
SPIN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin P. Neatherway, C.-H. Luke Ong |
TravMC2: higher-order model checking for alternating parity tree automata. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim |
Quantifying information leaks using reliability analysis. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Filippidis, Gerard J. Holzmann |
An improvement of the piggyback algorithm for parallel model checking. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, James R. Edmondson |
Toward parameterized verification of synchronous distributed applications. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Leitner-Fischer, Stefan Leue |
SpinCause: a tool for causality checking. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov |
Towards a test automation framework for alloy. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Thakur, Jason Breck, Thomas W. Reps |
Satisfiability modulo abstraction for separation logic with linked lists. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parízek, Pavel Jancík |
Approximating happens-before order: interplay between static analysis and state space traversal. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Rungta, Oksana Tkachuk (eds.) |
2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014 |
SPIN |
2014 |
DBLP BibTeX RDF |
|
| 1 | Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran |
Exploiting synchronization in the analysis of shared-memory asynchronous programs. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek |
Is there a best büchi automaton for explicit model checking? |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Günther, Georg Weissenbacher |
Incremental bounded software model checking. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka |
Towards a GPGPU-parallel SPIN model checker. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nastaran Shafiei, Franck van Breugel |
Automatic handling of native methods in Java PathFinder. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Noomene Ben Henda |
Generic and efficient attacker models in SPIN. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze |
SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Theo C. Ruys |
Unit testing for SPIN: runspin and parsepan. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Latorre, Francesco Alberti, Natasha Sharygina |
Verige: verification with invariant generation engine. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Christine Jakobs, Heike Wehrheim |
Certification for configurable program analysis. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zheng 0001 |
Local state space construction for compositional verification of concurrent systems. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko |
CTL+FO verification as constraint solving. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
On-the-Fly Control Software Synthesis. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk |
Regression Verification Using Impact Summaries. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, Mitra Tabaei Befrouei |
Mining Sequential Patterns to Explain Concurrent Counterexamples. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiran Adhikari, James Street, Chao Wang 0001, Yang Liu 0003, Shao Jie Zhang |
Verifying a Quantitative Relaxation of Linearizability via Refinement. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, Joseph Andrew Giampapa |
Probabilistic Verification of Coordinated Multi-robot Missions. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Tripakis, Christos Stergiou 0001, Manfred Broy, Edward A. Lee |
Error-Completion in Interface Theories. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, C. R. Ramakrishnan 0001 (eds.) |
Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Michael Geisinger, Christian Buckl |
Synthesizing Controllers for Automation Tasks with Performance Guarantees. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske |
Property-Driven Benchmark Generation. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Leitner-Fischer, Stefan Leue |
On the Synergy of Probabilistic Causality Computation and Causality Checking. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Annu John, Igor Konnov 0001, Ulrich Schmid 0001, Helmut Veith, Josef Widder |
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Riccardo Traverso |
Specification and Validation of Link Reversal Routing via Graph Transformations. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek |
Compositional Approach to Suspension and Other Improvements to LTL Translation. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber 0002 |
Guard-Based Partial-Order Reduction. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard J. Holzmann |
Proving Properties of Concurrent Programs - (Extended Abstract). |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno P. Lopes, José Monteiro 0001 |
Automatic Equivalence Checking of UF+IA Programs. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Romano, Dawson R. Engler |
Expression Reduction from Programs in a Symbolic Binary Executor. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle |
Abstraction-Based Guided Search for Hybrid Systems. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Gröning, Christopher Rosas, Christian Wietfeld |
COMPLeTe - A COMmunication Protocol vaLidation Toolchain. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Divjyot Sethi, Muralidhar Talupur, Sharad Malik |
Model Checking Unbounded Concurrent Lists. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard |
Local Model Checking of Weighted CTL with Upper-Bound Constraints. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Philipp Wendler |
Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Ditter, Milan Ceska 0002, Gerald Lüttgen |
On Parallel Software Verification Using Boolean Equation Systems. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Evangelista, Lars Michael Kristensen |
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Nikolaj S. Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes |
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Reng Zeng, Zhuo Sun, Su Liu, Xudong He |
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan Burns, Rong Zhou 0001 |
Parallel Model Checking Using Abstraction. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shravan Garlapati, Sandeep K. Shukla |
Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs, Dragan Bosnacki |
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns |
mctau: Bridging the Gap between Modest and UPPAAL. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Rybalchenko |
Towards Automatic Synthesis of Software Verification Tools. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Jiang, Zongyan Qiu |
S2N: Model Transformation from SPIN to NuSMV - (Tool Paper). |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Riener, Görschwin Fey |
FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Christ, Jochen Hoenicke, Alexander Nutz |
SMTInterpol: An Interpolating SMT Solver. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Zeller |
Mining Models. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, Mitra Tabaei Befrouei |
Counterexample Explanation by Anomaly Detection. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Theo C. Ruys, Pim Kars |
Gossiping Girls Are All Alike. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard J. Holzmann |
Parallelizing the Spin Model Checker. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zheng 0001, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers |
A Compositional Minimization Approach for Large Asynchronous Design Verification. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Axel Zechner |
Model Checking DSL-Generated C Source Code. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Dan Marinescu, Cristian Cadar |
High-Coverage Symbolic Patch Testing. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson, David Parker 0001 (eds.) |
Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik |
Parameterized Model Checking of Fine Grained Concurrency. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov |
DiPro - A Tool for Probabilistic Counterexample Generation. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Udupa, Ankush Desai, Sriram K. Rajamani |
Depth Bounded Explicit-State Model Checking. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Groce, Madanlal Musuvathi (eds.) |
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parízek, Ondrej Lhoták |
Randomized Backtracking in State Space Traversal. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Laarman, Jaco van de Pol, Michael Weber 0002 |
Parallel Recursive State Compression for Free. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license