Search results for "HSF-SPIN"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Directed Explicit Model Checking with HSF-SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
59	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Directed explicit-state model checking in the validation of communication protocols.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Directed search, Protocol validation
46	Shahid Jabbar, Stefan Edelkamp	I/O Efficient Directed Model Checking.	VMCAI	2005	DBLP DOI BibTeX RDF
46	D. G. McVitie, L. B. Wilson	The Stable Marriage Problem.	Commun. ACM	1971	DBLP DOI BibTeX RDF
44	Enrique Alba 0001, Francisco Chicano	Searching for liveness property violations in concurrent systems with ACO.	GECCO	2008	DBLP DOI BibTeX RDF	HSF-SPIN, ant colony optimization, metaheuristics, SPIN, liveness properties
44	Enrique Alba 0001, Francisco Chicano	Finding safety errors with ACO.	GECCO	2007	DBLP DOI BibTeX RDF	HSF-SPIN, ant colony optimization, metaheuristics, SPIN
44	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction and trail improvement in directed model checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction
37	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction for general state exploring algorithms.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
37	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
29	Shahid Jabbar, Stefan Edelkamp	Parallel External Directed Model Checking with Linear I/O.	VMCAI	2006	DBLP DOI BibTeX RDF

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