BibTeX records: Erika Ábrahám

download as .bib file

@article{DBLP:journals/isf/LeofanteANLT19,
  author    = {Francesco Leofante and
               Erika {\'{A}}brah{\'{a}}m and
               Tim Niemueller and
               Gerhard Lakemeyer and
               Armando Tacchella},
  title     = {Integrated Synthesis and Execution of Optimal Plans for Multi-Robot
               Systems in Logistics},
  journal   = {Information Systems Frontiers},
  volume    = {21},
  number    = {1},
  pages     = {87--107},
  year      = {2019},
  url       = {https://doi.org/10.1007/s10796-018-9858-3},
  doi       = {10.1007/s10796-018-9858-3},
  timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isf/LeofanteANLT19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07993,
  author    = {Sebastian Junges and
               Erika {\'{A}}brah{\'{a}}m and
               Christian Hensel and
               Nils Jansen and
               Joost{-}Pieter Katoen and
               Tim Quatmann and
               Matthias Volk},
  title     = {Parameter Synthesis for Markov Models},
  journal   = {CoRR},
  volume    = {abs/1903.07993},
  year      = {2019},
  url       = {http://arxiv.org/abs/1903.07993},
  archivePrefix = {arXiv},
  eprint    = {1903.07993},
  timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1903-07993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BergerKAWR18,
  author    = {Philipp Berger and
               Joost{-}Pieter Katoen and
               Erika {\'{A}}brah{\'{a}}m and
               Md Tawhid Bin Waez and
               Thomas Rambow},
  title     = {Verifying Auto-generated {C} Code from Simulink - An Experience Report
               in the Automotive Domain},
  booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  pages     = {312--328},
  year      = {2018},
  crossref  = {DBLP:conf/fm/2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7\_18},
  doi       = {10.1007/978-3-319-95582-7\_18},
  timestamp = {Thu, 12 Jul 2018 13:18:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/BergerKAWR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NellenRWAK18,
  author    = {Johanna Nellen and
               Thomas Rambow and
               Md Tawhid Bin Waez and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen},
  title     = {Formal Verification of Automotive Simulink Controller Models: Empirical
               Technical Challenges, Evaluation and Recommendations},
  booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  pages     = {382--398},
  year      = {2018},
  crossref  = {DBLP:conf/fm/2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7\_23},
  doi       = {10.1007/978-3-319-95582-7\_23},
  timestamp = {Thu, 12 Jul 2018 13:18:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/NellenRWAK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LeofanteAT18,
  author    = {Francesco Leofante and
               Erika {\'{A}}brah{\'{a}}m and
               Armando Tacchella},
  title     = {Task Planning with {OMT:} An Application to Production Logistics},
  booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
               Maynooth, Ireland, September 5-7, 2018, Proceedings},
  pages     = {316--325},
  year      = {2018},
  crossref  = {DBLP:conf/ifm/2018},
  url       = {https://doi.org/10.1007/978-3-319-98938-9\_18},
  doi       = {10.1007/978-3-319-98938-9\_18},
  timestamp = {Wed, 22 Aug 2018 11:19:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/LeofanteAT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/SchuppWA18,
  author    = {Stefan Schupp and
               Justin Winkens and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Context-Dependent Reachability Analysis for Hybrid Systems},
  booktitle = {2018 {IEEE} International Conference on Information Reuse and Integration,
               {IRI} 2018, Salt Lake City, UT, USA, July 6-9, 2018},
  pages     = {518--525},
  year      = {2018},
  crossref  = {DBLP:conf/iri/2018},
  url       = {https://doi.org/10.1109/IRI.2018.00082},
  doi       = {10.1109/IRI.2018.00082},
  timestamp = {Wed, 08 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iri/SchuppWA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AbrahamB18,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Borzoo Bonakdarpour},
  title     = {HyperPCTL: {A} Temporal Logic for Probabilistic Hyperproperties},
  booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
               {QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
  pages     = {20--35},
  year      = {2018},
  crossref  = {DBLP:conf/qest/2018},
  url       = {https://doi.org/10.1007/978-3-319-99154-2\_2},
  doi       = {10.1007/978-3-319-99154-2\_2},
  timestamp = {Mon, 27 Aug 2018 12:00:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/AbrahamB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SchuppA18,
  author    = {Stefan Schupp and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems},
  booktitle = {Software Engineering and Formal Methods - 16th International Conference,
               {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
               2018, Proceedings},
  pages     = {89--104},
  year      = {2018},
  crossref  = {DBLP:conf/sefm/2018},
  url       = {https://doi.org/10.1007/978-3-319-92970-5\_6},
  doi       = {10.1007/978-3-319-92970-5\_6},
  timestamp = {Mon, 18 Jun 2018 13:29:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/SchuppA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SchuppA18,
  author    = {Stefan Schupp and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Efficient Dynamic Error Reduction for Hybrid Systems Reachability
               Analysis},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2018, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  pages     = {287--302},
  year      = {2018},
  crossref  = {DBLP:conf/tacas/2018-2},
  url       = {https://doi.org/10.1007/978-3-319-89963-3\_17},
  doi       = {10.1007/978-3-319-89963-3\_17},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/SchuppA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01853,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Borzoo Bonakdarpour},
  title     = {HyperPCTL: {A} Temporal Logic for Probabilistic Hyperproperties},
  journal   = {CoRR},
  volume    = {abs/1804.01853},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.01853},
  archivePrefix = {arXiv},
  eprint    = {1804.01853},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-01853},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07135,
  author    = {Arthur Bit{-}Monnot and
               Francesco Leofante and
               Luca Pulina and
               Erika {\'{A}}brah{\'{a}}m and
               Armando Tacchella},
  title     = {SMarTplan: a Task Planner for Smart Factories},
  journal   = {CoRR},
  volume    = {abs/1806.07135},
  year      = {2018},
  url       = {http://arxiv.org/abs/1806.07135},
  archivePrefix = {arXiv},
  eprint    = {1806.07135},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1806-07135},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AbrahamA0BBCDEF17,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Vijay Ganesh and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler},
  title     = {SC-square: when Satisfiability Checking and Symbolic Computation join
               forces},
  booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  pages     = {6--10},
  year      = {2017},
  crossref  = {DBLP:conf/cade/2017arcade},
  url       = {http://www.easychair.org/publications/paper/WR2g},
  timestamp = {Tue, 16 Jan 2018 18:40:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/AbrahamA0BBCDEF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/LeofanteANLT17,
  author    = {Francesco Leofante and
               Erika {\'{A}}brah{\'{a}}m and
               Tim Niemueller and
               Gerhard Lakemeyer and
               Armando Tacchella},
  title     = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics
               Scenarios via Optimization Modulo Theories},
  booktitle = {2017 {IEEE} International Conference on Information Reuse and Integration,
               {IRI} 2017, San Diego, CA, USA, August 4-6, 2017},
  pages     = {403--410},
  year      = {2017},
  crossref  = {DBLP:conf/iri/2017},
  url       = {https://doi.org/10.1109/IRI.2017.67},
  doi       = {10.1109/IRI.2017.67},
  timestamp = {Thu, 11 Jan 2018 13:21:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iri/LeofanteANLT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AbrahamNK17,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Jasper Nalbach and
               Gereon Kremer},
  title     = {Embedding the Virtual Substitution Method in the Model Constructing
               Satisfiability Calculus Framework},
  booktitle = {Proceedings of the 2nd International Workshop on Satisfiability Checking
               and Symbolic Computation co-located with the 42nd International Symposium
               on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
               Germany, July 29, 2017.},
  year      = {2017},
  crossref  = {DBLP:conf/issac/2017sc},
  url       = {http://ceur-ws.org/Vol-1974/EAb.pdf},
  timestamp = {Sun, 29 Oct 2017 17:32:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/AbrahamNK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ViehmannKA17,
  author    = {Tarik Viehmann and
               Gereon Kremer and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Comparing Different Projection Operators in the Cylindrical Algebraic
               Decomposition for {SMT} Solving},
  booktitle = {Proceedings of the 2nd International Workshop on Satisfiability Checking
               and Symbolic Computation co-located with the 42nd International Symposium
               on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
               Germany, July 29, 2017.},
  year      = {2017},
  crossref  = {DBLP:conf/issac/2017sc},
  url       = {http://ceur-ws.org/Vol-1974/RP2.pdf},
  timestamp = {Sun, 29 Oct 2017 17:32:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/ViehmannKA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SchuppAMK17,
  author    = {Stefan Schupp and
               Erika {\'{A}}brah{\'{a}}m and
               Ibtissem Ben Makhlouf and
               Stefan Kowalewski},
  title     = {HyPro: {A} {C++} Library of State Set Representations for Hybrid Systems
               Reachability Analysis},
  booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
               Field, CA, USA, May 16-18, 2017, Proceedings},
  pages     = {288--294},
  year      = {2017},
  crossref  = {DBLP:conf/nfm/2017},
  url       = {https://doi.org/10.1007/978-3-319-57288-8\_20},
  doi       = {10.1007/978-3-319-57288-8\_20},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/SchuppAMK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AbrahamK17,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Gereon Kremer},
  title     = {{SMT} Solving for Arithmetic Theories: Theory and Tool Support},
  booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
               21-24, 2017},
  pages     = {1--8},
  year      = {2017},
  crossref  = {DBLP:conf/synasc/2017},
  url       = {https://doi.org/10.1109/SYNASC.2017.00009},
  doi       = {10.1109/SYNASC.2017.00009},
  timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/AbrahamK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/HulsSRA17,
  author    = {Jannik H{\"{u}}ls and
               Stefan Schupp and
               Anne Remke and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Analyzing Hybrid Petri nets with multiple stochastic firings using
               HyPro},
  booktitle = {Proceedings of the 11th {EAI} International Conference on Performance
               Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
               December 05-07, 2017},
  pages     = {178--185},
  year      = {2017},
  crossref  = {DBLP:conf/valuetools/2017},
  url       = {https://doi.org/10.1145/3150928.3150938},
  doi       = {10.1145/3150928.3150938},
  timestamp = {Wed, 23 Jan 2019 13:28:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/valuetools/HulsSRA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SchuppNA17,
  author    = {Stefan Schupp and
               Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability
               Analysis},
  booktitle = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
               and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017.},
  pages     = {1--14},
  year      = {2017},
  crossref  = {DBLP:journals/corr/WiklickyV17},
  url       = {https://doi.org/10.4204/EPTCS.250.1},
  doi       = {10.4204/EPTCS.250.1},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/SchuppNA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2016sc,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               James H. Davenport and
               Pascal Fontaine},
  title     = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic
               Computation co-located with 18th International Symposium on Symbolic
               and Numeric Algorithms for Scientific Computing {(SYNASC} 2016), Timisoara,
               Romania, September 24, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1804},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1804},
  urn       = {urn:nbn:de:0074-1804-0},
  timestamp = {Mon, 17 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2016sc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/AbrahamB17,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Sergiy Bogomolov},
  title     = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
               for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
               2017},
  series    = {{EPTCS}},
  volume    = {247},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.02421},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbrahamB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04259,
  author    = {Francesco Leofante and
               Erika {\'{A}}brah{\'{a}}m and
               Tim Niemueller and
               Gerhard Lakemeyer and
               Armando Tacchella},
  title     = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics
               Scenarios via Optimization Modulo Theories},
  journal   = {CoRR},
  volume    = {abs/1711.04259},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.04259},
  archivePrefix = {arXiv},
  eprint    = {1711.04259},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-04259},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamKNT17,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Hadas Kress{-}Gazit and
               Lorenzo Natale and
               Armando Tacchella},
  title     = {Computer-Assisted Engineering for Robotics and Autonomous Systems
               (Dagstuhl Seminar 17071)},
  journal   = {Dagstuhl Reports},
  volume    = {7},
  number    = {2},
  pages     = {48--63},
  year      = {2017},
  url       = {https://doi.org/10.4230/DagRep.7.2.48},
  doi       = {10.4230/DagRep.7.2.48},
  timestamp = {Mon, 11 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/AbrahamKNT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/AbrahamA0BBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability checking and symbolic computation},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {50},
  number    = {4},
  pages     = {145--147},
  year      = {2016},
  url       = {https://doi.org/10.1145/3055282.3055285},
  doi       = {10.1145/3055282.3055285},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/AbrahamA0BBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imamci/SassiS0A16,
  author    = {Mohamed Amin Ben Sassi and
               Sriram Sankaranarayanan and
               Xin Chen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Linear relaxations of polynomial positivity for polynomial Lyapunov
               function synthesis},
  journal   = {{IMA} J. Math. Control {\&} Information},
  volume    = {33},
  number    = {3},
  pages     = {723--756},
  year      = {2016},
  url       = {https://doi.org/10.1093/imamci/dnv003},
  doi       = {10.1093/imamci/dnv003},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/imamci/SassiS0A16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/NellenDNAW16,
  author    = {Johanna Nellen and
               Kai Driessen and
               Martin R. Neuh{\"{a}}u{\ss}er and
               Erika {\'{A}}brah{\'{a}}m and
               Benedikt Wolters},
  title     = {Two CEGAR-based approaches for the safety verification of PLC-controlled
               plants},
  journal   = {Information Systems Frontiers},
  volume    = {18},
  number    = {5},
  pages     = {927--952},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10796-016-9671-9},
  doi       = {10.1007/s10796-016-9671-9},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isf/NellenDNAW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AbrahamTS16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Thi Mai Thuong Tran and
               Martin Steffen},
  title     = {Observable interface behaviour and inheritance},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {3},
  pages     = {561--605},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000255},
  doi       = {10.1017/S0960129514000255},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/AbrahamTS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AbrahamH16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Klaus Havelund},
  title     = {Some recent advances in automated analysis},
  journal   = {{STTT}},
  volume    = {18},
  number    = {2},
  pages     = {121--128},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10009-015-0403-0},
  doi       = {10.1007/s10009-015-0403-0},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/AbrahamH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/KremerCA16,
  author    = {Gereon Kremer and
               Florian Corzilius and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {A Generalised Branch-and-Bound Approach and Its Application in {SAT}
               Modulo Nonlinear Integer Arithmetic},
  booktitle = {Computer Algebra in Scientific Computing - 18th International Workshop,
               {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  pages     = {315--335},
  year      = {2016},
  crossref  = {DBLP:conf/casc/2016},
  url       = {https://doi.org/10.1007/978-3-319-45641-6\_21},
  doi       = {10.1007/978-3-319-45641-6\_21},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/KremerCA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/RichterLGFA16,
  author    = {Pascal Richter and
               David Laukamp and
               Levin Gerdes and
               Martin Frank and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Heliostat Field Layout Optimization with Evolutionary Algorithms},
  booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
               19 - October 2, 2016, Berlin, Germany},
  pages     = {240--252},
  year      = {2016},
  crossref  = {DBLP:conf/gcai/2016},
  url       = {http://www.easychair.org/publications/paper/299806},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/RichterLGFA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LeofanteVAT016,
  author    = {Francesco Leofante and
               Simone Vuotto and
               Erika {\'{A}}brah{\'{a}}m and
               Armando Tacchella and
               Nils Jansen},
  title     = {Combining Static and Runtime Methods to Achieve Safe Standing-Up for
               Humanoid Robots},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  pages     = {496--514},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_34},
  doi       = {10.1007/978-3-319-47166-2\_34},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/LeofanteVAT016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/DehnertJ0CVKAB16,
  author    = {Christian Dehnert and
               Sebastian Junges and
               Nils Jansen and
               Florian Corzilius and
               Matthias Volk and
               Joost{-}Pieter Katoen and
               Erika {\'{A}}brah{\'{a}}m and
               Harold Bruintjes},
  title     = {Parameter Synthesis for Probabilistic Systems},
  booktitle = {19th {GI/ITG/GMM} Workshop Methoden und Beschreibungssprachen zur
               Modellierung und Verifikation von Schaltungen und Systemen, {MBMV}
               2016, Freiburg im Breisgau, Germany, March 1-2, 2016.},
  pages     = {72--74},
  year      = {2016},
  crossref  = {DBLP:conf/mbmv/2016},
  url       = {https://doi.org/10.6094/UNIFR/10639},
  doi       = {10.6094/UNIFR/10639},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/DehnertJ0CVKAB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {SC\({}^{\mbox{2}}\): Satisfiability Checking Meets Symbolic Computation
               - (Project Paper)},
  booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  pages     = {28--43},
  year      = {2016},
  crossref  = {DBLP:conf/mkm/2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4\_3},
  doi       = {10.1007/978-3-319-42547-4\_3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/AbrahamABBBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AbrahamK16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Gereon Kremer},
  title     = {Satisfiability Checking: Theory and Applications},
  booktitle = {Software Engineering and Formal Methods - 14th International Conference,
               {SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
               2016, Proceedings},
  pages     = {9--23},
  year      = {2016},
  crossref  = {DBLP:conf/sefm/2016},
  url       = {https://doi.org/10.1007/978-3-319-41591-8\_2},
  doi       = {10.1007/978-3-319-41591-8\_2},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/AbrahamK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AbrahamCJKM16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Florian Corzilius and
               Einar Broch Johnsen and
               Gereon Kremer and
               Jacopo Mauro},
  title     = {Zephyrus2: On the Fly Deployment Optimization Using {SMT} and {CP}
               Technologies},
  booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
               - Second International Symposium, {SETTA} 2016, Beijing, China, November
               9-11, 2016, Proceedings},
  pages     = {229--245},
  year      = {2016},
  crossref  = {DBLP:conf/setta/2016},
  url       = {https://doi.org/10.1007/978-3-319-47677-3\_15},
  doi       = {10.1007/978-3-319-47677-3\_15},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/setta/AbrahamCJKM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Abraham16,
  author    = {Erika {\'{A}}brah{\'{a}}m},
  title     = {Symbolic Computation Techniques in Satisfiability Checking},
  booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
               24-27, 2016},
  pages     = {3--10},
  year      = {2016},
  crossref  = {DBLP:conf/synasc/2016},
  url       = {https://doi.org/10.1109/SYNASC.2016.014},
  doi       = {10.1109/SYNASC.2016.014},
  timestamp = {Thu, 15 Nov 2018 09:52:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/Abraham16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016deboer,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Marcello M. Bonsangue and
               Einar Broch Johnsen},
  title     = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9660},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-30734-3},
  doi       = {10.1007/978-3-319-30734-3},
  isbn      = {978-3-319-30733-6},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2016deboer},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2016,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Marieke Huisman},
  title     = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
               Reykjavik, Iceland, June 1-5, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9681},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33693-0},
  doi       = {10.1007/978-3-319-33693-0},
  isbn      = {978-3-319-33692-3},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability Checking and Symbolic Computation},
  journal   = {CoRR},
  volume    = {abs/1607.06945},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.06945},
  archivePrefix = {arXiv},
  eprint    = {1607.06945},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbrahamABBBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16a,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability Checking meets Symbolic Computation (Project Paper)},
  journal   = {CoRR},
  volume    = {abs/1607.08028},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.08028},
  archivePrefix = {arXiv},
  eprint    = {1607.08028},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbrahamABBBBCDE16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-5055,
  author    = {Ralf Wimmer and
               Nils Jansen and
               Andreas Vorpahl and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {High-level Counterexamples for Probabilistic Automata},
  journal   = {Logical Methods in Computer Science},
  volume    = {11},
  number    = {1},
  year      = {2015},
  url       = {https://doi.org/10.2168/LMCS-11(1:15)2015},
  doi       = {10.2168/LMCS-11(1:15)2015},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1305-5055},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FadlisyahOA15,
  author    = {Muhammad Fadlisyah and
               Peter Csaba {\"{O}}lveczky and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Formal modeling and analysis of interacting hybrid systems in HI-Maude:
               What happened at the 2010 Sauna World Championships?},
  journal   = {Sci. Comput. Program.},
  volume    = {99},
  pages     = {95--127},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.06.010},
  doi       = {10.1016/j.scico.2014.06.010},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/FadlisyahOA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LepriAO15,
  author    = {Daniela Lepri and
               Erika {\'{A}}brah{\'{a}}m and
               Peter Csaba {\"{O}}lveczky},
  title     = {Sound and complete timed {CTL} model checking of timed Kripke structures
               and real-time rewrite theories},
  journal   = {Sci. Comput. Program.},
  volume    = {99},
  pages     = {128--192},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.06.006},
  doi       = {10.1016/j.scico.2014.06.006},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/LepriAO15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/GeulenJNFNWAAU15,
  author    = {Sascha Geulen and
               Martina Josevski and
               Johanna Nellen and
               Janosch Fuchs and
               Lukas Netz and
               Benedikt Wolters and
               Dirk Abel and
               Erika {\'{A}}brah{\'{a}}m and
               Walter Unger},
  title     = {Learning-based control strategies for hybrid electric vehicles},
  booktitle = {2015 {IEEE} Conference on Control Applications, {CCA} 2015, Sydney,
               Australia, September 21-23, 2015},
  pages     = {1722--1728},
  year      = {2015},
  crossref  = {DBLP:conf/IEEEcca/2015},
  url       = {https://doi.org/10.1109/CCA.2015.7320858},
  doi       = {10.1109/CCA.2015.7320858},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEcca/GeulenJNFNWAAU15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DehnertJJCVBKA15,
  author    = {Christian Dehnert and
               Sebastian Junges and
               Nils Jansen and
               Florian Corzilius and
               Matthias Volk and
               Harold Bruintjes and
               Joost{-}Pieter Katoen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {PROPhESY: {A} PRObabilistic ParamEter SYnthesis Tool},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  pages     = {214--231},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015-1},
  url       = {https://doi.org/10.1007/978-3-319-21690-4\_13},
  doi       = {10.1007/978-3-319-21690-4\_13},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/DehnertJJCVBKA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/0002SA15,
  author    = {Xin Chen and
               Sriram Sankaranarayanan and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Flow* 1.2: More Effective to Play with Hybrid Systems},
  booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
               and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
               2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.},
  pages     = {152--159},
  year      = {2015},
  crossref  = {DBLP:conf/cpsweek/2014-15arch},
  url       = {http://www.easychair.org/publications/paper/248659},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/0002SA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/SchuppA0MFSK15,
  author    = {Stefan Schupp and
               Erika {\'{A}}brah{\'{a}}m and
               Xin Chen and
               Ibtissem Ben Makhlouf and
               Goran Frehse and
               Sriram Sankaranarayanan and
               Stefan Kowalewski},
  title     = {Current Challenges in the Verification of Hybrid Systems},
  booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International
               Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015,
               Proceedings},
  pages     = {8--24},
  year      = {2015},
  crossref  = {DBLP:conf/cyphy/2015},
  url       = {https://doi.org/10.1007/978-3-319-25141-7\_2},
  doi       = {10.1007/978-3-319-25141-7\_2},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cyphy/SchuppA0MFSK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/QuatmannJDWAKB15,
  author    = {Tim Quatmann and
               Nils Jansen and
               Christian Dehnert and
               Ralf Wimmer and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {Counterexamples for Expected Rewards},
  booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  pages     = {435--452},
  year      = {2015},
  crossref  = {DBLP:conf/fm/2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9\_27},
  doi       = {10.1007/978-3-319-19249-9\_27},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fm/QuatmannJDWAKB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/NellenWNGA15,
  author    = {Johanna Nellen and
               Benedikt Wolters and
               Lukas Netz and
               Sascha Geulen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {A Genetic Algorithm based Control Strategy for the Energy Management
               Problem in PHEVs},
  booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
               Georgia, October 16-19, 2015},
  pages     = {196--214},
  year      = {2015},
  crossref  = {DBLP:conf/gcai/2015},
  url       = {http://www.easychair.org/publications/paper/245315},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/NellenWNGA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Abraham15,
  author    = {Erika {\'{A}}brah{\'{a}}m},
  title     = {Building Bridges between Symbolic Computation and Satisfiability Checking},
  booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
               and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
               06 - 09, 2015},
  pages     = {1--6},
  year      = {2015},
  crossref  = {DBLP:conf/issac/2015},
  url       = {https://doi.org/10.1145/2755996.2756636},
  doi       = {10.1145/2755996.2756636},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/Abraham15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/AbrahamBBGJKPS15,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Costas Bekas and
               Ivona Brandic and
               Samir Genaim and
               Einar Broch Johnsen and
               Ivan Kondov and
               Sabri Pllana and
               Achim Streit},
  title     = {Preparing {HPC} Applications for Exascale: Challenges and Recommendations},
  booktitle = {18th International Conference on Network-Based Information Systems,
               NBis 2015, Taipei, Taiwan, September 2-4, 2015},
  pages     = {401--406},
  year      = {2015},
  crossref  = {DBLP:conf/nbis/2015},
  url       = {https://doi.org/10.1109/NBiS.2015.61},
  doi       = {10.1109/NBiS.2015.61},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nbis/AbrahamBBGJKPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PathakAJTK15,
  author    = {Shashank Pathak and
               Erika {\'{A}}brah{\'{a}}m and
               Nils Jansen and
               Armando Tacchella and
               Joost{-}Pieter Katoen},
  title     = {A Greedy Approach for the Efficient Repair of Stochastic Models},
  booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  pages     = {295--309},
  year      = {2015},
  crossref  = {DBLP:conf/nfm/2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9\_21},
  doi       = {10.1007/978-3-319-17524-9\_21},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/PathakAJTK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/0002SMAFK15,
  author    = {Xin Chen and
               Stefan Schupp and
               Ibtissem Ben Makhlouf and
               Erika {\'{A}}brah{\'{a}}m and
               Goran Frehse and
               Stefan Kowalewski},
  title     = {A Benchmark Suite for Hybrid Systems Reachability Analysis},
  booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  pages     = {408--414},
  year      = {2015},
  crossref  = {DBLP:conf/nfm/2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9\_29},
  doi       = {10.1007/978-3-319-17524-9\_29},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/0002SMAFK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CorziliusKJSA15,
  author    = {Florian Corzilius and
               Gereon Kremer and
               Sebastian Junges and
               Stefan Schupp and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {{SMT-RAT:} An Open Source {C++} Toolbox for Strategic and Parallel
               {SMT} Solving},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
               International Conference, Austin, TX, USA, September 24-27, 2015,
               Proceedings},
  pages     = {360--368},
  year      = {2015},
  crossref  = {DBLP:conf/sat/2015},
  url       = {https://doi.org/10.1007/978-3-319-24318-4\_26},
  doi       = {10.1007/978-3-319-24318-4\_26},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/CorziliusKJSA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/NellenAW15,
  author    = {Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m and
               Benedikt Wolters},
  title     = {A {CEGAR} Tool for the Reachability Analysis of PLC-Controlled Plants
               Using Hybrid Automata},
  booktitle = {Formalisms for Reuse and Systems Integration},
  pages     = {55--78},
  year      = {2015},
  crossref  = {DBLP:series/asc/2015-346},
  url       = {https://doi.org/10.1007/978-3-319-16577-6\_3},
  doi       = {10.1007/978-3-319-16577-6\_3},
  timestamp = {Tue, 16 May 2017 14:24:29 +0200},
  biburl    = {https://dblp.org/rec/bib/series/asc/NellenAW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamBBGJKPS15,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Costas Bekas and
               Ivona Brandic and
               Samir Genaim and
               Einar Broch Johnsen and
               Ivan Kondov and
               Sabri Pllana and
               Achim Streit},
  title     = {Preparing {HPC} Applications for Exascale: Challenges and Recommendations},
  journal   = {CoRR},
  volume    = {abs/1503.06974},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.06974},
  archivePrefix = {arXiv},
  eprint    = {1503.06974},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbrahamBBGJKPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamF0W15,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Pascal Fontaine and
               Thomas Sturm and
               Dongming Wang},
  title     = {Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar
               15471)},
  journal   = {Dagstuhl Reports},
  volume    = {5},
  number    = {11},
  pages     = {71--89},
  year      = {2015},
  url       = {https://doi.org/10.4230/DagRep.5.11.71},
  doi       = {10.4230/DagRep.5.11.71},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/AbrahamF0W15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JansenWAZKBS14,
  author    = {Nils Jansen and
               Ralf Wimmer and
               Erika {\'{A}}brah{\'{a}}m and
               Barna Zajzon and
               Joost{-}Pieter Katoen and
               Bernd Becker and
               Johann Schuster},
  title     = {Symbolic counterexample generation for large discrete-time Markov
               chains},
  journal   = {Sci. Comput. Program.},
  volume    = {91},
  pages     = {90--114},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2014.02.001},
  doi       = {10.1016/j.scico.2014.02.001},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/JansenWAZKBS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WimmerJAKB14,
  author    = {Ralf Wimmer and
               Nils Jansen and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {Minimal counterexamples for linear-time probabilistic verification},
  journal   = {Theor. Comput. Sci.},
  volume    = {549},
  pages     = {61--100},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.tcs.2014.06.020},
  doi       = {10.1016/j.tcs.2014.06.020},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/WimmerJAKB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DehnertJWAK14,
  author    = {Christian Dehnert and
               Nils Jansen and
               Ralf Wimmer and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen},
  title     = {Fast Debugging of {PRISM} Models},
  booktitle = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  pages     = {146--162},
  year      = {2014},
  crossref  = {DBLP:conf/atva/2014},
  url       = {https://doi.org/10.1007/978-3-319-11936-6\_11},
  doi       = {10.1007/978-3-319-11936-6\_11},
  timestamp = {Fri, 02 Nov 2018 09:35:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atva/DehnertJWAK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RwthSA14,
  author    = {Xin Chen and
               Sriram Sankaranarayanan and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Under-approximate flowpipes for non-linear continuous systems},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
               October 21-24, 2014},
  pages     = {59--66},
  year      = {2014},
  crossref  = {DBLP:conf/fmcad/2014},
  url       = {https://doi.org/10.1109/FMCAD.2014.6987596},
  doi       = {10.1109/FMCAD.2014.6987596},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/RwthSA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/NellenA14,
  author    = {Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {A {CEGAR} approach for the reachability analysis of PLC-controlled
               chemical plants},
  booktitle = {Proceedings of the 15th {IEEE} International Conference on Information
               Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
               2014},
  pages     = {500--507},
  year      = {2014},
  crossref  = {DBLP:conf/iri/2014},
  url       = {https://doi.org/10.1109/IRI.2014.7051930},
  doi       = {10.1109/IRI.2014.7051930},
  timestamp = {Fri, 21 Jul 2017 13:46:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iri/NellenA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/JansenCVWAKB14,
  author    = {Nils Jansen and
               Florian Corzilius and
               Matthias Volk and
               Ralf Wimmer and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {Accelerating Parametric Probabilistic Verification},
  booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
               {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
  pages     = {404--420},
  year      = {2014},
  crossref  = {DBLP:conf/qest/2014},
  url       = {https://doi.org/10.1007/978-3-319-10696-0\_31},
  doi       = {10.1007/978-3-319-10696-0\_31},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qest/JansenCVWAKB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AbrahamBDJKW14,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Bernd Becker and
               Christian Dehnert and
               Nils Jansen and
               Joost{-}Pieter Katoen and
               Ralf Wimmer},
  title     = {Counterexample Generation for Discrete-Time Markov Models: An Introductory
               Survey},
  booktitle = {Formal Methods for Executable Software Models - 14th International
               School on Formal Methods for the Design of Computer, Communication,
               and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
               Advanced Lectures},
  pages     = {65--121},
  year      = {2014},
  crossref  = {DBLP:conf/sfm/2014},
  url       = {https://doi.org/10.1007/978-3-319-07317-0\_3},
  doi       = {10.1007/978-3-319-07317-0\_3},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/AbrahamBDJKW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2014,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Catuscia Palamidessi},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
               as Part of the 9th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8461},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43613-4},
  doi       = {10.1007/978-3-662-43613-4},
  isbn      = {978-3-662-43612-7},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2014,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Klaus Havelund},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8413},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8},
  doi       = {10.1007/978-3-642-54862-8},
  isbn      = {978-3-642-54861-1},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamARS14,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Alberto Avritzer and
               Anne Remke and
               William H. Sanders},
  title     = {Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl
               Seminar 14031)},
  journal   = {Dagstuhl Reports},
  volume    = {4},
  number    = {1},
  pages     = {36--82},
  year      = {2014},
  url       = {https://doi.org/10.4230/DagRep.4.1.36},
  doi       = {10.4230/DagRep.4.1.36},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/AbrahamARS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LoupSCAB13,
  author    = {Ulrich Loup and
               Karsten Scheibler and
               Florian Corzilius and
               Erika {\'{A}}brah{\'{a}}m and
               Bernd Becker},
  title     = {A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic
               Decomposition},
  booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
               Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  pages     = {193--207},
  year      = {2013},
  crossref  = {DBLP:conf/cade/2013},
  url       = {https://doi.org/10.1007/978-3-642-38574-2\_13},
  doi       = {10.1007/978-3-642-38574-2\_13},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/LoupSCAB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/JungesLCA13,
  author    = {Sebastian Junges and
               Ulrich Loup and
               Florian Corzilius and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {On Gr{\"{o}}bner Bases in the Context of Satisfiability-Modulo-Theories
               Solving over the Real Numbers},
  booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
               Porquerolles, France, September 3-6, 2013. Proceedings},
  pages     = {186--198},
  year      = {2013},
  crossref  = {DBLP:conf/cai/2013},
  url       = {https://doi.org/10.1007/978-3-642-40663-8\_18},
  doi       = {10.1007/978-3-642-40663-8\_18},
  timestamp = {Thu, 15 Jun 2017 21:34:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cai/JungesLCA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/LepriAO13,
  author    = {Daniela Lepri and
               Erika {\'{A}}brah{\'{a}}m and
               Peter Csaba {\"{O}}lveczky},
  title     = {A Timed {CTL} Model Checker for Real-Time Maude},
  booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
               {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
  pages     = {334--339},
  year      = {2013},
  crossref  = {DBLP:conf/calco/2013},
  url       = {https://doi.org/10.1007/978-3-642-40206-7\_27},
  doi       = {10.1007/978-3-642-40206-7\_27},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/LepriAO13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenAS13,
  author    = {Xin Chen and
               Erika {\'{A}}brah{\'{a}}m and
               Sriram Sankaranarayanan},
  title     = {Flow*: An Analyzer for Non-linear Hybrid Systems},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {258--263},
  year      = {2013},
  crossref  = {DBLP:conf/cav/2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8\_18},
  doi       = {10.1007/978-3-642-39799-8\_18},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ChenAS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NellenA0C13,
  author    = {Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m and
               Xin Chen and
               Pieter Collins},
  title     = {Counterexample Generation for Hybrid Automata},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  pages     = {88--106},
  year      = {2013},
  crossref  = {DBLP:conf/ftscs/2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_7},
  doi       = {10.1007/978-3-319-05416-2\_7},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/NellenA0C13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhangSSCA13,
  author    = {Yan Zhang and
               Sriram Sankaranarayanan and
               Fabio Somenzi and
               Xin Chen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {From statistical model checking to statistical model inference: characterizing
               the effect of process variations in analog circuits},
  booktitle = {The {IEEE/ACM} International Conference on Computer-Aided Design,
               ICCAD'13, San Jose, CA, USA, November 18-21, 2013},
  pages     = {662--669},
  year      = {2013},
  crossref  = {DBLP:conf/iccad/2013},
  url       = {https://doi.org/10.1109/ICCAD.2013.6691186},
  doi       = {10.1109/ICCAD.2013.6691186},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/ZhangSSCA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BraitlingWBA13,
  author    = {Bettina Braitling and
               Ralf Wimmer and
               Bernd Becker and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Stochastic Bounded Model Checking: Bounded Rewards and Compositionality},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
               March 12-14, 2013.},
  pages     = {243--254},
  year      = {2013},
  crossref  = {DBLP:conf/mbmv/2013},
  timestamp = {Fri, 20 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/BraitlingWBA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nolcos/Sankaranarayanan0A13,
  author    = {Sriram Sankaranarayanan and
               Xin Chen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Lyapunov Function Synthesis Using Handelman Representations},
  booktitle = {9th {IFAC} Symposium on Nonlinear Control Systems, {NOLCOS} 2013,
               Toulouse, France, September 4-6, 2013.},
  pages     = {576--581},
  year      = {2013},
  crossref  = {DBLP:conf/nolcos/2013},
  url       = {https://doi.org/10.3182/20130904-3-FR-2041.00198},
  doi       = {10.3182/20130904-3-FR-2041.00198},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nolcos/Sankaranarayanan0A13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WimmerJVAKB13,
  author    = {Ralf Wimmer and
               Nils Jansen and
               Andreas Vorpahl and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {High-Level Counterexamples for Probabilistic Automata},
  booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
               {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  pages     = {39--54},
  year      = {2013},
  crossref  = {DBLP:conf/qest/2013},
  url       = {https://doi.org/10.1007/978-3-642-40196-1\_4},
  doi       = {10.1007/978-3-642-40196-1\_4},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qest/WimmerJVAKB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JansenCVWAKB13,
  author    = {Nils Jansen and
               Florian Corzilius and
               Matthias Volk and
               Ralf Wimmer and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {Accelerating Parametric Probabilistic Verification},
  journal   = {CoRR},
  volume    = {abs/1312.3979},
  year      = {2013},
  url       = {http://arxiv.org/abs/1312.3979},
  archivePrefix = {arXiv},
  eprint    = {1312.3979},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JansenCVWAKB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JansenAVWKB12,
  author    = {Nils Jansen and
               Erika {\'{A}}brah{\'{a}}m and
               Matthias Volk and
               Ralf Wimmer and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {The {COMICS} Tool - Computing Minimal Counterexamples for DTMCs},
  booktitle = {Automated Technology for Verification and Analysis - 10th International
               Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
               Proceedings},
  pages     = {349--353},
  year      = {2012},
  crossref  = {DBLP:conf/atva/2012},
  url       = {https://doi.org/10.1007/978-3-642-33386-6\_27},
  doi       = {10.1007/978-3-642-33386-6\_27},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atva/JansenAVWKB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/JansenAZWSKB12,
  author    = {Nils Jansen and
               Erika {\'{A}}brah{\'{a}}m and
               Barna Zajzon and
               Ralf Wimmer and
               Johann Schuster and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {Symbolic Counterexample Generation for Discrete-Time Markov Chains},
  booktitle = {Formal Aspects of Component Software, 9th International Symposium,
               {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
               Selected Papers},
  pages     = {134--151},
  year      = {2012},
  crossref  = {DBLP:conf/facs2/2012},
  url       = {https://doi.org/10.1007/978-3-642-35861-6\_9},
  doi       = {10.1007/978-3-642-35861-6\_9},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/JansenAZWSKB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/NellenA12,
  author    = {Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Hybrid Sequential Function Charts},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
               5-7, 2012},
  pages     = {109--120},
  year      = {2012},
  crossref  = {DBLP:conf/mbmv/2012},
  timestamp = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/NellenA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/WimmerBJAK12,
  author    = {Ralf Wimmer and
               Bernd Becker and
               Nils Jansen and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen},
  title     = {Minimal Critical Subsystems as Counterexamples for omega-Regular {DTMC}
               Properties},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
               5-7, 2012},
  pages     = {169--180},
  year      = {2012},
  crossref  = {DBLP:conf/mbmv/2012},
  timestamp = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/WimmerBJAK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ChenAS12,
  author    = {Xin Chen and
               Erika {\'{A}}brah{\'{a}}m and
               Sriram Sankaranarayanan},
  title     = {Taylor Model Flowpipe Construction for Non-linear Hybrid Systems},
  booktitle = {Proceedings of the 33rd {IEEE} Real-Time Systems Symposium, {RTSS}
               2012, San Juan, PR, USA, December 4-7, 2012},
  pages     = {183--192},
  year      = {2012},
  crossref  = {DBLP:conf/rtss/2012},
  url       = {https://doi.org/10.1109/RTSS.2012.70},
  doi       = {10.1109/RTSS.2012.70},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/ChenAS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CorziliusLJA12,
  author    = {Florian Corzilius and
               Ulrich Loup and
               Sebastian Junges and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {{SMT-RAT:} An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool
               Presentation)},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
               International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  pages     = {442--448},
  year      = {2012},
  crossref  = {DBLP:conf/sat/2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8\_35},
  doi       = {10.1007/978-3-642-31612-8\_35},
  timestamp = {Mon, 05 Jun 2017 12:41:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/CorziliusLJA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WimmerJABK12,
  author    = {Ralf Wimmer and
               Nils Jansen and
               Erika {\'{A}}brah{\'{a}}m and
               Bernd Becker and
               Joost{-}Pieter Katoen},
  title     = {Minimal Critical Subsystems for Discrete-Time Markov Models},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  pages     = {299--314},
  year      = {2012},
  crossref  = {DBLP:conf/tacas/2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5\_21},
  doi       = {10.1007/978-3-642-28756-5\_21},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/WimmerJABK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/FadlisyahOA12,
  author    = {Muhammad Fadlisyah and
               Peter Csaba {\"{O}}lveczky and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Formal Modeling and Analysis of Human Body Exposure to Extreme Heat
               in HI-Maude},
  booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
               {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
               March 24-25, 2012, Revised Selected Papers},
  pages     = {139--161},
  year      = {2012},
  crossref  = {DBLP:conf/wrla/2012},
  url       = {https://doi.org/10.1007/978-3-642-34005-5\_8},
  doi       = {10.1007/978-3-642-34005-5\_8},
  timestamp = {Wed, 14 Nov 2018 10:58:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wrla/FadlisyahOA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LepriAO12,
  author    = {Daniela Lepri and
               Erika {\'{A}}brah{\'{a}}m and
               Peter Csaba {\"{O}}lveczky},
  title     = {Timed {CTL} Model Checking in Real-Time Maude},
  booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
               {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
               March 24-25, 2012, Revised Selected Papers},
  pages     = {182--200},
  year      = {2012},
  crossref  = {DBLP:conf/wrla/2012},
  url       = {https://doi.org/10.1007/978-3-642-34005-5\_10},
  doi       = {10.1007/978-3-642-34005-5\_10},
  timestamp = {Wed, 14 Nov 2018 10:58:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wrla/LepriAO12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-0603,
  author    = {Nils Jansen and
               Erika {\'{A}}brah{\'{a}}m and
               Maik Scheffler and
               Matthias Volk and
               Andreas Vorpahl and
               Ralf Wimmer and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {The {COMICS} Tool - Computing Minimal Counterexamples for Discrete-time
               Markov Chains},
  journal   = {CoRR},
  volume    = {abs/1206.0603},
  year      = {2012},
  url       = {http://arxiv.org/abs/1206.0603},
  archivePrefix = {arXiv},
  eprint    = {1206.0603},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1206-0603},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/FadlisyahOA11,
  author    = {Muhammad Fadlisyah and
               Peter Csaba {\"{O}}lveczky and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal
               Analysis of Interacting Hybrid Systems},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {274},
  pages     = {17--32},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.07.004},
  doi       = {10.1016/j.entcs.2011.07.004},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/FadlisyahOA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AbrahamSBFH11,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Tobias Schubert and
               Bernd Becker and
               Martin Fr{\"{a}}nzle and
               Christian Herde},
  title     = {Parallel {SAT} Solving in Bounded Model Checking},
  journal   = {J. Log. Comput.},
  volume    = {21},
  number    = {1},
  pages     = {5--21},
  year      = {2011},
  url       = {https://doi.org/10.1093/logcom/exp002},
  doi       = {10.1093/logcom/exp002},
  timestamp = {Mon, 27 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/AbrahamSBFH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JansenAKWKB11,
  author    = {Nils Jansen and
               Erika {\'{A}}brah{\'{a}}m and
               Jens Katelaan and
               Ralf Wimmer and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {Hierarchical Counterexamples for Discrete-Time Markov Chains},
  booktitle = {Automated Technology for Verification and Analysis, 9th International
               Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
  pages     = {443--452},
  year      = {2011},
  crossref  = {DBLP:conf/atva/2011},
  url       = {https://doi.org/10.1007/978-3-642-24372-1\_33},
  doi       = {10.1007/978-3-642-24372-1\_33},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atva/JansenAKWKB11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/LoupA11,
  author    = {Ulrich Loup and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real
               Algebra},
  booktitle = {Algebraic Informatics - 4th International Conference, {CAI} 2011,
               Linz, Austria, June 21-24, 2011. Proceedings},
  pages     = {230--246},
  year      = {2011},
  crossref  = {DBLP:conf/cai/2011},
  url       = {https://doi.org/10.1007/978-3-642-21493-6\_15},
  doi       = {10.1007/978-3-642-21493-6\_15},
  timestamp = {Fri, 08 Mar 2019 15:12:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cai/LoupA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ChenA11,
  author    = {Xin Chen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Choice of Directions for the Approximation of Reachable Sets for Hybrid
               Systems},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
               Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
               Revised Selected Papers, Part {I}},
  pages     = {535--542},
  year      = {2011},
  crossref  = {DBLP:conf/eurocast/2011-1},
  url       = {https://doi.org/10.1007/978-3-642-27549-4\_69},
  doi       = {10.1007/978-3-642-27549-4\_69},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/ChenA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/CorziliusA11,
  author    = {Florian Corzilius and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Virtual Substitution for SMT-Solving},
  booktitle = {Fundamentals of Computation Theory - 18th International Symposium,
               {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  pages     = {360--371},
  year      = {2011},
  crossref  = {DBLP:conf/fct/2011},
  url       = {https://doi.org/10.1007/978-3-642-22953-4\_31},
  doi       = {10.1007/978-3-642-22953-4\_31},
  timestamp = {Wed, 14 Nov 2018 10:59:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fct/CorziliusA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BraitlingWBJA11,
  author    = {Bettina Braitling and
               Ralf Wimmer and
               Bernd Becker and
               Nils Jansen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Counterexample Generation for Markov Chains Using SMT-Based Bounded
               Model Checking},
  booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
               6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
               6-9, 2011. Proceedings},
  pages     = {75--89},
  year      = {2011},
  crossref  = {DBLP:conf/forte/2011},
  url       = {https://doi.org/10.1007/978-3-642-21461-5\_5},
  doi       = {10.1007/978-3-642-21461-5\_5},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/BraitlingWBJA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icannga/RichterAM11,
  author    = {Pascal Richter and
               Erika {\'{A}}brah{\'{a}}m and
               Gabriel Morin},
  title     = {Optimisation of Concentrating Solar Thermal Power Plants with Neural
               Networks},
  booktitle = {Adaptive and Natural Computing Algorithms - 10th International Conference,
               {ICANNGA} 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings,
               Part {I}},
  pages     = {190--199},
  year      = {2011},
  crossref  = {DBLP:conf/icannga/2011-1},
  url       = {https://doi.org/10.1007/978-3-642-20282-7\_20},
  doi       = {10.1007/978-3-642-20282-7\_20},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icannga/RichterAM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/AbrahamBBCJLLNS11,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Nadine Bergner and
               Philipp Brauner and
               Florian Corzilius and
               Nils Jansen and
               Thiemo Leonhardt and
               Ulrich Loup and
               Johanna Nellen and
               Ulrik Schroeder},
  title     = {On collaboratively conveying computer science to pupils},
  booktitle = {11th Koli Calling International Conference on Computing Education
               Research, Koli Calling '11, Koli, Finland, November 17-20, 2011},
  pages     = {132--137},
  year      = {2011},
  crossref  = {DBLP:conf/kolicalling/2011},
  url       = {https://doi.org/10.1145/2094131.2094162},
  doi       = {10.1145/2094131.2094162},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/AbrahamBBCJLLNS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BraitlingWBJA11,
  author    = {Bettina Braitling and
               Ralf Wimmer and
               Bernd Becker and
               Nils Jansen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {SMT-based Counterexample Generation for Markov Chains},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
               21-23, 2011},
  pages     = {19--28},
  year      = {2011},
  crossref  = {DBLP:conf/mbmv/2011},
  timestamp = {Fri, 20 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/BraitlingWBJA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LoupA11,
  author    = {Ulrich Loup and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {GiNaCRA: {A} {C++} Library for Real Algebraic Computations},
  booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  pages     = {512--517},
  year      = {2011},
  crossref  = {DBLP:conf/nfm/2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5\_41},
  doi       = {10.1007/978-3-642-20398-5\_41},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/LoupA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ChenAF11,
  author    = {Xin Chen and
               Erika {\'{A}}brah{\'{a}}m and
               Goran Frehse},
  title     = {Efficient Bounded Reachability Computation for Rectangular Automata},
  booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
               Italy, September 28-30, 2011. Proceedings},
  pages     = {139--152},
  year      = {2011},
  crossref  = {DBLP:conf/rp/2011},
  url       = {https://doi.org/10.1007/978-3-642-24288-5\_13},
  doi       = {10.1007/978-3-642-24288-5\_13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/ChenAF11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FadlisyahOA11,
  author    = {Muhammad Fadlisyah and
               Peter Csaba {\"{O}}lveczky and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Object-Oriented Formal Modeling and Analysis of Interacting Hybrid
               Systems in HI-Maude},
  booktitle = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  pages     = {415--430},
  year      = {2011},
  crossref  = {DBLP:conf/sefm/2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6\_29},
  doi       = {10.1007/978-3-642-24690-6\_29},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/FadlisyahOA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/GeimerWWABM10,
  author    = {Markus Geimer and
               Felix Wolf and
               Brian J. N. Wylie and
               Erika {\'{A}}brah{\'{a}}m and
               Daniel Becker and
               Bernd Mohr},
  title     = {The Scalasca performance toolset architecture},
  journal   = {Concurrency and Computation: Practice and Experience},
  volume    = {22},
  number    = {6},
  pages     = {702--719},
  year      = {2010},
  url       = {https://doi.org/10.1002/cpe.1556},
  doi       = {10.1002/cpe.1556},
  timestamp = {Tue, 26 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/concurrency/GeimerWWABM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/AbrahamBJLLS10,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Philipp Brauner and
               Nils Jansen and
               Thiemo Leonhardt and
               Ulrich Loup and
               Ulrik Schroeder},
  title     = {Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik},
  booktitle = {DeLFI 2010 - 8. Tagung der Fachgruppe E-Learning der Gesellschaft
               f{\"{u}}r Informatik e.V., 12.-15. September 2010, Universit{\"{a}}t
               Duisburg-Essen},
  pages     = {239--251},
  year      = {2010},
  crossref  = {DBLP:conf/delfi/2010},
  url       = {https://dl.gi.de/20.500.12116/4728},
  timestamp = {Mon, 16 Apr 2018 15:58:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/delfi/AbrahamBJLLS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KalinnikASWB10,
  author    = {Natalia Kalinnik and
               Erika {\'{A}}brah{\'{a}}m and
               Tobias Schubert and
               Ralf Wimmer and
               Bernd Becker},
  title     = {Exploiting Different Strategies for the Parallelization of an {SMT}
               Solver},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24,
               2010},
  pages     = {97--106},
  year      = {2010},
  crossref  = {DBLP:conf/mbmv/2010},
  timestamp = {Mon, 27 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/KalinnikASWB10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AbrahamJWKB10,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Nils Jansen and
               Ralf Wimmer and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {{DTMC} Model Checking by {SCC} Reduction},
  booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
               Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
               2010},
  pages     = {37--46},
  year      = {2010},
  crossref  = {DBLP:conf/qest/2010},
  url       = {https://doi.org/10.1109/QEST.2010.13},
  doi       = {10.1109/QEST.2010.13},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qest/AbrahamJWKB10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BollueSATA10,
  author    = {Kai Bollue and
               Michaela Slaats and
               Erika {\'{A}}brah{\'{a}}m and
               Wolfgang Thomas and
               Dirk Abel},
  title     = {Synthesis of behavioral controllers for {DES:} Increasing efficiency},
  booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
               Berlin, Germany, August 30 - September 01, 2010.},
  pages     = {27--34},
  year      = {2010},
  crossref  = {DBLP:conf/wodes/2010},
  url       = {https://doi.org/10.3182/20100830-3-DE-4013.00007},
  doi       = {10.3182/20100830-3-DE-4013.00007},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wodes/BollueSATA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4263,
  author    = {Muhammad Fadlisyah and
               Erika {\'{A}}brah{\'{a}}m and
               Daniela Lepri and
               Peter Csaba {\"{O}}lveczky},
  title     = {A Rewriting-Logic-Based Technique for Modeling Thermal Systems},
  booktitle = {Proceedings First International Workshop on Rewriting Techniques for
               Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
               2010.},
  pages     = {82--100},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1009-3982},
  url       = {https://doi.org/10.4204/EPTCS.36.5},
  doi       = {10.4204/EPTCS.36.5},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-4263},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4264,
  author    = {Daniela Lepri and
               Peter Csaba {\"{O}}lveczky and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Model Checking Classes of Metric {LTL} Properties of Object-Oriented
               Real-Time Maude Specifications},
  booktitle = {Proceedings First International Workshop on Rewriting Techniques for
               Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
               2010.},
  pages     = {117--136},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1009-3982},
  url       = {https://doi.org/10.4204/EPTCS.36.7},
  doi       = {10.4204/EPTCS.36.7},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-4264},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrahamCLS10,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Florian Corzilius and
               Ulrich Loup and
               Thomas Sturm},
  title     = {A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra},
  booktitle = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10271},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2790/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/AbrahamCLS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AbrahamGGS09,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Immo Grabe and
               Andreas Gr{\"{u}}ner and
               Martin Steffen},
  title     = {Behavioral interface description of an object-oriented language with
               futures and promises},
  journal   = {J. Log. Algebr. Program.},
  volume    = {78},
  number    = {7},
  pages     = {491--518},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jlap.2009.01.001},
  doi       = {10.1016/j.jlap.2009.01.001},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/AbrahamGGS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/KalinnikSAWB09,
  author    = {Natalia Kalinnik and
               Tobias Schubert and
               Erika {\'{A}}brah{\'{a}}m and
               Ralf Wimmer and
               Bernd Becker},
  title     = {Picoso - {A} Parallel Interval Constraint Solver},
  booktitle = {Proceedings of the International Conference on Parallel and Distributed
               Processing Techniques and Applications, {PDPTA} 2009, Las Vegas, Nevada,
               USA, July 13-17, 2009, 2 Volumes},
  pages     = {473--479},
  year      = {2009},
  crossref  = {DBLP:conf/pdpta/2009},
  timestamp = {Mon, 27 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/KalinnikSAWB09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrahamL09,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Ulrich Loup},
  title     = {SMT-Solving for the First-Order Theory of the Reals},
  booktitle = {Algorithms and Applications for Next Generation {SAT} Solvers, 08.11.
               - 13.11.2009},
  year      = {2009},
  crossref  = {DBLP:conf/dagstuhl/2009P9461},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2508/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/AbrahamL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbrahamBRS08,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Frank S. de Boer and
               Willem P. de Roever and
               Martin Steffen},
  title     = {A Deductive Proof System for Multithreaded Java with Exceptions},
  journal   = {Fundam. Inform.},
  volume    = {82},
  number    = {4},
  pages     = {391--463},
  year      = {2008},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi82-4-05},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/AbrahamBRS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AbrahamGS08,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Andreas Gr{\"{u}}ner and
               Martin Steffen},
  title     = {Abstract Interface Behavior of Object-Oriented Languages with Monitors},
  journal   = {Theory Comput. Syst.},
  volume    = {43},
  number    = {3-4},
  pages     = {322--361},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00224-007-9047-0},
  doi       = {10.1007/s00224-007-9047-0},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mst/AbrahamGS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AbrahamGS08,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Andreas Gr{\"{u}}ner and
               Martin Steffen},
  title     = {Heap-abstraction for an object-oriented calculus with thread classes},
  journal   = {Software and System Modeling},
  volume    = {7},
  number    = {2},
  pages     = {177--208},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10270-007-0065-9},
  doi       = {10.1007/s10270-007-0065-9},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sosym/AbrahamGS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ptw/WolfWABFFGHMMPS08,
  author    = {Felix Wolf and
               Brian J. N. Wylie and
               Erika {\'{A}}brah{\'{a}}m and
               Daniel Becker and
               Wolfgang Frings and
               Karl F{\"{u}}rlinger and
               Markus Geimer and
               Marc{-}Andr{\'{e}} Hermanns and
               Bernd Mohr and
               Shirley Moore and
               Matthias Pfeifer and
               Zolt{\'{a}}n Szebenyi},
  title     = {Usage of the {SCALASCA} toolset for scalable performance analysis
               of large-scale parallel applications},
  booktitle = {Tools for High Performance Computing - Proceedings of the 2nd International
               Workshop on Parallel Tools for High Performance Computing, July 2008,
               HLRS, Stuttgart},
  pages     = {157--167},
  year      = {2008},
  crossref  = {DBLP:conf/ptw/2008},
  url       = {https://doi.org/10.1007/978-3-540-68564-7\_10},
  doi       = {10.1007/978-3-540-68564-7\_10},
  timestamp = {Tue, 26 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ptw/WolfWABFFGHMMPS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AbrahamHBS07,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Marc Herbstritt and
               Bernd Becker and
               Martin Steffen},
  title     = {Bounded Model Checking with Parametric Data Structures},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {174},
  number    = {3},
  pages     = {3--16},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2006.12.019},
  doi       = {10.1016/j.entcs.2006.12.019},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AbrahamHBS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/HerbstrittBAH07,
  author    = {Marc Herbstritt and
               Bernd Becker and
               Erika {\'{A}}brah{\'{a}}m and
               Christian Herde},
  title     = {On Variable Selection in SAT-LP-based Bounded Model Checking of Linear
               Hybrid Automata},
  booktitle = {Proceedings of the 10th {IEEE} Workshop on Design {\&} Diagnostics
               of Electronic Circuits {\&} Systems {(DDECS} 2007), Krak{\'{o}}w,
               Poland, April 11-13, 2007},
  pages     = {391--396},
  year      = {2007},
  crossref  = {DBLP:conf/ddecs/2007},
  url       = {https://doi.org/10.1109/DDECS.2007.4295318},
  doi       = {10.1109/DDECS.2007.4295318},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ddecs/HerbstrittBAH07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AbrahamBRS06,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Frank S. de Boer and
               Willem P. de Roever and
               Martin Steffen},
  title     = {Inductive Proof Outlines for Exceptions in Multithreaded Java},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {159},
  pages     = {281--297},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.12.072},
  doi       = {10.1016/j.entcs.2005.12.072},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AbrahamBRS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/AbrahamGS06,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Andreas Gr{\"{u}}ner and
               Martin Steffen},
  title     = {Heap-Abstraction for an Object-Oriented Calculus with Thread Classes},
  booktitle = {Logical Approaches to Computational Barriers, Second Conference on
               Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
               Proceedings},
  pages     = {1--10},
  year      = {2006},
  crossref  = {DBLP:conf/cie/2006},
  url       = {https://doi.org/10.1007/11780342\_1},
  doi       = {10.1007/11780342\_1},
  timestamp = {Wed, 14 Nov 2018 10:56:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cie/AbrahamGS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/AbrahamSBFH06,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Tobias Schubert and
               Bernd Becker and
               Martin Fr{\"{a}}nzle and
               Christian Herde},
  title     = {Parallel {SAT} Solving in Bounded Model Checking},
  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     = {301--315},
  year      = {2006},
  crossref  = {DBLP:conf/fmics/2006},
  url       = {https://doi.org/10.1007/978-3-540-70952-7\_21},
  doi       = {10.1007/978-3-540-70952-7\_21},
  timestamp = {Mon, 27 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/AbrahamSBFH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AbrahamGS06,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Andreas Gr{\"{u}}ner and
               Martin Steffen},
  title     = {Abstract Interface Behavior of Object-Oriented Languages with Monitors},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
               June 14-16, 2006, Proceedings},
  pages     = {218--232},
  year      = {2006},
  crossref  = {DBLP:conf/fmoods/2006},
  url       = {https://doi.org/10.1007/11768869\_17},
  doi       = {10.1007/11768869\_17},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/AbrahamGS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/AbrahamHBS06,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Marc Herbstritt and
               Bernd Becker and
               Martin Steffen},
  title     = {Memory-aware Bounded Model Checking for Linear Hybrid Systems},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
               2006},
  pages     = {153--162},
  year      = {2006},
  crossref  = {DBLP:conf/mbmv/2006},
  timestamp = {Fri, 20 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/AbrahamHBS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbrahamBRS05,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Frank S. de Boer and
               Willem P. de Roever and
               Martin Steffen},
  title     = {An assertion-based proof system for multithreaded Java},
  journal   = {Theor. Comput. Sci.},
  volume    = {331},
  number    = {2-3},
  pages     = {251--290},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2004.09.019},
  doi       = {10.1016/j.tcs.2004.09.019},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AbrahamBRS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AbrahamBKS05,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Bernd Becker and
               Felix Klaedtke and
               Martin Steffen},
  title     = {Optimizing Bounded Model Checking for Linear Hybrid Systems},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
               Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
  pages     = {396--412},
  year      = {2005},
  crossref  = {DBLP:conf/vmcai/2005},
  url       = {https://doi.org/10.1007/978-3-540-30579-8\_26},
  doi       = {10.1007/978-3-540-30579-8\_26},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/AbrahamBKS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BoerBSA04,
  author    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Martin Steffen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {A Fully Abstract Semantics for {UML} Components},
  booktitle = {Formal Methods for Components and Objects, Third International Symposium,
               {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
               Lectures},
  pages     = {49--69},
  year      = {2004},
  crossref  = {DBLP:conf/fmco/2004},
  url       = {https://doi.org/10.1007/11561163\_3},
  doi       = {10.1007/11561163\_3},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/BoerBSA04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AbrahamBBGS04,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Marcello M. Bonsangue and
               Frank S. de Boer and
               Andreas Gr{\"{u}}ner and
               Martin Steffen},
  title     = {Observability, Connectivity, and Replay in a Sequential Calculus of
               Classes},
  booktitle = {Formal Methods for Components and Objects, Third International Symposium,
               {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
               Lectures},
  pages     = {296--316},
  year      = {2004},
  crossref  = {DBLP:conf/fmco/2004},
  url       = {https://doi.org/10.1007/11561163\_13},
  doi       = {10.1007/11561163\_13},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/AbrahamBBGS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AbrahamBBS04,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Marcello M. Bonsangue and
               Frank S. de Boer and
               Martin Steffen},
  title     = {Object Connectivity and Full Abstraction for a Concurrent Calculus
               of Classes},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
               Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
               Papers},
  pages     = {37--51},
  year      = {2004},
  crossref  = {DBLP:conf/ictac/2004},
  url       = {https://doi.org/10.1007/978-3-540-31862-0\_5},
  doi       = {10.1007/978-3-540-31862-0\_5},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/AbrahamBBS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbrahamBRS03,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Frank S. de Boer and
               Willem P. de Roever and
               Martin Steffen},
  title     = {A Compositional Operational Semantics for Java\({}_{\mbox{MT}}\)},
  booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
               on the Occasion of His 64th Birthday},
  pages     = {290--303},
  year      = {2003},
  crossref  = {DBLP:conf/birthday/2003manna},
  url       = {https://doi.org/10.1007/978-3-540-39910-0\_13},
  doi       = {10.1007/978-3-540-39910-0\_13},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/AbrahamBRS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AbrahamBRS03,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Frank S. de Boer and
               Willem P. de Roever and
               Martin Steffen},
  title     = {Inductive Proof Outlines for Monitors in Java},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
               19.21, 2003, Proceedings},
  pages     = {155--169},
  year      = {2003},
  crossref  = {DBLP:conf/fmoods/2003},
  url       = {https://doi.org/10.1007/978-3-540-39958-2\_11},
  doi       = {10.1007/978-3-540-39958-2\_11},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/AbrahamBRS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Abraham-MummBRS02,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Frank S. de Boer and
               Willem P. de Roever and
               Martin Steffen},
  title     = {A Tool-Supported Proof System for Multithreaded Java},
  booktitle = {Formal Methods for Components and Objects, First International Symposium,
               {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
               Lectures},
  pages     = {1--32},
  year      = {2002},
  crossref  = {DBLP:conf/fmco/2002},
  url       = {https://doi.org/10.1007/978-3-540-39656-7\_1},
  doi       = {10.1007/978-3-540-39656-7\_1},
  timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/Abraham-MummBRS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Abraham-MummBRS02,
  author    = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
               Frank S. de Boer and
               Willem P. de Roever and
               Martin Steffen},
  title     = {Verification for Java's Reentrant Multithreading Concept},
  booktitle = {Foundations of Software Science and Computation Structures, 5th International
               Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
               April 8-12, 2002, Proceedings},
  pages     = {5--20},
  year      = {2002},
  crossref  = {DBLP:conf/fossacs/2002},
  url       = {https://doi.org/10.1007/3-540-45931-6\_2},
  doi       = {10.1007/3-540-45931-6\_2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/Abraham-MummBRS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Abraham-MummHS01,
  author    = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
               Ulrich Hannemann and
               Martin Steffen},
  title     = {Assertion-Based Analysis of Hybrid Systems with {PVS}},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
               Canaria, Spain, February 19-23, 2001, Revised Papers},
  pages     = {94--109},
  year      = {2001},
  crossref  = {DBLP:conf/eurocast/2001},
  url       = {https://doi.org/10.1007/3-540-45654-6\_8},
  doi       = {10.1007/3-540-45654-6\_8},
  timestamp = {Fri, 26 May 2017 14:09:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/Abraham-MummHS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Abraham-MummSH01,
  author    = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
               Martin Steffen and
               Ulrich Hannemann},
  title     = {Verification of Hybrid Systems: Formalization and Proof Rules in {PVS}},
  booktitle = {7th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  pages     = {48--57},
  year      = {2001},
  crossref  = {DBLP:conf/iceccs/2001},
  url       = {https://doi.org/10.1109/ICECCS.2001.930163},
  doi       = {10.1109/ICECCS.2001.930163},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/Abraham-MummSH01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Abraham-MummB00,
  author    = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
               Frank S. de Boer},
  title     = {Proof-Outlines for Threads in Java},
  booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
               University Park, PA, USA, August 22-25, 2000, Proceedings},
  pages     = {229--242},
  year      = {2000},
  crossref  = {DBLP:conf/concur/2000},
  url       = {https://doi.org/10.1007/3-540-44618-4\_18},
  doi       = {10.1007/3-540-44618-4\_18},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/Abraham-MummB00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/MeerA00,
  author    = {Jan de Meer and
               Erika {\'{A}}brah{\'{a}}m{-}Mumm},
  title     = {Formal Methods for Reflective System Specification},
  booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
               GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
  pages     = {51--57},
  year      = {2000},
  crossref  = {DBLP:conf/fbt/2000},
  timestamp = {Thu, 27 Mar 2003 09:47:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fbt/MeerA00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2018,
  editor    = {Klaus Havelund and
               Jan Peleska and
               Bill Roscoe and
               Erik P. de Vink},
  title     = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10951},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7},
  doi       = {10.1007/978-3-319-95582-7},
  isbn      = {978-3-319-95581-0},
  timestamp = {Thu, 12 Jul 2018 13:18:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2018,
  editor    = {Carlo A. Furia and
               Kirsten Winter},
  title     = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
               Maynooth, Ireland, September 5-7, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11023},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-98938-9},
  doi       = {10.1007/978-3-319-98938-9},
  isbn      = {978-3-319-98937-2},
  timestamp = {Wed, 22 Aug 2018 11:19:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iri/2018,
  title     = {2018 {IEEE} International Conference on Information Reuse and Integration,
               {IRI} 2018, Salt Lake City, UT, USA, July 6-9, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8424521},
  isbn      = {978-1-5386-2659-7},
  timestamp = {Tue, 07 Aug 2018 14:12:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iri/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2018,
  editor    = {Annabelle McIver and
               Andras Horvath},
  title     = {Quantitative Evaluation of Systems - 15th International Conference,
               {QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11024},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99154-2},
  doi       = {10.1007/978-3-319-99154-2},
  isbn      = {978-3-319-99153-5},
  timestamp = {Mon, 27 Aug 2018 12:00:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2018,
  editor    = {Einar Broch Johnsen and
               Ina Schaefer},
  title     = {Software Engineering and Formal Methods - 16th International Conference,
               {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
               2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10886},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92970-5},
  doi       = {10.1007/978-3-319-92970-5},
  isbn      = {978-3-319-92969-9},
  timestamp = {Mon, 18 Jun 2018 13:29:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2018-2,
  editor    = {Dirk Beyer and
               Marieke Huisman},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2018, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10806},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89963-3},
  doi       = {10.1007/978-3-319-89963-3},
  isbn      = {978-3-319-89962-6},
  timestamp = {Tue, 17 Apr 2018 09:53:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2018-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2017arcade,
  editor    = {Giles Reger and
               Dmitriy Traytel},
  title     = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  series    = {EPiC Series in Computing},
  volume    = {51},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/ARCADE\_2017},
  timestamp = {Tue, 16 Jan 2018 18:40:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2017arcade},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iri/2017,
  editor    = {Chengcui Zhang and
               Balaji Palanisamy and
               Latifur Khan and
               Sahra Sedigh Sarvestani},
  title     = {2017 {IEEE} International Conference on Information Reuse and Integration,
               {IRI} 2017, San Diego, CA, USA, August 4-6, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8100855},
  isbn      = {978-1-5386-1562-1},
  timestamp = {Thu, 11 Jan 2018 13:21:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iri/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2017sc,
  editor    = {Matthew England and
               Vijay Ganesh},
  title     = {Proceedings of the 2nd International Workshop on Satisfiability Checking
               and Symbolic Computation co-located with the 42nd International Symposium
               on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
               Germany, July 29, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1974},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1974},
  urn       = {urn:nbn:de:0074-1974-4},
  timestamp = {Sun, 29 Oct 2017 17:32:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2017sc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2017,
  editor    = {Clark Barrett and
               Misty Davies and
               Temesghen Kahsai},
  title     = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
               Field, CA, USA, May 16-18, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10227},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-57288-8},
  doi       = {10.1007/978-3-319-57288-8},
  isbn      = {978-3-319-57287-1},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2017,
  editor    = {Tudor Jebelean and
               Viorel Negru and
               Dana Petcu and
               Daniela Zaharie and
               Tetsuo Ida and
               Stephen M. Watt},
  title     = {19th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
               21-24, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8528958},
  isbn      = {978-1-5386-2626-9},
  timestamp = {Mon, 19 Nov 2018 08:04:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/valuetools/2017,
  editor    = {Andrea Marin and
               Benny Van Houdt and
               Giuliano Casale and
               Dorina C. Petriu and
               Sabina Rossi},
  title     = {Proceedings of the 11th {EAI} International Conference on Performance
               Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
               December 05-07, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3150928},
  timestamp = {Wed, 23 Jan 2019 13:28:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/valuetools/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/WiklickyV17,
  editor    = {Herbert Wiklicky and
               Erik P. de Vink},
  title     = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
               and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series    = {{EPTCS}},
  volume    = {250},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.03668},
  timestamp = {Mon, 13 Aug 2018 16:45:59 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/WiklickyV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2016,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Werner M. Seiler and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 18th International Workshop,
               {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9890},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45641-6},
  doi       = {10.1007/978-3-319-45641-6},
  isbn      = {978-3-319-45640-9},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2016,
  editor    = {Christoph Benzm{\"{u}}ller and
               Geoff Sutcliffe and
               Ra{\'{u}}l Rojas},
  title     = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
               19 - October 2, 2016, Berlin, Germany},
  series    = {EPiC Series in Computing},
  volume    = {41},
  publisher = {EasyChair},
  year      = {2016},
  url       = {http://www.easychair.org/publications/volume/GCAI\_2016},
  timestamp = {Wed, 26 Apr 2017 13:32:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2016-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2},
  doi       = {10.1007/978-3-319-47166-2},
  isbn      = {978-3-319-47165-5},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2016,
  editor    = {Ralf Wimmer},
  title     = {19th {GI/ITG/GMM} Workshop Methoden und Beschreibungssprachen zur
               Modellierung und Verifikation von Schaltungen und Systemen, {MBMV}
               2016, Freiburg im Breisgau, Germany, March 1-2, 2016},
  publisher = {Albert-Ludwigs-Universit{\"{a}}t Freiburg},
  year      = {2016},
  isbn      = {978-3-00-052380-9},
  timestamp = {Wed, 24 Feb 2016 15:06:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2016,
  editor    = {Michael Kohlhase and
               Moa Johansson and
               Bruce R. Miller and
               Leonardo de Moura and
               Frank Wm. Tompa},
  title     = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9791},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4},
  doi       = {10.1007/978-3-319-42547-4},
  isbn      = {978-3-319-42546-7},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2016,
  editor    = {Rocco {De Nicola} and
               eva K{\"{u}}hn},
  title     = {Software Engineering and Formal Methods - 14th International Conference,
               {SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
               2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9763},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41591-8},
  doi       = {10.1007/978-3-319-41591-8},
  isbn      = {978-3-319-41590-1},
  timestamp = {Sun, 21 May 2017 00:18:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2016,
  editor    = {Martin Fr{\"{a}}nzle and
               Deepak Kapur and
               Naijun Zhan},
  title     = {Dependable Software Engineering: Theories, Tools, and Applications
               - Second International Symposium, {SETTA} 2016, Beijing, China, November
               9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9984},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47677-3},
  doi       = {10.1007/978-3-319-47677-3},
  isbn      = {978-3-319-47676-6},
  timestamp = {Fri, 26 May 2017 00:51:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/setta/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2016,
  editor    = {James H. Davenport and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Stephen M. Watt and
               Daniela Zaharie},
  title     = {18th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
               24-27, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7827704},
  isbn      = {978-1-5090-5707-8},
  timestamp = {Thu, 15 Nov 2018 09:52:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEcca/2015,
  title     = {2015 {IEEE} Conference on Control Applications, {CCA} 2015, Sydney,
               Australia, September 21-23, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7302355},
  isbn      = {978-1-4799-7787-1},
  timestamp = {Tue, 10 Nov 2015 15:59:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEcca/2015},
  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/cpsweek/2014-15arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {1st and 2nd International Workshop on Applied veRification for Continuous
               and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
               2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
  series    = {EPiC Series in Computing},
  volume    = {34},
  publisher = {EasyChair},
  year      = {2015},
  url       = {http://www.easychair.org/publications/volume/ARCH15},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2014-15arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cyphy/2015,
  editor    = {Christian Berger and
               Mohammad Reza Mousavi},
  title     = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International
               Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9361},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25141-7},
  doi       = {10.1007/978-3-319-25141-7},
  isbn      = {978-3-319-25140-0},
  timestamp = {Fri, 19 May 2017 01:25:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cyphy/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015,
  editor    = {Nikolaj Bj{\o}rner and
               Frank S. de Boer},
  title     = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9109},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9},
  doi       = {10.1007/978-3-319-19249-9},
  isbn      = {978-3-319-19248-2},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2015,
  editor    = {Georg Gottlob and
               Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
               Georgia, October 16-19, 2015},
  series    = {EPiC Series in Computing},
  volume    = {36},
  publisher = {EasyChair},
  year      = {2015},
  url       = {http://www.easychair.org/publications/volume/GCAI\_2015},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2015,
  editor    = {Kazuhiro Yokoyama and
               Steve Linton and
               Daniel Robertz},
  title     = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
               and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
               06 - 09, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2755996},
  isbn      = {978-1-4503-3435-8},
  timestamp = {Fri, 26 Jun 2015 15:39:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nbis/2015,
  editor    = {Leonard Barolli and
               Makoto Takizawa and
               Hui{-}Huang Hsu and
               Tomoya Enokido and
               Fatos Xhafa},
  title     = {18th International Conference on Network-Based Information Systems,
               NBis 2015, Taipei, Taiwan, September 2-4, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7349016},
  isbn      = {978-1-4799-9942-2},
  timestamp = {Wed, 04 Jul 2018 16:30:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nbis/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2015,
  editor    = {Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9058},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9},
  doi       = {10.1007/978-3-319-17524-9},
  isbn      = {978-3-319-17523-2},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2015,
  editor    = {Marijn Heule and
               Sean Weaver},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
               International Conference, Austin, TX, USA, September 24-27, 2015,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9340},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24318-4},
  doi       = {10.1007/978-3-319-24318-4},
  isbn      = {978-3-319-24317-7},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/asc/2015-346,
  editor    = {Thouraya Bouabana{-}Tebibel and
               Stuart H. Rubin},
  title     = {Formalisms for Reuse and Systems Integration},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {346},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-16577-6},
  doi       = {10.1007/978-3-319-16577-6},
  isbn      = {978-3-319-16576-9},
  timestamp = {Tue, 16 May 2017 14:24:29 +0200},
  biburl    = {https://dblp.org/rec/bib/series/asc/2015-346},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2014,
  editor    = {Franck Cassez and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8837},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11936-6},
  doi       = {10.1007/978-3-319-11936-6},
  isbn      = {978-3-319-11935-9},
  timestamp = {Fri, 02 Nov 2018 09:35:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2014,
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
               October 21-24, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975680},
  isbn      = {978-0-9835678-4-4},
  timestamp = {Thu, 08 Jan 2015 11:21:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iri/2014,
  editor    = {James Joshi and
               Elisa Bertino and
               Bhavani M. Thuraisingham and
               Ling Liu},
  title     = {Proceedings of the 15th {IEEE} International Conference on Information
               Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
               2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7036233},
  isbn      = {978-1-4799-5880-1},
  timestamp = {Fri, 21 Jul 2017 13:46:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iri/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2014,
  editor    = {Gethin Norman and
               William H. Sanders},
  title     = {Quantitative Evaluation of Systems - 11th International Conference,
               {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8657},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10696-0},
  doi       = {10.1007/978-3-319-10696-0},
  isbn      = {978-3-319-10695-3},
  timestamp = {Fri, 26 May 2017 00:51:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2014,
  editor    = {Marco Bernardo and
               Ferruccio Damiani and
               Reiner H{\"{a}}hnle and
               Einar Broch Johnsen and
               Ina Schaefer},
  title     = {Formal Methods for Executable Software Models - 14th International
               School on Formal Methods for the Design of Computer, Communication,
               and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
               Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {8483},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07317-0},
  doi       = {10.1007/978-3-319-07317-0},
  isbn      = {978-3-319-07316-3},
  timestamp = {Fri, 02 Nov 2018 09:46:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2013,
  editor    = {Maria Paola Bonacina},
  title     = {Automated Deduction - {CADE-24} - 24th International Conference on
               Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7898},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38574-2},
  doi       = {10.1007/978-3-642-38574-2},
  isbn      = {978-3-642-38573-5},
  timestamp = {Sun, 21 May 2017 00:17:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cai/2013,
  editor    = {Traian Muntean and
               Dimitrios Poulakis and
               Robert Rolland},
  title     = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
               Porquerolles, France, September 3-6, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8080},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40663-8},
  doi       = {10.1007/978-3-642-40663-8},
  isbn      = {978-3-642-40662-1},
  timestamp = {Thu, 15 Jun 2017 21:34:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cai/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2013,
  editor    = {Reiko Heckel and
               Stefan Milius},
  title     = {Algebra and Coalgebra in Computer Science - 5th International Conference,
               {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8089},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40206-7},
  doi       = {10.1007/978-3-642-40206-7},
  isbn      = {978-3-642-40205-0},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2013},
  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/ftscs/2013,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05416-2},
  doi       = {10.1007/978-3-319-05416-2},
  isbn      = {978-3-319-05415-5},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2013,
  editor    = {J{\"{o}}rg Henkel},
  title     = {The {IEEE/ACM} International Conference on Computer-Aided Design,
               ICCAD'13, San Jose, CA, USA, November 18-21, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6679730},
  isbn      = {978-1-4799-1069-4},
  timestamp = {Thu, 30 Apr 2015 18:34:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2013,
  editor    = {Christian Haubelt and
               Dirk Timmermann},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
               March 12-14, 2013},
  publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
               Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
               Universit{\"{a}}t Rostock},
  year      = {2013},
  isbn      = {978-3-86009-147-0},
  timestamp = {Mon, 18 Mar 2013 20:33:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nolcos/2013,
  editor    = {Sophie Tarbouriech and
               Miroslav Krstic},
  title     = {9th {IFAC} Symposium on Nonlinear Control Systems, {NOLCOS} 2013,
               Toulouse, France, September 4-6, 2013},
  publisher = {International Federation of Automatic Control},
  year      = {2013},
  url       = {http://www.ifac-papersonline.net/Nonlinear\_Control\_Systems/9th\_IFAC\_Symposium\_on\_Nonlinear\_Control\_Systems\_\_2013/index.html},
  isbn      = {978-3-902823-47-2},
  timestamp = {Mon, 08 Dec 2014 17:34:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nolcos/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2013,
  editor    = {Kaustubh R. Joshi and
               Markus Siegle and
               Mari{\"{e}}lle Stoelinga and
               Pedro R. D'Argenio},
  title     = {Quantitative Evaluation of Systems - 10th International Conference,
               {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8054},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40196-1},
  doi       = {10.1007/978-3-642-40196-1},
  isbn      = {978-3-642-40195-4},
  timestamp = {Fri, 02 Nov 2018 09:48:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2012,
  editor    = {Supratik Chakraborty and
               Madhavan Mukund},
  title     = {Automated Technology for Verification and Analysis - 10th International
               Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7561},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33386-6},
  doi       = {10.1007/978-3-642-33386-6},
  isbn      = {978-3-642-33385-9},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2012,
  editor    = {Corina S. Pasareanu and
               Gwen Sala{\"{u}}n},
  title     = {Formal Aspects of Component Software, 9th International Symposium,
               {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7684},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35861-6},
  doi       = {10.1007/978-3-642-35861-6},
  isbn      = {978-3-642-35860-9},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2012,
  editor    = {Jens Brandt and
               Klaus Schneider},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
               5-7, 2012},
  publisher = {Verlag Dr. Kovac},
  year      = {2012},
  timestamp = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/2012,
  title     = {Proceedings of the 33rd {IEEE} Real-Time Systems Symposium, {RTSS}
               2012, San Juan, PR, USA, December 4-7, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6423701},
  isbn      = {978-1-4673-3098-5},
  timestamp = {Tue, 20 Jan 2015 18:18:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2012,
  editor    = {Alessandro Cimatti and
               Roberto Sebastiani},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
               International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7317},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8},
  doi       = {10.1007/978-3-642-31612-8},
  isbn      = {978-3-642-31611-1},
  timestamp = {Mon, 05 Jun 2017 12:41:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2012,
  editor    = {Cormac Flanagan and
               Barbara K{\"{o}}nig},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7214},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5},
  doi       = {10.1007/978-3-642-28756-5},
  isbn      = {978-3-642-28755-8},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2012,
  editor    = {Francisco Dur{\'{a}}n},
  title     = {Rewriting Logic and Its Applications - 9th International Workshop,
               {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
               March 24-25, 2012, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7571},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34005-5},
  doi       = {10.1007/978-3-642-34005-5},
  isbn      = {978-3-642-34004-8},
  timestamp = {Wed, 14 Nov 2018 10:58:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wrla/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2011,
  editor    = {Tevfik Bultan and
               Pao{-}Ann Hsiung},
  title     = {Automated Technology for Verification and Analysis, 9th International
               Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6996},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24372-1},
  doi       = {10.1007/978-3-642-24372-1},
  isbn      = {978-3-642-24371-4},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cai/2011,
  editor    = {Franz Winkler},
  title     = {Algebraic Informatics - 4th International Conference, {CAI} 2011,
               Linz, Austria, June 21-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6742},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21493-6},
  doi       = {10.1007/978-3-642-21493-6},
  isbn      = {978-3-642-21492-9},
  timestamp = {Fri, 08 Mar 2019 15:12:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2011-1,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Franz Pichler and
               Alexis Quesada{-}Arencibia},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
               Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
               Revised Selected Papers, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6927},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27549-4},
  doi       = {10.1007/978-3-642-27549-4},
  isbn      = {978-3-642-27548-7},
  timestamp = {Thu, 25 May 2017 00:43:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2011-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/2011,
  editor    = {Olaf Owe and
               Martin Steffen and
               Jan Arne Telle},
  title     = {Fundamentals of Computation Theory - 18th International Symposium,
               {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6914},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22953-4},
  doi       = {10.1007/978-3-642-22953-4},
  isbn      = {978-3-642-22952-7},
  timestamp = {Wed, 14 Nov 2018 10:59:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fct/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2011,
  editor    = {Roberto Bruni and
               J{\"{u}}rgen Dingel},
  title     = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
               6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
               6-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6722},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21461-5},
  doi       = {10.1007/978-3-642-21461-5},
  isbn      = {978-3-642-21460-8},
  timestamp = {Fri, 02 Jun 2017 20:47:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icannga/2011-1,
  editor    = {Andrej Dobnikar and
               Uros Lotric and
               Branko Ster},
  title     = {Adaptive and Natural Computing Algorithms - 10th International Conference,
               {ICANNGA} 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings,
               Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6593},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20282-7},
  doi       = {10.1007/978-3-642-20282-7},
  isbn      = {978-3-642-20281-0},
  timestamp = {Wed, 24 May 2017 08:30:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icannga/2011-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kolicalling/2011,
  editor    = {Ari Korhonen and
               Robert McCartney},
  title     = {11th Koli Calling International Conference on Computing Education
               Research, Koli Calling '11, Koli, Finland, November 17-20, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2094131},
  isbn      = {978-1-4503-1052-9},
  timestamp = {Mon, 21 Oct 2013 19:30:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2011,
  editor    = {Frank Oppenheimer},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
               21-23, 2011},
  publisher = {OFFIS-Institut f{\"{u}}r Informatik},
  year      = {2011},
  timestamp = {Wed, 27 Jun 2012 22:40:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2011,
  editor    = {Mihaela Gheorghiu Bobaru and
               Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6617},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5},
  doi       = {10.1007/978-3-642-20398-5},
  isbn      = {978-3-642-20397-8},
  timestamp = {Thu, 25 May 2017 00:40:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2011,
  editor    = {Giorgio Delzanno and
               Igor Potapov},
  title     = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
               Italy, September 28-30, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6945},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24288-5},
  doi       = {10.1007/978-3-642-24288-5},
  isbn      = {978-3-642-24287-8},
  timestamp = {Fri, 26 May 2017 00:49:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2011,
  editor    = {Gilles Barthe and
               Alberto Pardo and
               Gerardo Schneider},
  title     = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7041},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6},
  doi       = {10.1007/978-3-642-24690-6},
  isbn      = {978-3-642-24689-0},
  timestamp = {Sun, 21 May 2017 00:18:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/delfi/2010,
  editor    = {Michael Kerres and
               Nadine Ojstersek and
               Ulrik Schroeder and
               Ulrich Hoppe},
  title     = {DeLFI 2010 - 8. Tagung der Fachgruppe E-Learning der Gesellschaft
               f{\"{u}}r Informatik e.V., 12.-15. September 2010, Universit{\"{a}}t
               Duisburg-Essen},
  series    = {{LNI}},
  volume    = {169},
  publisher = {{GI}},
  year      = {2010},
  url       = {https://dl.gi.de/handle/20.500.12116/4711},
  isbn      = {978-3-88579-263-5},
  timestamp = {Mon, 16 Apr 2018 15:58:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/delfi/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2010,
  editor    = {Manfred Dietrich},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24,
               2010},
  publisher = {Fraunhofer Verlag},
  year      = {2010},
  timestamp = {Thu, 28 Jun 2012 08:20:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2010,
  title     = {{QEST} 2010, Seventh International Conference on the Quantitative
               Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
               2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5599994},
  isbn      = {978-0-7695-4188-4},
  timestamp = {Fri, 08 Aug 2014 15:28:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wodes/2010,
  editor    = {J{\"{o}}rg Raisch and
               Alessandro Giua and
               St{\'{e}}phane Lafortune and
               Thomas Moor},
  title     = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
               Berlin, Germany, August 30 - September 01, 2010},
  publisher = {International Federation of Automatic Control},
  year      = {2010},
  url       = {http://www.ifac-papersonline.net/Discrete\_Event\_Systems/10th\_International\_Workshop\_on\_Discrete\_Event\_Systems\_\_2010\_/index.html},
  isbn      = {978-3-902661-79-1},
  timestamp = {Thu, 27 Nov 2014 17:25:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wodes/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1009-3982,
  editor    = {Peter Csaba {\"{O}}lveczky},
  title     = {Proceedings First International Workshop on Rewriting Techniques for
               Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
               2010},
  series    = {{EPTCS}},
  volume    = {36},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.36},
  doi       = {10.4204/EPTCS.36},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-3982},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10271,
  editor    = {Bernd Becker and
               Luca Cardelli and
               Holger Hermanns and
               Sofi{\`{e}}ne Tahar},
  title     = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {10271},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/portals/10271/},
  timestamp = {Fri, 20 Jan 2017 12:54:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2010P10271},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdpta/2009,
  editor    = {Hamid R. Arabnia},
  title     = {Proceedings of the International Conference on Parallel and Distributed
               Processing Techniques and Applications, {PDPTA} 2009, Las Vegas, Nevada,
               USA, July 13-17, 2009, 2 Volumes},
  publisher = {{CSREA} Press},
  year      = {2009},
  isbn      = {1-60132-123-6},
  timestamp = {Fri, 30 Oct 2009 07:14:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9461,
  editor    = {Bernd Becker and
               V. Bertacoo and
               Rolf Drechsler and
               Masahiro Fujita},
  title     = {Algorithms and Applications for Next Generation {SAT} Solvers, 08.11.
               - 13.11.2009},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {09461},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2009},
  url       = {http://drops.dagstuhl.de/portals/09461/},
  timestamp = {Fri, 20 Jan 2017 12:54:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2009P9461},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ptw/2008,
  editor    = {Michael M. Resch and
               Rainer Keller and
               Valentin Himmler and
               Bettina Krammer and
               Alexander Schulz},
  title     = {Tools for High Performance Computing - Proceedings of the 2nd International
               Workshop on Parallel Tools for High Performance Computing, July 2008,
               HLRS, Stuttgart},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-3-540-68561-6},
  timestamp = {Tue, 10 May 2016 17:54:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ptw/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ddecs/2007,
  editor    = {Patrick Girard and
               Andrzej Krasniewski and
               Elena Gramatov{\'{a}} and
               Adam Pawlak and
               Tomasz Garbolino},
  title     = {Proceedings of the 10th {IEEE} Workshop on Design {\&} Diagnostics
               of Electronic Circuits {\&} Systems {(DDECS} 2007), Krak{\'{o}}w,
               Poland, April 11-13, 2007},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4295238},
  isbn      = {1-4244-1161-0},
  timestamp = {Thu, 20 Aug 2015 15:50:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ddecs/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2006,
  editor    = {Arnold Beckmann and
               Ulrich Berger and
               Benedikt L{\"{o}}we and
               John V. Tucker},
  title     = {Logical Approaches to Computational Barriers, Second Conference on
               Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3988},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11780342},
  doi       = {10.1007/11780342},
  isbn      = {3-540-35466-2},
  timestamp = {Wed, 14 Nov 2018 10:56:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cie/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/fmoods/2006,
  editor    = {Roberto Gorrieri and
               Heike Wehrheim},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
               June 14-16, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4037},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11768869},
  doi       = {10.1007/11768869},
  isbn      = {3-540-34893-X},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2006,
  editor    = {Bernd Straube and
               Martin Freibothe},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
               2006},
  publisher = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year      = {2006},
  timestamp = {Thu, 28 Jun 2012 09:12:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2005,
  editor    = {Radhia Cousot},
  title     = {Verification, Model Checking, and Abstract Interpretation, 6th International
               Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3385},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b105073},
  doi       = {10.1007/b105073},
  isbn      = {3-540-24297-X},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2004,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, Third International Symposium,
               {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {3657},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11561163},
  doi       = {10.1007/11561163},
  isbn      = {3-540-29131-8},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2004,
  editor    = {Zhiming Liu and
               Keijiro Araki},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
               Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3407},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107116},
  doi       = {10.1007/b107116},
  isbn      = {3-540-25304-1},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2003manna,
  editor    = {Nachum Dershowitz},
  title     = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
               on the Occasion of His 64th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {2772},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b12001},
  doi       = {10.1007/b12001},
  isbn      = {3-540-21002-4},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2003manna},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2003,
  editor    = {Elie Najm and
               Uwe Nestmann and
               Perdita Stevens},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
               19.21, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2884},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94120},
  doi       = {10.1007/b94120},
  isbn      = {3-540-20491-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2002,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, First International Symposium,
               {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {2852},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b14033},
  doi       = {10.1007/b14033},
  isbn      = {3-540-20303-6},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2002,
  editor    = {Mogens Nielsen and
               Uffe Engberg},
  title     = {Foundations of Software Science and Computation Structures, 5th International
               Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
               April 8-12, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2303},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45931-6},
  doi       = {10.1007/3-540-45931-6},
  isbn      = {3-540-43366-X},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2001,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Bruno Buchberger and
               Jos{\'{e}} Luis Freire},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
               Canaria, Spain, February 19-23, 2001, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2178},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45654-6},
  doi       = {10.1007/3-540-45654-6},
  isbn      = {3-540-42959-X},
  timestamp = {Fri, 26 May 2017 14:09:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2001,
  title     = {7th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7409},
  isbn      = {0-7695-1159-7},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2000,
  editor    = {Catuscia Palamidessi},
  title     = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
               University Park, PA, USA, August 22-25, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1877},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44618-4},
  doi       = {10.1007/3-540-44618-4},
  isbn      = {3-540-67897-2},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fbt/2000,
  editor    = {Jens Grabowski and
               Stefan Heymer},
  title     = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
               GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
  publisher = {Verlag Shaker},
  year      = {2000},
  isbn      = {3-8265-7491-5},
  timestamp = {Thu, 27 Mar 2003 09:47:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fbt/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics