dblp.uni-trier.dewww.uni-trier.de

Dragan Bosnacki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
26EEHans Zantema, Stefan Wagemans, Dragan Bosnacki: Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets. BIRD 2008: 303-317
25EEDragan 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
24EEStefan 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
22EEDragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
21EEDragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170
20EEGerard J. Holzmann, Dragan Bosnacki: Multi-Core Model Checking with SPIN. IPDPS 2007: 1-8
19EEGerard 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
18EEDragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287
2005
17EEDragan Bosnacki: On Some Galois Connection Based Abstractions for the Mu-Calculus. FM 2005: 366-381
16EEDragan Bosnacki, Gerard J. Holzmann: Improving Spin's Partial-Order Reduction for Breadth-First Search. SPIN 2005: 91-105
2004
15EEDragan Bosnacki: Black Box Checking for Biochemical Networks. CMSB 2004: 225-230
14EEDragan Bosnacki, Natalia Ioustinova, Natalia Sidorova: Using Fairness to Make Abstractions Work. SPIN 2004: 198-215
13EETwan 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
11EEDragan 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
9EEDragan Bosnacki: A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. FORTE 2002: 65-80
8EEDragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. STTT 4(1): 92-106 (2002)
2001
7EETwan Basten, Dragan Bosnacki: Enhancing Partial-Order Reduction via Process Clustering. ASE 2001: 245-253
6EEDragan 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
4EEDragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova: Model Checking SDL with Spin. TACAS 2000: 363-377
1999
3EEDragan 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
1EEDragan Bosnacki, Dennis Dams: Discrete-Time Promela and Spin. FTRTFT 1998: 307-310

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)