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