Search results for "parallel model checking"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jiri Barnat, Lubos Brim, Martin Leucker	Parallel Model Checking and the FMICS-jETI Platform.	ICECCS	2007	DBLP DOI BibTeX RDF
2	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Local Parallel Model Checking for the Alternation-Free µ-Calculus.	SPIN	2002	DBLP DOI BibTeX RDF
2	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Parallel Model Checking for the Alternation Free µ-Calculus.	TACAS	2001	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek	On Parameter Synthesis by Parallel Model Checking.	IEEE/ACM Trans. Comput. Biology Bioinform.	2012	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu	Parallel Model Checking for Temporal Epistemic Logic.	ECAI	2010	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Pavel Simecek	Cluster-Based I/O-Efficient LTL Model Checking.	ASE	2009	DBLP DOI BibTeX RDF	I/O-efficient model checking, parallel model checking, LTL
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	Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek	Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Jiri Barnat, Petr Rockai	Shared Hash Tables in Parallel Model Checking.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Lubos Brim, Jiri Barnat	Tutorial: Parallel Model Checking.	SPIN	2007	DBLP DOI BibTeX RDF
1	Gordon J. Pace, Gerardo Schneider	A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.	ICTAC	2006	DBLP DOI BibTeX RDF
1	Michael D. Jones, Jacob Sorber	Parallel search for LTL violations.	STTT	2005	DBLP DOI BibTeX RDF	Semiformal verification, Explicit model checking, Biologically inspired algorithms
1	Martin Leucker, Rafal Somla, Michael Weber 0002	Parallel Model Checking for LTL, CTL*, and Lµ2.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan	Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking.	CAV	2002	DBLP DOI BibTeX RDF

Displaying result #1 - #14 of 14 (100 per page; Change: )