Dragan Bosnacki - Publications

·        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 Eng. 33(10): 659-674, 2007.

·        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, E. Elkind, B. Genest, D. Peled, On Commutativity Based Edge Lean Search, Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Lecture Notes in Computer Science 4596, pp. 158-170, Springer, 2007.

·        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 Europe, Lecture Notes in Computer Science 3582, pp. 366-381, Springer, 2005.

·        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.

  • T. Basten, D. Bosnacki, M.C.W. Geilen, Cluster-Based Partial-Order Reduction, Automated Software Engineering, An International Journal,  11(4), October 2004, pp. 365-402, Kluwer Academic Publishers, 2004.
  • D. Bosnacki, N. Ioustinova, N. Sidorova, Using Fairness to Make Abstractions Work, Model Checking Software, 11th International SPIN Workshop (SPIN 2004), Lecture Notes in Computer Science pp. 198-215, Springer, 2004.
  • D. Bosnacki, D. Dams, L. Holenderski, Symmetric Spin, International Journal on Software Tools for Technology Transfer, 4(1), pp. 65-80, 2002.
  • T. Basten, D. Bosnacki, Enhancing Partial-Order Reduction via Process Clustering, 16th IEEE Conference on Automated Software Engineering ASE 2001, IEEE Computer Society Press, 2001. (previous version appeared as Technical report, Eindhoven University of Technology CSR 00-11, 2000.)
  • D. Bosnacki, D. Dams, L. Holenderski, Symmetric Spin, Proc. of the 7th Int. SPIN Workshop on Model Checking of Software, SPIN 2000, Lecture Notes in Computer Science 1885, pp. 1-19, Springer, 2000.
  • D. Bosnacki, D. Dams, L. Holenderski, N. Sidorova, Model Checking SDL with Spin, Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, Lecture Notes in Computer Science 1785, pp. 363-377 Springer-Verlag, 2000.
  • D. Bosnacki, Digitization of Timed Automata, Proc. of the Fourth International Workshop on Formal Methods for Industrial Critical Systems FMICS '99, Trento, Italy, 1999, pp. 283-302, ISBN 88-7958-009-4
  • D. Bosnacki, D. Dams, Discrete-Time Promela and Spin, Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT '98,  Lecture Notes in Computer Science 1486, pp. 307-310, Springer-Verlag, 1998.