· D. Bosnacki, P.A.J. Hilbers, R.S. Mans, E.P. de Vink, Modeling and Analysis of Biological Networks with Model Checking, Chapter 39 in Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications, M. Elloumi & A.Y. Zomaya (eds.), Wiley Series in Bioinformatics, volume 1, Wiley 2011, 915-940
· M. Pesic, D. Bosnacki, W. M. P. van der Aalst: Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. SPIN 2010: 146-161
· D. Bosnacki, S. Edelkamp: Model checking software: on some new waves and some evergreens. STTT 12(2): 89-95 (2010)
· I. van den Berg, D. Bosnacki, P. A. J. Hilbers: Large Scale Analysis of Small Repeats via Mining of the Human Genome. DEXA Workshops 2009: 198-202
· W. P. A. Ligtenberg, D. Bosnacki, P. A. J. Hilbers: Mining Maximal Frequent Subgraphs in KEGG Reaction Networks. DEXA Workshops 2009: 213-217
· D. Bosnacki, A. Mathijssen, Y. S. Usenko: Behavioural Analysis of an I2C Linux Driver. FMICS 2009: 205-206
· D Bosnacki, S. Edelkamp, D. Sulewski: Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN 2009: 32-49
· D. Bosnacki, E. Elkind, B. Genest, D. Peled: On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56(2): 187-210 (2009)
· D. Bosnacki, S. Leue, A. Lluch-Lafuente: Partial-order reduction for general state exploring algorithms. STTT 11(1): 39-51 (2009)
· D. Bosnacki, T. E. Pronk, E. P. de Vink: In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. T. Comp. Sys. Biology 11: 69-89 (2009)
· H Zant.ema, S. Wagemans, D. Bosnacki: Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets. BIRD 2008: 303-317
· D. Bosnacki, H. M. M. ten Eikelder, M. N. Steijaert, E. P. de Vink: Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. CMSB 2008: 367-386
· S. Edelkamp, V. Schuppan, D. Bosnacki, A. Wijs, A. Fehnker, H. Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
·
G.J. Holzmann, D.
Bosnacki, The Design of a Multicore
Extension of the SPIN Model Checker, IEEE Trans. Software
· D. Bosnacki, A.F. Donaldson, M. Leuschel, T. Massart, Efficient Approximate Verification of Promela Models via Symmetry Markers, Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Lecture Notes in Computer Science 4762, pp. 300-315, Springer, 2007.
·
D. Bosnacki,
· D. Bosnacki, S. Edelkamp (Eds.), Model Checking Software, 14th International SPIN Workshop, Lecture Notes in Computer Science 4595, Springer, 2007.
· T.E. Pronk, E.P. de Vink, D. Bosnacki and T.M. Breit, Stochastic Modeling of Codon Bias with PRISM, Proceedings of the 3rd international workshop on Methods and Tools for Coordinating, Distributed and Mobile Systems MTCoord 2007, Paphos, June 4, 2007, I. Linden and C. Talcott (eds.), Computer Science Department, University of Cyprus, Nicosia, 2007.
· G. J. Holzmann, Dragan Bosnacki: Multi-Core Model Checking with SPIN, Proc. Parallel and Distributed Processing Symposium IPDPS 2007, pp. 1-8, IEEE International, 2007.
· D. Bosnacki, S. Leue, A. Lluch-Lafuente, Partial-Order Reduction for General State Exploring Algorithms, Model Checking Software, 13th International SPIN Workshop, Lecture Notes in Computer Science 3925, pp. 271-287, Springer, 2006.
·
D. Bosnacki, On
Some Galois Connection Based Abstractions for the Mu-Calculus, FM 2005:
Formal Methods, International Symposium of Formal Methods
· D. Bosnacki, G. J. Holzmann, Improving Spin's Partial-Order Reduction for Breadth-First Search, Model Checking Software, 12th International SPIN Workshop, Lecture Notes in Computer Science 3639, pp. 91-105, Springer, 2005.