Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dragan Bosnacki
@article{DBLP:journals/corr/abs-2403-05379,
author = {Salome Kazeminia and
Max Joosten and
Dragan Bosnacki and
Carsten Marr},
title = {Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia
Classification},
journal = {CoRR},
volume = {abs/2403.05379},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.05379},
doi = {10.48550/ARXIV.2403.05379},
eprinttype = {arXiv},
eprint = {2403.05379},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-05379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangBBHJKW19,
author = {Dan Zhang and
Dragan Bosnacki and
Mark van den Brand and
Cornelis Huizing and
Bart Jacobs and
Ruurd Kuiper and
Anton Wijs},
title = {Dependency safety for Java - Implementing and testing failboxes},
journal = {Sci. Comput. Program.},
volume = {184},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.102316},
doi = {10.1016/J.SCICO.2019.102316},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangBBHJKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/BosnackiRV19,
author = {Dragan Bosnacki and
Natal A. W. van Riel and
Mitko Veta},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Deep Learning with Convolutional Neural Networks for Histopathology
Image Analysis},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {453--469},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_17},
doi = {10.1007/978-3-030-17297-8\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/cb/BosnackiRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiW18,
author = {Dragan Bosnacki and
Anton Wijs},
title = {Model checking: recent improvements and applications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {5},
pages = {493--497},
year = {2018},
url = {https://doi.org/10.1007/s10009-018-0501-x},
doi = {10.1007/S10009-018-0501-X},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JacobsBK18,
author = {Bart Jacobs and
Dragan Bosnacki and
Ruurd Kuiper},
title = {Modular Termination Verification of Single-Threaded and Multithreaded
Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {40},
number = {3},
pages = {12:1--12:59},
year = {2018},
url = {https://doi.org/10.1145/3210258},
doi = {10.1145/3210258},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JacobsBK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vcbm/ModenaDBEW17,
author = {Daniela Modena and
Edmond van Dijk and
Dragan Bosnacki and
Huub M. M. ten Eikelder and
Michel A. Westenberg},
title = {HIFUtk: Visual Analytics for High Intensity Focused Ultrasound Simulation},
booktitle = {{VCBM} 17: Eurographics Workshop on Visual Computing for Biology and
Medicine, Bremen, Germany, September 7-8, 2017},
pages = {73--82},
publisher = {Eurographics Association},
year = {2017},
url = {https://doi.org/10.2312/vcbm.20171239},
doi = {10.2312/VCBM.20171239},
timestamp = {Mon, 28 May 2018 12:08:19 +0200},
biburl = {https://dblp.org/rec/conf/vcbm/ModenaDBEW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/WijsKB16,
author = {Anton Wijs and
Joost{-}Pieter Katoen and
Dragan Bosnacki},
title = {Efficient {GPU} algorithms for parallel decomposition of graphs into
strongly connected and maximal end components},
journal = {Formal Methods Syst. Des.},
volume = {48},
number = {3},
pages = {274--300},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0246-7},
doi = {10.1007/S10703-016-0246-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/WijsKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BosnackiELW16,
author = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Special section on Graph Inspection and Traversal Engineering {(GRAPHITE}
2014)},
journal = {Sci. Comput. Program.},
volume = {130},
pages = {1},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.06.007},
doi = {10.1016/J.SCICO.2016.06.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BosnackiELW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WijsB16,
author = {Anton Wijs and
Dragan Bosnacki},
title = {Many-core on-the-fly model checking of safety properties using GPUs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {2},
pages = {169--185},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0379-9},
doi = {10.1007/S10009-015-0379-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WijsB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/NeeleWBP16,
author = {Thomas Neele and
Anton Wijs and
Dragan Bosnacki and
Jaco van de Pol},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Partial-Order Reduction for {GPU} Model Checking},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {357--374},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_23},
doi = {10.1007/978-3-319-46520-3\_23},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/NeeleWBP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WijsNB16,
author = {Anton Wijs and
Thomas Neele and
Dragan Bosnacki},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {GPUexplore 2.0: Unleashing {GPU} Explicit-State Model Checking},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {694--701},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_42},
doi = {10.1007/978-3-319-48989-6\_42},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/WijsNB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/0002BBH0KW16,
author = {Dan Zhang and
Dragan Bosnacki and
Mark van den Brand and
Cornelis Huizing and
Bart Jacobs and
Ruurd Kuiper and
Anton Wijs},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {Verifying Atomicity Preservation and Deadlock Freedom of a Generic
Shared Variable Mechanism Used in Model-To-Code Transformations},
booktitle = {Model-Driven Engineering and Software Development - 4th International
Conference, {MODELSWARD} 2016, Rome, Italy, February 19-21, 2016,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {692},
pages = {249--273},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-66302-9\_13},
doi = {10.1007/978-3-319-66302-9\_13},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/0002BBH0KW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/ZhangBBHK0W16,
author = {Dan Zhang and
Dragan Bosnacki and
Mark van den Brand and
Cornelis Huizing and
Ruurd Kuiper and
Bart Jacobs and
Anton Wijs},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {Verification of Atomicity Preservation in Model-to-Code Transformations
using Generic Java Code},
booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
on Model-Driven Engineering and Software Development, Rome, Italy,
19-21 February, 2016},
pages = {578--588},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005689405780588},
doi = {10.5220/0005689405780588},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/ZhangBBHK0W16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/BosnackiBDH0KWW16,
author = {Dragan Bosnacki and
Mark van den Brand and
Philippe Denissen and
Cornelis Huizing and
Bart Jacobs and
Ruurd Kuiper and
Anton Wijs and
Maciej Wilkowski and
Dan Zhang},
editor = {Walter Binder and
Petr Tuma},
title = {Dependency Safety for Java: Implementing Failboxes},
booktitle = {Proceedings of the 13th International Conference on Principles and
Practices of Programming on the Java Platform: Virtual Machines, Languages,
and Tools, Lugano, Switzerland, August 29 - September 2, 2016},
pages = {15:1--15:6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2972206.2972216},
doi = {10.1145/2972206.2972216},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/BosnackiBDH0KWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2016,
editor = {Dragan Bosnacki and
Anton Wijs},
title = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8},
doi = {10.1007/978-3-319-32582-8},
isbn = {978-3-319-32581-1},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JacobsBK15,
author = {Bart Jacobs and
Dragan Bosnacki and
Ruurd Kuiper},
editor = {John Tang Boyland},
title = {Modular Termination Verification},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {664--688},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.664},
doi = {10.4230/LIPICS.ECOOP.2015.664},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/JacobsBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BosnackiBG0KRWZ15,
author = {Dragan Bosnacki and
Mark van den Brand and
Joost Gabriels and
Bart Jacobs and
Ruurd Kuiper and
Sybren Roede and
Anton Wijs and
Dan Zhang},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Towards Modular Verification of Threaded Concurrent Executable Code
Generated from {DSL} Models},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {141--160},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_8},
doi = {10.1007/978-3-319-28934-2\_8},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BosnackiBG0KRWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BosnackiS15,
author = {Dragan Bosnacki and
Mark Scheffer},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Partial Order Reduction and Symmetry with Multiple Representatives},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {97--111},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_8},
doi = {10.1007/978-3-319-17524-9\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BosnackiS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WijsKB14,
author = {Anton Wijs and
Joost{-}Pieter Katoen and
Dragan Bosnacki},
editor = {Armin Biere and
Roderick Bloem},
title = {GPU-Based Graph Decomposition into Strongly Connected and Maximal
End Components},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {310--326},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_20},
doi = {10.1007/978-3-319-08867-9\_20},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/WijsKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictinnovations/BosnackiEMH14,
author = {Dragan Bosnacki and
Hubertus M. M. ten Eikelder and
Marieke Maanders and
Peter A. J. Hilbers},
editor = {Ana Madevska Bogdanova and
Dejan Gjorgjevikj},
title = {Robustness of the Gray Code Arrangements of the Genetic Code in Mitochondria},
booktitle = {{ICT} Innovations 2014 - World of Data, Ohrid, Macedonia, 1-4 October,
2014},
series = {Advances in Intelligent Systems and Computing},
volume = {311},
pages = {299--308},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09879-1\_30},
doi = {10.1007/978-3-319-09879-1\_30},
timestamp = {Thu, 07 Mar 2019 09:08:05 +0100},
biburl = {https://dblp.org/rec/conf/ictinnovations/BosnackiEMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ZhangBBEHKW14,
author = {Dan Zhang and
Dragan Bosnacki and
Mark van den Brand and
Luc Engelen and
Cornelis Huizing and
Ruurd Kuiper and
Anton Wijs},
editor = {J{\"{u}}rgen Dingel and
Juan de Lara and
Levi Lucio and
Hans Vangheluwe},
title = {Towards Verified Java Code Generation from Concurrent State Machines},
booktitle = {Proceedings of the Workshop on Analysis of Model Transformations co-located
with {ACM/IEEE} 17th International Conference on Model Driven Engineering
Languages {\&} Systems (MoDELS 2014), Valencia, Spain, September
29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1277},
pages = {64--69},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1277/7.pdf},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/ZhangBBEHKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WijsB14,
author = {Anton Wijs and
Dragan Bosnacki},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs},
booktitle = {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 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {233--247},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_16},
doi = {10.1007/978-3-642-54862-8\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WijsB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BosnackiELW14,
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159},
doi = {10.4204/EPTCS.159},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BosnackiELW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/VinkZB13,
author = {Erik P. de Vink and
Hans Zantema and
Dragan Bosnacki},
title = {RNA-Editing with Combined Insertion and Deletion Preserves Regularity},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {1},
pages = {39--73},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.1.39},
doi = {10.7561/SACS.2013.1.39},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/VinkZB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcb/LigtenbergBH13,
author = {Willem P. A. Ligtenberg and
Dragan Bosnacki and
Peter A. J. Hilbers},
title = {Reconn: a Cytoscape Plug-in for Exploring and Visualizing Reactome},
journal = {J. Bioinform. Comput. Biol.},
volume = {11},
number = {4},
year = {2013},
url = {https://doi.org/10.1142/S0219720013500042},
doi = {10.1142/S0219720013500042},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcb/LigtenbergBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/WijsBE13,
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Proceedings 2nd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2013, Rome, Italy, March 24, 2013},
series = {{EPTCS}},
volume = {138},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.138},
doi = {10.4204/EPTCS.138},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WijsBE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/WijsB12,
author = {Anton Wijs and
Dragan Bosnacki},
editor = {Alastair F. Donaldson and
David Parker},
title = {Improving {GPU} Sparse Matrix-Vector Multiplication for Probabilistic
Model Checking},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {98--116},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_9},
doi = {10.1007/978-3-642-31759-0\_9},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/WijsB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-4092,
author = {Erik P. de Vink and
Hans Zantema and
Dragan Bosnacki},
editor = {Gabriel Ciobanu},
title = {Combining Insertion and Deletion in RNA-editing Preserves Regularity},
booktitle = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired
Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012},
series = {{EPTCS}},
volume = {100},
pages = {48--62},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.100.4},
doi = {10.4204/EPTCS.100.4},
timestamp = {Tue, 29 Dec 2020 18:21:24 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-6118,
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99},
doi = {10.4204/EPTCS.99},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiESW11,
author = {Dragan Bosnacki and
Stefan Edelkamp and
Damian Sulewski and
Anton Wijs},
title = {Parallel probabilistic model checking on general purpose graphics
processors},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {1},
pages = {21--35},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0176-4},
doi = {10.1007/S10009-010-0176-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiESW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiE10,
author = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Model checking software: on some new waves and some evergreens},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {2},
pages = {89--95},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0155-9},
doi = {10.1007/S10009-010-0155-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/PesicBA10,
author = {Maja Pesic and
Dragan Bosnacki and
Wil M. P. van der Aalst},
editor = {Jaco van de Pol and
Michael Weber},
title = {Enacting Declarative Languages Using {LTL:} Avoiding Errors and Improving
Performance},
booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
pages = {146--161},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3\_11},
doi = {10.1007/978-3-642-16164-3\_11},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/PesicBA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BosnackiEGP09,
author = {Dragan Bosnacki and
Edith Elkind and
Blaise Genest and
Doron A. Peled},
title = {On commutativity based Edge Lean search},
journal = {Ann. Math. Artif. Intell.},
volume = {56},
number = {2},
pages = {187--210},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9167-0},
doi = {10.1007/S10472-009-9167-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BosnackiEGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiLL09,
author = {Dragan Bosnacki and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Partial-order reduction for general state exploring algorithms},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {1},
pages = {39--51},
year = {2009},
url = {https://doi.org/10.1007/s10009-008-0093-y},
doi = {10.1007/S10009-008-0093-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/BosnackiPV09,
author = {Dragan Bosnacki and
Tessa E. Pronk and
Erik P. de Vink},
title = {\emph{In Silico} Modelling and Analysis of Ribosome Kinetics and aa-tRNA
Competition},
journal = {Trans. Comp. Sys. Biology},
volume = {11},
pages = {69--89},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04186-0\_4},
doi = {10.1007/978-3-642-04186-0\_4},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/BosnackiPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/BergBH09,
author = {Inge van den Berg and
Dragan Bosnacki and
Peter A. J. Hilbers},
editor = {A Min Tjoa and
Roland R. Wagner},
title = {Large Scale Analysis of Small Repeats via Mining of the Human Genome},
booktitle = {Database and Expert Systems Applications, DEXA, International Workshops,
Linz, Austria, August 31-September 4, 2009, Proceedings},
pages = {198--202},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DEXA.2009.78},
doi = {10.1109/DEXA.2009.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/BergBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/LigtenbergBH09,
author = {Willem P. A. Ligtenberg and
Dragan Bosnacki and
Peter A. J. Hilbers},
editor = {A Min Tjoa and
Roland R. Wagner},
title = {Mining Maximal Frequent Subgraphs in {KEGG} Reaction Networks},
booktitle = {Database and Expert Systems Applications, DEXA, International Workshops,
Linz, Austria, August 31-September 4, 2009, Proceedings},
pages = {213--217},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DEXA.2009.66},
doi = {10.1109/DEXA.2009.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/LigtenbergBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BosnackiMU09,
author = {Dragan Bosnacki and
Aad Mathijssen and
Yaroslav S. Usenko},
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {Behavioural Analysis of an I\({}^{\mbox{2}}\)C Linux Driver},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
pages = {205--206},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7\_18},
doi = {10.1007/978-3-642-04570-7\_18},
timestamp = {Sun, 02 Oct 2022 16:01:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BosnackiMU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiES09,
author = {Dragan Bosnacki and
Stefan Edelkamp and
Damian Sulewski},
editor = {Corina S. Pasareanu},
title = {Efficient Probabilistic Model Checking on General Purpose Graphics
Processors},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {32--49},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_7},
doi = {10.1007/978-3-642-02652-2\_7},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiES09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bird/ZantemaWB08,
author = {Hans Zantema and
Stefan Wagemans and
Dragan Bosnacki},
editor = {Mourad Elloumi and
Josef K{\"{u}}ng and
Michal Linial and
Robert F. Murphy and
Kristan Schneider and
Cristian Toma},
title = {Finding Frequent Subgraphs in Biological Networks Via Maximal Item
Sets},
booktitle = {Bioinformatics Research and Development, Second International Conference,
{BIRD} 2008, Vienna, Austria, July 7-9, 2008, Proceedings},
series = {Communications in Computer and Information Science},
volume = {13},
pages = {303--317},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70600-7\_23},
doi = {10.1007/978-3-540-70600-7\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bird/ZantemaWB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BosnackiESV08,
author = {Dragan Bosnacki and
Huub M. M. ten Eikelder and
Marvin N. Steijaert and
Erik P. de Vink},
editor = {Monika Heiner and
Adelinde M. Uhrmacher},
title = {Stochastic Analysis of Amino Acid Substitution in Protein Synthesis},
booktitle = {Computational Methods in Systems Biology, 6th International Conference,
{CMSB} 2008, Rostock, Germany, October 12-15, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5307},
pages = {367--386},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88562-7\_25},
doi = {10.1007/978-3-540-88562-7\_25},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BosnackiESV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampSBWFA08,
author = {Stefan Edelkamp and
Viktor Schuppan and
Dragan Bosnacki and
Anton Wijs and
Ansgar Fehnker and
Husain Aljazzar},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Survey on Directed Model Checking},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {65--89},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_5},
doi = {10.1007/978-3-642-00431-5\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/EdelkampSBWFA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HolzmannB07,
author = {Gerard J. Holzmann and
Dragan Bosnacki},
title = {The Design of a Multicore Extension of the {SPIN} Model Checker},
journal = {{IEEE} Trans. Software Eng.},
volume = {33},
number = {10},
pages = {659--674},
year = {2007},
url = {https://doi.org/10.1109/TSE.2007.70724},
doi = {10.1109/TSE.2007.70724},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/HolzmannB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BosnackiDLM07,
author = {Dragan Bosnacki and
Alastair F. Donaldson and
Michael Leuschel and
Thierry Massart},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Efficient Approximate Verification of Promela Models Via Symmetry
Markers},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {300--315},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_22},
doi = {10.1007/978-3-540-75596-8\_22},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BosnackiDLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BosnackiEGP07,
author = {Dragan Bosnacki and
Edith Elkind and
Blaise Genest and
Doron A. Peled},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {On Commutativity Based Edge Lean Search},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {158--170},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_16},
doi = {10.1007/978-3-540-73420-8\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BosnackiEGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HolzmannB07,
author = {Gerard J. Holzmann and
Dragan Bosnacki},
title = {Multi-Core Model Checking with {SPIN}},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--8},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370410},
doi = {10.1109/IPDPS.2007.370410},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HolzmannB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2007,
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6},
doi = {10.1007/978-3-540-73370-6},
isbn = {978-3-540-73369-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiLL06,
author = {Dragan Bosnacki and
Stefan Leue and
Alberto Lluch{-}Lafuente},
editor = {Antti Valmari},
title = {Partial-Order Reduction for General State Exploring Algorithms},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {271--287},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_16},
doi = {10.1007/11691617\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Bosnacki05,
author = {Dragan Bosnacki},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {On Some Galois Connection Based Abstractions for the Mu-Calculus},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {366--381},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_25},
doi = {10.1007/11526841\_25},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Bosnacki05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiH05,
author = {Dragan Bosnacki and
Gerard J. Holzmann},
editor = {Patrice Godefroid},
title = {Improving Spin's Partial-Order Reduction for Breadth-First Search},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {91--105},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_10},
doi = {10.1007/11537328\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BastenBG04,
author = {Twan Basten and
Dragan Bosnacki and
Marc Geilen},
title = {Cluster-Based Partial-Order Reduction},
journal = {Autom. Softw. Eng.},
volume = {11},
number = {4},
pages = {365--402},
year = {2004},
url = {https://doi.org/10.1023/B:AUSE.0000038937.18006.3d},
doi = {10.1023/B:AUSE.0000038937.18006.3D},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/BastenBG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Bosnacki04,
author = {Dragan Bosnacki},
editor = {Vincent Danos and
Vincent Sch{\"{a}}chter},
title = {Black Box Checking for Biochemical Networks},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3082},
pages = {225--230},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25974-9\_18},
doi = {10.1007/978-3-540-25974-9\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/Bosnacki04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiIS04,
author = {Dragan Bosnacki and
Natalia Ioustinova and
Natalia Sidorova},
editor = {Susanne Graf and
Laurent Mounier},
title = {Using Fairness to Make Abstractions Work},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {198--215},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_15},
doi = {10.1007/978-3-540-24732-6\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiIS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/metmbs/BosnackiEH03,
author = {Dragan Bosnacki and
Huub M. M. ten Eikelder and
Peter A. J. Hilbers},
editor = {Faramarz Valafar and
Homayoun Valafar},
title = {Genetic Code as a Gray Code Revisited},
booktitle = {Proceedings of the International Conference on Mathematics and Engineering
Techniques in Medicine and Biological Scienes, {METMBS} '03, June
23 - 26, 2003, Las Vegas, Nevada, {USA}},
pages = {447--456},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/metmbs/BosnackiEH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Bosnacki03,
author = {Dragan Bosnacki},
editor = {Thomas Ball and
Sriram K. Rajamani},
title = {A Light-Weight Algorithm for Model Checking with Symmetry Reduction
and Weak Fairness},
booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
OR, USA, May 9-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2648},
pages = {89--103},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44829-2\_6},
doi = {10.1007/3-540-44829-2\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Bosnacki03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiDH02,
author = {Dragan Bosnacki and
Dennis Dams and
Leszek Holenderski},
title = {Symmetric Spin},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {1},
pages = {92--106},
year = {2002},
url = {https://doi.org/10.1007/s100090200074},
doi = {10.1007/S100090200074},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiDH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bosnacki02,
author = {Dragan Bosnacki},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {A Nested Depth First Search Algorithm for Model Checking with Symmetry
Reduction},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {65--80},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_5},
doi = {10.1007/3-540-36135-9\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/Bosnacki02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2002,
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9},
doi = {10.1007/3-540-46017-9},
isbn = {3-540-43477-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BosnackiDH01,
author = {Dragan Bosnacki and
Dennis Dams and
Leszek Holenderski},
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {A Heuristic for Symmetry Reductions with Scalarsets},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
pages = {518--533},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6\_30},
doi = {10.1007/3-540-45251-6\_30},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BosnackiDH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BastenB01,
author = {Twan Basten and
Dragan Bosnacki},
title = {Enhancing Partial-Order Reduction via Process Clustering},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {245--253},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989810},
doi = {10.1109/ASE.2001.989810},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BastenB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiDH00,
author = {Dragan Bosnacki and
Dennis Dams and
Leszek Holenderski},
editor = {Klaus Havelund and
John Penix and
Willem Visser},
title = {Symmetric Spin},
booktitle = {{SPIN} Model Checking and Software Verification, 7th International
{SPIN} Workshop, Stanford, CA, USA, August 30 - September 1, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1885},
pages = {1--19},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722468\_1},
doi = {10.1007/10722468\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiDH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BosnackiDHS00,
author = {Dragan Bosnacki and
Dennis Dams and
Leszek Holenderski and
Natalia Sidorova},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Model Checking {SDL} with Spin},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {363--377},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_25},
doi = {10.1007/3-540-46419-0\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BosnackiDHS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Bosnacki99,
author = {Dragan Bosnacki},
editor = {Dennis Dams and
Rob Gerth and
Stefan Leue and
Mieke Massink},
title = {Partial Order Reduction in Presence of Rendez-vous Communications
with Unless Constructs and Weak Fairness},
booktitle = {Theoretical and Practical Aspects of {SPIN} Model Checking, 5th and
6th International {SPIN} Workshops, Trento, Italy, July 5, 1999, Toulouse,
France, September 21 and 24 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1680},
pages = {40--56},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48234-2\_4},
doi = {10.1007/3-540-48234-2\_4},
timestamp = {Mon, 15 Jun 2020 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/spin/Bosnacki99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BosnackiD98,
author = {Dragan Bosnacki and
Dennis Dams},
editor = {Stanislaw Budkowski and
Ana R. Cavalli and
Elie Najm},
title = {Integrating Real Time into Spin: {A} Prototype Implementation},
booktitle = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {XI)} and
Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
November, 1998, Paris, France},
series = {{IFIP} Conference Proceedings},
volume = {135},
pages = {423--438},
publisher = {Kluwer},
year = {1998},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BosnackiD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BosnackiD98,
author = {Dragan Bosnacki and
Dennis Dams},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Discrete-Time Promela and Spin},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {307--310},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055359},
doi = {10.1007/BFB0055359},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BosnackiD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-08 01:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
