|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1178 occurrences of 651 keywords
|
|
|
Results
Found 3891 publication records. Showing 3886 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Patrice Godefroid |
Software Model Checking Improving Security of a Billion Computers. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Neha Rungta, Eric G. Mercer, Willem Visser |
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | 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 DOI BibTeX RDF |
|
28 | Sami Evangelista |
Dynamic Delayed Duplicate Detection for External Memory Model Checking. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Fang Yu 0001, Tevfik Bultan, Marco Cova, Oscar H. Ibarra |
Symbolic String Verification: An Automata-Based Approach. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Frank Ciesinski, Christel Baier, Marcus Größer, David Parker 0001 |
Generating Compact MTBDD-Representations from ProbmelaSpecifications. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Malay K. Ganai, Aarti Gupta |
Efficient Modeling of Concurrent Systems in BMC. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann, Rajeev Joshi, Alex Groce |
Tackling Large Verification Problems with the Swarm Tool. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Nazha Abed, Stavros Tripakis, Jean-Marc Vincent |
Resource-Aware Verification Using Randomized Exploration of Large State Spaces. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon |
Symbolic Context-Bounded Analysis of Multithreaded Java Programs. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Peter Lamborn, Eric A. Hansen |
Layered Duplicate Detection in External-Memory Model Checking. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Matthew B. Dwyer, Rahul Purandare |
Residual Checking of Safety Properties. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Harald Fecher, Sharon Shoham |
State Focusing: Lazy Abstraction for the Mu-Calculus. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Yannis Smaragdakis |
Combining Static and Dynamic Reasoning for the Discovery of Program Properties. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Shaz Qadeer |
The Case for Context-Bounded Verification of Concurrent Programs. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Radu Mateescu 0001, Emilie Oudot |
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby |
Efficient Stateful Dynamic Partial Order Reduction. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann |
Using Dynamic Symbolic Execution to Improve Deductive Verification. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dragan Bosnacki, Stefan Edelkamp (eds.) |
Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Dennis Dams |
StackSnuffer: Curing Orion's Unsoundness. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Mohamed Nassim Seghir, Andreas Podelski |
ACSAR: Software Model Checking with Transfinite Refinement. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Joel P. Self, Eric G. Mercer |
On-the-Fly Dynamic Dead Variable Analysis. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Harald Fecher, Sharon Shoham |
Local Abstraction-Refinement for the mu-Calculus. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001, David Sanán |
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Neha Rungta, Eric G. Mercer |
Generating Counter-Examples Through Randomized Guided Search. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv |
Cartesian Partial-Order Reduction. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby |
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Radek Pelánek |
BEEM: Benchmarks for Explicit Model Checkers. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Gérard Basler, Daniel Kroening, Georg Weissenbacher |
SAT-Based Summarization for Boolean Programs. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Jiri Barnat, Lubos Brim, Petr Rockai |
Scalable Multi-core LTL Model-Checking. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Lubos Brim, Jiri Barnat |
Tutorial: Parallel Model Checking. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Swarat Chaudhuri, Rajeev Alur |
Instrumenting C Programs with Nested Word Monitors. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Antti Valmari (eds.) |
Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Charles Pecheur, Brian Williams (eds.) |
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005 |
MoChArt@CONCUR/SPIN |
2006 |
DBLP BibTeX RDF |
|
28 | Saswat Anand, Corina S. Pasareanu, Willem Visser |
Symbolic Execution with Abstract Subsumption Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Harald Fecher, Martin Leucker, Verena Wolf |
Don't Know in Probabilistic Systems. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Jaco Geldenhuys, Henri Hansen |
Larger Automata and Less Work for LTL Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Guy Edward Gallasch, Jonathan Billington |
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Stop and Wait Protocols, Infinite Families of Systems, Parametric Reachability Graphs, Coloured Petri Nets |
28 | Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang 0013, Robert M. Kirby, Ganesh Gopalakrishnan |
Parallel and Distributed Model Checking in Eddy. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Alessandro Armando, Jacopo Mantovani, Lorenzo Platania |
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Sebastian Kupferschmid, Jörg Hoffmann 0001, Henning Dierks, Gerd Behrmann |
Adapting an AI Planning Heuristic for Directed Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Matthias Kuntz, Markus Siegle |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems |
28 | Christophe Joubert, Radu Mateescu 0001 |
Distributed On-the-Fly Model Checking and Test Case Generation. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Harmen Kastenberg, Arend Rensink |
Model Checking Dynamic States in GROOVE. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan |
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Klaus Dräger, Bernd Finkbeiner, Andreas Podelski |
Directed Model Checking with Distance-Preserving Abstractions. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen |
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001 |
A Counterexample-Guided Refinement Tool for Open Procedural Programs. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
CSP, software model checking, game semantics, abstraction refinement, FDR |
28 | Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt |
Verification of Medical Guidelines by Model Checking - A Case Study. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Asbru, medical guidelines, Model checking, verification, formal methods, abstraction |
28 | Patrice Godefroid (eds.) |
Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The BLAST Software Verification System. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Yung-Pin Cheng |
Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani |
Sound Transaction-Based Reduction Without Cycle Detection. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Sami Evangelista, Jean-François Pradat-Peyre |
Memory Efficient State Space Storage in Explicit Software Model Checking. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Anil Madhavapeddy, David J. Scott, Richard Sharp |
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud |
On-the-Fly Emptiness Checks for Generalized Büchi Automata. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Byron Cook, Daniel Kroening, Natasha Sharygina |
Symbolic Model Checking for Asynchronous Boolean Programs. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Tomás Barros, Ludovic Henrio, Eric Madelaine |
Behavioural Models for Hierarchical Components. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Willem Visser, Peter C. Mehlitz |
Model Checking Programs with Java PathFinder. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Cristian Cadar, Dawson R. Engler |
Execution Generated Test Cases: How to Make Systems Code Crash Itself. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Eric Mercer, Michael D. Jones |
Model Checking Machine Code with the GNU Debugger. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | David A. Wagner 0001 |
Pushdown Model Checking for Security. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Learning-Based Assume-Guarantee Verification (Tool Paper). |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Madanlal Musuvathi, David L. Dill |
An Incremental Heap Canonicalization Algorithm. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Leue, Wei Wei 0015 |
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Gihwon Kwon |
Relay Reachability Algorithm for Exploring Huge State Space. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Paolo Ballarini, Michael Fisher 0001, Michael J. Wooldridge |
Automated Game Analysis via Probabilistic Model Checking: a case study. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Edelkamp, Shahid Jabbar |
Action Planning for Directed Model Checking of Petri Nets. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Charles Pecheur, Brian Williams |
Preface. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan |
Model Checking Russian Cards. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | David J. Musliner, Michael J. S. Pelican, Robert P. Goldman |
Incremental Verification for On-the-Fly Controller Synthesis. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Tilman Mehler, Stefan Edelkamp |
Dynamic Incremental Hashing in Program Model Checking. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Kairong Qian, Albert Nymeyer |
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Dan Lawesson, Ulf Nilsson, Inger Klein |
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Sylvain Kerjean, Froduald Kabanza, Richard St-Denis, Sylvie Thiébaux |
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Susanne Graf, Laurent Mounier (eds.) |
Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Radek Pelánek |
Typical Structural Properties of State Spaces. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Michael D. Jones, Eric Mercer |
Explicit State Model Checking with Hopper. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Peter Leven, Tilman Mehler, Stefan Edelkamp |
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Moez Krichen, Stavros Tripakis |
Black-Box Conformance Testing for Real-Time Systems. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Corina S. Pasareanu, Willem Visser |
Verification of Java Programs Using Symbolic Execution and Invariant Generation. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova |
Using Fairness to Make Abstractions Work. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober |
IF Validation Environment Tutorial. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu 0001 |
Model Checking Genetic Regulatory Networks Using GNA and CADP. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Alain Finkel, Jérôme Leroux |
Polynomial Time Image Computation with Interval-Definable Counters Systems. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Iulian Ober, Susanne Graf, Ileana Ober |
Validation of UML Models via a Mapping to Communicating Extended Timed Automata. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann, Rajeev Joshi |
Model-Driven Software Verification. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Hubert Garavel, Radu Mateescu 0001 |
SEQ.OPEN: A Tool for Efficient Trace-Based Verification. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Reinhard Wilhelm |
Formal Analysis of Processor Timing Models. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Leue, Richard Mayr, Wei Wei 0015 |
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Ball, Sriram K. Rajamani (eds.) |
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre |
Software Verification with BLAST. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt |
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Timo Latvala |
Efficient Model Checking of Safety Properties. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | K. Rustan M. Leino |
A SAT Characterization of Boolean-Program Correctness. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Jaco Geldenhuys, Antti Valmari |
A Nearly Memory-Optimal Data Structure for Sets and Mappings. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Ivana Cerná, Radek Pelánek |
Distributed Explicit Fair Cycle Detection (Set Based Approach). |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner |
A Methodology for Model-Checking Ad-hoc Networks. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Alex Groce, Willem Visser |
What Went Wrong: Explaining Counterexamples. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 3886 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|