BibTeX records: Milan Ceska Jr.

download as .bib file

@article{DBLP:journals/jss/CalinescuCGKP18,
  author    = {Radu Calinescu and
               Milan Ceska Jr. and
               Simos Gerasimou and
               Marta Kwiatkowska and
               Nicola Paoletti},
  title     = {Efficient synthesis of robust models for stochastic systems},
  journal   = {Journal of Systems and Software},
  volume    = {143},
  pages     = {140--158},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jss.2018.05.013},
  doi       = {10.1016/j.jss.2018.05.013},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/CalinescuCGKP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CalinescuCGKP18a,
  author    = {Radu Calinescu and
               Milan Ceska Jr. and
               Simos Gerasimou and
               Marta Kwiatkowska and
               Nicola Paoletti},
  title     = {Erratum to "Efficient synthesis of robust models for stochastic
               systems" [The Journal of Systems {\&} Software 143 {(2018)}
               140-158]},
  journal   = {Journal of Systems and Software},
  volume    = {145},
  pages     = {195},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jss.2018.08.029},
  doi       = {10.1016/j.jss.2018.08.029},
  timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/CalinescuCGKP18a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CeskaMMSVV18,
  author    = {Milan Ceska Jr. and
               Jir{\'{\i}} Maty{\'{a}}s and
               Vojtech Mrazek and
               Luk{\'{a}}s Sekanina and
               Zdenek Vas{\'{\i}}cek and
               Tom{\'{a}}s Vojnar},
  title     = {{ADAC:} Automated Design of Approximate Circuits},
  booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  pages     = {612--620},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-96145-3\_35},
  doi       = {10.1007/978-3-319-96145-3\_35},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CeskaMMSVV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CeskaDPKB17,
  author    = {Milan Ceska Jr. 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 = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/CeskaDPKB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaCP17,
  author    = {Milan Ceska Jr. and
               Milan Ceska and
               Nicola Paoletti},
  title     = {Precise Parameter Synthesis for Generalised Stochastic Petri Nets
               with Interval Parameters},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2017 - 16th International
               Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017,
               Revised Selected Papers, Part {II}},
  pages     = {38--46},
  year      = {2017},
  crossref  = {DBLP:conf/eurocast/2017-2},
  url       = {https://doi.org/10.1007/978-3-319-74727-9\_5},
  doi       = {10.1007/978-3-319-74727-9\_5},
  timestamp = {Fri, 27 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/CeskaCP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CeskaMMSVV17,
  author    = {Milan Ceska Jr. and
               Jir{\'{\i}} Maty{\'{a}}s and
               Vojtech Mrazek and
               Luk{\'{a}}s Sekanina and
               Zdenek Vas{\'{\i}}cek and
               Tom{\'{a}}s Vojnar},
  title     = {Approximating complex arithmetic circuits with formal error guarantees:
               32-bit multipliers accomplished},
  booktitle = {2017 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 2017, Irvine, CA, USA, November 13-16, 2017},
  pages     = {416--423},
  year      = {2017},
  crossref  = {DBLP:conf/iccad/2017},
  url       = {https://doi.org/10.1109/ICCAD.2017.8203807},
  doi       = {10.1109/ICCAD.2017.8203807},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/CeskaMMSVV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/CalinescuCGKP17,
  author    = {Radu Calinescu and
               Milan Ceska Jr. and
               Simos Gerasimou and
               Marta Kwiatkowska and
               Nicola Paoletti},
  title     = {Designing Robust Software Systems through Parametric Markov Chain
               Synthesis},
  booktitle = {2017 {IEEE} International Conference on Software Architecture, {ICSA}
               2017, Gothenburg, Sweden, April 3-7, 2017},
  pages     = {131--140},
  year      = {2017},
  crossref  = {DBLP:conf/icsa/2017},
  url       = {https://doi.org/10.1109/ICSA.2017.16},
  doi       = {10.1109/ICSA.2017.16},
  timestamp = {Thu, 16 Aug 2018 09:44:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsa/CalinescuCGKP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CalinescuCGKP17,
  author    = {Radu Calinescu and
               Milan Ceska Jr. and
               Simos Gerasimou and
               Marta Kwiatkowska and
               Nicola Paoletti},
  title     = {{RODES:} {A} Robust-Design Synthesis Tool for Probabilistic Systems},
  booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
               {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
  pages     = {304--308},
  year      = {2017},
  crossref  = {DBLP:conf/qest/2017},
  url       = {https://doi.org/10.1007/978-3-319-66335-7\_20},
  doi       = {10.1007/978-3-319-66335-7\_20},
  timestamp = {Fri, 27 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/CalinescuCGKP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AbateCK16,
  author    = {Alessandro Abate and
               Milan Ceska Jr. and
               Marta Kwiatkowska},
  title     = {Approximate Policy Iteration for Markov Decision Processes via Quantitative
               Adaptive Aggregations},
  booktitle = {Automated Technology for Verification and Analysis - 14th International
               Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  pages     = {13--31},
  year      = {2016},
  crossref  = {DBLP:conf/atva/2016},
  url       = {https://doi.org/10.1007/978-3-319-46520-3\_2},
  doi       = {10.1007/978-3-319-46520-3\_2},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/AbateCK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CeskaPPBK16,
  author    = {Milan Ceska Jr. 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 = {Fri, 02 Nov 2018 09:42:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/CeskaPPBK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbateBCK15,
  author    = {Alessandro Abate and
               Lubos Brim and
               Milan Ceska Jr. 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, 26 Jul 2018 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 Jr. 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 = {Fri, 02 Nov 2018 09:36:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/BrimCDPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CeskaDKP14,
  author    = {Milan Ceska Jr. and
               Frits Dannenberg and
               Marta Z. Kwiatkowska and
               Nicola Paoletti},
  title     = {Precise Parameter Synthesis for Stochastic Biochemical Systems},
  booktitle = {Computational Methods in Systems Biology - 12th International Conference,
               {CMSB} 2014, Manchester, UK, November 17-19, 2014, Proceedings},
  pages     = {86--98},
  year      = {2014},
  crossref  = {DBLP:conf/cmsb/2014},
  url       = {https://doi.org/10.1007/978-3-319-12982-2\_7},
  doi       = {10.1007/978-3-319-12982-2\_7},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/CeskaDKP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrimCDS13,
  author    = {Lubos Brim and
               Milan Ceska Jr. 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 = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BrimCDS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BrimCS13,
  author    = {Lubos Brim and
               Milan Ceska Jr. 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 = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/BrimCS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrimCDS13,
  author    = {Lubos Brim and
               Milan Ceska Jr. 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 = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BrimCDS13},
  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 Jr.},
  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 = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jpdc/BarnatBBC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DitterCL12,
  author    = {Alexander Ditter and
               Milan Ceska Jr. and
               Gerald L{\"{u}}ttgen},
  title     = {On Parallel Software Verification Using Boolean Equation Systems},
  booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
               Oxford, UK, July 23-24, 2012. Proceedings},
  pages     = {80--97},
  year      = {2012},
  crossref  = {DBLP:conf/spin/2012},
  url       = {https://doi.org/10.1007/978-3-642-31759-0\_8},
  doi       = {10.1007/978-3-642-31759-0\_8},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/DitterCL12},
  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 Jr.},
  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 = {Thu, 26 Jul 2018 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-0627,
  author    = {Jiri Barnat and
               Petr Bauch and
               Lubos Brim and
               Milan Ceska Jr.},
  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, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1111-0627},
  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 Jr.},
  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 = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icpads/BarnatBBC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/BauchC10,
  author    = {Petr Bauch and
               Milan Ceska Jr.},
  title     = {{CUDA} Accelerated {LTL} Model Checking - Revisited},
  booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in
               Computer Science, {MEMICS} 2010, Selected Papers, October 22-24, 2010,
               Mikulov, Czech Republic},
  pages     = {1--8},
  year      = {2010},
  crossref  = {DBLP:conf/memics/2010},
  url       = {https://doi.org/10.4230/OASIcs.MEMICS.2010.1},
  doi       = {10.4230/OASIcs.MEMICS.2010.1},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memics/BauchC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CeskaKKMV09,
  author    = {Milan Ceska Jr. and
               Zdenek Kot{\'{a}}sek and
               Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
               Ludek Matyska and
               Tom{\'{a}}s Vojnar},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {251},
  pages     = {1--3},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.08.023},
  doi       = {10.1016/j.entcs.2009.08.023},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CeskaKKMV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/BarnatBCL09,
  author    = {Jiri Barnat and
               Lubos Brim and
               Milan Ceska Jr. 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 = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icpads/BarnatBCL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-2555,
  author    = {Jiri Barnat and
               Lubos Brim and
               Milan Ceska Jr.},
  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, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-2555},
  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 Jr. 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 = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/BarnatBCCT08},
  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 Jr. 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 = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/BarnatBCCT08},
  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 Jr. 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 = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/BarnatBCCT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-1,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10981},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96145-3},
  doi       = {10.1007/978-3-319-96145-3},
  isbn      = {978-3-319-96144-6},
  timestamp = {Mon, 23 Jul 2018 17:17:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2017-2,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Franz Pichler and
               Alexis Quesada{-}Arencibia},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2017 - 16th International
               Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017,
               Revised Selected Papers, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10672},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-74727-9},
  doi       = {10.1007/978-3-319-74727-9},
  isbn      = {978-3-319-74726-2},
  timestamp = {Fri, 26 Jan 2018 12:47:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2017,
  editor    = {Sri Parameswaran},
  title     = {2017 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 2017, Irvine, CA, USA, November 13-16, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8167715},
  isbn      = {978-1-5386-3093-8},
  timestamp = {Mon, 09 Apr 2018 15:38:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsa/2017,
  title     = {2017 {IEEE} International Conference on Software Architecture, {ICSA}
               2017, Gothenburg, Sweden, April 3-7, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7929837},
  isbn      = {978-1-5090-5729-0},
  timestamp = {Thu, 16 Aug 2018 09:44:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsa/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2017,
  editor    = {Nathalie Bertrand and
               Luca Bortolussi},
  title     = {Quantitative Evaluation of Systems - 14th International Conference,
               {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10503},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66335-7},
  doi       = {10.1007/978-3-319-66335-7},
  isbn      = {978-3-319-66334-0},
  timestamp = {Tue, 22 Aug 2017 11:07:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/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/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 = {Fri, 02 Nov 2018 09:42:33 +0100},
  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 = {Fri, 02 Nov 2018 09:36:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2014,
  editor    = {Pedro Mendes and
               Joseph O. Dada and
               Kieran Smallbone},
  title     = {Computational Methods in Systems Biology - 12th International Conference,
               {CMSB} 2014, Manchester, UK, November 17-19, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8859},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12982-2},
  doi       = {10.1007/978-3-319-12982-2},
  isbn      = {978-3-319-12981-5},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2014},
  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/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 = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2012,
  editor    = {Alastair F. Donaldson and
               David Parker},
  title     = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
               Oxford, UK, July 23-24, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7385},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31759-0},
  doi       = {10.1007/978-3-642-31759-0},
  isbn      = {978-3-642-31758-3},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP: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, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1111-0064},
  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/memics/2010,
  editor    = {Ludek Matyska and
               Michal Kozubek and
               Tom{\'{a}}s Vojnar and
               Pavel Zemc{\'{\i}}k and
               David Antos},
  title     = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in
               Computer Science, {MEMICS} 2010, Selected Papers, October 22-24, 2010,
               Mikulov, Czech Republic},
  series    = {{OASICS}},
  volume    = {16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year      = {2011},
  isbn      = {978-3-939897-22-4},
  timestamp = {Tue, 15 Mar 2011 16:06:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memics/2010},
  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: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, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-3036},
  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/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/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}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier