Dragan Bosnacki

	2009
30		Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko: Behavioural Analysis of an I2C Linux Driver. FMICS 2009: 205-206
29		Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski: Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN 2009: 32-49
28		Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction for general state exploring algorithms. STTT 11(1): 39-51 (2009)
27		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 11: 69-89 (2009)
	2008
26		Hans Zantema, Stefan Wagemans, Dragan Bosnacki: Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets. BIRD 2008: 303-317
25		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: 367-386
24		Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
	2007
23		Dragan Bosnacki, Stefan Edelkamp: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings Springer 2007
22		Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
21		Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170
20		Gerard J. Holzmann, Dragan Bosnacki: Multi-Core Model Checking with SPIN. IPDPS 2007: 1-8
19		Gerard J. Holzmann, Dragan Bosnacki: The Design of a Multicore Extension of the SPIN Model Checker. IEEE Trans. Software Eng. 33(10): 659-674 (2007)
	2006
18		Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287
	2005
17		Dragan Bosnacki: On Some Galois Connection Based Abstractions for the Mu-Calculus. FM 2005: 366-381
16		Dragan Bosnacki, Gerard J. Holzmann: Improving Spin's Partial-Order Reduction for Breadth-First Search. SPIN 2005: 91-105
	2004
15		Dragan Bosnacki: Black Box Checking for Biochemical Networks. CMSB 2004: 225-230
14		Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova: Using Fairness to Make Abstractions Work. SPIN 2004: 198-215
13		Twan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004)
	2003
12		Dragan Bosnacki, Huub M. M. ten Eikelder, Peter A. J. Hilbers: Genetic Code as a Gray Code Revisited. METMBS 2003: 447-456
11		Dragan Bosnacki: A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. SPIN 2003: 89-103
	2002
10		Dragan Bosnacki, Stefan Leue: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings Springer 2002
9		Dragan Bosnacki: A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. FORTE 2002: 65-80
8		Dragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. STTT 4(1): 92-106 (2002)
	2001
7		Twan Basten, Dragan Bosnacki: Enhancing Partial-Order Reduction via Process Clustering. ASE 2001: 245-253
6		Dragan Bosnacki, Dennis Dams, Leszek Holenderski: A Heuristic for Symmetry Reductions with Scalarsets. FME 2001: 518-533
	2000
5		Dragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. SPIN 2000: 1-19
4		Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova: Model Checking SDL with Spin. TACAS 2000: 363-377
	1999
3		Dragan Bosnacki: Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. SPIN 1999: 40-56
	1998
2		Dragan Bosnacki, Dennis Dams: Integrating Real Time into Spin: A Prototype Implementation. FORTE 1998: 423-438
1		Dragan Bosnacki, Dennis Dams: Discrete-Time Promela and Spin. FTRTFT 1998: 307-310

Coauthor Index

1	Husain Aljazzar	[24]
2	Twan Basten	[7] [13]
3	Dennis Dams	[1] [2] [4] [5] [6] [8]
4	Alastair F. Donaldson	[22]
5	Stefan Edelkamp	[23] [24] [29]
6	Huub M. M. ten Eikelder	[12] [25]
7	Edith Elkind	[21]
8	Ansgar Fehnker	[24]
9	Marc Geilen	[13]
10	Blaise Genest	[21]
11	Peter A. J. Hilbers	[12]
12	Leszek Holenderski	[4] [5] [6] [8]
13	Gerard J. Holzmann	[16] [19] [20]
14	Natalia Ioustinova	[14]
15	Stefan Leue	[10] [18] [28]
16	Michael Leuschel	[22]
17	Alberto Lluch-Lafuente	[18] [28]
18	Thierry Massart	[22]
19	Aad Mathijssen	[30]
20	Doron Peled	[21]
21	Tessa E. Pronk	[27]
22	Viktor Schuppan	[24]
23	Natalia Sidorova	[4] [14]
24	M. N. Steijaert	[25]
25	Damian Sulewski	[29]
26	Yaroslav S. Usenko	[30]
27	Erik P. de Vink	[25] [27]
28	Stefan Wagemans	[26]
29	Anton Wijs	[24]
30	Hans Zantema	[26]

Colors in the list of coauthors