Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dragan Bosnacki
2010 – today
- 2013
[j9]Willem P. A. Ligtenberg, Dragan Bosnacki, Peter A. J. Hilbers: Reconn: a Cytoscape Plug-in for Exploring and Visualizing Reactome. J. Bioinformatics and Computational Biology 11(4) (2013)- 2012
- [c28]Anton Wijs, Dragan Bosnacki: Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. SPIN 2012: 98-116
- [c27]Erik P. de Vink, Hans Zantema, Dragan Bosnacki: Combining Insertion and Deletion in RNA-editing Preserves Regularity. MeCBIC 2012: 48-62
- [e3]Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.): Proceedings First Workshop on GRAPH Inspection and Traversal Engineering. EPTCS 99, 2012
- 2011
- [j8]Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs: Parallel probabilistic model checking on general purpose graphics processors. STTT 13(1): 21-35 (2011)
- 2010
- [j7]Dragan Bosnacki, Stefan Edelkamp: Model checking software: on some new waves and some evergreens. STTT 12(2): 89-95 (2010)
- [c26]Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst: Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. SPIN 2010: 146-161
2000 – 2009
- 2009
- [j6]Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56(2): 187-210 (2009)
- [j5]Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction for general state exploring algorithms. STTT 11(1): 39-51 (2009)
- [j4]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)
- [c25]Inge van den Berg, Dragan Bosnacki, Peter A. J. Hilbers: Large Scale Analysis of Small Repeats via Mining of the Human Genome. DEXA Workshops 2009: 198-202
- [c24]Willem P. A. Ligtenberg, Dragan Bosnacki, Peter A. J. Hilbers: Mining Maximal Frequent Subgraphs in KEGG Reaction Networks. DEXA Workshops 2009: 213-217
- [c23]Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko: Behavioural Analysis of an I2C Linux Driver. FMICS 2009: 205-206
- [c22]Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski: Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN 2009: 32-49
- 2008
- [c21]Hans Zantema, Stefan Wagemans, Dragan Bosnacki: Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets. BIRD 2008: 303-317
- [c20]Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink: Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. CMSB 2008: 367-386
- [c19]Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
- 2007
- [j3]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)
- [c18]Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
- [c17]Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170
- [c16]
- [e2]Dragan Bosnacki, Stefan Edelkamp (Eds.): Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Lecture Notes in Computer Science 4595, Springer 2007, ISBN 978-3-540-73369-0
- 2006
- [c15]Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287
- 2005
- [c14]
- [c13]Dragan Bosnacki, Gerard J. Holzmann: Improving Spin's Partial-Order Reduction for Breadth-First Search. SPIN 2005: 91-105
- 2004
- [j2]Twan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004)
- [c12]
- [c11]Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova: Using Fairness to Make Abstractions Work. SPIN 2004: 198-215
- 2003
- [c10]Dragan Bosnacki, Huub M. M. ten Eikelder, Peter A. J. Hilbers: Genetic Code as a Gray Code Revisited. METMBS 2003: 447-456
- [c9]Dragan Bosnacki: A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. SPIN 2003: 89-103
- 2002
- [j1]
- [c8]Dragan Bosnacki: A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. FORTE 2002: 65-80
- [e1]Dragan Bosnacki, Stefan Leue (Eds.): Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Lecture Notes in Computer Science 2318, Springer 2002, ISBN 3-540-43477-1
- 2001
- [c7]Dragan Bosnacki, Dennis Dams, Leszek Holenderski: A Heuristic for Symmetry Reductions with Scalarsets. FME 2001: 518-533
- [c6]Twan Basten, Dragan Bosnacki: Enhancing Partial-Order Reduction via Process Clustering. ASE 2001: 245-253
- 2000
- [c5]
- [c4]Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova: Model Checking SDL with Spin. TACAS 2000: 363-377
1990 – 1999
- 1999
- [c3]Dragan Bosnacki: Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. SPIN 1999: 40-56
- 1998
- [c2]Dragan Bosnacki, Dennis Dams: Integrating Real Time into Spin: A Prototype Implementation. FORTE 1998: 423-438
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:17 CEST by the dblp team