Search results for "partial-order reduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	optimization, model checking, centralization, Software model checking, partial-order reduction
3	Sudipta Kundu, Malay K. Ganai, Rajesh Gupta	Partial order reduction for scalable testing of systemC TLM designs.	DAC	2008	DBLP DOI BibTeX RDF	simulation, verification, testing, partial-order reduction
3	Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby	Semantics driven dynamic partial-order reduction of MPI-based parallel programs.	PADTAD	2007	DBLP DOI BibTeX RDF	concurrent program semantics, transition independence, model checking, MPI, partial-order reduction
3	Cormac Flanagan, Patrice Godefroid	Dynamic partial-order reduction for model checking software.	POPL	2005	DBLP DOI BibTeX RDF	software model checking, partial-order reduction
3	Twan Basten, Dragan Bosnacki, Marc Geilen	Cluster-Based Partial-Order Reduction.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
3	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction and trail improvement in directed model checking.	STTT	2004	DBLP DOI BibTeX RDF	Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction
3	Twan Basten, Dragan Bosnacki	Enhancing Partial-Order Reduction via Process Clustering.	ASE	2001	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
3	Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper	Partial-order Reduction Techniques for Real-time Model Checking.	Formal Asp. Comput.	1998	DBLP DOI BibTeX RDF	Model checking, Verification, Real time, Covering, Partial-order reduction
2	Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu	Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.	QEST	2011	DBLP DOI BibTeX RDF	unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking
2	Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs	Partial Order Reduction for Branching Security Protocols.	ACSD	2010	DBLP DOI BibTeX RDF	branching security protocols, bisimulation, partial order reduction
2	Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi	GAMBIT: effective unit testing for concurrency libraries.	PPOPP	2010	DBLP DOI BibTeX RDF	preemption bound, model checking, concurrency, software testing, multithreading, partial-order reduction
2	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction for general state exploring algorithms.	STTT	2009	DBLP DOI BibTeX RDF
2	Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti	Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.	CONCUR	2009	DBLP DOI BibTeX RDF
2	Jaco Geldenhuys, Henri Hansen, Antti Valmari	Exploring the Scope for Partial Order Reduction.	ATVA	2009	DBLP DOI BibTeX RDF
2	Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova	Partial Order Reduction for State/Event LTL.	IFM	2009	DBLP DOI BibTeX RDF
2	Vineet Kahlon, Chao Wang, Aarti Gupta	Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.	CAV	2009	DBLP DOI BibTeX RDF
2	Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Formal verification of practical MPI programs.	PPOPP	2009	DBLP DOI BibTeX RDF	dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi
2	Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang	Symbolic pruning of concurrent program executions.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	concurrency, sat, pruning, partial order reduction
2	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
2	Harmen Kastenberg, Arend Rensink	Dynamic Partial Order Reduction Using Probe Sets.	CONCUR	2008	DBLP DOI BibTeX RDF
2	Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta	Peephole Partial Order Reduction.	TACAS	2008	DBLP DOI BibTeX RDF
2	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Efficient Stateful Dynamic Partial Order Reduction.	SPIN	2008	DBLP DOI BibTeX RDF
2	Alessio Lomuscio, Wojciech Penczek, Hongyang Qu	Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.	MoChArt	2008	DBLP DOI BibTeX RDF
2	Robert Mittermayr, Johann Blieberger	Static Partial-Order Reduction of Concurrent Systems in Polynomial Time.	ISoLA	2008	DBLP DOI BibTeX RDF
2	Jianhua Zhao, Linzhang Wang, Xuandong Li	A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.	ISoLA	2008	DBLP DOI BibTeX RDF
2	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Scheduling considerations for building dynamic verification tools for MPI.	PADTAD	2008	DBLP DOI BibTeX RDF	model checking, MPI, message passing, distributed programming, partial order reduction, dynamic verification
2	John Håkansson, Paul Pettersson	Partial Order Reduction for Verification of Real-Time Components.	FORMATS	2007	DBLP DOI BibTeX RDF
2	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
2	Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv	Cartesian Partial-Order Reduction.	SPIN	2007	DBLP DOI BibTeX RDF
2	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
2	Xiaodong Yi, Ji Wang, Xuejun Yang	Stateful Dynamic Partial-Order Reduction.	ICFEM	2006	DBLP DOI BibTeX RDF
2	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	On Combining Partial Order Reduction with Fairness Assumptions.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
2	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
2	Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani	Modere: the model-checking engine of Rebeca.	SAC	2006	DBLP DOI BibTeX RDF	automated verification tool, rebeca, partial order reduction, actor model
2	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
2	Marcus Größer, Christel Baier	Partial Order Reduction for Markov Decision Processes: A Survey.	FMCO	2005	DBLP DOI BibTeX RDF
2	Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan	Symbolic Partial Order Reduction for Rule Based Transition Systems.	CHARME	2005	DBLP DOI BibTeX RDF
2	Dragan Bosnacki, Gerard J. Holzmann	Improving Spin's Partial-Order Reduction for Breadth-First Search.	SPIN	2005	DBLP DOI BibTeX RDF
2	Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers	Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits.	ATVA	2004	DBLP DOI BibTeX RDF
2	Cas J. F. Cremers, Sjouke Mauw	Checking Secrecy by Means of Partial Order Reduction.	SAM	2004	DBLP DOI BibTeX RDF
2	Christel Baier, Marcus Größer, Frank Ciesinski	Partial Order Reduction for Probabilistic Systems.	QEST	2004	DBLP DOI BibTeX RDF
2	Pedro R. D'Argenio, Peter Niebert	Partial Order Reduction on Concurrent Probabilistic Programs.	QEST	2004	DBLP DOI BibTeX RDF
2	Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath	Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	software verifcation, locking discipline, software model checking, partial order reduction, escape analysis
2	Milan Ceska, Ludek Hasa, Tomás Vojnar	Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.	EUROCAST	2003	DBLP DOI BibTeX RDF
2	Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	Efficient verification of security protocols using partial-order reductions.	STTT	2003	DBLP DOI BibTeX RDF	Model checking, Security protocols, Partial-order reduction
2	Robert Palmer, Ganesh Gopalakrishnan	A Distributed Partial Order Reduction Algorithm.	FORTE	2002	DBLP DOI BibTeX RDF
2	Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue	Partial Order Reduction in Directed Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
2	Stefan Blom, Jaco van de Pol	State Space Reduction by Proving Confluence.	CAV	2002	DBLP DOI BibTeX RDF	on-the-fly state space reduction, symbolic transformation, &#55CRL tool set, theorem proving, Labeled transition systems, partial order reduction, confluence, branching bisimulation
2	Tomoya Kitai, Tomohiro Yoneda	Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits.	PRDC	2001	DBLP DOI BibTeX RDF
2	Marius Minea	Partial Order Reduction for Model Checking of Timed Automata.	CONCUR	1999	DBLP DOI BibTeX RDF
2	Tomohiro Yoneda, Hiroshi Ryu	Timed Trace Theoretic Verification Using Partial Order Reduction.	ASYNC	1999	DBLP DOI BibTeX RDF
2	Dragan Bosnacki	Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.	SPIN	1999	DBLP DOI BibTeX RDF
2	Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled	State Space Reduction Using Partial Order Techniques.	STTT	1999	DBLP DOI BibTeX RDF	Partial order reduction, State space reduction
2	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün	Static Partial Order Reduction.	TACAS	1998	DBLP DOI BibTeX RDF
2	Doron Peled	Ten Years of Partial Order Reduction.	CAV	1998	DBLP DOI BibTeX RDF
2	Y. S. Ramakrishna, Scott A. Smolka	Partial-Order Reduction in the Weak Modal Mu-Calculus.	CONCUR	1997	DBLP DOI BibTeX RDF
2	Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Partial-Order Reduction in Symbolic State Space Exploration.	CAV	1997	DBLP DOI BibTeX RDF
2	Ilkka Kokkarinen, Doron Peled, Antti Valmari	Relaxed Visibility Enhances Partial Order Reduction.	CAV	1997	DBLP DOI BibTeX RDF
1	Stephen F. Siegel	Transparent partial order reduction.	Formal Methods in System Design	2012	DBLP DOI BibTeX RDF
1	Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková	Partial order reduction for state/event LTL with application to component-interaction automata.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Tian Huat Tan, Yang Liu 0003, Jun Sun 0001, Jin Song Dong	Verification of Orchestration Systems Using Compositional Partial Order Reduction.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Alessandro Cimatti, Iman Narasamdya, Marco Roveri	Boosting Lazy Abstraction for SystemC with Partial Order Reduction.	TACAS	2011	DBLP DOI BibTeX RDF
1	Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri	Supporting domain-specific state space reductions through local partial-order reduction.	ASE	2011	DBLP DOI BibTeX RDF
1	Yingying Zhang, Emmanuel Rodriguez, Hao Zheng 0001, Chris J. Myers	A Behavioral Analysis Approach for Efficient Partial Order Reduction.	HASE	2011	DBLP DOI BibTeX RDF
1	José Vander Meulen, Charles Pecheur	Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	José Vander Meulen, Charles Pecheur	Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Cristian Daniel Rosa, Stephan Merz, Martin Quinson	A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction.	ECEASST	2010	DBLP BibTeX RDF
1	Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar	Symmetry and partial order reduction techniques in model checking Rebeca.	Acta Inf.	2010	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Distributed dynamic partial order reduction.	STTT	2010	DBLP DOI BibTeX RDF
1	Sami Evangelista, Christophe Pajault	Solving the ignoring problem for partial order reduction.	STTT	2010	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Petr Rockai	Parallel Partial Order Reduction with Topological Sort Proviso.	SEFM	2010	DBLP DOI BibTeX RDF
1	Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha	Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.	FASE	2010	DBLP DOI BibTeX RDF
1	Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous	Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.	SIES	2010	DBLP DOI BibTeX RDF
1	Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema	Order-Independence of Vector-Based Transition Systems.	ACSD	2010	DBLP DOI BibTeX RDF	Vector-based transition systems, Moore machines, Order independence, Model checking, Partial order reduction
1	Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Dan Quinlan	A symbolic verifier for CUDA programs.	PPOPP	2010	DBLP DOI BibTeX RDF	spmd, formal verification, symbolic analysis, cuda
1	José Vander Meulen, Charles Pecheur	Combining Partial Order Reduction with Bounded Model Checking.	CPA	2009	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.	PADTAD	2009	DBLP DOI BibTeX RDF	testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs
1	Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt	MCC: A runtime verification tool for MCAPI user applications.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Christel Baier, Marcus Größer, Frank Ciesinski	Quantitative Analysis under Fairness Constraints.	ATVA	2009	DBLP DOI BibTeX RDF
1	Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001	Model Checking Linearizability via Refinement.	FM	2009	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby	Reduced Execution Semantics of MPI: From Theory to Practice.	FM	2009	DBLP DOI BibTeX RDF
1	Sebastian Mödersheim, Luca Viganò	The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.	FOSAD	2009	DBLP DOI BibTeX RDF
1	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	Scalable Multi-core Model Checking Fairness Enhanced Systems.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Robert M. Kirby	Practical Formal Verification of MPI and Thread Programs.	PVM/MPI	2009	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).	PVM/MPI	2009	DBLP DOI BibTeX RDF
1	Nicolas Blanc, Daniel Kroening	Speeding Up Simulation of SystemC Using Model Checking.	SBMF	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	Aarti Gupta	Model Checking Concurrent Programs.	VMCAI	2009	DBLP DOI BibTeX RDF
1	J. Francisco Chicano, Enrique Alba	Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
1	Muhammad Torabi Dashti, Anton Wijs, Bert Lisser	Distributed Partial Order Reduction for Security Protocols.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Pavel Moravec 0002	Approximations of state spaces reduced by partial order reduction.	SOFSEM	2008	DBLP BibTeX RDF
1	Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby	ISP: a tool for model checking MPI programs.	PPOPP	2008	DBLP DOI BibTeX RDF	dynamic partial order reduction, model checking, formal verification, mpi
1	Nicolas Blanc, Daniel Kroening	Race analysis for SystemC using model checking.	ICCAD	2008	DBLP DOI BibTeX RDF
1	John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej	Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.	ATVA	2008	DBLP DOI BibTeX RDF
1	Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.	ATVA	2008	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby	Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.	CAV	2008	DBLP DOI BibTeX RDF
1	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	FMICS	2008	DBLP DOI BibTeX RDF
1	Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman	Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.	FMSB	2008	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Hai H. Wang	Specifying and Verifying Event-Based Fairness Enhanced Systems.	ICFEM	2008	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.	ISoLA	2008	DBLP DOI BibTeX RDF