Dragan Bosnacki

View Scopus Profile

Dragan Bosnacki

dr.

 https://orcid.org/0000-0003-4371-4436
  • 804
    Citations - based on content available in repository [source: Scopus]
1998 …2025

Content available in repository

Filter
Conference contribution

Search results

  • 2017

    HIFUtk: visual analytics for high intensity focused ultrasound simulation

    Modena, D., van Dijk, E. V. M., Bosnacki, D., ten Eikelder, H. M. M. & Westenberg, M. A., 2017, Eurographics Workshop on Visual Computing for Biology and Medicine. Bruckner, S., Hennemuth, A., Kainz, B., Hotz, I., Merhof, D. & Rieder, C. (eds.). Geneve: Eurographics Association, p. 73-82 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)

  • Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

    Zhang, D., Bošnački, D., van den Brand, M. G. J., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 2017, Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Revised Selected Papers. Hammoudi, S., Pires, L. F., Selic, B. & Desfray, P. (eds.). Springer, p. 249-273 25 p. (Communications in Computer and Information Science; vol. 692).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)
    2 Downloads (Pure)
  • 2016

    Dependency safety for Java - implementing failboxes

    Bosnacki, D., van den Brand, M. G. J., Denissen, P. E. J. G., Huizing, C., Jacobs, B., Kuiper, R., Wijs, A. J., Wiłkowski, M. & Zhang, D., 2016, PPPJ '16 Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York: Association for Computing Machinery, Inc., 6 p. 15

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Downloads (Pure)

  • GPUexplore 2.0: unleashing GPU explicit-state model checking

    Wijs, A., Neele, T. & Bosnacki, D., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Springer, p. 694-701 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    24 Citations (Scopus)
    7 Downloads (Pure)

  • Partial-order reduction for GPU model checking

    Neele, T. S., Wijs, A. J., Bošnački, D. & van de Pol, J. C., 2016, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Proceedings. Springer, p. 357-374 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9938).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Citations (Scopus)
    2 Downloads (Pure)

  • Towards modular verification of threaded concurrent executable code generated from DSL models

    Bosnacki, D., van den Brand, M. G. J., Gabriels, J. M. A. M., Jacobs, B., Kuiper, R., Roede, S., Wijs, A. J. & Zhang, D., 2016, Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Braga, C. & Csaba Ölveczky, P. (eds.). Dordrecht: Springer, p. 141-160 20 p. (Lecture Notes in Computer Science; vol. 9539).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)

  • Verification of atomicity preservation in model-to-code transformations using generic Java code

    Zhang, D., Bosnacki, D., Van Den Brand, M., Huizing, C., Kuiper, R., Jacobs, B. & Wijs, A., 2016, MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SciTePress Digital Library, p. 578-588 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    5 Downloads (Pure)
  • 2015

    Modular termination verification

    Jacobs, B., Bosnacki, D. & Kuiper, R., 1 Jul 2015, 29th European Conference on Object-Oriented Programming, ECOOP 2015. Boyland, J. T. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 37. p. 664-688 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    69 Downloads (Pure)

  • Partial order reduction and symmetry with multiple representatives

    Bosnacki, D. & Scheffer, M., 8 Apr 2015, NASA Formal Methods Symposium: 7th International Symposium, NFM'15, Pasadena CA, USA, April 27-29, 2015. Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer, p. 97-111 (Lecture Notes in Computer Science; vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
  • 2014

    GPU-based graph decomposition into strongly connected and maximal end components

    Bosnacki, D., Katoen, J. P. & Wijs, A. J., 2014, Computer Aided Verification (26th International Conference, CAV 2014, Vienna, Austria, July 18-22, 2014. Proceedings). Biere, A. & Bloem, R. (eds.). Berlin: Springer, p. 310-326 (Lecture Notes in Computer Science; vol. 8559).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Citations (Scopus)
    4 Downloads (Pure)

  • GPUexplore: Many-core on-the-fly state space exploration using GPUs

    Wijs, A. J. & Bosnacki, D., 2014, Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April, 2014. Proceedings). Ábrahám, E. & Havelund, K. (eds.). Berlin: Springer, p. 233-247 (Lecture Notes in Computer Science; vol. 8413).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    34 Citations (Scopus)
    2 Downloads (Pure)

  • Towards verified Java code generation from concurrent state machines

    Zhang, D., Bosnacki, D., Brand, van den, M. G. J., Engelen, L. J. P., Huizing, C., Kuiper, R. & Wijs, A. J., 2014, Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)). Dingel, J., Lara, de, J., Lúcio, L. & Vangheluwe, H. (eds.). CEUR-WS.org, p. 64-69 (CEUR Workshop Proceedings; vol. 1277).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    101 Downloads (Pure)
  • 2012

    Combining insertion and deletion in RNA-editing preserves regularity

    Vink, de, E. P., Zantema, H. & Bosnacki, D., 2012, Proceedings of the 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (McCBIC 2012, Newcastle, UK, September 8, 2012). Ciobanu, G. (ed.). EPTCS, p. 48-62 (Electronic Proceedings in Theoretical Computer Science; vol. 100).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Downloads (Pure)

  • Improving GPU sparse matrix-vector multiplication for probabilistic model checking

    Wijs, A. J. & Bosnacki, D., 2012, Model Checking Software (19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings). Donaldson, A. & Parker, D. (eds.). Berlin: Springer, p. 98-116 (Lecture Notes in Computer Science; vol. 7385).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    19 Citations (Scopus)
  • 2010

    Enacting declarative languages using LTL: Avoiding errors and improving performance

    Pesic, M., Bosnacki, D. & Aalst, van der, W. M. P., 2010, Model Checking Software (17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010). Pol, van de, J. & Weber, M. (eds.). Berlin: Springer, p. 146-161 (Lecture Notes in Computer Science; vol. 6349).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    36 Citations (Scopus)

  • GPU-PRISM : an extension of PRISM for general purpose graphics processing units

    Bosnacki, D., Edelkamp, S., Sulewski, D. & Wijs, A. J., 2010, 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification / 2010 Second International Workshop on High Performance Computational Systems Biology. Washington: Institute of Electrical and Electronics Engineers, p. 17-19

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    22 Citations (Scopus)

  • Preface of the 2010 IAENG International Conference on Electrical Engineering special session: Design, analysis and tools for integrated circuits and systems

    Man, K. L., Mercaldi, M., Hahanov, V., Prinetto, P., Poncino, M., MacIi, A., Choi, J., Li, W., Schellekens, M., Popovici, E., Seon, J. K., Rossi, U., Fummi, F., Pravadelli, G., Lam, Y. F., PavLov, V., Patel, A., Huang, J., Vallee, T. & Boubekeur, M. & 82 others, Sokolova, A., Almerares, S., Donno, M., Cho, J. D., Zahirul Alam, A. H. M., Provan, G., Velev, M. N., Uddin, M. N., Botchkarev, A., Bosnacki, D., Hickey, D., O'Keeffe, M., Krilavičius, T., Pastrnak, M., Herbert, J., Lu, Z. M., Pan, J. S., Chang, C. C., Horng, M. F., Chen, L., Lim, C. P., Tao, N. Q., Deb, S., Merniz, S., Valero, O., Yi, Y., Woods, D., Vedrine, F., Monsuez, B., Yen, K., Matsuura, T., Edwards, R. T., Tveretina, O., Fino, M. H., O'Riordan, A. P., Labiak, G., Gaur, M. S., Chang, J., Chung, Y. C., Derezinska, A., Cho, K. R., Zhang, Y., Liutkevičius, R., Zeng, Y., Vasudevan, D. P., Bukowiec, A., Kitsos, P., Goudarzi, M., Dong, J. S., Bhalla, A., Al-Khalili, D., Navabi, Z., Zinchenko, L., Anjum, M. A., Narasimha, D. L., Hughes, D., Tadjouddine, E. M., Wang, J., Kumar, A. P. S., Jaisankar, N., Mansoor, A., Hollands, S., Mohammadi, S., Klein, F., Westermann, P., English, T., Planas, M. M., Chung, C., Chakrabarti, A., Lei, C. U., Bamakhrama, M., Naik, B. R., Harte, S., Yin, A., Giancardi, L., El-Din Mady, A., Joseph, A., Khandekar, P. D., Pandey, H. M., Bharti, V., O'Mullane, M. & Chen, C., 1 Dec 2010, Proceedings of the International MultiConference of Engineers and Computer Scientists 2010 (IMECS 2010), volume III . International Association of Engineers, p. 1333-1335 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2009

    Behavioural analysis of an I2C Linux driver

    Bosnacki, D., Mathijssen, A. H. J. & Usenko, Y. S., 2009, Formal Methods for Industrial Critical Systems (14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings). Alpuente, M., Cook, B. & Joubert, C. (eds.). Berlin: Springer, p. 205-206 (Lecture Notes in Computer Science; vol. 5825).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    1 Downloads (Pure)

  • Efficient probabilistic model checking on general purpose graphic processors

    Bosnacki, D., Edelkamp, S. & Sulewski, D., 2009, Model Checking Software (16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings). Pasareanu, C. S. (ed.). Berlin: Springer, p. 32-49 (Lecture Notes in Computer Science; vol. 5578).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    21 Citations (Scopus)
    4 Downloads (Pure)

  • Large scale analysis of small repeats via mining of the human genome

    van den Berg, I., Bosnacki, D. & Hilbers, P. A. J., 2009, Proceedings of the 20th International Workshop on Database and Expert Systems Application (DEXA 2009), 31 August - 4 September 2009, Linz, Austria. IEEE Computer Society, p. 198-202

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    1 Downloads (Pure)

  • Mining maximal frequent subgraphs in KEGG reaction networks

    Ligtenberg, W. P. A., Bosnacki, D. & Hilbers, P. A. J., 2009, Database and Expert Systems Applications (Proceedings 20th International Workshop, DEXA'09, Linz, Austria, August 31-September 4, 2009). IEEE Computer Society, p. 213-217

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
  • 2008

    Finding frequent subgraphs in biological networks via maximal item sets

    Zantema, H., Wagemans, S. & Bosnacki, D., 2008, Bioinformatics Research and Development (2nd International Conference, BIRD'08, Vienna, Austria, July 7-9, 2008, Proceedings). Elloumi, M., Küng, J., Linial, M., Murphy, R., Schneider, K. & Toma, C. (eds.). Berlin: Springer, p. 303-317 (Communications in Computer and Information Science; vol. 13).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    3 Downloads (Pure)

  • In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

    Bosnacki, D., Pronk, T. E. & Vink, de, E. P., 2008, Proceedings of COMPMOD 2008 ( Workshop on Computational Models for Cell Processes, Turku, Finland, May 27, 2008). Back, R. J. & Petre, I. (eds.). Turku, Finland: Turku Centre for Computer Science, p. 23-38 (TUCS General Publications; vol. 47).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Stochastic analysis of amino acid substitution in protein synthesis

    Bosnacki, D., Eikelder, ten, H. M. M., Steijaert, M. N. & Vink, de, E. P., 2008, Computational Methods in Systems Biology (6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008, Proceedings). Heimer, M. & Uhrmacher, A. M. (eds.). Berlin: Springer, p. 367-386 (Lecture Notes in Computer Science; vol. 5307).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)

  • Survey on directed model checking

    Edelkamp, S., Schuppan, V., Bosnacki, D., Wijs, A. J., Fehnker, A. & Aljazzar, H., 2008, Model Checking and Artificial Intelligence (5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers). Peled, D. & Wooldridge, M. (eds.). Berlin: Springer, p. 65-89 (Lecture Notes in Computer Science; vol. 5348).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    32 Citations (Scopus)
  • 2007

    Efficient approximate verification of Promela models via symmetry markers

    Bosnacki, D., Donaldson, A. F., Leuschel, M. & Massart, T., 2007, Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007) 22-25 October 2007, Tokyo, Japan. Namjoshi, K. S., Yoneda, T., Higashino, T. & Okamura, Y. (eds.). Berlin, Germany: Springer, p. 300-315 (Lecture Notes in Computer Science; vol. 4762).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)
    2 Downloads (Pure)

  • Multi-core model checking with Spin

    Holzmann, G. J. & Bosnacki, D., 2007, Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 26-30 March 2007, Long Beach CA, USA. United States, Long Beach, California: Institute of Electrical and Electronics Engineers, p. 1-8

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    20 Citations (Scopus)

  • On commutativity based edge lean search

    Bosnacki, D., Elkind, E., Genest, B. & Peled, D., 2007, Proceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP 2007) 9-13 July 2007, Wroclaw, Poland. Arge, L., Cachin, C., Jurdzinski, T. & Tarlecki, A. (eds.). Berlin, Germany: Springer, p. 158-170 (Lecture Notes in Computer Science; vol. 4596).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    152 Downloads (Pure)

  • Stochastic modeling of codon bias with PRISM

    Pronk, T. E., Vink, de, E. P., Bosnacki, D. & Breit, T. M., 2007, Proceedings of the 3rd international workshop on Methods and Tools for Coordinating, Distributed and Mobile Systems (MTCoord 2007, Paphos, Cyprus, June 4, 2007). Linden, I. & Talcott, C. (eds.). Nicosia: University of Cyprus, p. 1-15

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • The influence of the muscle architecture on the energy balance of skeletal muscle cells

    Verhoog, P. J., Jeneson, J. A. L., Riel, van, N. A. W., Stiphout, van, R. G. P. M., Eikelder, ten, H. M. M., Bosnacki, D. & Hilbers, P. A. J., 2007, Proceedings of the First Dutch Conference on Bio-Medical Engineering (BME 2007) 18-19 January 2007, Egmond aan zee, The Netherlands. Netherlands, Egmond aan Zee

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2006

    Partial-order reduction for general state exploring algorithms

    Bosnacki, D., Leue, S. & Lluch Lafuente, A., 2006, Model Checking Software (Proceedings 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006). Valmari, A. (ed.). Berlin: Springer, p. 271-287 (Lecture Notes in Computer Science; vol. 3925).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Citations (Scopus)
  • 2005

    Black box checking for biochemical networks

    Bosnacki, D., 2005, Computational Methods in Systems Biology (2nd International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers). Danos, V. & Schächter, V. (eds.). Berlin: Springer, p. 225-230 (Lecture Notes in Computer Science; vol. 3082).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    2 Downloads (Pure)

  • Improving Spin's partial-order reduction for breadth-first search

    Bosnacki, D. & Holzmann, G. J., 2005, Model Checking Software (Proceedings 12th International SPIN Workshop, San Francisco CA, USA, August 22-24, 2005). Godefroid, P. (ed.). Berlin: Springer, p. 91-105 (Lecture Notes in Computer Science; vol. 3639).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    20 Citations (Scopus)

  • On some Galois connection based abstractions for the mu-calculus

    Bosnacki, D., 2005, FM 2005: Formal Methods (International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings). Fitzgerald, J., Hayes, I. J. & Tarlecki, A. (eds.). Berlin: Springer, p. 366-381 (Lecture Notes in Computer Science; vol. 3582).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Downloads (Pure)
  • 2004

    Using fairness to make abstractions work

    Bosnacki, D., Ioustinova, N. & Sidorova, N., 2004, Model Checking Software (Proceedings 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004). Graf, S. & Mounier, L. (eds.). Berlin: Springer, p. 198-215 (Lecture Notes in Computer Science; vol. 2989).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)
    3 Downloads (Pure)
  • 2003

    A light-weight algorithm for model checking with symmetry reduction and weak fairness

    Bosnacki, D., 2003, Model Checking Software (10th International SPIN Workshop, Portland OR, USA, May 9-10, 2003. Proceedings). Ball, T. & Rajamani, S. K. (eds.). Berlin: Springer, p. 89-103 (Lecture Notes in Computer Science; vol. 2648).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    11 Citations (Scopus)

  • An analysis of medical device communication standard IEEE 1073.2

    Mooij, A. J., Goga, N., Wesselink, J. W. & Bosnacki, D., 2003, Communication Systems and Networks (Proceedings of the Second IASTED International Conference, CSN 2003, Benalmádena, Spain, September 8-10, 2003). Palau Salvador, E. C. (ed.). ACTA Press

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    1 Downloads (Pure)

  • Genetic code as a Gray code revisited

    Bosnacki, D., Eikelder, ten, H. M. M. & Hilbers, P. A. J., 2003, Proceedings of the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences (METMBS 2003, Las Vegas NV, USA, June 23-26, 2003). Valafar, F. & Valafar, H. (eds.). CSREA Press, p. 447-456

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Downloads (Pure)
  • 2002

    A nested depth first search algorithm for model checking with symmetry reduction

    Bosnacki, D., 2002, Formal Techniques for Networked and Distributed Systems (Proceedings 22nd IFIP WG6.1 International Conference, FORTE 2002, Houston TX, USA, November 11-14, 2002). Peled, D. A. & Vardi, M. Y. (eds.). Berlin: Springer, p. 65-80 (Lecture Notes in Computer Science; vol. 2529).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

  • Model checking software

    BoŠnaČki, D. & Leue, S., 1 Jan 2002, Model Checking Software - 9th International SPIN Workshop, Proceedings. Bosnacki, D. & Leue, S. (eds.). Springer, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2318).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Partial Order and Symmetry Reductions for Discrete Time

    Bosnacki, D., 2002, Real-Time Tools, RT-TOOLS 2002, Tech. report 2002-025 of the Dept. of Information Technology, Uppsala University, ISBN 1404-3203. Sweden, Uppsala, p. ?-

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2001

    A heuristic for symmetry reductions with scalarsets

    Bosnacki, D., Dams, D. R. & Holenderski, L., 2001, FME 2001: Formal Methods for Increasing Software Productivity (International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings). Nuno Oliveira, J. & Zave, P. (eds.). Berlin: Springer, p. 518-533 (Lecture Notes in Computer Science; vol. 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    13 Citations (Scopus)

  • Enhancing partial-order reduction via process clustering

    Basten, T. & Bosnacki, D., 2001, Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001, San Diego CA, USA, November 26-29, 2001). Los Alamitos, CA, USA: IEEE Computer Society, p. 245-253

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)
    1 Downloads (Pure)
  • 2000

    Model checking SDL with Spin

    Bosnacki, D., Dams, D. R., Holenderski, L. & Sidorova, N., 2000, Proceedings 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS2000) held as part of ETAPS2000, 25 March - 2 April 2000, Berlin, Germany. Graf, S. & Schwartzbach, M. I. (eds.). Berlin: Springer, p. 363-377 (Lecture Notes in Computer Science; vol. 1785).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    27 Citations (Scopus)

  • Symmetric Spin

    Bosnacki, D., Dams, D. R. & Holenderski, L., 2000, SPIN model checking and software verification : 7th international SPIN workshop, Stanford CA, USA, August 30-September 1, 2000 : proceedings. Havelund, K., Penix, J. & Visser, W. (eds.). Berlin: Springer, p. 1-19 (Lecture Notes in Computer Science; vol. 1885).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    15 Citations (Scopus)
    1 Downloads (Pure)
  • 1999

    Digitization of Timed Automata

    Bosnacki, D., 1999, Proceedings of the 4th International Workshop on Formal Methods for Industrial Critical Systems. Pisa, Italy: S.T.A.R., p. 283-302

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Partial order reduction in presence of rendez-vous communications with unless constructs and weak fairness

    Bosnacki, D., 1999, Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999). Dams, D., Gerth, R., Lueu, S. & Massina, M. (eds.). Berlin: Springer, p. 40-56 (Lecture Notes in Computer Science; vol. 1680).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)
    3 Downloads (Pure)
  • 1998

    Discrete-time Promela and Spin

    Bosnacki, D. & Dams, D. R., 1998, Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998). Ravn, A. P. & Rischel, H. (eds.). Berlin: Springer, p. 307-310 (Lecture Notes in Computer Science; vol. 1486).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    26 Citations (Scopus)
    3 Downloads (Pure)

  • Integrating real-time into Spin: a prototype implementation

    Bosnacki, D. & Dams, D. R., 1998, Formal Description Techniques and Protocol Specification, Testing and Verification (Proceedings FORTE/PSTV'98, Paris, France, November 3-6, 1998). Budkowski, S., Cavalli, A. R. & Najm, E. (eds.). Dordrecht: Kluwer, p. 423-438 (IFIP Conference Proceedings; vol. 135).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Towards modelling modelling of Hybrid systems in Spin

    Bosnacki, D., 1998, Third international workshop on formal methods for industrial critical systems. Luttik, B. & Wamel, van, J. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review