| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yogesh Mali, Eric Van Wyk |
Building Extensible Specifications and Implementations of Promela with AbleP.  |
SPIN  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Udupa, Ankush Desai, Sriram Rajamani |
Depth Bounded Explicit-State Model Checking. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Simsa, Randy Bryant, Garth A. Gibson |
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems. |
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 | Fang Yu, Tevfik Bultan, Ben Hardekopf |
String Abstractions for String Verification. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher |
Model Checking Cell Fate Decisions. |
SPIN |
2011 |
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 | Andreas Morgenstern, Klaus Schneider |
Program Sketching via CTL* Model Checking. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parizek, Ondrej Lhoták |
Randomized Backtracking in State Space Traversal. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob de Vos, Lennart C. L. Kats, Cornelis Pronk |
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. |
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 |
|
| 1 | Radu Mateescu, Anton Wijs |
Property-Dependent Reductions for the Modal Mu-Calculus. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
An Analytic Evaluation of SystemC Encodings in Promela. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois Knoll |
Model Checking Industrial Robot Systems. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Linden, Pierre Wolper |
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang |
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tobias Mühlberg, Gerald Lüttgen |
Symbolic Object Code Analysis. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Linden, Pierre Wolper |
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenro Yatake, Toshiaki Aoki |
Automatic Generation of Model Checking Scripts Based on Environment Modeling. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wehrle, Sebastian Kupferschmid |
Context-Enhanced Directed Model Checking. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Zhe Chen, Gilles Motet |
Nevertrace Claims for Model Checking. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Stefan Edelkamp, Damian Sulewski |
Efficient Explicit-State Model Checking on General Purpose Graphics Processors. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Merino, Alberto Salmeron |
Combining SPIN with ns-2 for Protocol Optimization. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
A False History of True Concurrency: From Petri to Tools. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Alessandro Cimatti |
SMT-Based Software Model Checking. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer |
Model Checking: Cleared for Take Off. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc de Jonge, Theo C. Ruys |
The SpinJa Model Checker. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers, Bernd Finkbeiner |
On the Virtue of Patience: Minimizing Büchi Automata. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hague, C.-H. Luke Ong |
Analysing Mu-Calculus Properties of Pushdown Systems. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric |
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | 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 |
|
| 1 | 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 |
|
| 1 | Andrey Rybalchenko, Rishabh Singh |
Subsumer-First: Steering Symbolic Reachability Analysis. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
Experience with Model Checking Linearizability. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang |
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter C. Dillinger, Panagiotis Manolios |
Fast, All-Purpose State Storage. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska |
On Quantitative Software Verification. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Damien Thivolle |
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Visser |
Who Really Cares If the Program Crashes?. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid |
Software Model Checking Improving Security of a Billion Computers. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina S. Pasareanu (eds.) |
Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik |
Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schmerl, Michael Vogel, Hartmut König |
Identifying Modeling Errors in Signatures by Model Checking. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
Attack Signatures, Intrusion Detection, Computer Security, Signature Verification, Misuse Detection, Promela, Spin model checker |
| 1 | Mordechai Ben-Ari |
Tool Presentation: Teaching Concurrency and Model Checking. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
Probabilistic Reachability for Parametric Markov Models. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Malay K. Ganai, Sudipta Kundu |
Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Faragó, Peter H. Schmitt |
Improving Non-Progress Cycle Checks. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks |
| 1 | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski |
Efficient Probabilistic Model Checking on General Purpose Graphics Processors. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek |
Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling |
| 1 | Radek Pelánek, Václav Rosecký |
EMMA: Explicit Model Checking Manager (Tool Presentation). |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
The Quest for Correctness-Beyond a Posteriori Verification. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Rungta, Eric G. Mercer, Willem Visser |
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Junghee Lim, Akash Lal, Thomas W. Reps |
Symbolic Analysis via Semantic Reinterpretation. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Malay K. Ganai, Aarti Gupta |
Efficient Modeling of Concurrent Systems in BMC. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Sandeep K. Shukla |
Verifying Compiler Based Refinement of BluespecTM. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker |
| 1 | Harald Fecher, Sharon Shoham |
State Focusing: Lazy Abstraction for the Mu-Calculus. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Emilie Oudot |
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann |
Using Dynamic Symbolic Execution to Improve Deductive Verification. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd R. Andel, Alec Yasinsac |
Automated Evaluation of Secure Route Discovery in MANET Protocols. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Rahul Purandare |
Residual Checking of Safety Properties. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim |
Formal Verification of a Flash Memory Device Driver - An Experience Report. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Viet Yen Nguyen, Theo C. Ruys |
Incremental Hashing for Spin. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra |
Symbolic String Verification: An Automata-Based Approach. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard J. Holzmann, Rajeev Joshi, Alex Groce |
Tackling Large Verification Problems with the Swarm Tool. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, Alin Stefanescu, Wei Wei |
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Evangelista |
Dynamic Delayed Duplicate Detection for External Memory Model Checking. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.) |
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings |
SPIN |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tonglaga Bao, Michael Jones |
Model Checking Abstract Components within Concrete Software Environments. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis |
Combining Static and Dynamic Reasoning for the Discovery of Program Properties. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ciesinski, Christel Baier, Marcus Größer, David Parker |
Generating Compact MTBDD-Representations from ProbmelaSpecifications. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Zaks, Rajeev Joshi |
Verifying Multi-threaded C Programs with SPIN. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lamborn, Eric A. Hansen |
Layered Duplicate Detection in External-Memory Model Checking. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazha Abed, Stavros Tripakis, Jean-Marc Vincent |
Resource-Aware Verification Using Randomized Exploration of Large State Spaces. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaz Qadeer |
The Case for Context-Bounded Verification of Concurrent Programs. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon |
Symbolic Context-Bounded Analysis of Multithreaded Java Programs. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby |
Efficient Stateful Dynamic Partial Order Reduction. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Edelkamp (eds.) |
Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings |
SPIN |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby |
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Lluch-Lafuente |
Towards Model Checking Spatial Properties with SPIN. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv |
Cartesian Partial-Order Reduction. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino |
Model Extraction for ARINC 653 Based Avionics Software. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
apex, Real Time, software model checking, avionics, Model extraction |
| 1 | Paul Gastin, Pierre Moro |
Minimal Counterexample Generation for SPIN. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Nassim Seghir, Andreas Podelski |
ACSAR: Software Model Checking with Transfinite Refinement. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristin Y. Rozier, Moshe Y. Vardi |
LTL Satisfiability Checking. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
Scalable Multi-core LTL Model-Checking. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Radek Pelánek |
BEEM: Benchmarks for Explicit Model Checkers. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Evangelista, Christophe Pajault |
Some Solutions to the Ignoring Problem. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
explicit model checking, ignoring problem, cycle proviso, partial order reduction |
| 1 | Dennis Dams |
StackSnuffer: Curing Orion's Unsoundness. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel P. Self, Eric G. Mercer |
On-the-Fly Dynamic Dead Variable Analysis. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán |
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Basler, Daniel Kroening, Georg Weissenbacher |
SAT-Based Summarization for Boolean Programs. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Weber |
An Embeddable Virtual Machine for State Space Generation. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jiri Barnat |
Tutorial: Parallel Model Checking. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Rajeev Alur |
Instrumenting C Programs with Nested Word Monitors. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Fecher, Sharon Shoham |
Local Abstraction-Refinement for the mu-Calculus. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Rungta, Eric G. Mercer |
Generating Counter-Examples Through Randomized Guided Search. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")