Search results for "Dragan Bosnacki"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs	Parallel probabilistic model checking on general purpose graphics processors.	STTT	2011	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Stefan Edelkamp	Model checking software: on some new waves and some evergreens.	STTT	2010	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	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled	On commutativity based Edge Lean search.	Ann. Math. Artif. Intell.	2009	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction for general state exploring algorithms.	STTT	2009	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink	In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition.	T. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko	Behavioural Analysis of an I2C Linux Driver.	FMICS	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	Inge van den Berg, Dragan Bosnacki, Peter A. J. Hilbers	Large Scale Analysis of Small Repeats via Mining of the Human Genome.	DEXA Workshops	2009	DBLP DOI BibTeX RDF
1	Willem P. A. Ligtenberg, Dragan Bosnacki, Peter A. J. Hilbers	Mining Maximal Frequent Subgraphs in KEGG Reaction Networks.	DEXA Workshops	2009	DBLP DOI BibTeX RDF
1	Hans Zantema, Stefan Wagemans, Dragan Bosnacki	Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets.	BIRD	2008	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Huub M. M. ten Eikelder, M. N. Steijaert, Erik P. de Vink	Stochastic Analysis of Amino Acid Substitution in Protein Synthesis.	CMSB	2008	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar	Survey on Directed Model Checking.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Dragan Bosnacki	The Design of a Multicore Extension of the SPIN Model Checker.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Logics and meanings of Programs, Model Checking, Distributed Programming, Models of Computation, Software/Program Verification
1	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled	On Commutativity Based Edge Lean Search.	ICALP	2007	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Dragan Bosnacki	Multi-Core Model Checking with SPIN.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart	Efficient Approximate Verification of Promela Models Via Symmetry Markers.	ATVA	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 BibTeX RDF
1	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Gerard J. Holzmann	Improving Spin's Partial-Order Reduction for Breadth-First Search.	SPIN	2005	DBLP DOI BibTeX RDF
1	Dragan Bosnacki	On Some Galois Connection Based Abstractions for the Mu-Calculus.	FM	2005	DBLP DOI BibTeX RDF	model checking, abstraction, mu-calculus, property preservation
1	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
1	Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova	Using Fairness to Make Abstractions Work.	SPIN	2004	DBLP DOI BibTeX RDF
1	Dragan Bosnacki	Black Box Checking for Biochemical Networks.	CMSB	2004	DBLP DOI BibTeX RDF
1	Dragan Bosnacki	A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.	SPIN	2003	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Huub M. M. ten Eikelder, Peter A. J. Hilbers	Genetic Code as a Gray Code Revisited.	METMBS	2003	DBLP BibTeX RDF
1	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	Symmetric Spin.	STTT	2002	DBLP DOI BibTeX RDF	Model checking, Spin, Symmetry reduction
1	Dragan Bosnacki	A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.	FORTE	2002	DBLP DOI BibTeX RDF	state space reduction techniques, nested depth first search algorithm, multiple representatives, Model checking, symmetry reduction
1	Dragan Bosnacki, Stefan Leue (eds.)	Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings	SPIN	2002	DBLP BibTeX RDF
1	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
1	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	A Heuristic for Symmetry Reductions with Scalarsets.	FME	2001	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova	Model Checking SDL with Spin.	TACAS	2000	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	Symmetric Spin.	SPIN	2000	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	Dragan Bosnacki, Dennis Dams	Integrating Real Time into Spin: A Prototype Implementation.	FORTE	1998	DBLP BibTeX RDF
1	Dragan Bosnacki, Dennis Dams	Discrete-Time Promela and Spin.	FTRTFT	1998	DBLP DOI BibTeX RDF

Publications of "Dragan Bosnacki" ( http://dblp.L3S.de/Authors/Dragan_Bosnacki )