Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov |
Towards a test automation framework for alloy. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Aditya V. Thakur, Jason Breck, Thomas W. Reps |
Satisfiability modulo abstraction for separation logic with linked lists. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Pavel Parízek, Pavel Jancík |
Approximating happens-before order: interplay between static analysis and state space traversal. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran |
Exploiting synchronization in the analysis of shared-memory asynchronous programs. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Henning Günther, Georg Weissenbacher |
Incremental bounded software model checking. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Nastaran Shafiei, Franck van Breugel |
Automatic handling of native methods in Java PathFinder. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Nicolas Latorre, Francesco Alberti, Natasha Sharygina |
Verige: verification with invariant generation engine. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Marie-Christine Jakobs, Heike Wehrheim |
Certification for configurable program analysis. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Hao Zheng 0001 |
Local state space construction for compositional verification of concurrent systems. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko |
CTL+FO verification as constraint solving. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | 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 |
|
28 | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
On-the-Fly Control Software Synthesis. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk |
Regression Verification Using Impact Summaries. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Leue, Mitra Tabaei Befrouei |
Mining Sequential Patterns to Explain Concurrent Counterexamples. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Sagar Chaki, Joseph Andrew Giampapa |
Probabilistic Verification of Coordinated Multi-robot Missions. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Stavros Tripakis, Christos Stergiou 0001, Manfred Broy, Edward A. Lee |
Error-Completion in Interface Theories. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Chih-Hong Cheng, Michael Geisinger, Christian Buckl |
Synthesizing Controllers for Automation Tasks with Performance Guarantees. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske |
Property-Driven Benchmark Generation. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Florian Leitner-Fischer, Stefan Leue |
On the Synergy of Probabilistic Causality Computation and Causality Checking. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Giorgio Delzanno, Riccardo Traverso |
Specification and Validation of Link Reversal Routing via Graph Transformations. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber 0002 |
Guard-Based Partial-Order Reduction. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann |
Proving Properties of Concurrent Programs - (Extended Abstract). |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Nuno P. Lopes, José Monteiro 0001 |
Automatic Equivalence Checking of UF+IA Programs. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Anthony Romano, Dawson R. Engler |
Expression Reduction from Programs in a Symbolic Binary Executor. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Sven Gröning, Christopher Rosas, Christian Wietfeld |
COMPLeTe - A COMmunication Protocol vaLidation Toolchain. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Divjyot Sethi, Muralidhar Talupur, Sharad Malik |
Model Checking Unbounded Concurrent Lists. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Dirk Beyer 0001, Philipp Wendler |
Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. |
SPIN |
2013 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Alexander Ditter, Milan Ceska 0002, Gerald Lüttgen |
On Parallel Software Verification Using Boolean Equation Systems. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | 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 |
|
28 | 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 |
|
28 | Ethan Burns, Rong Zhou 0001 |
Parallel Model Checking Using Abstraction. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Shravan Garlapati, Sandeep K. Shukla |
Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Anton Wijs, Dragan Bosnacki |
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns |
mctau: Bridging the Gap between Modest and UPPAAL. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Andrey Rybalchenko |
Towards Automatic Synthesis of Software Verification Tools. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Heinz Riener, Görschwin Fey |
FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Jürgen Christ, Jochen Hoenicke, Alexander Nutz |
SMTInterpol: An Interpolating SMT Solver. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Zeller |
Mining Models. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Leue, Mitra Tabaei Befrouei |
Counterexample Explanation by Anomaly Detection. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Theo C. Ruys, Pim Kars |
Gossiping Girls Are All Alike. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Martin Sulzmann, Axel Zechner |
Model Checking DSL-Generated C Source Code. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Paul Dan Marinescu, Cristian Cadar |
High-Coverage Symbolic Patch Testing. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik |
Parameterized Model Checking of Fine Grained Concurrency. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov |
DiPro - A Tool for Probabilistic Counterexample Generation. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Abhishek Udupa, Ankush Desai, Sriram K. Rajamani |
Depth Bounded Explicit-State Model Checking. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Pavel Parízek, Ondrej Lhoták |
Randomized Backtracking in State Space Traversal. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Alfons Laarman, Jaco van de Pol, Michael Weber 0002 |
Parallel Recursive State Compression for Free. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Fang Yu 0001, Tevfik Bultan, Ben Hardekopf |
String Abstractions for String Verification. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Morgenstern, Klaus Schneider 0001 |
Program Sketching via CTL* Model Checking. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Jasmin Fisher |
Model Checking Cell Fate Decisions. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Jirí Simsa, Randy Bryant, Garth A. Gibson |
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois C. Knoll |
Model Checking Industrial Robot Systems. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Yogesh Mali, Eric Van Wyk |
Building Extensible Specifications and Implementations of Promela with AbleP. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Radu Mateescu 0001, Anton Wijs |
Property-Dependent Reductions for the Modal Mu-Calculus. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Alexander Linden 0001, Pierre Wolper |
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
An Analytic Evaluation of SystemC Encodings in Promela. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Jaco van de Pol, Michael Weber 0002 (eds.) |
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst |
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Darren D. Cofer |
Model Checking: Cleared for Take Off. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Matthew Hague, C.-H. Luke Ong |
Analysing Mu-Calculus Properties of Pushdown Systems. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang 0001 |
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Alessandro Cimatti |
SMT-Based Software Model Checking. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Zhe Chen 0011, Gilles Motet |
Nevertrace Claims for Model Checking. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Alexander Linden 0001, Pierre Wolper |
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Jan Tobias Mühlberg, Gerald Lüttgen |
Symbolic Object Code Analysis. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Rüdiger Ehlers, Bernd Finkbeiner |
On the Virtue of Patience: Minimizing Büchi Automata. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Martin Wehrle, Sebastian Kupferschmid |
Context-Enhanced Directed Model Checking. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Edelkamp, Damian Sulewski |
Efficient Explicit-State Model Checking on General Purpose Graphics Processors. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric |
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Javier Esparza |
A False History of True Concurrency: From Petri to Tools. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Nicholas Kidd, Suresh Jagannathan, Jan Vitek |
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Marc de Jonge, Theo C. Ruys |
The SpinJa Model Checker. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä |
Experimental Comparison of Concolic and Random Testing for Java Card Applets. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Kenro Yatake, Toshiaki Aoki |
Automatic Generation of Model Checking Scripts Based on Environment Modeling. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Corina S. Pasareanu (eds.) |
Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Peter C. Dillinger, Panagiotis Manolios |
Fast, All-Purpose State Storage. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski |
Efficient Probabilistic Model Checking on General Purpose Graphics Processors. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Marta Z. Kwiatkowska |
On Quantitative Software Verification. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Joseph Sifakis |
The Quest for Correctness-Beyond a Posteriori Verification. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Hubert Garavel, Damien Thivolle |
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001 |
Probabilistic Reachability for Parametric Markov Models. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Radek Pelánek, Václav Rosecký |
EMMA: Explicit Model Checking Manager (Tool Presentation). |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Willem Visser |
Who Really Cares If the Program Crashes?. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Andrey Rybalchenko, Rishabh Singh |
Subsumer-First: Steering Symbolic Reachability Analysis. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Malay K. Ganai, Sudipta Kundu |
Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Junghee Lim, Akash Lal, Thomas W. Reps |
Symbolic Analysis via Semantic Reinterpretation. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Alexander Heußner, Tristan Le Gall, Grégoire Sutre |
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps |
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang 0001 |
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|