Search results for "SPIN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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
1	Stefan Edelkamp, Shahid Jabbar	Large-Scale Directed Model Checking LTL.	SPIN	2006	DBLP DOI BibTeX RDF
1	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
1	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.	SPIN	2006	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Dimitra Giannakopoulou	Towards a Compositional SPIN.	SPIN	2006	DBLP DOI BibTeX RDF	model checking, learning, Assume-guarantee reasoning
1	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
1	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
1	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
1	Christophe Joubert, Radu Mateescu 0001	Distributed On-the-Fly Model Checking and Test Case Generation.	SPIN	2006	DBLP DOI BibTeX RDF
1	Harmen Kastenberg, Arend Rensink	Model Checking Dynamic States in GROOVE.	SPIN	2006	DBLP DOI BibTeX RDF
1	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
1	Klaus Dräger, Bernd Finkbeiner, Andreas Podelski	Directed Model Checking with Distance-Preserving Abstractions.	SPIN	2006	DBLP DOI BibTeX RDF
1	Antti Valmari (eds.)	Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings	SPIN	2006	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
1	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
1	Dragan Bosnacki, Gerard J. Holzmann	Improving Spin's Partial-Order Reduction for Breadth-First Search.	SPIN	2005	DBLP DOI BibTeX RDF
1	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
1	Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm	Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.	SPIN	2005	DBLP DOI BibTeX RDF
1	Sarfraz Khurshid, Iván García, Yuk Lai Suen	Repairing Structurally Complex Data.	SPIN	2005	DBLP DOI BibTeX RDF
1	Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani	Sound Transaction-Based Reduction Without Cycle Detection.	SPIN	2005	DBLP DOI BibTeX RDF
1	Sami Evangelista, Jean-François Pradat-Peyre	Memory Efficient State Space Storage in Explicit Software Model Checking.	SPIN	2005	DBLP DOI BibTeX RDF
1	Anil Madhavapeddy, David J. Scott, Richard Sharp	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.	SPIN	2005	DBLP DOI BibTeX RDF
1	Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud	On-the-Fly Emptiness Checks for Generalized Büchi Automata.	SPIN	2005	DBLP DOI BibTeX RDF
1	Byron Cook, Daniel Kroening, Natasha Sharygina	Symbolic Model Checking for Asynchronous Boolean Programs.	SPIN	2005	DBLP DOI BibTeX RDF
1	Peter C. Dillinger, Panagiotis Manolios	Enhanced Probabilistic Verification with 3Spin and 3Murphi.	SPIN	2005	DBLP DOI BibTeX RDF
1	Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh	Generic Verification of Security Protocols.	SPIN	2005	DBLP DOI BibTeX RDF
1	Tomás Barros, Ludovic Henrio, Eric Madelaine	Behavioural Models for Hierarchical Components.	SPIN	2005	DBLP DOI BibTeX RDF
1	Willem Visser, Peter C. Mehlitz	Model Checking Programs with Java PathFinder.	SPIN	2005	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Theo C. Ruys	Effective Bug Hunting with Spin and Modex.	SPIN	2005	DBLP DOI BibTeX RDF
1	Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon	Verifying Pattern-Generated LTL Formulas: A Case Study.	SPIN	2005	DBLP DOI BibTeX RDF
1	Cristian Cadar, Dawson R. Engler	Execution Generated Test Cases: How to Make Systems Code Crash Itself.	SPIN	2005	DBLP DOI BibTeX RDF
1	Eric Mercer, Michael D. Jones	Model Checking Machine Code with the GNU Debugger.	SPIN	2005	DBLP DOI BibTeX RDF
1	David A. Wagner 0001	Pushdown Model Checking for Security.	SPIN	2005	DBLP DOI BibTeX RDF
1	Bas Luttik, Nikola Trcka	Stuttering Congruence for chi.	SPIN	2005	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson, Simon J. Gay	Etch: An Enhanced Type Checking Tool for Promela.	SPIN	2005	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Learning-Based Assume-Guarantee Verification (Tool Paper).	SPIN	2005	DBLP DOI BibTeX RDF
1	Madanlal Musuvathi, David L. Dill	An Incremental Heap Canonicalization Algorithm.	SPIN	2005	DBLP DOI BibTeX RDF
1	Stefan Leue, Wei Wei 0015	Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.	SPIN	2005	DBLP DOI BibTeX RDF
1	Stephen F. Siegel, George S. Avrunin	Verification of MPI-Based Software for Scientific Computation.	SPIN	2004	DBLP DOI BibTeX RDF
1	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
1	Radek Pelánek	Typical Structural Properties of State Spaces.	SPIN	2004	DBLP DOI BibTeX RDF
1	Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer	Analysis of Distributed Spin Applied to Industrial-Scale Models.	SPIN	2004	DBLP DOI BibTeX RDF
1	Michael D. Jones, Eric Mercer	Explicit State Model Checking with Hopper.	SPIN	2004	DBLP DOI BibTeX RDF
1	Peter Leven, Tilman Mehler, Stefan Edelkamp	Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.	SPIN	2004	DBLP DOI BibTeX RDF
1	Moez Krichen, Stavros Tripakis	Black-Box Conformance Testing for Real-Time Systems.	SPIN	2004	DBLP DOI BibTeX RDF
1	Jaco Geldenhuys	State Caching Reconsidered.	SPIN	2004	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Willem Visser	Verification of Java Programs Using Symbolic Execution and Invariant Generation.	SPIN	2004	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova	Using Fairness to Make Abstractions Work.	SPIN	2004	DBLP DOI BibTeX RDF
1	Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober	IF Validation Environment Tutorial.	SPIN	2004	DBLP DOI BibTeX RDF
1	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
1	Alain Finkel, Jérôme Leroux	Polynomial Time Image Computation with Interval-Definable Counters Systems.	SPIN	2004	DBLP DOI BibTeX RDF
1	Iulian Ober, Susanne Graf, Ileana Ober	Validation of UML Models via a Mapping to Communicating Extended Timed Automata.	SPIN	2004	DBLP DOI BibTeX RDF
1	Theo C. Ruys, Gerard J. Holzmann	Advanced SPIN Tutorial.	SPIN	2004	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi	Model-Driven Software Verification.	SPIN	2004	DBLP DOI BibTeX RDF
1	Hubert Garavel, Radu Mateescu 0001	SEQ.OPEN: A Tool for Efficient Trace-Based Verification.	SPIN	2004	DBLP DOI BibTeX RDF
1	Peter C. Dillinger, Panagiotis Manolios	Fast and Accurate Bitstate Verification for SPIN.	SPIN	2004	DBLP DOI BibTeX RDF
1	Paul Gastin, Pierre Moro, Marc Zeitoun	Minimization of Counterexamples in SPIN.	SPIN	2004	DBLP DOI BibTeX RDF
1	Jessica Chen, Hanmei Cui	Translation from Adapted UML to Promela for CORBA-Based Applications.	SPIN	2004	DBLP DOI BibTeX RDF	Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification
1	Reinhard Wilhelm	Formal Analysis of Processor Timing Models.	SPIN	2004	DBLP DOI BibTeX RDF
1	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.	SPIN	2004	DBLP DOI BibTeX RDF
1	Cormac Flanagan	Verifying Commit-Atomicity Using Model-Checking.	SPIN	2004	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Software Verification with BLAST.	SPIN	2003	DBLP DOI BibTeX RDF
1	Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng	A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.	SPIN	2003	DBLP DOI BibTeX RDF
1	Deepak D'Souza, Madhavan Mukund	Checking Consistency of SDL+MSC Specifications.	SPIN	2003	DBLP DOI BibTeX RDF
1	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
1	Timo Latvala	Efficient Model Checking of Safety Properties.	SPIN	2003	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino	A SAT Characterization of Boolean-Program Correctness.	SPIN	2003	DBLP DOI BibTeX RDF
1	Jaco Geldenhuys, Antti Valmari	A Nearly Memory-Optimal Data Structure for Sets and Mappings.	SPIN	2003	DBLP DOI BibTeX RDF
1	Ivana Cerná, Radek Pelánek	Distributed Explicit Fair Cycle Detection (Set Based Approach).	SPIN	2003	DBLP DOI BibTeX RDF
1	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
1	Dragan Bosnacki	A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.	SPIN	2003	DBLP DOI BibTeX RDF
1	Stefan Edelkamp	Promela Planning.	SPIN	2003	DBLP DOI BibTeX RDF
1	Theo C. Ruys	Optimal Scheduling Using Branch and Bound with SPIN 4.0.	SPIN	2003	DBLP DOI BibTeX RDF
1	Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner	A Methodology for Model-Checking Ad-hoc Networks.	SPIN	2003	DBLP DOI BibTeX RDF
1	Alex Groce, Willem Visser	What Went Wrong: Explaining Counterexamples.	SPIN	2003	DBLP DOI BibTeX RDF
1	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi 0001	Unification & Sharing in Timed Automata Verification.	SPIN	2003	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Shaz Qadeer	Thread-Modular Model Checking.	SPIN	2003	DBLP DOI BibTeX RDF
1	David Garlan, Serge Khersonsky, Jung Soo Kim	Model Checking Publish-Subscribe Systems.	SPIN	2003	DBLP DOI BibTeX RDF
1	Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan	The Maude LTL Model Checker and Its Implementation.	SPIN	2003	DBLP DOI BibTeX RDF
1	Dennis Dams	Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography).	SPIN	2002	DBLP DOI BibTeX RDF
1	Tiziana Margaria, Oliver Niese, Bernhard Steffen	Demonstration of an Automated Integrated Test Environment for Web-Based Applications.	SPIN	2002	DBLP DOI BibTeX RDF
1	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
1	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Local Parallel Model Checking for the Alternation-Free µ-Calculus.	SPIN	2002	DBLP DOI BibTeX RDF
1	Christian Stehno	System Specification and Verification Using High Level Concepts - A Tool Demonstration.	SPIN	2002	DBLP DOI BibTeX RDF
1	Theo C. Ruys	SPIN Tutorial: How to Become a SPIN Doctor.	SPIN	2002	DBLP DOI BibTeX RDF
1	Per Bjesse	Industrial Model Checking Based on Satisfiability Solvers.	SPIN	2002	DBLP DOI BibTeX RDF
1	Ramazan Savas Aygün, Aidong Zhang	Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN.	SPIN	2002	DBLP DOI BibTeX RDF
1	Edmund M. Clarke	SAT-Based Counterexample Guided Abstraction Refinement.	SPIN	2002	DBLP DOI BibTeX RDF
1	Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha	Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach.	SPIN	2002	DBLP DOI BibTeX RDF
1	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski, Joachim Posegga	Bytecode Model Checking: An Experimental Analysis.	SPIN	2002	DBLP DOI BibTeX RDF
1	Olga Shumsky Matlin, Ewing L. Lusk, William McCune	SPINning Parallel Systems Software.	SPIN	2002	DBLP DOI BibTeX RDF
1	Alex Groce, Willem Visser	Heuristic Model Checking for Java Programs.	SPIN	2002	DBLP DOI BibTeX RDF
1	Wiebe van der Hoek, Michael J. Wooldridge	Model Checking Knowledge and Time.	SPIN	2002	DBLP DOI BibTeX RDF
1	Radu Iosif	Symmetry Reduction Criteria for Software Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
1	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001	alpha SPIN: Extending SPIN with Abstraction.	SPIN	2002	DBLP DOI BibTeX RDF
1	Patrick Cousot	Abstract Interpretation: Theory and Practice.	SPIN	2002	DBLP DOI BibTeX RDF
1	Harry C. Li, Kathi Fisler, Shriram Krishnamurthi	The Influence of Software Module Systems on Modular Verification.	SPIN	2002	DBLP DOI BibTeX RDF

Publications at "SPIN"( http://dblp.L3S.de/Venues/SPIN )