Search results for "SPIN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue	Partial Order Reduction in Directed Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
1	Cindy Eisner, Doron A. Peled	Comparing Symbolic and Explicit Model Checking of a Software System.	SPIN	2002	DBLP DOI BibTeX RDF
1	Paolo Maggi, Riccardo Sisto	Using SPIN to Verify Security Properties of Cryptographic Protocols.	SPIN	2002	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Stefan Leue (eds.)	Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings	SPIN	2002	DBLP DOI BibTeX RDF
1	James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam	The Agreement Problem Protocol Verification Environment.	SPIN	2002	DBLP DOI BibTeX RDF
1	Denis Lugiez, Peter Niebert, Sarah Zennou	Dynamic Bounds and Transition Merging for Local First Search.	SPIN	2002	DBLP DOI BibTeX RDF
1	Yves-Marie Quemener	A Typical Testing Problem: Validating WML Cellphones.	SPIN	2002	DBLP DOI BibTeX RDF
1	Flavio Lerda, Willem Visser	Addressing Dynamic Issues of Program Model Checking.	SPIN	2001	DBLP DOI BibTeX RDF
1	Vivek K. Shanbhag, K. Gopinath	A SPIN-Based Model Checker for Telecommunication Protocols.	SPIN	2001	DBLP DOI BibTeX RDF
1	Thomas Ball, Sriram K. Rajamani	Automatically Validating Temporal Safety Properties of Interfaces.	SPIN	2001	DBLP DOI BibTeX RDF
1	Doron A. Peled, Lenore D. Zuck	From Model Checking to a Temporal Proof.	SPIN	2001	DBLP DOI BibTeX RDF
1	Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal	Applications of Model Checking at Honeywell Laboratories.	SPIN	2001	DBLP DOI BibTeX RDF
1	Shin Nakajima 0001, Tetsuo Tamai	Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture.	SPIN	2001	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer (eds.)	Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings	SPIN	2001	DBLP DOI BibTeX RDF
1	Bernhard Steffen, Tiziana Margaria, Volker Braun	Coarse-Granular Model Checking in Practice.	SPIN	2001	DBLP DOI BibTeX RDF
1	Fabrice Derepas, Paul Gastin	Model Checking Systems of Replicated Processes with Spin.	SPIN	2001	DBLP DOI BibTeX RDF
1	Michael Baldamus, Jochen Schröder-Babo	p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).	SPIN	2001	DBLP DOI BibTeX RDF
1	Javier Esparza, Keijo Heljanko	Implementing LTL Model Checking with Net Unfoldings.	SPIN	2001	DBLP DOI BibTeX RDF
1	Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache	Parallel State Space Construction for Model-Checking.	SPIN	2001	DBLP DOI BibTeX RDF	state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
1	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Directed Explicit Model Checking with HSF-SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
1	Clement Yuen, Wei Tjioe	Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin.	SPIN	2001	DBLP DOI BibTeX RDF
1	Rob Gerth	Model Checking if Your Life Depends on It a View from Intel's Trenches.	SPIN	2001	DBLP DOI BibTeX RDF
1	Muffy Calder, Alice Miller 0001	Using SPIN for Feature Interaction Analysis - A Case Study.	SPIN	2001	DBLP DOI BibTeX RDF	Promela/SPIN, analysis and reasoning techniques, distributed systems, formal modelling, feature interaction, communicating processes, telecommunications services
1	Scott D. Stoller, Yanhong A. Liu	Transformations for Model Checking Distributed Java Programs.	SPIN	2001	DBLP DOI BibTeX RDF
1	Leszek Holenderski	A Model Checking Project at Philips Research.	SPIN	2001	DBLP DOI BibTeX RDF
1	Guoping Jia, Susanne Graf	Verification Experiments on the MASCARA Protocol.	SPIN	2001	DBLP DOI BibTeX RDF
1	Marsha Chechik, Benet Devereux, Arie Gurfinkel	Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Jitka Stríbrná	Distributed LTL Model-Checking in SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
1	Anca Browne, Henny Sipma, Ting Zhang 0001	Linking STeP with SPIN.	SPIN	2000	DBLP DOI BibTeX RDF
1	Wayne Liu	Interaction Abstraction for Compositional Finite State Systems.	SPIN	2000	DBLP DOI BibTeX RDF
1	Philippa J. Broadfoot, A. W. Roscoe 0001	Tutorial on FDR and Its Applications.	SPIN	2000	DBLP DOI BibTeX RDF
1	Jerry J. Harrow	Runtime Checking of Multithreaded Applications with Visual Threads.	SPIN	2000	DBLP DOI BibTeX RDF
1	Heikki Tauriainen, Keijo Heljanko	Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input.	SPIN	2000	DBLP DOI BibTeX RDF
1	Elena Fersman, Bengt Jonsson 0001	Abstraction of Communication Channels in Promela: A Case Study.	SPIN	2000	DBLP DOI BibTeX RDF
1	Doron Drusinsky	The Temporal Rover and the ATG Rover.	SPIN	2000	DBLP DOI BibTeX RDF
1	Thomas Ball, Sriram K. Rajamani	Bebop: A Symbolic Model Checker for Boolean Programs.	SPIN	2000	DBLP DOI BibTeX RDF
1	Nicholas Weininger, Darren D. Cofer	Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study.	SPIN	2000	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Model-Checking Multi-threaded Distributed Java Programs.	SPIN	2000	DBLP DOI BibTeX RDF
1	Matthieu Martel, Marc Gengler	Communication Topology Analysis for Concurrent Programs.	SPIN	2000	DBLP DOI BibTeX RDF
1	Klaus Havelund, John Penix, Willem Visser (eds.)	SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings	SPIN	2000	DBLP DOI BibTeX RDF
1	Ed Brinksma, Angelika Mader	Verification and Optimization of a PLC Control Schedule.	SPIN	2000	DBLP DOI BibTeX RDF
1	Theo C. Ruys	Low-Fat Recipes for SPIN.	SPIN	2000	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	Symmetric Spin.	SPIN	2000	DBLP DOI BibTeX RDF
1	Klaus Havelund	Using Runtime Analysis to Guide Model Checking of Java Programs.	SPIN	2000	DBLP DOI BibTeX RDF
1	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	A Language Framework for Expressing Checkable Properties of Dynamic Software.	SPIN	2000	DBLP DOI BibTeX RDF
1	Radu Iosif, Riccardo Sisto	Using Garbage Collection in Model Checking.	SPIN	2000	DBLP DOI BibTeX RDF
1	Mila E. Majster-Cederbaum, Frank Salger	Correctness by Construction: Towards Verification in Hierarchical System Development.	SPIN	2000	DBLP DOI BibTeX RDF
1	Bengi Karaçali, Kuo-Chung Tai	Model Checking Based on Simultaneous Reachability Analysis.	SPIN	2000	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann	Logic Verification of ANSI-C Code with SPIN.	SPIN	2000	DBLP DOI BibTeX RDF
1	Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen	Divide, Abstract, and Model-Check.	SPIN	1999	DBLP DOI BibTeX RDF
1	Claudio Demartini, Radu Iosif, Riccardo Sisto	dSPIN: A Dynamic Extension of SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
1	Carl B. Adekunle, Steve A. Schneider	Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin.	SPIN	1999	DBLP DOI BibTeX RDF
1	Klaus Havelund, Jens U. Skakkebæk	Applying Model Checking in Java Verification.	SPIN	1999	DBLP DOI BibTeX RDF
1	Jaco Geldenhuys, P. J. A. de Villiers	Runtime Efficient State Compaction in SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann	The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.	SPIN	1999	DBLP DOI BibTeX RDF
1	Dan Craigen	Formal Methods Adoption: What's Working, What's Not!	SPIN	1999	DBLP DOI BibTeX RDF
1	Heikki Tuominen	Embedding a Dialect of SDL in PROMELA.	SPIN	1999	DBLP DOI BibTeX RDF
1	Wil Janssen, Radu Mateescu 0001, Sjouke Mauw, Peter Fennema, Petra van der Stappen	Model Checking for Managers.	SPIN	1999	DBLP DOI BibTeX RDF
1	John M. Rushby	Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving.	SPIN	1999	DBLP DOI BibTeX RDF
1	Flavio Lerda, Riccardo Sisto	Distributed-Memory Model Checking with SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
1	Theo C. Ruys	Xspin/Project - Integrated Validation Management for Xspin.	SPIN	1999	DBLP DOI BibTeX RDF
1	Moataz Kamel, Stefan Leue	VIP: A Visual Interface for Promela.	SPIN	1999	DBLP DOI BibTeX RDF
1	Marsha Chechik, Dimitrie O. Paun	Events in Property Patterns.	SPIN	1999	DBLP DOI BibTeX RDF
1	Klaus Havelund	Java PathFinder, A Translator from Java to Promela.	SPIN	1999	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth 0001	Assume-Guarantee Model Checking of Software: A Comparative Case Study.	SPIN	1999	DBLP DOI BibTeX RDF
1	Wenhui Zhang	Model Checking Operator Procedures.	SPIN	1999	DBLP DOI BibTeX RDF
1	Dragan Bosnacki	Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.	SPIN	1999	DBLP DOI BibTeX RDF
1	María-del-Mar Gallardo, Pedro Merino 0001	A Framework for Automatic Construction of Abstract Promela Models.	SPIN	1999	DBLP DOI BibTeX RDF
1	Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)	Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings	SPIN	1999	DBLP DOI BibTeX RDF
1	Gerald Lüttgen, Victor Carreño	Analyzing Mode Confusion via Model Checking.	SPIN	1999	DBLP DOI BibTeX RDF

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