BibTeX records: Lubos Brim

download as .bib file

@article{DBLP:journals/acta/CeskaDPKB17,
  author    = {Milan Ceska and
               Frits Dannenberg and
               Nicola Paoletti and
               Marta Kwiatkowska and
               Lubos Brim},
  title     = {Precise parameter synthesis for stochastic biochemical systems},
  journal   = {Acta Inf.},
  volume    = {54},
  number    = {6},
  pages     = {589--623},
  year      = {2017},
  url       = {https://doi.org/10.1007/s00236-016-0265-2},
  doi       = {10.1007/s00236-016-0265-2},
  timestamp = {Tue, 15 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/CeskaDPKB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenesBDPS17,
  author    = {Nikola Benes and
               Lubos Brim and
               Martin Demko and
               Samuel Pastva and
               David Safr{\'{a}}nek},
  title     = {Pithya: {A} Parallel Tool for Parameter Synthesis of Piecewise Multi-affine
               Dynamical Systems},
  booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  pages     = {591--598},
  year      = {2017},
  crossref  = {DBLP:conf/cav/2017-1},
  url       = {https://doi.org/10.1007/978-3-319-63387-9\_29},
  doi       = {10.1007/978-3-319-63387-9\_29},
  timestamp = {Fri, 14 Jul 2017 12:52:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BenesBDPS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BarnatBBDHPS17,
  author    = {Jiri Barnat and
               Nikola Benes and
               Lubos Brim and
               Martin Demko and
               Matej Hajnal and
               Samuel Pastva and
               David Safr{\'{a}}nek},
  title     = {Detecting Attractors in Biological Models with Uncertain Parameters},
  booktitle = {Computational Methods in Systems Biology - 15th International Conference,
               {CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
  pages     = {40--56},
  year      = {2017},
  crossref  = {DBLP:conf/cmsb/2017},
  url       = {https://doi.org/10.1007/978-3-319-67471-1\_3},
  doi       = {10.1007/978-3-319-67471-1\_3},
  timestamp = {Mon, 18 Sep 2017 13:31:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/BarnatBBDHPS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/DedSTKSB16,
  author    = {T. Ded and
               David Safr{\'{a}}nek and
               Matej Troj{\'{a}}k and
               Matej Klement and
               Jakub Salagovic and
               Lubos Brim},
  title     = {Formal Biochemical Space with Semantics in Kappa and {BNGL}},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {326},
  pages     = {27--49},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.entcs.2016.09.017},
  doi       = {10.1016/j.entcs.2016.09.017},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/DedSTKSB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BarnatBBBBK16,
  author    = {Jiri Barnat and
               Petr Bauch and
               Nikola Benes and
               Lubos Brim and
               Jan Beran and
               Tomas Kratochvila},
  title     = {Analysing sanity of requirements for avionics systems},
  journal   = {Formal Asp. Comput.},
  volume    = {28},
  number    = {1},
  pages     = {45--63},
  year      = {2016},
  url       = {https://doi.org/10.1007/s00165-015-0348-9},
  doi       = {10.1007/s00165-015-0348-9},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/BarnatBBBBK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RockaiBB16,
  author    = {Petr Rockai and
               Jiri Barnat and
               Lubos Brim},
  title     = {Model checking {C++} programs with exceptions},
  journal   = {Sci. Comput. Program.},
  volume    = {128},
  pages     = {68--85},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.scico.2016.05.007},
  doi       = {10.1016/j.scico.2016.05.007},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/RockaiBB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BenesBDPS16,
  author    = {Nikola Benes and
               Lubos Brim and
               Martin Demko and
               Samuel Pastva and
               David Safr{\'{a}}nek},
  title     = {Parallel SMT-Based Parameter Synthesis with Application to Piecewise
               Multi-affine Systems},
  booktitle = {Automated Technology for Verification and Analysis - 14th International
               Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  pages     = {192--208},
  year      = {2016},
  crossref  = {DBLP:conf/atva/2016},
  url       = {https://doi.org/10.1007/978-3-319-46520-3\_13},
  doi       = {10.1007/978-3-319-46520-3\_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/BenesBDPS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DemkoBBPS16,
  author    = {Martin Demko and
               Nikola Benes and
               Lubos Brim and
               Samuel Pastva and
               David Safr{\'{a}}nek},
  title     = {High-Performance Symbolic Parameter Synthesis of Biological Models:
               {A} Case Study},
  booktitle = {Computational Methods in Systems Biology - 14th International Conference,
               {CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
  pages     = {82--97},
  year      = {2016},
  crossref  = {DBLP:conf/cmsb/2016},
  url       = {https://doi.org/10.1007/978-3-319-45177-0\_6},
  doi       = {10.1007/978-3-319-45177-0\_6},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/DemkoBBPS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BenesBDPS16,
  author    = {Nikola Benes and
               Lubos Brim and
               Martin Demko and
               Samuel Pastva and
               David Safr{\'{a}}nek},
  title     = {A Model Checking Approach to Discrete Bifurcation Analysis},
  booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  pages     = {85--101},
  year      = {2016},
  crossref  = {DBLP:conf/fm/2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6\_6},
  doi       = {10.1007/978-3-319-48989-6\_6},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/BenesBDPS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/HajnalSDPKB16,
  author    = {Matej Hajnal and
               David Safr{\'{a}}nek and
               Martin Demko and
               Samuel Pastva and
               Pavel Krejc{\'{\i}} and
               Lubos Brim},
  title     = {Toward Modelling and Analysis of Transient and Sustained Behaviour
               of Signalling Pathways},
  booktitle = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
               France, October 20-21, 2016, Proceedings},
  pages     = {57--66},
  year      = {2016},
  crossref  = {DBLP:conf/hsb/2016},
  url       = {https://doi.org/10.1007/978-3-319-47151-8\_4},
  doi       = {10.1007/978-3-319-47151-8\_4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hsb/HajnalSDPKB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CeskaPPBK16,
  author    = {Milan Ceska and
               Petr Pilar and
               Nicola Paoletti and
               Lubos Brim and
               Marta Z. Kwiatkowska},
  title     = {{PRISM-PSY:} Precise GPU-Accelerated Parameter Synthesis for Stochastic
               Systems},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 22nd International Conference, {TACAS} 2016, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages     = {367--384},
  year      = {2016},
  crossref  = {DBLP:conf/tacas/2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9\_21},
  doi       = {10.1007/978-3-662-49674-9\_21},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/CeskaPPBK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimNS15,
  author    = {Lubos Brim and
               J. Niznan and
               David Safr{\'{a}}nek},
  title     = {Compact Representation of Photosynthesis Dynamics by Rule-based Models},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {316},
  pages     = {17--27},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.entcs.2015.06.008},
  doi       = {10.1016/j.entcs.2015.06.008},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimNS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbateBCK15,
  author    = {Alessandro Abate and
               Lubos Brim and
               Milan Ceska and
               Marta Z. Kwiatkowska},
  title     = {Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical
               Reaction Networks},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  pages     = {195--213},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015-1},
  url       = {https://doi.org/10.1007/978-3-319-21690-4\_12},
  doi       = {10.1007/978-3-319-21690-4\_12},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/AbateBCK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BrimCDPS15,
  author    = {Lubos Brim and
               Milan Ceska and
               Martin Demko and
               Samuel Pastva and
               David Safr{\'{a}}nek},
  title     = {Parameter Synthesis by Parallel Coloured {CTL} Model Checking},
  booktitle = {Computational Methods in Systems Biology - 13th International Conference,
               {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  pages     = {251--263},
  year      = {2015},
  crossref  = {DBLP:conf/cmsb/2015},
  url       = {https://doi.org/10.1007/978-3-319-23401-4\_21},
  doi       = {10.1007/978-3-319-23401-4\_21},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/BrimCDPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/BrimDPS15,
  author    = {Lubos Brim and
               Martin Demko and
               Samuel Pastva and
               David Safr{\'{a}}nek},
  title     = {High-Performance Discrete Bifurcation Analysis for Piecewise-Affine
               Dynamical Systems},
  booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
               Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
  pages     = {58--74},
  year      = {2015},
  crossref  = {DBLP:conf/hsb/2015},
  url       = {https://doi.org/10.1007/978-3-319-26916-0\_4},
  doi       = {10.1007/978-3-319-26916-0\_4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hsb/BrimDPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BarnatBBBBK15,
  author    = {Jiri Barnat and
               Petr Bauch and
               Nikola Benes and
               Lubos Brim and
               Jan Beran and
               Tomas Kratochvila},
  title     = {Analysing Sanity of Requirements for Avionics Systems (Preliminary
               Version)},
  journal   = {CoRR},
  volume    = {abs/1510.02669},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.02669},
  archivePrefix = {arXiv},
  eprint    = {1510.02669},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BarnatBBBBK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RockaiBB14,
  author    = {Petr Rockai and
               Jiri Barnat and
               Lubos Brim},
  title     = {Model Checking {C++} with Exceptions},
  journal   = {{ECEASST}},
  volume    = {70},
  year      = {2014},
  url       = {http://journal.ub.tu-berlin.de/eceasst/article/view/983},
  timestamp = {Sat, 03 Jan 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/RockaiBB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrimDSV14,
  author    = {Lubos Brim and
               Petr Dluhos and
               David Safr{\'{a}}nek and
               Tomas Vejpustek},
  title     = {STL\({}^{\mbox{{\unicode{8270}}}}\): Extending signal temporal logic
               with signal-value freezing operator},
  journal   = {Inf. Comput.},
  volume    = {236},
  pages     = {52--67},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.ic.2014.01.012},
  doi       = {10.1016/j.ic.2014.01.012},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/BrimDSV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrimNS14,
  author    = {Lubos Brim and
               J. Niznan and
               David Safr{\'{a}}nek},
  title     = {Compact Representation of Photosynthesis Dynamics by Rule-based Models
               (Full Version)},
  journal   = {CoRR},
  volume    = {abs/1410.3632},
  year      = {2014},
  url       = {http://arxiv.org/abs/1410.3632},
  archivePrefix = {arXiv},
  eprint    = {1410.3632},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BrimNS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GoethemJBS13,
  author    = {S. Van Goethem and
               Jean{-}Marie Jacquet and
               Lubos Brim and
               David Safr{\'{a}}nek},
  title     = {Timed Modelling of Gene Networks with Arbitrarily Precise Expression
               Discretization},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {293},
  pages     = {67--81},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.entcs.2013.02.019},
  doi       = {10.1016/j.entcs.2013.02.019},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GoethemJBS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BarnatBH13,
  author    = {Jiri Barnat and
               Lubos Brim and
               Vojtech Havel},
  title     = {{LTL} Model Checking of Parallel Programs with Under-Approximated
               {TSO} Memory Model},
  booktitle = {13th International Conference on Application of Concurrency to System
               Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
  pages     = {51--59},
  year      = {2013},
  crossref  = {DBLP:conf/acsd/2013},
  url       = {https://doi.org/10.1109/ACSD.2013.8},
  doi       = {10.1109/ACSD.2013.8},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/BarnatBH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BrimDS13,
  author    = {Lubos Brim and
               Vil{\'{e}}m Ded and
               David Safr{\'{a}}nek},
  title     = {Qualitative modelling and analysis of Photosystem {II}},
  booktitle = {Proceedings of the International Workshop on Biological Processes
               {\&} Petri Nets, Milano, Italy, June 24, 2013},
  pages     = {17--29},
  year      = {2013},
  crossref  = {DBLP:conf/apn/2013bioppn},
  url       = {http://ceur-ws.org/Vol-988/paper3.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/BrimDS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrimCDS13,
  author    = {Lubos Brim and
               Milan Ceska and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {Exploring Parameter Space of Stochastic Biochemical Systems Using
               Quantitative Model Checking},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {107--123},
  year      = {2013},
  crossref  = {DBLP:conf/cav/2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8\_7},
  doi       = {10.1007/978-3-642-39799-8\_7},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BrimCDS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnatBHHKLRSW13,
  author    = {Jiri Barnat and
               Lubos Brim and
               Vojtech Havel and
               Jan Havl{\'{\i}}cek and
               Jan Kriho and
               Milan Lenco and
               Petr Rockai and
               Vladim{\'{\i}}r Still and
               Jir{\'{\i}} Weiser},
  title     = {DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded {C}
               {\&} {C++} Programs},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {863--868},
  year      = {2013},
  crossref  = {DBLP:conf/cav/2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8\_60},
  doi       = {10.1007/978-3-642-39799-8\_60},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BarnatBHHKLRSW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/RockaiBB13,
  author    = {Petr Rockai and
               Jiri Barnat and
               Lubos Brim},
  title     = {Improved State Space Reductions for {LTL} Model Checking of {C} and
               {C++} Programs},
  booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
               Field, CA, USA, May 14-16, 2013. Proceedings},
  pages     = {1--15},
  year      = {2013},
  crossref  = {DBLP:conf/nfm/2013},
  url       = {https://doi.org/10.1007/978-3-642-38088-4\_1},
  doi       = {10.1007/978-3-642-38088-4\_1},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/RockaiBB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BrimCS13,
  author    = {Lubos Brim and
               Milan Ceska and
               David Safr{\'{a}}nek},
  title     = {Model Checking of Biological Systems},
  booktitle = {Formal Methods for Dynamical Systems - 13th International School on
               Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
               Lectures},
  pages     = {63--112},
  year      = {2013},
  crossref  = {DBLP:conf/sfm/2013},
  url       = {https://doi.org/10.1007/978-3-642-38874-3\_3},
  doi       = {10.1007/978-3-642-38874-3\_3},
  timestamp = {Mon, 05 Jun 2017 12:42:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/BrimCS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BrimVSF13,
  author    = {Lubos Brim and
               Tomas Vejpustek and
               David Safr{\'{a}}nek and
               Jana Fabrikov{\'{a}}},
  title     = {Robustness Analysis for Value-Freezing Signal Temporal Logic},
  booktitle = {Proceedings Second International Workshop on Hybrid Systems and Biology,
               {HSB} 2013, Taormina, Italy, 2nd September 2013.},
  pages     = {20--36},
  year      = {2013},
  crossref  = {DBLP:journals/corr/DangP13},
  url       = {https://doi.org/10.4204/EPTCS.125.2},
  doi       = {10.4204/EPTCS.125.2},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BrimVSF13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrimCDS13,
  author    = {Lubos Brim and
               Milan Ceska and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic
               Model Checking},
  journal   = {CoRR},
  volume    = {abs/1310.4734},
  year      = {2013},
  url       = {http://arxiv.org/abs/1310.4734},
  archivePrefix = {arXiv},
  eprint    = {1310.4734},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BrimCDS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrimC12,
  author    = {Lubos Brim and
               Jakub Chaloupka},
  title     = {Using Strategy Improvement to Stay Alive},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {23},
  number    = {3},
  pages     = {585--608},
  year      = {2012},
  url       = {https://doi.org/10.1142/S0129054112400291},
  doi       = {10.1142/S0129054112400291},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijfcs/BrimC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BarnatBBC12,
  author    = {Jiri Barnat and
               Petr Bauch and
               Lubos Brim and
               Milan Ceska},
  title     = {Designing fast {LTL} model checking algorithms for many-core GPUs},
  journal   = {J. Parallel Distrib. Comput.},
  volume    = {72},
  number    = {9},
  pages     = {1083--1097},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jpdc.2011.10.015},
  doi       = {10.1016/j.jpdc.2011.10.015},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jpdc/BarnatBBC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BarnatBR12,
  author    = {Jiri Barnat and
               Lubos Brim and
               Petr Rockai},
  title     = {On-the-fly parallel model checking algorithm that is optimal for verification
               of weak {LTL} properties},
  journal   = {Sci. Comput. Program.},
  volume    = {77},
  number    = {12},
  pages     = {1272--1288},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.scico.2011.03.001},
  doi       = {10.1016/j.scico.2011.03.001},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/BarnatBR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/BarnatBKSSVV12,
  author    = {Jiri Barnat and
               Lubos Brim and
               Adam Krejci and
               Adam Streck and
               David Safr{\'{a}}nek and
               Martin Vejnar and
               Tomas Vejpustek},
  title     = {On Parameter Synthesis by Parallel Model Checking},
  journal   = {{IEEE/ACM} Trans. Comput. Biology Bioinform.},
  volume    = {9},
  number    = {3},
  pages     = {693--705},
  year      = {2012},
  url       = {https://doi.org/10.1109/TCBB.2011.110},
  doi       = {10.1109/TCBB.2011.110},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcbb/BarnatBKSSVV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/BrimFDS12,
  author    = {Lubos Brim and
               Jana Fabrikov{\'{a}} and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {On Approximative Reachability Analysis of Biochemical Dynamical Systems},
  journal   = {Trans. Computational Systems Biology},
  volume    = {14},
  pages     = {77--101},
  year      = {2012},
  crossref  = {DBLP:journals/tcsb/2012-14},
  url       = {https://doi.org/10.1007/978-3-642-35524-0\_4},
  doi       = {10.1007/978-3-642-35524-0\_4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/BrimFDS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BarnatBBKR12,
  author    = {Jiri Barnat and
               Jan Beran and
               Lubos Brim and
               Tomas Kratochvila and
               Petr Rockai},
  title     = {Tool Chain to Support Automated Formal Verification of Avionics Simulink
               Designs},
  booktitle = {Formal Methods for Industrial Critical Systems - 17th International
               Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  pages     = {78--92},
  year      = {2012},
  crossref  = {DBLP:conf/fmics/2012},
  url       = {https://doi.org/10.1007/978-3-642-32469-7\_6},
  doi       = {10.1007/978-3-642-32469-7\_6},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/BarnatBBKR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BarnatBR12,
  author    = {Jiri Barnat and
               Lubos Brim and
               Petr Rockai},
  title     = {Towards {LTL} Model Checking of Unmodified Thread-Based {C} {\&}
               {C++} Programs},
  booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  pages     = {252--266},
  year      = {2012},
  crossref  = {DBLP:conf/nfm/2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3\_25},
  doi       = {10.1007/978-3-642-28891-3\_25},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/BarnatBR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BarnatBB12,
  author    = {Jiri Barnat and
               Petr Bauch and
               Lubos Brim},
  title     = {Checking Sanity of Software Requirements},
  booktitle = {Software Engineering and Formal Methods - 10th International Conference,
               {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
  pages     = {48--62},
  year      = {2012},
  crossref  = {DBLP:conf/sefm/2012},
  url       = {https://doi.org/10.1007/978-3-642-33826-7\_4},
  doi       = {10.1007/978-3-642-33826-7\_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/BarnatBB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BarnatBBKO12,
  author    = {Jiri Barnat and
               Lubos Brim and
               Jan Beran and
               Tomas Kratochvila and
               Italo R. Oliveira},
  title     = {Executing Model Checking Counterexamples in Simulink},
  booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2012, 4-6 July 2012, Beijing, China},
  pages     = {245--248},
  year      = {2012},
  crossref  = {DBLP:conf/tase/2012},
  url       = {https://doi.org/10.1109/TASE.2012.42},
  doi       = {10.1109/TASE.2012.42},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tase/BarnatBBKO12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-3853,
  author    = {Petr Dluhos and
               Lubos Brim and
               David Safr{\'{a}}nek},
  title     = {On Expressing and Monitoring Oscillatory Dynamics},
  booktitle = {Proceedings First International Workshop on Hybrid Systems and Biology,
               {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012.},
  pages     = {73--87},
  year      = {2012},
  crossref  = {DBLP:journals/corr/abs-1208-3151},
  url       = {https://doi.org/10.4204/EPTCS.92.6},
  doi       = {10.4204/EPTCS.92.6},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1208-3853},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/SafranekCKPBLN11,
  author    = {David Safr{\'{a}}nek and
               Jan Cerven{\'{y}} and
               Matej Klement and
               Jana Posp{\'{\i}}silov{\'{a}} and
               Lubos Brim and
               Dusan Lazar and
               Ladislav Nedbal},
  title     = {E-photosynthesis: Web-based platform for modeling of complex photosynthetic
               processes},
  journal   = {Biosystems},
  volume    = {103},
  number    = {2},
  pages     = {115--124},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.biosystems.2010.10.013},
  doi       = {10.1016/j.biosystems.2010.10.013},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/biosystems/SafranekCKPBLN11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrimCDGR11,
  author    = {Lubos Brim and
               Jakub Chaloupka and
               Laurent Doyen and
               Raffaella Gentilini and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {Faster algorithms for mean-payoff games},
  journal   = {Formal Methods in System Design},
  volume    = {38},
  number    = {2},
  pages     = {97--118},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10703-010-0105-x},
  doi       = {10.1007/s10703-010-0105-x},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/BrimCDGR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EdelkampSBBS11,
  author    = {Stefan Edelkamp and
               Damian Sulewski and
               Jiri Barnat and
               Lubos Brim and
               Pavel Simecek},
  title     = {Flash memory efficient {LTL} model checking},
  journal   = {Sci. Comput. Program.},
  volume    = {76},
  number    = {2},
  pages     = {136--157},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.scico.2010.03.005},
  doi       = {10.1016/j.scico.2010.03.005},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/EdelkampSBBS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BenesBBCSV11,
  author    = {Nikola Benes and
               Lubos Brim and
               Barbora Buhnova and
               Ivana Cern{\'{a}} and
               Jiri Sochor and
               Pavl{\'{\i}}na Varekov{\'{a}}},
  title     = {Partial order reduction for state/event {LTL} with application to
               component-interaction automata},
  journal   = {Sci. Comput. Program.},
  volume    = {76},
  number    = {10},
  pages     = {877--890},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.scico.2010.02.008},
  doi       = {10.1016/j.scico.2010.02.008},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/BenesBBCSV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BarnatBBC11,
  author    = {Jiri Barnat and
               Petr Bauch and
               Lubos Brim and
               Milan Ceska},
  title     = {Computing Strongly Connected Components in Parallel on {CUDA}},
  booktitle = {25th {IEEE} International Symposium on Parallel and Distributed Processing,
               {IPDPS} 2011, Anchorage, Alaska, USA, 16-20 May, 2011 - Conference
               Proceedings},
  pages     = {544--555},
  year      = {2011},
  crossref  = {DBLP:conf/ipps/2011},
  url       = {https://doi.org/10.1109/IPDPS.2011.59},
  doi       = {10.1109/IPDPS.2011.59},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/BarnatBBC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-0368,
  author    = {Lubos Brim and
               Jiri Barnat},
  title     = {Platform Dependent Verification: On Engineering Verification Tools
               for 21st Century},
  booktitle = {Proceedings 10th International Workshop on Parallel and Distributed
               Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
               2011.},
  pages     = {1--12},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1111-0064},
  url       = {https://doi.org/10.4204/EPTCS.72.1},
  doi       = {10.4204/EPTCS.72.1},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1111-0368},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-0627,
  author    = {Jiri Barnat and
               Petr Bauch and
               Lubos Brim and
               Milan Ceska},
  title     = {Computing Optimal Cycle Mean in Parallel on {CUDA}},
  booktitle = {Proceedings 10th International Workshop on Parallel and Distributed
               Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
               2011.},
  pages     = {68--83},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1111-0064},
  url       = {https://doi.org/10.4204/EPTCS.72.8},
  doi       = {10.4204/EPTCS.72.8},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1111-0627},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-1649,
  author    = {Lubos Brim and
               Jana Fabrikov{\'{a}} and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {Reachability in Biochemical Dynamical Systems by Quantitative Discrete
               Approximation (extended abstract)},
  booktitle = {Proceedings Third International Workshop on Computational Models for
               Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011.},
  pages     = {97--112},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1109-1044},
  url       = {https://doi.org/10.4204/EPTCS.67.9},
  doi       = {10.4204/EPTCS.67.9},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1109-1649},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5924,
  author    = {Lubos Brim and
               Jana Fabrikov{\'{a}} and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {Reachability in Biochemical Dynamical Systems by Quantitative Discrete
               Approximation},
  journal   = {CoRR},
  volume    = {abs/1107.5924},
  year      = {2011},
  url       = {http://arxiv.org/abs/1107.5924},
  archivePrefix = {arXiv},
  eprint    = {1107.5924},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1107-5924},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/BarnatBS10,
  author    = {Jiri Barnat and
               Lubos Brim and
               David Safr{\'{a}}nek},
  title     = {High-performance analysis of biological systems dynamics with the
               DiVinE model checker},
  journal   = {Briefings in Bioinformatics},
  volume    = {11},
  number    = {3},
  pages     = {301--312},
  year      = {2010},
  url       = {https://doi.org/10.1093/bib/bbp074},
  doi       = {10.1093/bib/bbp074},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/bib/BarnatBS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BarnatBR10,
  author    = {Jiri Barnat and
               Lubos Brim and
               Petr Rockai},
  title     = {Scalable shared memory {LTL} model checking},
  journal   = {{STTT}},
  volume    = {12},
  number    = {2},
  pages     = {139--153},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10009-010-0136-z},
  doi       = {10.1007/s10009-010-0136-z},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BarnatBR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/BarnatBBC10,
  author    = {Jiri Barnat and
               Petr Bauch and
               Lubos Brim and
               Milan Ceska},
  title     = {Employing Multiple {CUDA} Devices to Accelerate {LTL} Model Checking},
  booktitle = {16th {IEEE} International Conference on Parallel and Distributed Systems,
               {ICPADS} 2010, Shanghai, China, December 8-10, 2010},
  pages     = {259--266},
  year      = {2010},
  crossref  = {DBLP:conf/icpads/2010},
  url       = {https://doi.org/10.1109/ICPADS.2010.82},
  doi       = {10.1109/ICPADS.2010.82},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icpads/BarnatBBC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BarnatBR10,
  author    = {Jiri Barnat and
               Lubos Brim and
               Petr Rockai},
  title     = {Parallel Partial Order Reduction with Topological Sort Proviso},
  booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
               Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages     = {222--231},
  year      = {2010},
  crossref  = {DBLP:conf/sefm/2010},
  url       = {https://doi.org/10.1109/SEFM.2010.35},
  doi       = {10.1109/SEFM.2010.35},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/BarnatBR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1405,
  author    = {Lubos Brim and
               Jakub Chaloupka},
  title     = {Using Strategy Improvement to Stay Alive},
  booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
               Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
               June 2010.},
  pages     = {40--54},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1006-1711},
  url       = {https://doi.org/10.4204/EPTCS.25.8},
  doi       = {10.4204/EPTCS.25.8},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1006-1405},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarnatBCDFS09,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Sven Drazan and
               Jana Fabrikov{\'{a}} and
               David Safr{\'{a}}nek},
  title     = {On algorithmic analysis of transcriptional regulation by {LTL} model
               checking},
  journal   = {Theor. Comput. Sci.},
  volume    = {410},
  number    = {33-34},
  pages     = {3128--3148},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.tcs.2009.02.017},
  doi       = {10.1016/j.tcs.2009.02.017},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BarnatBCDFS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BarnatBR09,
  author    = {Jiri Barnat and
               Lubos Brim and
               Petr Rockai},
  title     = {A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of
               Weak {LTL} Properties},
  booktitle = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  pages     = {407--425},
  year      = {2009},
  crossref  = {DBLP:conf/icfem/2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5\_21},
  doi       = {10.1007/978-3-642-10373-5\_21},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/BarnatBR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/BarnatBCL09,
  author    = {Jiri Barnat and
               Lubos Brim and
               Milan Ceska and
               Tomas Lamr},
  title     = {{CUDA} Accelerated {LTL} Model Checking},
  booktitle = {15th {IEEE} International Conference on Parallel and Distributed Systems,
               {ICPADS} 2009, Shenzhen, China, December 8-11, 2009},
  pages     = {34--41},
  year      = {2009},
  crossref  = {DBLP:conf/icpads/2009},
  url       = {https://doi.org/10.1109/ICPADS.2009.50},
  doi       = {10.1109/ICPADS.2009.50},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icpads/BarnatBCL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BenesBCSVZ09,
  author    = {Nikola Benes and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Jiri Sochor and
               Pavl{\'{\i}}na Varekov{\'{a}} and
               Barbora Zimmerova},
  title     = {Partial Order Reduction for State/Event {LTL}},
  booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  pages     = {307--321},
  year      = {2009},
  crossref  = {DBLP:conf/ifm/2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7\_21},
  doi       = {10.1007/978-3-642-00255-7\_21},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/BenesBCSVZ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/VerstoepBBB09,
  author    = {Kees Verstoep and
               Henri E. Bal and
               Jiri Barnat and
               Lubos Brim},
  title     = {Efficient large-scale model checking},
  booktitle = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
               {IPDPS} 2009, Rome, Italy, May 23-29, 2009},
  pages     = {1--12},
  year      = {2009},
  crossref  = {DBLP:conf/ipps/2009},
  url       = {https://doi.org/10.1109/IPDPS.2009.5161000},
  doi       = {10.1109/IPDPS.2009.5161000},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/VerstoepBBB09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BarnatBS09,
  author    = {Jiri Barnat and
               Lubos Brim and
               Pavel Simecek},
  title     = {Cluster-Based I/O-Efficient {LTL} Model Checking},
  booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
               Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  pages     = {635--639},
  year      = {2009},
  crossref  = {DBLP:conf/kbse/2009},
  url       = {https://doi.org/10.1109/ASE.2009.32},
  doi       = {10.1109/ASE.2009.32},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/BarnatBS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/ChaloupkaB09,
  author    = {Jakub Chaloupka and
               Lubos Brim},
  title     = {Faster Algorithm for Mean-Payoff Games},
  booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
               Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
               Znojmo, Czech Republic},
  year      = {2009},
  crossref  = {DBLP:conf/memics/2009},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2009/2348},
  timestamp = {Tue, 12 Feb 2013 21:10:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memics/ChaloupkaB09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0910-0928,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Sven Drazan and
               Jana Fabrikov{\'{a}} and
               Jan L{\'{a}}n{\'{\i}}k and
               David Safr{\'{a}}nek and
               Hongwu Ma},
  title     = {BioDiVinE: {A} Framework for Parallel Analysis of Biological Models},
  booktitle = {Proceedings Second International Workshop on Computational Models
               for Cell Processes, {COMPMOD} 2009, Eindhoven, the Netherlands, November
               3, 2009.},
  pages     = {31--45},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-0910-1605},
  url       = {https://doi.org/10.4204/EPTCS.6.3},
  doi       = {10.4204/EPTCS.6.3},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0910-0928},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-2555,
  author    = {Jiri Barnat and
               Lubos Brim and
               Milan Ceska},
  title     = {DiVinE-CUDA - {A} Tool for {GPU} Accelerated {LTL} Model Checking},
  booktitle = {Proceedings 8th International Workshop on Parallel and Distributed
               Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
               4th November 2009.},
  pages     = {107--111},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-0912-3036},
  url       = {https://doi.org/10.4204/EPTCS.14.8},
  doi       = {10.4204/EPTCS.14.8},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-2555},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9491,
  editor    = {Lubos Brim and
               Stefan Edelkamp and
               Eric A. Hansen and
               Peter Sanders},
  title     = {Graph Search Engineering, 29.11. - 04.12.2009},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {09491},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2009},
  url       = {http://drops.dagstuhl.de/portals/09491/},
  timestamp = {Fri, 06 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2009P9491},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-3036,
  editor    = {Lubos Brim and
               Jaco van de Pol},
  title     = {Proceedings 8th International Workshop on Parallel and Distributed
               Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
               4th November 2009},
  series    = {{EPTCS}},
  volume    = {14},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.14},
  doi       = {10.4204/EPTCS.14},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-3036},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BrimEHS09,
  author    = {Lubos Brim and
               Stefan Edelkamp and
               Eric A. Hansen and
               Peter Sanders},
  title     = {09491 Abstracts Collection - Graph Search Engineering},
  booktitle = {Graph Search Engineering, 29.11. - 04.12.2009},
  year      = {2009},
  crossref  = {DBLP:conf/dagstuhl/2009P9491},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2431/},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BrimEHS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BarnatBCDS08,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {Parallel Model Checking Large-Scale Genetic Regulatory Networks with
               DiVinE},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {194},
  number    = {3},
  pages     = {35--50},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2007.12.001},
  doi       = {10.1016/j.entcs.2007.12.001},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BarnatBCDS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BarnatBR08,
  author    = {Jiri Barnat and
               Lubos Brim and
               Petr Rockai},
  title     = {DiVinE Multi-Core - {A} Parallel {LTL} Model-Checker},
  booktitle = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  pages     = {234--239},
  year      = {2008},
  crossref  = {DBLP:conf/atva/2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6\_20},
  doi       = {10.1007/978-3-540-88387-6\_20},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/BarnatBR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BarnatBCCT08,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Milan Ceska and
               Jana Tumova},
  title     = {Local Quantitative {LTL} Model Checking},
  booktitle = {Formal Methods for Industrial Critical Systems, 13th International
               Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
               Selected Papers},
  pages     = {53--68},
  year      = {2008},
  crossref  = {DBLP:conf/fmics/2008},
  url       = {https://doi.org/10.1007/978-3-642-03240-0\_8},
  doi       = {10.1007/978-3-642-03240-0\_8},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/BarnatBCCT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BarnatBESS08,
  author    = {Jiri Barnat and
               Lubos Brim and
               Stefan Edelkamp and
               Damian Sulewski and
               Pavel Simecek},
  title     = {Can Flash Memory Help in Model Checking?},
  booktitle = {Formal Methods for Industrial Critical Systems, 13th International
               Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
               Selected Papers},
  pages     = {150--165},
  year      = {2008},
  crossref  = {DBLP:conf/fmics/2008},
  url       = {https://doi.org/10.1007/978-3-642-03240-0\_14},
  doi       = {10.1007/978-3-642-03240-0\_14},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/BarnatBESS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BarnatB08,
  author    = {Jiri Barnat and
               Lubos Brim},
  title     = {Squeeze All the Power Out of Your Hardware to Verify Your Software!},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
               Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
               13-15, 2008. Proceedings},
  pages     = {604--618},
  year      = {2008},
  crossref  = {DBLP:conf/isola/2008},
  url       = {https://doi.org/10.1007/978-3-540-88479-8\_43},
  doi       = {10.1007/978-3-540-88479-8\_43},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/BarnatB08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BarnatBCCT08,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Milan Ceska and
               Jana Tumova},
  title     = {ProbDiVinE-MC: Multi-core {LTL} Model Checker for Probabilistic Systems},
  booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
               {(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
  pages     = {77--78},
  year      = {2008},
  crossref  = {DBLP:conf/qest/2008},
  url       = {https://doi.org/10.1109/QEST.2008.29},
  doi       = {10.1109/QEST.2008.29},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/BarnatBCCT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BarnatBSW08,
  author    = {Jiri Barnat and
               Lubos Brim and
               Pavel Simecek and
               M. Weber},
  title     = {Revisiting Resistance Speeds Up I/O-Efficient {LTL} Model Checking},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  pages     = {48--62},
  year      = {2008},
  crossref  = {DBLP:conf/tacas/2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3\_5},
  doi       = {10.1007/978-3-540-78800-3\_5},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BarnatBSW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8332,
  editor    = {Henri E. Bal and
               Lubos Brim and
               Martin Leucker},
  title     = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {08332},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2008},
  url       = {http://drops.dagstuhl.de/portals/08332/},
  timestamp = {Tue, 07 Apr 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2008P8332},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BalBL08,
  author    = {Henri E. Bal and
               Lubos Brim and
               Martin Leucker},
  title     = {08332 Abstracts Collection - Distributed Verification and Grid Computing},
  booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
  year      = {2008},
  crossref  = {DBLP:conf/dagstuhl/2008P8332},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2008/1633/},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BalBL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BalBL08a,
  author    = {Henri E. Bal and
               Lubos Brim and
               Martin Leucker},
  title     = {08332 Executive Summary - Distributed Verification and Grid Computing},
  booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
  year      = {2008},
  crossref  = {DBLP:conf/dagstuhl/2008P8332},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2008/1632/},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BalBL08a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/VerstoepBBB08,
  author    = {Kees Verstoep and
               Henri E. Bal and
               Jiri Barnat and
               Lubos Brim},
  title     = {Efficient Large-Scale Model Checking},
  booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
  year      = {2008},
  crossref  = {DBLP:conf/dagstuhl/2008P8332},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2008/1630/},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/VerstoepBBB08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnatBS07,
  author    = {Jiri Barnat and
               Lubos Brim and
               Pavel Simecek},
  title     = {{I/O} Efficient Accepting Cycle Detection},
  booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages     = {281--293},
  year      = {2007},
  crossref  = {DBLP:conf/cav/2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3\_32},
  doi       = {10.1007/978-3-540-73368-3\_32},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BarnatBS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ZimmerovaVBCBS07,
  author    = {Barbora Zimmerova and
               Pavl{\'{\i}}na Varekov{\'{a}} and
               Nikola Benes and
               Ivana Cern{\'{a}} and
               Lubos Brim and
               Jiri Sochor},
  title     = {Component-Interaction Automata Approach (CoIn)},
  booktitle = {The Common Component Modeling Example: Comparing Software Component
               Models [result from the Dagstuhl research seminar for CoCoME, August
               1-3, 2007]},
  pages     = {146--176},
  year      = {2007},
  crossref  = {DBLP:conf/dagstuhl/2007cocome},
  url       = {https://doi.org/10.1007/978-3-540-85289-6\_7},
  doi       = {10.1007/978-3-540-85289-6\_7},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/ZimmerovaVBCBS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BarnatBL07,
  author    = {Jiri Barnat and
               Lubos Brim and
               Martin Leucker},
  title     = {Parallel Model Checking and the FMICS-jETI Platform},
  booktitle = {12th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
  pages     = {330--339},
  year      = {2007},
  crossref  = {DBLP:conf/iceccs/2007},
  url       = {https://doi.org/10.1109/ICECCS.2007.34},
  doi       = {10.1109/ICECCS.2007.34},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/BarnatBL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BarnatBCCT07,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Milan Ceska and
               Jana Tumova},
  title     = {ProbDiVinE: {A} Parallel Qualitative {LTL} Model Checker},
  booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
               Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
               {UK}},
  pages     = {215--216},
  year      = {2007},
  crossref  = {DBLP:conf/qest/2007},
  url       = {https://doi.org/10.1109/QEST.2007.13},
  doi       = {10.1109/QEST.2007.13},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/BarnatBCCT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimK07,
  author    = {Lubos Brim and
               Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
  title     = {Model-Checking Large Finite-State Systems and Beyond},
  booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
               on Current Trends in Theory and Practice of Computer Science, Harrachov,
               Czech Republic, January 20-26, 2007, Proceedings},
  pages     = {9--28},
  year      = {2007},
  crossref  = {DBLP:conf/sofsem/2007},
  url       = {https://doi.org/10.1007/978-3-540-69507-3\_2},
  doi       = {10.1007/978-3-540-69507-3\_2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/BrimK07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BrimB07,
  author    = {Lubos Brim and
               Jiri Barnat},
  title     = {Tutorial: Parallel Model Checking},
  booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
               Germany, July 1-3, 2007, Proceedings},
  pages     = {2--3},
  year      = {2007},
  crossref  = {DBLP:conf/spin/2007},
  url       = {https://doi.org/10.1007/978-3-540-73370-6\_2},
  doi       = {10.1007/978-3-540-73370-6\_2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BrimB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BarnatBR07,
  author    = {Jiri Barnat and
               Lubos Brim and
               Petr Rockai},
  title     = {Scalable Multi-core {LTL} Model-Checking},
  booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
               Germany, July 1-3, 2007, Proceedings},
  pages     = {187--203},
  year      = {2007},
  crossref  = {DBLP:conf/spin/2007},
  url       = {https://doi.org/10.1007/978-3-540-73370-6\_13},
  doi       = {10.1007/978-3-540-73370-6\_13},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BarnatBR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2006,
  editor    = {Lubos Brim and
               Boudewijn R. Haverkort and
               Martin Leucker and
               Jaco van de Pol},
  title     = {Formal Methods: Applications and Technology, 11th International Workshop,
               {FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
               August 26-27, and August 31, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4346},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-70952-7},
  doi       = {10.1007/978-3-540-70952-7},
  isbn      = {978-3-540-70951-0},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimCMS06,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavel Moravec and
               Jir{\'{\i}} Simsa},
  title     = {How to Order Vertices for Distributed {LTL} Model-Checking Based on
               Accepting Predecessors},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {135},
  number    = {2},
  pages     = {3--18},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.10.015},
  doi       = {10.1016/j.entcs.2005.10.015},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimCMS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimL06,
  author    = {Lubos Brim and
               Isabelle Linden},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {150},
  number    = {1},
  pages     = {1--2},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.12.019},
  doi       = {10.1016/j.entcs.2005.12.019},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrimL06,
  author    = {Lubos Brim and
               Martin Leucker},
  title     = {Foreword},
  journal   = {Formal Methods in System Design},
  volume    = {29},
  number    = {2},
  pages     = {115--116},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10703-006-0010-5},
  doi       = {10.1007/s10703-006-0010-5},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/BrimL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BrimCVZ06,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavl{\'{\i}}na Varekov{\'{a}} and
               Barbora Zimmerova},
  title     = {Component-interaction automata as a verification-oriented component-based
               system specification},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {31},
  number    = {2},
  year      = {2006},
  url       = {http://doi.acm.org/10.1145/1118537.1123063},
  doi       = {10.1145/1118537.1123063},
  timestamp = {Wed, 07 May 2008 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/BrimCVZ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnatBCMRS06,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavel Moravec and
               Petr Rockai and
               Pavel Simecek},
  title     = {DiVinE - {A} Tool for Distributed Verification},
  booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {278--281},
  year      = {2006},
  crossref  = {DBLP:conf/cav/2006},
  url       = {https://doi.org/10.1007/11817963\_26},
  doi       = {10.1007/11817963\_26},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BarnatBCMRS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Brim06,
  author    = {Lubos Brim},
  title     = {Distributed Verification: Exploring the Power of Raw Computing Power},
  booktitle = {Formal Methods: Applications and Technology, 11th International Workshop,
               {FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
               August 26-27, and August 31, 2006, Revised Selected Papers},
  pages     = {23--34},
  year      = {2006},
  crossref  = {DBLP:conf/fmics/2006},
  url       = {https://doi.org/10.1007/978-3-540-70952-7\_2},
  doi       = {10.1007/978-3-540-70952-7\_2},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/Brim06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BrimCMS06,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavel Moravec and
               Jir{\'{\i}} Simsa},
  title     = {On Combining Partial Order Reduction with Fairness Assumptions},
  booktitle = {Formal Methods: Applications and Technology, 11th International Workshop,
               {FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
               August 26-27, and August 31, 2006, Revised Selected Papers},
  pages     = {84--99},
  year      = {2006},
  crossref  = {DBLP:conf/fmics/2006},
  url       = {https://doi.org/10.1007/978-3-540-70952-7\_6},
  doi       = {10.1007/978-3-540-70952-7\_6},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/BrimCMS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimL05,
  author    = {Lubos Brim and
               Martin Leucker},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {128},
  number    = {3},
  pages     = {1--2},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.10.014},
  doi       = {10.1016/j.entcs.2004.10.014},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimCMS05,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavel Moravec and
               Jir{\'{\i}} Simsa},
  title     = {Distributed Partial Order Reduction of State Spaces},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {128},
  number    = {3},
  pages     = {63--74},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.10.019},
  doi       = {10.1016/j.entcs.2004.10.019},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimCMS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BarnatBC05,
  author    = {Jiri Barnat and
               Lubos Brim and
               Jakub Chaloupka},
  title     = {From Distributed Memory Cycle Detection to Parallel {LTL} Model Checking},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {133},
  pages     = {21--39},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.08.056},
  doi       = {10.1016/j.entcs.2004.08.056},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BarnatBC05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BrimG05,
  author    = {Lubos Brim and
               Orna Grumberg},
  title     = {Introductory paper},
  journal   = {{STTT}},
  volume    = {7},
  number    = {1},
  pages     = {1--3},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10009-004-0177-2},
  doi       = {10.1007/s10009-004-0177-2},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BrimG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BrimYZ05,
  author    = {Lubos Brim and
               Karen Yorav and
               Jitka Zidkova},
  title     = {Assumption-based distribution of {CTL} model checking},
  journal   = {{STTT}},
  volume    = {7},
  number    = {1},
  pages     = {61--73},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10009-004-0163-8},
  doi       = {10.1007/s10009-004-0163-8},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BrimYZ05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BarnatBC05,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}}},
  title     = {Cluster-Based {LTL} Model Checking of Large Systems},
  booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
               {FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
               Lectures},
  pages     = {259--279},
  year      = {2005},
  crossref  = {DBLP:conf/fmco/2005},
  url       = {https://doi.org/10.1007/11804192\_13},
  doi       = {10.1007/11804192\_13},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/BarnatBC05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BrimCMS04,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavel Moravec and
               Jir{\'{\i}} Simsa},
  title     = {Accepting Predecessors Are Better than Back Edges in Distributed {LTL}
               Model-Checking},
  booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
               {FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  pages     = {352--366},
  year      = {2004},
  crossref  = {DBLP:conf/fmcad/2004},
  url       = {https://doi.org/10.1007/978-3-540-30494-4\_25},
  doi       = {10.1007/978-3-540-30494-4\_25},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/BrimCMS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/JacquetBGK03,
  author    = {Jean{-}Marie Jacquet and
               Lubos Brim and
               David R. Gilbert and
               Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
  title     = {Coordination by Means of Synchronous and Asynchronous Communication
               in Concurrent Constraint Programming},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {68},
  number    = {3},
  pages     = {347--370},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)80377-9},
  doi       = {10.1016/S1571-0661(05)80377-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/JacquetBGK03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimB03,
  author    = {Lubos Brim and
               Jiri Barnat},
  title     = {Distribution of Explicit-State {LTL} Model-Checking},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {80},
  pages     = {273--278},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(04)80825-9},
  doi       = {10.1016/S1571-0661(04)80825-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimB03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimG03,
  author    = {Lubos Brim and
               Orna Grumberg},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {89},
  number    = {1},
  pages     = {1--2},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)80091-X},
  doi       = {10.1016/S1571-0661(05)80091-X},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimG03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimZ03,
  author    = {Lubos Brim and
               Jitka Zidkova},
  title     = {Using Assumptions to Distribute Alternation Free Mu-Calculus Model
               Checking},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {89},
  number    = {1},
  pages     = {17--32},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)80094-5},
  doi       = {10.1016/S1571-0661(05)80094-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimZ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BarnatBC03,
  author    = {Jiri Barnat and
               Lubos Brim and
               Jakub Chaloupka},
  title     = {Parallel Breadth-First Search {LTL} Model-Checking},
  booktitle = {18th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2003), 6-10 October 2003, Montreal, Canada},
  pages     = {106--115},
  year      = {2003},
  crossref  = {DBLP:conf/kbse/2003},
  url       = {https://doi.org/10.1109/ASE.2003.1240299},
  doi       = {10.1109/ASE.2003.1240299},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/BarnatBC03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/BrimCH03,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Luk{\'{a}}s Hejtm{\'{a}}nek},
  title     = {Distributed Negative Cycle Detection Algorithms},
  booktitle = {Parallel Computing: Software Technology, Algorithms, Architectures
               and Applications, {PARCO} 2003, Dresden, Germany},
  pages     = {297--304},
  year      = {2003},
  crossref  = {DBLP:conf/parco/2003},
  timestamp = {Mon, 03 Jun 2013 17:22:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/parco/BrimCH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BrimKJG02,
  author    = {Lubos Brim and
               Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
               Jean{-}Marie Jacquet and
               David R. Gilbert},
  title     = {Modelling Multi-Agent Systems as Synchronous Concurrent Constraint
               Processes},
  journal   = {Computers and Artificial Intelligence},
  volume    = {21},
  number    = {6},
  year      = {2002},
  timestamp = {Wed, 08 Apr 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cai/BrimKJG02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimG02,
  author    = {Lubos Brim and
               Orna Grumberg},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {68},
  number    = {4},
  pages     = {483},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(05)80385-8},
  doi       = {10.1016/S1571-0661(05)80385-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimG02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimCY02,
  author    = {Lubos Brim and
               Jitka Crhova and
               Karen Yorav},
  title     = {Using Assumptions to Distribute {CTL} Model Checking},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {68},
  number    = {4},
  pages     = {559--574},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(05)80758-3},
  doi       = {10.1016/S1571-0661(05)80758-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimCY02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2002,
  editor    = {Lubos Brim and
               Petr Jancar and
               Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
               Anton{\'{\i}}n Kucera},
  title     = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
               Brno, Czech Republic, August 20-23, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2421},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45694-5},
  doi       = {10.1007/3-540-45694-5},
  isbn      = {3-540-44043-7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrimCKP01,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavel Krc{\'{a}}l and
               Radek Pel{\'{a}}nek},
  title     = {Distributed {LTL} Model Checking Based on Negative Cycle Detection},
  booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
               Computer Science, 21st Conference, Bangalore, India, December 13-15,
               2001, Proceedings},
  pages     = {96--107},
  year      = {2001},
  crossref  = {DBLP:conf/fsttcs/2001},
  url       = {https://doi.org/10.1007/3-540-45294-X\_9},
  doi       = {10.1007/3-540-45294-X\_9},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/BrimCKP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/BrimCN01,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Martin Necesal},
  title     = {Randomization Helps in {LTL} Model Checking},
  booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
               Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
               Germany, September 12-14, 2001, Proceedings},
  pages     = {105--119},
  year      = {2001},
  crossref  = {DBLP:conf/papm/2001},
  url       = {https://doi.org/10.1007/3-540-44804-7\_7},
  doi       = {10.1007/3-540-44804-7\_7},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/papm/BrimCN01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimCKP01,
  author    = {Lubos Brim and
               Ivana Cern{\'{a}} and
               Pavel Krc{\'{a}}l and
               Radek Pel{\'{a}}nek},
  title     = {How to Employ Reverse Search in Distributed Single Source Shortest
               Paths},
  booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
               on Current Trends in Theory and Practice of Informatics Piestany,
               Slovak Republic, November 24 - December 1, 2001, Proceedings},
  pages     = {191--200},
  year      = {2001},
  crossref  = {DBLP:conf/sofsem/2001},
  url       = {https://doi.org/10.1007/3-540-45627-9\_16},
  doi       = {10.1007/3-540-45627-9\_16},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/BrimCKP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimGJK01,
  author    = {Lubos Brim and
               David R. Gilbert and
               Jean{-}Marie Jacquet and
               Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
  title     = {Multi-agent Systems as Concurrent Constraint Processes},
  booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
               on Current Trends in Theory and Practice of Informatics Piestany,
               Slovak Republic, November 24 - December 1, 2001, Proceedings},
  pages     = {201--210},
  year      = {2001},
  crossref  = {DBLP:conf/sofsem/2001},
  url       = {https://doi.org/10.1007/3-540-45627-9\_17},
  doi       = {10.1007/3-540-45627-9\_17},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/BrimGJK01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BarnatBS01,
  author    = {Jiri Barnat and
               Lubos Brim and
               Jitka Str{\'{\i}}brn{\'{a}}},
  title     = {Distributed {LTL} Model-Checking in {SPIN}},
  booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
               Canada, May 19-20, 2001, Proceedings},
  pages     = {200--216},
  year      = {2001},
  crossref  = {DBLP:conf/spin/2001},
  url       = {https://doi.org/10.1007/3-540-45139-0\_13},
  doi       = {10.1007/3-540-45139-0\_13},
  timestamp = {Mon, 05 Jun 2017 12:41:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BarnatBS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1998,
  editor    = {Lubos Brim and
               Jozef Gruska and
               Jir{\'{\i}} Zlatuska},
  title     = {Mathematical Foundations of Computer Science 1998, 23rd International
               Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1450},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0055753},
  doi       = {10.1007/BFb0055753},
  isbn      = {3-540-64827-5},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BrimJGK96,
  author    = {Lubos Brim and
               Jean{-}Marie Jacquet and
               David R. Gilbert and
               Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
  title     = {A Process Algebra for Synchronous Concurrent Constraint Programming},
  booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
               Aachen, Germany, September 25-27, 1996, Proceedings},
  pages     = {165--178},
  year      = {1996},
  crossref  = {DBLP:conf/alp/1996},
  url       = {https://doi.org/10.1007/3-540-61735-3\_11},
  doi       = {10.1007/3-540-61735-3\_11},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/alp/BrimJGK96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BrimGJK95,
  author    = {Lubos Brim and
               David R. Gilbert and
               Jean{-}Marie Jacquet and
               Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
  title     = {Synchronisation in Scc},
  booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
               Portland, Oregon, USA, December 4-7, 1995},
  pages     = {641},
  year      = {1995},
  crossref  = {DBLP:conf/slp/1995},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299954},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/slp/BrimGJK95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/napaw/Brim92,
  author    = {Lubos Brim},
  title     = {Modal Logics in Timed Process Algebras},
  booktitle = {{NAPAW} 92, Proceedings of the First North American Process Algebra
               Workshop, Stony Brook, New York, USA, 28 Agust 1992},
  pages     = {13--26},
  year      = {1992},
  crossref  = {DBLP:conf/napaw/1992},
  timestamp = {Tue, 25 Feb 2003 14:30:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/napaw/Brim92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-1,
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  title     = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10426},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63387-9},
  doi       = {10.1007/978-3-319-63387-9},
  isbn      = {978-3-319-63386-2},
  timestamp = {Fri, 14 Jul 2017 12:52:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2017-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2017,
  editor    = {J{\'{e}}r{\^{o}}me Feret and
               Heinz Koeppl},
  title     = {Computational Methods in Systems Biology - 15th International Conference,
               {CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10545},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67471-1},
  doi       = {10.1007/978-3-319-67471-1},
  isbn      = {978-3-319-67470-4},
  timestamp = {Mon, 18 Sep 2017 13:31:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/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/cmsb/2016,
  editor    = {Ezio Bartocci and
               Pietro Li{\`{o}} and
               Nicola Paoletti},
  title     = {Computational Methods in Systems Biology - 14th International Conference,
               {CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9859},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45177-0},
  doi       = {10.1007/978-3-319-45177-0},
  isbn      = {978-3-319-45176-3},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/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/hsb/2016,
  editor    = {Eugenio Cinquemani and
               Alexandre Donz{\'{e}}},
  title     = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
               France, October 20-21, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9957},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47151-8},
  doi       = {10.1007/978-3-319-47151-8},
  isbn      = {978-3-319-47150-1},
  timestamp = {Fri, 26 May 2017 00:51:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hsb/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2016,
  editor    = {Marsha Chechik and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 22nd International Conference, {TACAS} 2016, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9636},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9},
  doi       = {10.1007/978-3-662-49674-9},
  isbn      = {978-3-662-49673-2},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2015-1,
  editor    = {Daniel Kroening and
               Corina S. Pasareanu},
  title     = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9206},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21690-4},
  doi       = {10.1007/978-3-319-21690-4},
  isbn      = {978-3-319-21689-8},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2015-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2015,
  editor    = {Olivier F. Roux and
               J{\'{e}}r{\'{e}}mie Bourdon},
  title     = {Computational Methods in Systems Biology - 13th International Conference,
               {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9308},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23401-4},
  doi       = {10.1007/978-3-319-23401-4},
  isbn      = {978-3-319-23400-7},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hsb/2015,
  editor    = {Alessandro Abate and
               David Safr{\'{a}}nek},
  title     = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
               Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9271},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26916-0},
  doi       = {10.1007/978-3-319-26916-0},
  isbn      = {978-3-319-26915-3},
  timestamp = {Fri, 26 May 2017 00:51:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hsb/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2013,
  editor    = {Josep Carmona and
               Mihai T. Lazarescu and
               Marta Pietkiewicz{-}Koutny},
  title     = {13th International Conference on Application of Concurrency to System
               Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6597648},
  isbn      = {978-0-7695-5035-0},
  timestamp = {Fri, 08 May 2015 15:30:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2013bioppn,
  editor    = {Gianfranco Balbo and
               Monika Heiner},
  title     = {Proceedings of the International Workshop on Biological Processes
               {\&} Petri Nets, Milano, Italy, June 24, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {988},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-988},
  urn       = {urn:nbn:de:0074-988-2},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2013bioppn},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2013,
  editor    = {Natasha Sharygina and
               Helmut Veith},
  title     = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8},
  doi       = {10.1007/978-3-642-39799-8},
  isbn      = {978-3-642-39798-1},
  timestamp = {Thu, 25 May 2017 00:39:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2013,
  editor    = {Guillaume Brat and
               Neha Rungta and
               Arnaud Venet},
  title     = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
               Field, CA, USA, May 14-16, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7871},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38088-4},
  doi       = {10.1007/978-3-642-38088-4},
  isbn      = {978-3-642-38087-7},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2013,
  editor    = {Marco Bernardo and
               Erik P. de Vink and
               Alessandra Di Pierro and
               Herbert Wiklicky},
  title     = {Formal Methods for Dynamical Systems - 13th International School on
               Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {7938},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38874-3},
  doi       = {10.1007/978-3-642-38874-3},
  isbn      = {978-3-642-38873-6},
  timestamp = {Mon, 05 Jun 2017 12:42:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DangP13,
  editor    = {Thao Dang and
               Carla Piazza},
  title     = {Proceedings Second International Workshop on Hybrid Systems and Biology,
               {HSB} 2013, Taormina, Italy, 2nd September 2013},
  series    = {{EPTCS}},
  volume    = {125},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.125},
  doi       = {10.4204/EPTCS.125},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DangP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2012-14,
  editor    = {Corrado Priami and
               Ion Petre and
               Erik P. de Vink},
  title     = {Transactions on Computational Systems Biology {XIV} - Special Issue
               on Computational Models for Cell Processes},
  series    = {Lecture Notes in Computer Science},
  volume    = {7625},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35524-0},
  doi       = {10.1007/978-3-642-35524-0},
  isbn      = {978-3-642-35523-3},
  timestamp = {Sun, 28 May 2017 13:19:07 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/2012-14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2012,
  editor    = {Mari{\"{e}}lle Stoelinga and
               Ralf Pinger},
  title     = {Formal Methods for Industrial Critical Systems - 17th International
               Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7437},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32469-7},
  doi       = {10.1007/978-3-642-32469-7},
  isbn      = {978-3-642-32468-0},
  timestamp = {Sun, 21 May 2017 00:22:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2012,
  editor    = {Alwyn Goodloe and
               Suzette Person},
  title     = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7226},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3},
  doi       = {10.1007/978-3-642-28891-3},
  isbn      = {978-3-642-28890-6},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2012,
  editor    = {George Eleftherakis and
               Mike Hinchey and
               Mike Holcombe},
  title     = {Software Engineering and Formal Methods - 10th International Conference,
               {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7504},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33826-7},
  doi       = {10.1007/978-3-642-33826-7},
  isbn      = {978-3-642-33825-0},
  timestamp = {Sun, 21 May 2017 00:18:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2012,
  editor    = {Tiziana Margaria and
               Zongyan Qiu and
               Hongli Yang},
  title     = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2012, 4-6 July 2012, Beijing, China},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6269388},
  isbn      = {978-0-7695-4751-0},
  timestamp = {Mon, 01 Dec 2014 19:24:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tase/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1208-3151,
  editor    = {Ezio Bartocci and
               Luca Bortolussi},
  title     = {Proceedings First International Workshop on Hybrid Systems and Biology,
               {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series    = {{EPTCS}},
  volume    = {92},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.92},
  doi       = {10.4204/EPTCS.92},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1208-3151},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/2011,
  title     = {25th {IEEE} International Symposium on Parallel and Distributed Processing,
               {IPDPS} 2011, Anchorage, Alaska, USA, 16-20 May, 2011 - Conference
               Proceedings},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6011824},
  isbn      = {978-1-61284-372-8},
  timestamp = {Fri, 01 Aug 2014 14:26:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1111-0064,
  editor    = {Jiri Barnat and
               Keijo Heljanko},
  title     = {Proceedings 10th International Workshop on Parallel and Distributed
               Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
               2011},
  series    = {{EPTCS}},
  volume    = {72},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.72},
  doi       = {10.4204/EPTCS.72},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1111-0064},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1109-1044,
  editor    = {Ion Petre and
               Erik P. de Vink},
  title     = {Proceedings Third International Workshop on Computational Models for
               Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011},
  series    = {{EPTCS}},
  volume    = {67},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.67},
  doi       = {10.4204/EPTCS.67},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1109-1044},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icpads/2010,
  title     = {16th {IEEE} International Conference on Parallel and Distributed Systems,
               {ICPADS} 2010, Shanghai, China, December 8-10, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5692856},
  isbn      = {978-0-7695-4307-9},
  timestamp = {Mon, 04 May 2015 17:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icpads/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2010,
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Stefania Gnesi and
               Andrea Maggiolo{-}Schettini},
  title     = {8th {IEEE} International Conference on Software Engineering and Formal
               Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5635422},
  isbn      = {978-0-7695-4153-2},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1006-1711,
  editor    = {Angelo Montanari and
               Margherita Napoli and
               Mimmo Parente},
  title     = {Proceedings First Symposium on Games, Automata, Logic, and Formal
               Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
               June 2010},
  series    = {{EPTCS}},
  volume    = {25},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.25},
  doi       = {10.4204/EPTCS.25},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1006-1711},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2009,
  editor    = {Karin K. Breitman and
               Ana Cavalcanti},
  title     = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5885},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5},
  doi       = {10.1007/978-3-642-10373-5},
  isbn      = {978-3-642-10372-8},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icpads/2009,
  title     = {15th {IEEE} International Conference on Parallel and Distributed Systems,
               {ICPADS} 2009, Shenzhen, China, December 8-11, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5394475},
  isbn      = {978-1-4244-5788-5},
  timestamp = {Mon, 04 May 2015 17:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icpads/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2009,
  editor    = {Michael Leuschel and
               Heike Wehrheim},
  title     = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5423},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7},
  doi       = {10.1007/978-3-642-00255-7},
  isbn      = {978-3-642-00254-0},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/2009,
  title     = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
               {IPDPS} 2009, Rome, Italy, May 23-29, 2009},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5136864},
  timestamp = {Fri, 01 Aug 2014 14:26:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2009,
  title     = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
               Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5431684},
  isbn      = {978-0-7695-3891-4},
  timestamp = {Tue, 05 Apr 2016 18:02:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2009,
  editor    = {Petr Hlinen{\'{y}} and
               V{\'{a}}clav Maty{\'{a}}s and
               Tom{\'{a}}s Vojnar},
  title     = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
               Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
               Znojmo, Czech Republic},
  series    = {{OASICS}},
  volume    = {13},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year      = {2009},
  url       = {http://drops.dagstuhl.de/portals/09006/},
  timestamp = {Tue, 12 Feb 2013 21:10:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memics/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0910-1605,
  editor    = {Ralph{-}Johan Back and
               Ion Petre and
               Erik P. de Vink},
  title     = {Proceedings Second International Workshop on Computational Models
               for Cell Processes, {COMPMOD} 2009, Eindhoven, the Netherlands, November
               3, 2009},
  series    = {{EPTCS}},
  volume    = {6},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.6},
  doi       = {10.4204/EPTCS.6},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0910-1605},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-3036,
  editor    = {Lubos Brim and
               Jaco van de Pol},
  title     = {Proceedings 8th International Workshop on Parallel and Distributed
               Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
               4th November 2009},
  series    = {{EPTCS}},
  volume    = {14},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.14},
  doi       = {10.4204/EPTCS.14},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-3036},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9491,
  editor    = {Lubos Brim and
               Stefan Edelkamp and
               Eric A. Hansen and
               Peter Sanders},
  title     = {Graph Search Engineering, 29.11. - 04.12.2009},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {09491},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2009},
  url       = {http://drops.dagstuhl.de/portals/09491/},
  timestamp = {Fri, 06 Jan 2017 14:45:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2009P9491},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2008,
  editor    = {Sung Deok Cha and
               Jin{-}Young Choi and
               Moonzoo Kim and
               Insup Lee and
               Mahesh Viswanathan},
  title     = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5311},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6},
  doi       = {10.1007/978-3-540-88387-6},
  isbn      = {978-3-540-88386-9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2008,
  editor    = {Darren D. Cofer and
               Alessandro Fantechi},
  title     = {Formal Methods for Industrial Critical Systems, 13th International
               Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5596},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03240-0},
  doi       = {10.1007/978-3-642-03240-0},
  isbn      = {978-3-642-03239-4},
  timestamp = {Sun, 21 May 2017 00:22:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2008,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation,
               Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
               13-15, 2008. Proceedings},
  series    = {Communications in Computer and Information Science},
  volume    = {17},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-3-540-88478-1},
  timestamp = {Fri, 14 Nov 2008 08:07:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2008,
  title     = {Fifth International Conference on the Quantitative Evaluaiton of Systems
               {(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4634932},
  isbn      = {978-0-7695-3360-5},
  timestamp = {Fri, 08 Aug 2014 15:28:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2008,
  editor    = {C. R. Ramakrishnan and
               Jakob Rehof},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4963},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3},
  doi       = {10.1007/978-3-540-78800-3},
  isbn      = {978-3-540-78799-0},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8332,
  editor    = {Henri E. Bal and
               Lubos Brim and
               Martin Leucker},
  title     = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {08332},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2008},
  url       = {http://drops.dagstuhl.de/portals/08332/},
  timestamp = {Tue, 07 Apr 2015 21:20:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2008P8332},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2007,
  editor    = {Werner Damm and
               Holger Hermanns},
  title     = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4590},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3},
  doi       = {10.1007/978-3-540-73368-3},
  isbn      = {978-3-540-73367-6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007cocome,
  editor    = {Andreas Rausch and
               Ralf H. Reussner and
               Raffaela Mirandola and
               Frantisek Plasil},
  title     = {The Common Component Modeling Example: Comparing Software Component
               Models [result from the Dagstuhl research seminar for CoCoME, August
               1-3, 2007]},
  series    = {Lecture Notes in Computer Science},
  volume    = {5153},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85289-6},
  doi       = {10.1007/978-3-540-85289-6},
  isbn      = {978-3-540-85288-9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2007cocome},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2007,
  title     = {12th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4276289},
  isbn      = {978-0-7695-2895-3},
  timestamp = {Thu, 23 Apr 2015 17:57:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2007,
  title     = {Fourth International Conference on the Quantitative Evaluaiton of
               Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
               {UK}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4338221},
  isbn      = {0-7695-2883-X},
  timestamp = {Fri, 08 Aug 2014 15:28:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2007,
  editor    = {Jan van Leeuwen and
               Giuseppe F. Italiano and
               Wiebe van der Hoek and
               Christoph Meinel and
               Harald Sack and
               Frantisek Plasil},
  title     = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
               on Current Trends in Theory and Practice of Computer Science, Harrachov,
               Czech Republic, January 20-26, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4362},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-69507-3},
  doi       = {10.1007/978-3-540-69507-3},
  isbn      = {978-3-540-69506-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2007},
  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 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2006,
  editor    = {Thomas Ball and
               Robert B. Jones},
  title     = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4144},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11817963},
  doi       = {10.1007/11817963},
  isbn      = {3-540-37406-X},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2006,
  editor    = {Lubos Brim and
               Boudewijn R. Haverkort and
               Martin Leucker and
               Jaco van de Pol},
  title     = {Formal Methods: Applications and Technology, 11th International Workshop,
               {FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
               August 26-27, and August 31, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4346},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-70952-7},
  doi       = {10.1007/978-3-540-70952-7},
  isbn      = {978-3-540-70951-0},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2005,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, 4th International Symposium,
               {FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {4111},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11804192},
  doi       = {10.1007/11804192},
  isbn      = {3-540-36749-7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2004,
  editor    = {Alan J. Hu and
               Andrew K. Martin},
  title     = {Formal Methods in Computer-Aided Design, 5th International Conference,
               {FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3312},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b102264},
  doi       = {10.1007/b102264},
  isbn      = {3-540-23738-0},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2003,
  title     = {18th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2003), 6-10 October 2003, Montreal, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8780},
  isbn      = {0-7695-2035-9},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/parco/2003,
  editor    = {Gerhard R. Joubert and
               Wolfgang E. Nagel and
               Frans J. Peters and
               Wolfgang V. Walter},
  title     = {Parallel Computing: Software Technology, Algorithms, Architectures
               and Applications, {PARCO} 2003, Dresden, Germany},
  series    = {Advances in Parallel Computing},
  volume    = {13},
  publisher = {Elsevier},
  year      = {2004},
  isbn      = {0-444-51689-1},
  timestamp = {Mon, 03 Jun 2013 17:22:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/parco/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2001,
  editor    = {Ramesh Hariharan and
               Madhavan Mukund and
               V. Vinay},
  title     = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
               Computer Science, 21st Conference, Bangalore, India, December 13-15,
               2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2245},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45294-X},
  doi       = {10.1007/3-540-45294-X},
  isbn      = {3-540-43002-4},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/papm/2001,
  editor    = {Luca de Alfaro and
               Stephen Gilmore},
  title     = {Process Algebra and Probabilistic Methods, Performance Modeling and
               Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
               Germany, September 12-14, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2165},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44804-7},
  doi       = {10.1007/3-540-44804-7},
  isbn      = {3-540-42556-X},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/papm/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2001,
  editor    = {Leszek Pacholski and
               Peter Ruzicka},
  title     = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
               on Current Trends in Theory and Practice of Informatics Piestany,
               Slovak Republic, November 24 - December 1, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2234},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45627-9},
  doi       = {10.1007/3-540-45627-9},
  isbn      = {3-540-42912-3},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2001,
  editor    = {Matthew B. Dwyer},
  title     = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
               Canada, May 19-20, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2057},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45139-0},
  doi       = {10.1007/3-540-45139-0},
  isbn      = {3-540-42124-6},
  timestamp = {Mon, 05 Jun 2017 12:41:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1996,
  editor    = {Michael Hanus and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
               Aachen, Germany, September 25-27, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1139},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61735-3},
  doi       = {10.1007/3-540-61735-3},
  isbn      = {3-540-61735-3},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/alp/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1995,
  editor    = {John W. Lloyd},
  title     = {Logic Programming, Proceedings of the 1995 International Symposium,
               Portland, Oregon, USA, December 4-7, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853},
  isbn      = {0-262-62099-5},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/napaw/1992,
  editor    = {S. Purushothaman and
               Amy E. Zwarico},
  title     = {{NAPAW} 92, Proceedings of the First North American Process Algebra
               Workshop, Stony Brook, New York, USA, 28 Agust 1992},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1993},
  isbn      = {3-540-19822-9},
  timestamp = {Tue, 25 Feb 2003 14:30:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/napaw/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier