BibTeX records: Dragan Bosnacki

download as .bib file

@article{DBLP:journals/sttt/BosnackiW18,
  author    = {Dragan Bosnacki and
               Anton Wijs},
  title     = {Model checking: recent improvements and applications},
  journal   = {{STTT}},
  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 = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BosnackiW18},
  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 = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/JacobsBK18},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/vcbm/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/bib/conf/vcbm/ModenaDBEW17},
  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 in System Design},
  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 = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/WijsKB16},
  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 = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/BosnackiELW16},
  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   = {{STTT}},
  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 = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/WijsB16},
  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},
  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},
  pages     = {357--374},
  year      = {2016},
  crossref  = {DBLP:conf/atva/2016},
  url       = {https://doi.org/10.1007/978-3-319-46520-3\_23},
  doi       = {10.1007/978-3-319-46520-3\_23},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/NeeleWBP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WijsNB16,
  author    = {Anton Wijs and
               Thomas Neele and
               Dragan Bosnacki},
  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},
  pages     = {694--701},
  year      = {2016},
  crossref  = {DBLP:conf/fm/2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6\_42},
  doi       = {10.1007/978-3-319-48989-6\_42},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/WijsNB16},
  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},
  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},
  pages     = {249--273},
  year      = {2016},
  crossref  = {DBLP:conf/modelsward/2016s},
  url       = {https://doi.org/10.1007/978-3-319-66302-9\_13},
  doi       = {10.1007/978-3-319-66302-9\_13},
  timestamp = {Wed, 07 Mar 2018 14:41:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/0002BBH0KW16},
  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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/modelsward/2016},
  url       = {https://doi.org/10.5220/0005689405780588},
  doi       = {10.5220/0005689405780588},
  timestamp = {Tue, 27 Jun 2017 13:00:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/ZhangBBHK0W16},
  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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/pppj/2016},
  url       = {https://doi.org/10.1145/2972206.2972216},
  doi       = {10.1145/2972206.2972216},
  timestamp = {Tue, 06 Nov 2018 11:07:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pppj/BosnackiBDH0KWW16},
  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 = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JacobsBK15,
  author    = {Bart Jacobs and
               Dragan Bosnacki and
               Ruurd Kuiper},
  title     = {Modular Termination Verification},
  booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
               July 5-10, 2015, Prague, Czech Republic},
  pages     = {664--688},
  year      = {2015},
  crossref  = {DBLP:conf/ecoop/2015},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.664},
  doi       = {10.4230/LIPIcs.ECOOP.2015.664},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/JacobsBK15},
  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},
  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},
  pages     = {141--160},
  year      = {2015},
  crossref  = {DBLP:conf/facs2/2015},
  url       = {https://doi.org/10.1007/978-3-319-28934-2\_8},
  doi       = {10.1007/978-3-319-28934-2\_8},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/BosnackiBG0KRWZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BosnackiS15,
  author    = {Dragan Bosnacki and
               Mark Scheffer},
  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},
  pages     = {97--111},
  year      = {2015},
  crossref  = {DBLP:conf/nfm/2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9\_8},
  doi       = {10.1007/978-3-319-17524-9\_8},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/BosnackiS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WijsKB14,
  author    = {Anton Wijs and
               Joost{-}Pieter Katoen and
               Dragan Bosnacki},
  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},
  pages     = {310--326},
  year      = {2014},
  crossref  = {DBLP:conf/cav/2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9\_20},
  doi       = {10.1007/978-3-319-08867-9\_20},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/WijsKB14},
  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},
  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},
  pages     = {299--308},
  year      = {2014},
  crossref  = {DBLP:conf/ictinnovations/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/bib/conf/ictinnovations/BosnackiEMH14},
  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},
  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.},
  pages     = {64--69},
  year      = {2014},
  crossref  = {DBLP:conf/models/2014amt},
  url       = {http://ceur-ws.org/Vol-1277/7.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/ZhangBBEHKW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WijsB14,
  author    = {Anton Wijs and
               Dragan Bosnacki},
  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},
  pages     = {233--247},
  year      = {2014},
  crossref  = {DBLP:conf/tacas/2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8\_16},
  doi       = {10.1007/978-3-642-54862-8\_16},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/WijsB14},
  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/bib/journals/corr/BosnackiELW14},
  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. Comp. 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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cuza/VinkZB13},
  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. Bioinformatics and Computational Biology},
  volume    = {11},
  number    = {4},
  year      = {2013},
  url       = {https://doi.org/10.1142/S0219720013500042},
  doi       = {10.1142/S0219720013500042},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jbcb/LigtenbergBH13},
  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/bib/journals/corr/WijsBE13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/WijsB12,
  author    = {Anton Wijs and
               Dragan Bosnacki},
  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},
  pages     = {98--116},
  year      = {2012},
  crossref  = {DBLP:conf/spin/2012},
  url       = {https://doi.org/10.1007/978-3-642-31759-0\_9},
  doi       = {10.1007/978-3-642-31759-0\_9},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/WijsB12},
  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},
  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.},
  pages     = {48--62},
  year      = {2012},
  crossref  = {DBLP:journals/corr/abs-1211-3476},
  url       = {https://doi.org/10.4204/EPTCS.100.4},
  doi       = {10.4204/EPTCS.100.4},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1211-4092},
  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/bib/journals/corr/abs-1210-6118},
  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   = {{STTT}},
  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 = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BosnackiESW11},
  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   = {{STTT}},
  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, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BosnackiE10},
  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},
  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},
  pages     = {146--161},
  year      = {2010},
  crossref  = {DBLP:conf/spin/2010},
  url       = {https://doi.org/10.1007/978-3-642-16164-3\_11},
  doi       = {10.1007/978-3-642-16164-3\_11},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spin/PesicBA10},
  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/bib/journals/amai/BosnackiEGP09},
  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   = {{STTT}},
  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 = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BosnackiLL09},
  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. Computational Systems Biology},
  volume    = {11},
  pages     = {69--89},
  year      = {2009},
  crossref  = {DBLP:journals/tcsb/2009-11},
  url       = {https://doi.org/10.1007/978-3-642-04186-0\_4},
  doi       = {10.1007/978-3-642-04186-0\_4},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/BosnackiPV09},
  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},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/dexaw/2009},
  url       = {https://doi.org/10.1109/DEXA.2009.78},
  doi       = {10.1109/DEXA.2009.78},
  timestamp = {Wed, 24 Jan 2018 12:46:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dexaw/BergBH09},
  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},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/dexaw/2009},
  url       = {https://doi.org/10.1109/DEXA.2009.66},
  doi       = {10.1109/DEXA.2009.66},
  timestamp = {Wed, 24 Jan 2018 12:46:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dexaw/LigtenbergBH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BosnackiMU09,
  author    = {Dragan Bosnacki and
               Aad Mathijssen and
               Yaroslav S. Usenko},
  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},
  pages     = {205--206},
  year      = {2009},
  crossref  = {DBLP:conf/fmics/2009},
  url       = {https://doi.org/10.1007/978-3-642-04570-7\_18},
  doi       = {10.1007/978-3-642-04570-7\_18},
  timestamp = {Wed, 14 Nov 2018 10:58:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/BosnackiMU09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiES09,
  author    = {Dragan Bosnacki and
               Stefan Edelkamp and
               Damian Sulewski},
  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},
  pages     = {32--49},
  year      = {2009},
  crossref  = {DBLP:conf/spin/2009},
  url       = {https://doi.org/10.1007/978-3-642-02652-2\_7},
  doi       = {10.1007/978-3-642-02652-2\_7},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BosnackiES09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bird/ZantemaWB08,
  author    = {Hans Zantema and
               Stefan Wagemans and
               Dragan Bosnacki},
  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},
  pages     = {303--317},
  year      = {2008},
  crossref  = {DBLP:conf/bird/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/bib/conf/bird/ZantemaWB08},
  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},
  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},
  pages     = {367--386},
  year      = {2008},
  crossref  = {DBLP:conf/cmsb/2008},
  url       = {https://doi.org/10.1007/978-3-540-88562-7\_25},
  doi       = {10.1007/978-3-540-88562-7\_25},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/BosnackiESV08},
  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},
  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},
  pages     = {65--89},
  year      = {2008},
  crossref  = {DBLP:conf/mochart/2008},
  url       = {https://doi.org/10.1007/978-3-642-00431-5\_5},
  doi       = {10.1007/978-3-642-00431-5\_5},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mochart/EdelkampSBWFA08},
  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/bib/journals/tse/HolzmannB07},
  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},
  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},
  pages     = {300--315},
  year      = {2007},
  crossref  = {DBLP:conf/atva/2007},
  url       = {https://doi.org/10.1007/978-3-540-75596-8\_22},
  doi       = {10.1007/978-3-540-75596-8\_22},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/BosnackiDLM07},
  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},
  title     = {On Commutativity Based Edge Lean Search},
  booktitle = {Automata, Languages and Programming, 34th International Colloquium,
               {ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
  pages     = {158--170},
  year      = {2007},
  crossref  = {DBLP:conf/icalp/2007},
  url       = {https://doi.org/10.1007/978-3-540-73420-8\_16},
  doi       = {10.1007/978-3-540-73420-8\_16},
  timestamp = {Fri, 24 Aug 2018 13:24:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/BosnackiEGP07},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/ipps/2007},
  url       = {https://doi.org/10.1109/IPDPS.2007.370410},
  doi       = {10.1109/IPDPS.2007.370410},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/HolzmannB07},
  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 = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiLL06,
  author    = {Dragan Bosnacki and
               Stefan Leue and
               Alberto Lluch{-}Lafuente},
  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},
  pages     = {271--287},
  year      = {2006},
  crossref  = {DBLP:conf/spin/2006},
  url       = {https://doi.org/10.1007/11691617\_16},
  doi       = {10.1007/11691617\_16},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BosnackiLL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Bosnacki05,
  author    = {Dragan Bosnacki},
  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},
  pages     = {366--381},
  year      = {2005},
  crossref  = {DBLP:conf/fm/2005},
  url       = {https://doi.org/10.1007/11526841\_25},
  doi       = {10.1007/11526841\_25},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/Bosnacki05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiH05,
  author    = {Dragan Bosnacki and
               Gerard J. Holzmann},
  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},
  pages     = {91--105},
  year      = {2005},
  crossref  = {DBLP:conf/spin/2005},
  url       = {https://doi.org/10.1007/11537328\_10},
  doi       = {10.1007/11537328\_10},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BosnackiH05},
  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 = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ase/BastenBG04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Bosnacki04,
  author    = {Dragan Bosnacki},
  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},
  pages     = {225--230},
  year      = {2004},
  crossref  = {DBLP:conf/cmsb/2004},
  url       = {https://doi.org/10.1007/978-3-540-25974-9\_18},
  doi       = {10.1007/978-3-540-25974-9\_18},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/Bosnacki04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiIS04,
  author    = {Dragan Bosnacki and
               Natalia Ioustinova and
               Natalia Sidorova},
  title     = {Using Fairness to Make Abstractions Work},
  booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
               Spain, April 1-3, 2004, Proceedings},
  pages     = {198--215},
  year      = {2004},
  crossref  = {DBLP:conf/spin/2004},
  url       = {https://doi.org/10.1007/978-3-540-24732-6\_15},
  doi       = {10.1007/978-3-540-24732-6\_15},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BosnackiIS04},
  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},
  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},
  year      = {2003},
  crossref  = {DBLP:conf/metmbs/2003},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/metmbs/BosnackiEH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Bosnacki03,
  author    = {Dragan Bosnacki},
  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},
  pages     = {89--103},
  year      = {2003},
  crossref  = {DBLP:conf/spin/2003},
  url       = {https://doi.org/10.1007/3-540-44829-2\_6},
  doi       = {10.1007/3-540-44829-2\_6},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/Bosnacki03},
  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   = {{STTT}},
  volume    = {4},
  number    = {1},
  pages     = {92--106},
  year      = {2002},
  url       = {https://doi.org/10.1007/s100090200074},
  doi       = {10.1007/s100090200074},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BosnackiDH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bosnacki02,
  author    = {Dragan Bosnacki},
  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},
  pages     = {65--80},
  year      = {2002},
  crossref  = {DBLP:conf/forte/2002},
  url       = {https://doi.org/10.1007/3-540-36135-9\_5},
  doi       = {10.1007/3-540-36135-9\_5},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/Bosnacki02},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BosnackiDH01,
  author    = {Dragan Bosnacki and
               Dennis Dams and
               Leszek Holenderski},
  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},
  pages     = {518--533},
  year      = {2001},
  crossref  = {DBLP:conf/fm/2001},
  url       = {https://doi.org/10.1007/3-540-45251-6\_30},
  doi       = {10.1007/3-540-45251-6\_30},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/BosnackiDH01},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/kbse/2001},
  url       = {https://doi.org/10.1109/ASE.2001.989810},
  doi       = {10.1109/ASE.2001.989810},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/BastenB01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiDH00,
  author    = {Dragan Bosnacki and
               Dennis Dams and
               Leszek Holenderski},
  title     = {Symmetric Spin},
  booktitle = {{SPIN} Model Checking and Software Verification, 7th International
               {SPIN} Workshop, Stanford, CA, USA, August 30 - September 1, 2000,
               Proceedings},
  pages     = {1--19},
  year      = {2000},
  crossref  = {DBLP:conf/spin/2000},
  url       = {https://doi.org/10.1007/10722468\_1},
  doi       = {10.1007/10722468\_1},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BosnackiDH00},
  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},
  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},
  pages     = {363--377},
  year      = {2000},
  crossref  = {DBLP:conf/tacas/2000},
  url       = {https://doi.org/10.1007/3-540-46419-0\_25},
  doi       = {10.1007/3-540-46419-0\_25},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BosnackiDHS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Bosnacki99,
  author    = {Dragan Bosnacki},
  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},
  pages     = {40--56},
  year      = {1999},
  crossref  = {DBLP:conf/spin/1999},
  url       = {https://doi.org/10.1007/3-540-48234-2\_4},
  doi       = {10.1007/3-540-48234-2\_4},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/Bosnacki99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BosnackiD98,
  author    = {Dragan Bosnacki and
               Dennis Dams},
  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},
  pages     = {423--438},
  year      = {1998},
  crossref  = {DBLP:conf/forte/1998},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/BosnackiD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BosnackiD98,
  author    = {Dragan Bosnacki and
               Dennis Dams},
  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},
  pages     = {307--310},
  year      = {1998},
  crossref  = {DBLP:conf/ftrtft/1998},
  url       = {https://doi.org/10.1007/BFb0055359},
  doi       = {10.1007/BFb0055359},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/BosnackiD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vcbm/2017,
  title     = {{VCBM} 17: Eurographics Workshop on Visual Computing for Biology and
               Medicine, Bremen, Germany, September 7-8, 2017},
  publisher = {Eurographics Association},
  year      = {2017},
  url       = {http://diglib.eg.org/handle/10.2312/2631687},
  isbn      = {978-3-03868-036-9},
  timestamp = {Mon, 28 May 2018 12:08:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vcbm/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2016,
  editor    = {Cyrille Artho and
               Axel Legay and
               Doron Peled},
  title     = {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},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46520-3},
  doi       = {10.1007/978-3-319-46520-3},
  isbn      = {978-3-319-46519-7},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2016,
  editor    = {John S. Fitzgerald and
               Constance L. Heitmeyer and
               Stefania Gnesi and
               Anna Philippou},
  title     = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9995},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6},
  doi       = {10.1007/978-3-319-48989-6},
  isbn      = {978-3-319-48988-9},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2016s,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic and
               Philippe Desfray},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66302-9},
  doi       = {10.1007/978-3-319-66302-9},
  isbn      = {978-3-319-66301-2},
  timestamp = {Wed, 07 Mar 2018 14:41:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2016s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2016,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic and
               Philippe Desfray},
  title     = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
               on Model-Driven Engineering and Software Development, Rome, Italy,
               19-21 February, 2016},
  publisher = {SciTePress},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7947074},
  isbn      = {978-989-758-168-7},
  timestamp = {Tue, 27 Jun 2017 13:00:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2016,
  editor    = {Walter Binder and
               Petr Tuma},
  title     = {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},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2972206},
  doi       = {10.1145/2972206},
  isbn      = {978-1-4503-4135-6},
  timestamp = {Tue, 06 Nov 2018 11:07:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pppj/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015,
  editor    = {John Tang Boyland},
  title     = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
               July 5-10, 2015, Prague, Czech Republic},
  series    = {LIPIcs},
  volume    = {37},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-86-6},
  isbn      = {978-3-939897-86-6},
  timestamp = {Mon, 29 Jun 2015 15:27:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2015,
  editor    = {Christiano Braga and
               Peter Csaba {\"{O}}lveczky},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-28934-2},
  doi       = {10.1007/978-3-319-28934-2},
  isbn      = {978-3-319-28933-5},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2015,
  editor    = {Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9058},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9},
  doi       = {10.1007/978-3-319-17524-9},
  isbn      = {978-3-319-17523-2},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2014,
  editor    = {Armin Biere and
               Roderick Bloem},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9},
  doi       = {10.1007/978-3-319-08867-9},
  isbn      = {978-3-319-08866-2},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictinnovations/2014,
  editor    = {Ana Madevska Bogdanova and
               Dejan Gjorgjevikj},
  title     = {{ICT} Innovations 2014 - World of Data, Ohrid, Macedonia, 1-4 October,
               2014},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {311},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-09879-1},
  doi       = {10.1007/978-3-319-09879-1},
  isbn      = {978-3-319-09878-4},
  timestamp = {Thu, 07 Mar 2019 09:08:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ictinnovations/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014amt,
  editor    = {J{\"{u}}rgen Dingel and
               Juan de Lara and
               Levi Lucio and
               Hans Vangheluwe},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1277},
  urn       = {urn:nbn:de:0074-1277-5},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2014amt},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2014,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Klaus Havelund},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8},
  doi       = {10.1007/978-3-642-54862-8},
  isbn      = {978-3-642-54861-1},
  timestamp = {Mon, 05 Jun 2017 12:40:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2012,
  editor    = {Alastair F. Donaldson and
               David Parker},
  title     = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
               Oxford, UK, July 23-24, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7385},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31759-0},
  doi       = {10.1007/978-3-642-31759-0},
  isbn      = {978-3-642-31758-3},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1211-3476,
  editor    = {Gabriel Ciobanu},
  title     = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired
               Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012},
  series    = {{EPTCS}},
  volume    = {100},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.100},
  doi       = {10.4204/EPTCS.100},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1211-3476},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2010,
  editor    = {Jaco van de Pol and
               Michael Weber},
  title     = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
               The Netherlands, September 27-29, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6349},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16164-3},
  doi       = {10.1007/978-3-642-16164-3},
  isbn      = {978-3-642-16163-6},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2009-11,
  editor    = {Corrado Priami and
               Ralph{-}Johan Back and
               Ion Petre},
  title     = {Transactions on Computational Systems Biology {XI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5750},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04186-0},
  doi       = {10.1007/978-3-642-04186-0},
  isbn      = {978-3-642-04185-3},
  timestamp = {Sun, 28 May 2017 13:19:07 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/2009-11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dexaw/2009,
  editor    = {A Min Tjoa and
               Roland R. Wagner},
  title     = {Database and Expert Systems Applications, DEXA, International Workshops,
               Linz, Austria, August 31-September 4, 2009, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5337077},
  isbn      = {978-0-7695-3763-4},
  timestamp = {Wed, 24 Jan 2018 12:46:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dexaw/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2009,
  editor    = {Mar{\'{\i}}a Alpuente and
               Byron Cook and
               Christophe Joubert},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04570-7},
  doi       = {10.1007/978-3-642-04570-7},
  isbn      = {978-3-642-04569-1},
  timestamp = {Wed, 14 Nov 2018 10:58:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2009,
  editor    = {Corina S. Pasareanu},
  title     = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
               France, June 26-28, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5578},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02652-2},
  doi       = {10.1007/978-3-642-02652-2},
  isbn      = {978-3-642-02651-5},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bird/2008,
  editor    = {Mourad Elloumi and
               Josef K{\"{u}}ng and
               Michal Linial and
               Robert F. Murphy and
               Kristan Schneider and
               Cristian Toma},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-3-540-70598-7},
  timestamp = {Thu, 11 Sep 2008 11:11:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bird/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2008,
  editor    = {Monika Heiner and
               Adelinde M. Uhrmacher},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88562-7},
  doi       = {10.1007/978-3-540-88562-7},
  isbn      = {978-3-540-88561-0},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mochart/2008,
  editor    = {Doron A. Peled and
               Michael Wooldridge},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00431-5},
  doi       = {10.1007/978-3-642-00431-5},
  isbn      = {978-3-642-00430-8},
  timestamp = {Wed, 17 May 2017 14:25:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mochart/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2007,
  editor    = {Kedar S. Namjoshi and
               Tomohiro Yoneda and
               Teruo Higashino and
               Yoshio Okamura},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75596-8},
  doi       = {10.1007/978-3-540-75596-8},
  isbn      = {978-3-540-75595-1},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2007,
  editor    = {Lars Arge and
               Christian Cachin and
               Tomasz Jurdzinski and
               Andrzej Tarlecki},
  title     = {Automata, Languages and Programming, 34th International Colloquium,
               {ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4596},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73420-8},
  doi       = {10.1007/978-3-540-73420-8},
  isbn      = {978-3-540-73419-2},
  timestamp = {Fri, 24 Aug 2018 13:24:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/2007,
  title     = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
               2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
  publisher = {{IEEE}},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4203121},
  timestamp = {Fri, 01 Aug 2014 14:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2006,
  editor    = {Antti Valmari},
  title     = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
               Austria, March 30 - April 1, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3925},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691617},
  doi       = {10.1007/11691617},
  isbn      = {3-540-33102-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2005,
  editor    = {John S. Fitzgerald and
               Ian J. Hayes and
               Andrzej Tarlecki},
  title     = {{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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b27882},
  doi       = {10.1007/b27882},
  isbn      = {3-540-27882-6},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2005,
  editor    = {Patrice Godefroid},
  title     = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
               CA, USA, August 22-24, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3639},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11537328},
  doi       = {10.1007/11537328},
  isbn      = {3-540-28195-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2004,
  editor    = {Vincent Danos and
               Vincent Sch{\"{a}}chter},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107287},
  doi       = {10.1007/b107287},
  isbn      = {3-540-25375-0},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2004,
  editor    = {Susanne Graf and
               Laurent Mounier},
  title     = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
               Spain, April 1-3, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2989},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96721},
  doi       = {10.1007/b96721},
  isbn      = {3-540-21314-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/metmbs/2003,
  editor    = {Faramarz Valafar and
               Homayoun Valafar},
  title     = {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}},
  publisher = {{CSREA} Press},
  year      = {2003},
  isbn      = {1-932415-04-1},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/metmbs/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2003,
  editor    = {Thomas Ball and
               Sriram K. Rajamani},
  title     = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2648},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44829-2},
  doi       = {10.1007/3-540-44829-2},
  isbn      = {3-540-40117-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2002,
  editor    = {Doron A. Peled and
               Moshe Y. Vardi},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36135-9},
  doi       = {10.1007/3-540-36135-9},
  isbn      = {3-540-00141-7},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2001,
  editor    = {Jos{\'{e}} Nuno Oliveira and
               Pamela Zave},
  title     = {{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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45251-6},
  doi       = {10.1007/3-540-45251-6},
  isbn      = {3-540-41791-5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2001,
  title     = {16th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
               {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7763},
  isbn      = {0-7695-1426-X},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2000,
  editor    = {Klaus Havelund and
               John Penix and
               Willem Visser},
  title     = {{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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10722468},
  doi       = {10.1007/10722468},
  isbn      = {3-540-41030-9},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2000,
  editor    = {Susanne Graf and
               Michael I. Schwartzbach},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-46419-0},
  doi       = {10.1007/3-540-46419-0},
  isbn      = {3-540-67282-6},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/1999,
  editor    = {Dennis Dams and
               Rob Gerth and
               Stefan Leue and
               Mieke Massink},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48234-2},
  doi       = {10.1007/3-540-48234-2},
  isbn      = {3-540-66499-8},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1998,
  editor    = {Stanislaw Budkowski and
               Ana R. Cavalli and
               Elie Najm},
  title     = {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},
  publisher = {Kluwer},
  year      = {1998},
  isbn      = {0-412-84760-4},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1998,
  editor    = {Anders P. Ravn and
               Hans Rischel},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0055330},
  doi       = {10.1007/BFb0055330},
  isbn      = {3-540-65003-2},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier