Search results for "SPIN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Fang Yu 0001, Tevfik Bultan, Ben Hardekopf	String Abstractions for String Verification.	SPIN	2011	DBLP DOI BibTeX RDF
1	Andreas Morgenstern, Klaus Schneider 0001	Program Sketching via CTL* Model Checking.	SPIN	2011	DBLP DOI BibTeX RDF
1	Jasmin Fisher	Model Checking Cell Fate Decisions.	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	Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois C. Knoll	Model Checking Industrial Robot Systems.	SPIN	2011	DBLP DOI BibTeX RDF
1	Yogesh Mali, Eric Van Wyk	Building Extensible Specifications and Implementations of Promela with AbleP.	SPIN	2011	DBLP DOI BibTeX RDF
1	Radu Mateescu 0001, Anton Wijs	Property-Dependent Reductions for the Modal Mu-Calculus.	SPIN	2011	DBLP DOI BibTeX RDF
1	Alexander Linden 0001, Pierre Wolper	A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems.	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	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	Darren D. Cofer	Model Checking: Cleared for Take Off.	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	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
1	Alessandro Cimatti	SMT-Based Software Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
1	Zhe Chen 0011, Gilles Motet	Nevertrace Claims for Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
1	Alexander Linden 0001, Pierre Wolper	An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.	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	Rüdiger Ehlers, Bernd Finkbeiner	On the Virtue of Patience: Minimizing Büchi Automata.	SPIN	2010	DBLP DOI BibTeX RDF
1	Martin Wehrle, Sebastian Kupferschmid	Context-Enhanced Directed Model Checking.	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 0001, Alberto Salmerón	Combining SPIN with ns-2 for Protocol Optimization.	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	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	Marc de Jonge, Theo C. Ruys	The SpinJa Model Checker.	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	Kenro Yatake, Toshiaki Aoki	Automatic Generation of Model Checking Scripts Based on Environment Modeling.	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	Mordechai Ben-Ari	Tool Presentation: Teaching Concurrency and Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF
1	Peter C. Dillinger, Panagiotis Manolios	Fast, All-Purpose State Storage.	SPIN	2009	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski	Efficient Probabilistic Model Checking on General Purpose Graphics Processors.	SPIN	2009	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska	On Quantitative Software Verification.	SPIN	2009	DBLP DOI BibTeX RDF
1	Joseph Sifakis	The Quest for Correctness-Beyond a Posteriori Verification.	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	Oliver Sharma, Jonathan Lewis, Alice Miller 0001, 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	Hubert Garavel, Damien Thivolle	Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.	SPIN	2009	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001	Probabilistic Reachability for Parametric Markov Models.	SPIN	2009	DBLP DOI BibTeX RDF
1	Radek Pelánek, Václav Rosecký	EMMA: Explicit Model Checking Manager (Tool Presentation).	SPIN	2009	DBLP DOI BibTeX RDF
1	Willem Visser	Who Really Cares If the Program Crashes?.	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	Andrey Rybalchenko, Rishabh Singh	Subsumer-First: Steering Symbolic Reachability Analysis.	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	Malay K. Ganai, Sudipta Kundu	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.	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	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	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
1	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	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	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	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	Sami Evangelista	Dynamic Delayed Duplicate Detection for External Memory Model Checking.	SPIN	2008	DBLP DOI BibTeX RDF
1	Fang Yu 0001, Tevfik Bultan, Marco Cova, Oscar H. Ibarra	Symbolic String Verification: An Automata-Based Approach.	SPIN	2008	DBLP DOI BibTeX RDF
1	Frank Ciesinski, Christel Baier, Marcus Größer, David Parker 0001	Generating Compact MTBDD-Representations from ProbmelaSpecifications.	SPIN	2008	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Aarti Gupta	Efficient Modeling of Concurrent Systems in BMC.	SPIN	2008	DBLP DOI BibTeX RDF
1	Tonglaga Bao, Michael D. Jones	Model Checking Abstract Components within Concrete Software Environments.	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	Nazha Abed, Stavros Tripakis, Jean-Marc Vincent	Resource-Aware Verification Using Randomized Exploration of Large State Spaces.	SPIN	2008	DBLP DOI BibTeX RDF
1	Gaurav Singh 0006, 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	Stefan Leue, Alin Stefanescu, Wei Wei 0015	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.	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	Peter Lamborn, Eric A. Hansen	Layered Duplicate Detection in 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 DOI BibTeX RDF
1	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, Rahul Purandare	Residual Checking of Safety Properties.	SPIN	2008	DBLP DOI BibTeX RDF
1	Harald Fecher, Sharon Shoham	State Focusing: Lazy Abstraction for the Mu-Calculus.	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	Shaz Qadeer	The Case for Context-Bounded Verification of Concurrent Programs.	SPIN	2008	DBLP DOI BibTeX RDF
1	Radu Mateescu 0001, Emilie Oudot	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.	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	Viet Yen Nguyen, Theo C. Ruys	Incremental Hashing for Spin.	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	Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Efficient Stateful Dynamic Partial Order Reduction.	SPIN	2008	DBLP DOI BibTeX RDF
1	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
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	Mohamed Nassim Seghir, Andreas Podelski	ACSAR: Software Model Checking with Transfinite Refinement.	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	Harald Fecher, Sharon Shoham	Local Abstraction-Refinement for the mu-Calculus.	SPIN	2007	DBLP DOI BibTeX RDF
1	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
1	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
1	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
1	Neha Rungta, Eric G. Mercer	Generating Counter-Examples Through Randomized Guided Search.	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	Kristin Y. Rozier, Moshe Y. Vardi	LTL Satisfiability Checking.	SPIN	2007	DBLP DOI BibTeX RDF
1	Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi	A SystemC/TLM Semantics in Promelaand Its Possible Applications.	SPIN	2007	DBLP DOI BibTeX RDF
1	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
1	Alberto Lluch-Lafuente	Towards Model Checking Spatial Properties with SPIN.	SPIN	2007	DBLP DOI BibTeX RDF
1	Michael Weber 0002	An Embeddable Virtual Machine for State Space Generation.	SPIN	2007	DBLP DOI BibTeX RDF
1	Radek Pelánek	BEEM: Benchmarks for Explicit Model Checkers.	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	Jiri Barnat, Lubos Brim, Petr Rockai	Scalable Multi-core LTL Model-Checking.	SPIN	2007	DBLP DOI BibTeX RDF
1	Paul Gastin, Pierre Moro	Minimal Counterexample Generation for SPIN.	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	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic Execution with Abstract Subsumption Checking.	SPIN	2006	DBLP DOI BibTeX RDF
1	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
1	Harald Fecher, Martin Leucker, Verena Wolf	Don't Know in Probabilistic Systems.	SPIN	2006	DBLP DOI BibTeX RDF
1	Jaco Geldenhuys, Henri Hansen	Larger Automata and Less Work for LTL Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF

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