BibTeX records: Martin Leucker

download as .bib file

@article{DBLP:journals/mscs/LeuckerPRV19,
  author    = {Martin Leucker and
               Jorge A. P{\'{e}}rez and
               Camilo Rueda and
               Frank D. Valencia},
  title     = {Preface to special issue: {ICTAC} 2015},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {29},
  number    = {1},
  pages     = {1--2},
  year      = {2019},
  url       = {https://doi.org/10.1017/S0960129518000130},
  doi       = {10.1017/S0960129518000130},
  timestamp = {Wed, 19 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/LeuckerPRV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DeckerDGHLLSWW18,
  author    = {Normann Decker and
               Boris Dreyer and
               Philip Gottschling and
               Christian Hochberger and
               Alexander Lange and
               Martin Leucker and
               Torben Scheffel and
               Simon Wegener and
               Alexander Weiss},
  title     = {Online analysis of debug trace data for embedded systems},
  booktitle = {2018 Design, Automation {\&} Test in Europe Conference {\&}
               Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
  pages     = {851--856},
  year      = {2018},
  crossref  = {DBLP:conf/date/2018},
  url       = {https://doi.org/10.23919/DATE.2018.8342124},
  doi       = {10.23919/DATE.2018.8342124},
  timestamp = {Tue, 24 Apr 2018 20:36:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/DeckerDGHLLSWW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SanchezSL18,
  author    = {C{\'{e}}sar S{\'{a}}nchez and
               Gerardo Schneider and
               Martin Leucker},
  title     = {Reliable Smart Contracts: State-of-the-Art, Applications, Challenges
               and Future Directions},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
               Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
  pages     = {275--279},
  year      = {2018},
  crossref  = {DBLP:conf/isola/2018-4},
  url       = {https://doi.org/10.1007/978-3-030-03427-6\_21},
  doi       = {10.1007/978-3-030-03427-6\_21},
  timestamp = {Tue, 30 Oct 2018 11:27:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/SanchezSL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboFLRSSS18,
  author    = {Christian Colombo and
               Yli{\`{e}}s Falcone and
               Martin Leucker and
               Giles Reger and
               C{\'{e}}sar S{\'{a}}nchez and
               Gerardo Schneider and
               Volker Stolz},
  title     = {{COST} Action {IC1402} Runtime Verification Beyond Monitoring},
  booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
               Cyprus, November 10-13, 2018, Proceedings},
  pages     = {18--26},
  year      = {2018},
  crossref  = {DBLP:conf/rv/2018},
  url       = {https://doi.org/10.1007/978-3-030-03769-7\_2},
  doi       = {10.1007/978-3-030-03769-7\_2},
  timestamp = {Thu, 15 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rv/ColomboFLRSSS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeuckerSS0S18,
  author    = {Martin Leucker and
               C{\'{e}}sar S{\'{a}}nchez and
               Torben Scheffel and
               Malte Schmitz and
               Alexander Schramm},
  title     = {TeSSLa: runtime verification of non-synchronized real-time streams},
  booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
               {SAC} 2018, Pau, France, April 09-13, 2018},
  pages     = {1925--1933},
  year      = {2018},
  crossref  = {DBLP:conf/sac/2018},
  url       = {https://doi.org/10.1145/3167132.3167338},
  doi       = {10.1145/3167132.3167338},
  timestamp = {Wed, 21 Nov 2018 12:43:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/LeuckerSS0S18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ConventHLS0T18,
  author    = {Lukas Convent and
               Sebastian Hungerecker and
               Martin Leucker and
               Torben Scheffel and
               Malte Schmitz and
               Daniel Thoma},
  title     = {TeSSLa: Temporal Stream-Based Specification Language},
  booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
               {SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
  pages     = {144--162},
  year      = {2018},
  crossref  = {DBLP:conf/sbmf/2018},
  url       = {https://doi.org/10.1007/978-3-030-03044-5\_10},
  doi       = {10.1007/978-3-030-03044-5\_10},
  timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sbmf/ConventHLS0T18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2018,
  editor    = {Christian Colombo and
               Martin Leucker},
  title     = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
               Cyprus, November 10-13, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11237},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03769-7},
  doi       = {10.1007/978-3-030-03769-7},
  isbn      = {978-3-030-03768-0},
  timestamp = {Fri, 09 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-10717,
  author    = {Lukas Convent and
               Sebastian Hungerecker and
               Martin Leucker and
               Torben Scheffel and
               Malte Schmitz and
               Daniel Thoma},
  title     = {TeSSLa: Temporal Stream-based Specification Language},
  journal   = {CoRR},
  volume    = {abs/1808.10717},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.10717},
  archivePrefix = {arXiv},
  eprint    = {1808.10717},
  timestamp = {Mon, 03 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1808-10717},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/FahnrichKDLLKM17,
  author    = {Anke F{\"{a}}hnrich and
               Moritz Krebbel and
               Normann Decker and
               Martin Leucker and
               Felix D. Lange and
               Kathrin Kalies and
               Steffen M{\"{o}}ller},
  title     = {ClonoCalc and ClonoPlot: immune repertoire analysis from raw files
               to publication figures with graphical user interface},
  journal   = {{BMC} Bioinformatics},
  volume    = {18},
  number    = {1},
  pages     = {164:1--164:6},
  year      = {2017},
  url       = {https://doi.org/10.1186/s12859-017-1575-2},
  doi       = {10.1186/s12859-017-1575-2},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bmcbi/FahnrichKDLLKM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DeckerHLST17,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Arnaud Sangnier and
               Daniel Thoma},
  title     = {Model-Checking Counting Temporal Logics on Flat Structures},
  booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
               September 5-8, 2017, Berlin, Germany},
  pages     = {29:1--29:17},
  year      = {2017},
  crossref  = {DBLP:conf/concur/2017},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.29},
  doi       = {10.4230/LIPIcs.CONCUR.2017.29},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/DeckerHLST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/JaksicLLS17,
  author    = {Svetlana Jaksic and
               Martin Leucker and
               Dan Li and
               Volker Stolz},
  title     = {{COEMS} - open traces from the industry},
  booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
               Benchmarks, Evaluation, and Standardisation for Runtime Verification
               Tools, September 15, 2017, Seattle, WA, {USA}},
  pages     = {96--105},
  year      = {2017},
  crossref  = {DBLP:conf/rv/2017cubes},
  url       = {http://www.easychair.org/publications/paper/QljX},
  timestamp = {Tue, 16 Jan 2018 18:09:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rv/JaksicLLS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DeckerGHLS0W17,
  author    = {Normann Decker and
               Philip Gottschling and
               Christian Hochberger and
               Martin Leucker and
               Torben Scheffel and
               Malte Schmitz and
               Alexander Weiss},
  title     = {Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core
               Systems},
  booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
               {SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
  pages     = {179--196},
  year      = {2017},
  crossref  = {DBLP:conf/sbmf/2017},
  url       = {https://doi.org/10.1007/978-3-319-70848-5\_12},
  doi       = {10.1007/978-3-319-70848-5\_12},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbmf/DeckerGHLS0W17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeckerHLST17,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Arnaud Sangnier and
               Daniel Thoma},
  title     = {Model-checking Counting Temporal Logics on Flat Structures},
  journal   = {CoRR},
  volume    = {abs/1706.08608},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.08608},
  archivePrefix = {arXiv},
  eprint    = {1706.08608},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DeckerHLST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HavelundLRS17,
  author    = {Klaus Havelund and
               Martin Leucker and
               Giles Reger and
               Volker Stolz},
  title     = {A Shared Challenge in Behavioural Specification (Dagstuhl Seminar
               17462)},
  journal   = {Dagstuhl Reports},
  volume    = {7},
  number    = {11},
  pages     = {59--85},
  year      = {2017},
  url       = {https://doi.org/10.4230/DagRep.7.11.59},
  doi       = {10.4230/DagRep.7.11.59},
  timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/HavelundLRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DeckerLT16,
  author    = {Normann Decker and
               Martin Leucker and
               Daniel Thoma},
  title     = {Monitoring modulo theories},
  journal   = {{STTT}},
  volume    = {18},
  number    = {2},
  pages     = {205--225},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10009-015-0380-3},
  doi       = {10.1007/s10009-015-0380-3},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/DeckerLT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Leucker0T16,
  author    = {Martin Leucker and
               Malte Schmitz and
               Danilo {\`{a}} Tellinghusen},
  title     = {Runtime Verification for Interconnected Medical Devices},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Discussion, Dissemination, Applications - 7th International Symposium,
               ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
               Part {II}},
  pages     = {380--387},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-47169-3\_29},
  doi       = {10.1007/978-3-319-47169-3\_29},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/Leucker0T16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Leucker16,
  author    = {Martin Leucker},
  title     = {On Combinations of Static and Dynamic Analysis - Panel Introduction},
  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     = {515--516},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_35},
  doi       = {10.1007/978-3-319-47166-2\_35},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/Leucker16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/CordyHLSDL16,
  author    = {Maxime Cordy and
               Patrick Heymans and
               Axel Legay and
               Pierre{-}Yves Schobbens and
               Bruno Dawagne and
               Martin Leucker},
  title     = {Counterexample guided abstraction refinement of product-line behavioural
               models},
  booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
               23.-26. Februar 2016, Wien, {\"{O}}sterreich},
  pages     = {79--80},
  year      = {2016},
  crossref  = {DBLP:conf/se/2016},
  url       = {https://dl.gi.de/20.500.12116/732},
  timestamp = {Mon, 16 Apr 2018 15:58:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/se/CordyHLSDL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/Leucker16,
  author    = {Martin Leucker},
  title     = {Runtime Verification for Linear-Time Temporal Logic},
  booktitle = {Engineering Trustworthy Software Systems - Second International School,
               {SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial
               Lectures},
  pages     = {151--194},
  year      = {2016},
  crossref  = {DBLP:conf/setss/2016},
  url       = {https://doi.org/10.1007/978-3-319-56841-6\_5},
  doi       = {10.1007/978-3-319-56841-6\_5},
  timestamp = {Wed, 14 Nov 2018 10:57:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/setss/Leucker16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LeuckerSS15,
  author    = {Martin Leucker and
               Martin Sachenbacher and
               Ren{\'{e}} Sch{\"{o}}nfelder},
  title     = {Workshop Energieinformatik},
  booktitle = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
               2015, Informatik, Energie und Umwelt, 28. September - 2. Oktober 2015
               in Cottbus, Deutschland},
  pages     = {37--38},
  year      = {2015},
  crossref  = {DBLP:conf/gi/2015},
  timestamp = {Mon, 16 Apr 2018 15:58:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gi/LeuckerSS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LeuckerMN15,
  author    = {Martin Leucker and
               Grigory Markin and
               Martin R. Neuh{\"{a}}u{\ss}er},
  title     = {A New Refinement Strategy for CEGAR-Based Industrial Model Checking},
  booktitle = {Hardware and Software: Verification and Testing - 11th International
               Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
               17-19, 2015, Proceedings},
  pages     = {155--170},
  year      = {2015},
  crossref  = {DBLP:conf/hvc/2015},
  url       = {https://doi.org/10.1007/978-3-319-26287-1\_10},
  doi       = {10.1007/978-3-319-26287-1\_10},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/LeuckerMN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchonfelderL15,
  author    = {Ren{\'{e}} Sch{\"{o}}nfelder and
               Martin Leucker},
  title     = {Abstract Routing Models and Abstractions in the Context of Vehicle
               Routing},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {2639--2645},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/Abstract/15/374},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/SchonfelderL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/risk/MildnerJDMLR15,
  author    = {Alexander Mildner and
               Armin Jan{\ss} and
               Jasmin Dell'Anna{-}Pudlik and
               Paul Merz and
               Martin Leucker and
               Klaus Radermacher},
  title     = {Development of Device-and Service-Profiles for a Safe and Secure Interconnection
               of Medical Devices in the Integrated Open {OR}},
  booktitle = {Risk Assessment and Risk-Driven Testing - Third International Workshop,
               {RISK} 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers},
  pages     = {65--74},
  year      = {2015},
  crossref  = {DBLP:conf/risk/2015},
  url       = {https://doi.org/10.1007/978-3-319-26416-5\_5},
  doi       = {10.1007/978-3-319-26416-5\_5},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/risk/MildnerJDMLR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/LeuckerS15,
  author    = {Martin Leucker and
               Malte Schmitz},
  title     = {Secured {SOA} for the Safe Interconnection of Medical Devices (Position
               Paper)},
  booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
               2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015.},
  pages     = {11--14},
  year      = {2015},
  crossref  = {DBLP:conf/se/2015w},
  url       = {http://ceur-ws.org/Vol-1337/paper3.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/se/LeuckerS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Busshaus0KLMS15,
  author    = {Timm B. Bu{\ss}haus and
               Stefan Fischer and
               Franziska K{\"{u}}hn and
               Martin Leucker and
               Alexander Mildner and
               Malte Schmitz},
  title     = {Vom Forschungsprototypen zur industriellen Nutzung einer qualit{\"{a}}tsgesicherten
               medizinischen Softwarekomponente - Technologietransfer im {CMSSE}},
  booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
               GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
               (WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
               Dresden, Germany},
  pages     = {243--248},
  year      = {2015},
  crossref  = {DBLP:conf/se/2015},
  url       = {https://dl.gi.de/20.500.12116/2559},
  timestamp = {Mon, 16 Apr 2018 15:58:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/se/Busshaus0KLMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2015,
  editor    = {Martin Leucker and
               Camilo Rueda and
               Frank D. Valencia},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
               Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9399},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25150-9},
  doi       = {10.1007/978-3-319-25150-9},
  isbn      = {978-3-319-25149-3},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ArthoJLN15,
  author    = {Cyrille Artho and
               Einar Broch Johnsen and
               Martin Leucker and
               Keiko Nakata},
  title     = {Static analysis meets runtime verification {(NII} Shonan Meeting 2015-5)},
  journal   = {{NII} Shonan Meet. Rep.},
  volume    = {2015},
  year      = {2015},
  url       = {http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2015-5.pdf},
  timestamp = {Mon, 26 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/shonan-reports/ArthoJLN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MoszkowskiGL14,
  author    = {Ben C. Moszkowski and
               Dimitar P. Guelev and
               Martin Leucker},
  title     = {Guest editors' preface to special issue on interval temporal logics},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {71},
  number    = {1-3},
  pages     = {1--9},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10472-014-9417-7},
  doi       = {10.1007/s10472-014-9417-7},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amai/MoszkowskiGL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BolligHLM14,
  author    = {Benedikt Bollig and
               Peter Habermehl and
               Martin Leucker and
               Benjamin Monmege},
  title     = {A Robust Class of Data Languages and an Application to Learning},
  journal   = {Logical Methods in Computer Science},
  volume    = {10},
  number    = {4},
  year      = {2014},
  url       = {https://doi.org/10.2168/LMCS-10(4:19)2014},
  doi       = {10.2168/LMCS-10(4:19)2014},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BolligHLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DiekertL14,
  author    = {Volker Diekert and
               Martin Leucker},
  title     = {Topology, monitorable properties and runtime verification},
  journal   = {Theor. Comput. Sci.},
  volume    = {537},
  pages     = {29--41},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.tcs.2014.02.052},
  doi       = {10.1016/j.tcs.2014.02.052},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/DiekertL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeckerHLT14,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Daniel Thoma},
  title     = {Learning Transparent Data Automata},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
               Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
               Proceedings},
  pages     = {130--149},
  year      = {2014},
  crossref  = {DBLP:conf/apn/2014},
  url       = {https://doi.org/10.1007/978-3-319-07734-5\_8},
  doi       = {10.1007/978-3-319-07734-5\_8},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/DeckerHLT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DeckerHLT14,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Daniel Thoma},
  title     = {Ordered Navigation on Multi-attributed Data Words},
  booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  pages     = {497--511},
  year      = {2014},
  crossref  = {DBLP:conf/concur/2014},
  url       = {https://doi.org/10.1007/978-3-662-44584-6\_34},
  doi       = {10.1007/978-3-662-44584-6\_34},
  timestamp = {Tue, 23 May 2017 01:11:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/DeckerHLT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iov/SchonfelderLW14,
  author    = {Ren{\'{e}} Sch{\"{o}}nfelder and
               Martin Leucker and
               Sebastian Walther},
  title     = {Efficient Profile Routing for Electric Vehicles},
  booktitle = {Internet of Vehicles - Technologies and Services - First International
               Conference, IOV, Beijing, China, September 1-3, 2014. Proceedings},
  pages     = {21--30},
  year      = {2014},
  crossref  = {DBLP:conf/iov/2014},
  url       = {https://doi.org/10.1007/978-3-319-11167-4\_3},
  doi       = {10.1007/978-3-319-11167-4\_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iov/SchonfelderLW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Leucker14,
  author    = {Martin Leucker},
  title     = {Challenges for the Dynamic Interconnection of Medical Devices},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Specialized Techniques and Applications - 6th International Symposium,
               ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
               Part {II}},
  pages     = {387--390},
  year      = {2014},
  crossref  = {DBLP:conf/isola/2014-2},
  url       = {https://doi.org/10.1007/978-3-662-45231-8\_29},
  doi       = {10.1007/978-3-662-45231-8\_29},
  timestamp = {Wed, 14 Nov 2018 10:51:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/Leucker14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcps/KuhnLM14,
  author    = {Franziska K{\"{u}}hn and
               Martin Leucker and
               Alexander Mildner},
  title     = {{OR.NET} - Approaches for Risk Analysis and Measures of Dynamically
               Interconnected Medical Devices},
  booktitle = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
               Germany, April 14, 2014},
  pages     = {133--136},
  year      = {2014},
  crossref  = {DBLP:conf/mcps/2014},
  url       = {https://doi.org/10.4230/OASIcs.MCPS.2014.133},
  doi       = {10.4230/OASIcs.MCPS.2014.133},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mcps/KuhnLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CordyHLSDL14,
  author    = {Maxime Cordy and
               Patrick Heymans and
               Axel Legay and
               Pierre{-}Yves Schobbens and
               Bruno Dawagne and
               Martin Leucker},
  title     = {Counterexample guided abstraction refinement of product-line behavioural
               models},
  booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
               16 - 22, 2014},
  pages     = {190--201},
  year      = {2014},
  crossref  = {DBLP:conf/sigsoft/2014},
  url       = {https://doi.org/10.1145/2635868.2635919},
  doi       = {10.1145/2635868.2635919},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/CordyHLSDL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DeckerLT14,
  author    = {Normann Decker and
               Martin Leucker and
               Daniel Thoma},
  title     = {Monitoring Modulo Theories},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  pages     = {341--356},
  year      = {2014},
  crossref  = {DBLP:conf/tacas/2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8\_23},
  doi       = {10.1007/978-3-642-54862-8\_23},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/DeckerLT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeckerHLT14,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Daniel Thoma},
  title     = {Ordered Navigation on Multi-attributed Data Words},
  journal   = {CoRR},
  volume    = {abs/1404.6064},
  year      = {2014},
  url       = {http://arxiv.org/abs/1404.6064},
  archivePrefix = {arXiv},
  eprint    = {1404.6064},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DeckerHLT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/BackaschHWLL13,
  author    = {Rico Backasch and
               Christian Hochberger and
               Alexander Weiss and
               Martin Leucker and
               Richard Lasslop},
  title     = {Runtime verification for multicore SoC with high-quality trace data},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {18},
  number    = {2},
  pages     = {18:1--18:26},
  year      = {2013},
  url       = {https://doi.org/10.1145/2442087.2442089},
  doi       = {10.1145/2442087.2442089},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/todaes/BackaschHWLL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BolligHLM13,
  author    = {Benedikt Bollig and
               Peter Habermehl and
               Martin Leucker and
               Benjamin Monmege},
  title     = {A Fresh Approach to Learning Register Automata},
  booktitle = {Developments in Language Theory - 17th International Conference, {DLT}
               2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
  pages     = {118--130},
  year      = {2013},
  crossref  = {DBLP:conf/dlt/2013},
  url       = {https://doi.org/10.1007/978-3-642-38771-5\_12},
  doi       = {10.1007/978-3-642-38771-5\_12},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlt/BolligHLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/KuhnL13,
  author    = {Franziska K{\"{u}}hn and
               Martin Leucker},
  title     = {{OR.NET:} Safe Interconnection of Medical Devices - (Position Paper)},
  booktitle = {Foundations of Health Information Engineering and Systems - Third
               International Symposium, {FHIES} 2013, Macau, China, August 21-23,
               2013. Revised Selected Papers},
  pages     = {188--198},
  year      = {2013},
  crossref  = {DBLP:conf/fhies/2013},
  url       = {https://doi.org/10.1007/978-3-642-53956-5\_13},
  doi       = {10.1007/978-3-642-53956-5\_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fhies/KuhnL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DeckerLT13,
  author    = {Normann Decker and
               Martin Leucker and
               Daniel Thoma},
  title     = {jUnit\({}^{\mbox{RV}}\)-Adding Runtime Verification to jUnit},
  booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
               Field, CA, USA, May 14-16, 2013. Proceedings},
  pages     = {459--464},
  year      = {2013},
  crossref  = {DBLP:conf/nfm/2013},
  url       = {https://doi.org/10.1007/978-3-642-38088-4\_34},
  doi       = {10.1007/978-3-642-38088-4\_34},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/DeckerLT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DeckerLT13,
  author    = {Normann Decker and
               Martin Leucker and
               Daniel Thoma},
  title     = {Impartiality and Anticipation for Monitoring of Visibly Context-Free
               Properties},
  booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  pages     = {183--200},
  year      = {2013},
  crossref  = {DBLP:conf/rv/2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1\_11},
  doi       = {10.1007/978-3-642-40787-1\_11},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/DeckerLT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sesena/FischerL13,
  author    = {Stefan Fischer and
               Martin Leucker},
  title     = {Runtime verification and reflection for wireless sensor networks},
  booktitle = {4th International Workshop on Software Engineering for Sensor Network
               Applications, {SESENA} 2013, San Francisco, CA, USA, May 21, 2013},
  pages     = {35--36},
  year      = {2013},
  crossref  = {DBLP:conf/sesena/2013},
  url       = {https://doi.org/10.1109/SESENA.2013.6612263},
  doi       = {10.1109/SESENA.2013.6612263},
  timestamp = {Sun, 03 Dec 2017 00:17:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sesena/FischerL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/DongZSL12,
  author    = {Wei Dong and
               Changzhi Zhao and
               Shaoxian Shu and
               Martin Leucker},
  title     = {Anticipatory active monitoring for safety- and security-critical software},
  journal   = {{SCIENCE} {CHINA} Information Sciences},
  volume    = {55},
  number    = {12},
  pages     = {2723--2737},
  year      = {2012},
  url       = {https://doi.org/10.1007/s11432-012-4739-8},
  doi       = {10.1007/s11432-012-4739-8},
  timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/chinaf/DongZSL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KatoenKLW12,
  author    = {Joost{-}Pieter Katoen and
               Daniel Klink and
               Martin Leucker and
               Verena Wolf},
  title     = {Three-valued abstraction for probabilistic systems},
  journal   = {J. Log. Algebr. Program.},
  volume    = {81},
  number    = {4},
  pages     = {356--389},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jlap.2012.03.007},
  doi       = {10.1016/j.jlap.2012.03.007},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/KatoenKLW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchaeferLL12,
  author    = {Ina Schaefer and
               Malte Lochau and
               Martin Leucker},
  title     = {Approaches for Mastering Change},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 5th International Symposium, ISoLA
               2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
               Part {I}},
  pages     = {127--130},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_10},
  doi       = {10.1007/978-3-642-34026-0\_10},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/SchaeferLL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LeuckerT12,
  author    = {Martin Leucker and
               Daniel Thoma},
  title     = {A Formal Approach to Software Product Families},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 5th International Symposium, ISoLA
               2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
               Part {I}},
  pages     = {131--145},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_11},
  doi       = {10.1007/978-3-642-34026-0\_11},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/LeuckerT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LeuckerN12,
  author    = {Martin Leucker and
               Daniel Neider},
  title     = {Learning Minimal Deterministic Automata from Inexperienced Teachers},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 5th International Symposium, ISoLA
               2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
               Part {I}},
  pages     = {524--538},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_39},
  doi       = {10.1007/978-3-642-34026-0\_39},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/LeuckerN12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ZhangLD12,
  author    = {Xian Zhang and
               Martin Leucker and
               Wei Dong},
  title     = {Runtime Verification with Predictive Semantics},
  booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  pages     = {418--432},
  year      = {2012},
  crossref  = {DBLP:conf/nfm/2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3\_37},
  doi       = {10.1007/978-3-642-28891-3\_37},
  timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/ZhangLD12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Leucker12,
  author    = {Martin Leucker},
  title     = {Sliding between Model Checking and Runtime Verification},
  booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
               Turkey, September 25-28, 2012, Revised Selected Papers},
  pages     = {82--87},
  year      = {2012},
  crossref  = {DBLP:conf/rv/2012},
  url       = {https://doi.org/10.1007/978-3-642-35632-2\_10},
  doi       = {10.1007/978-3-642-35632-2\_10},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/Leucker12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BolligDL12,
  author    = {Benedikt Bollig and
               Normann Decker and
               Martin Leucker},
  title     = {Frequency Linear-time Temporal Logic},
  booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2012, 4-6 July 2012, Beijing, China},
  pages     = {85--92},
  year      = {2012},
  crossref  = {DBLP:conf/tase/2012},
  url       = {https://doi.org/10.1109/TASE.2012.43},
  doi       = {10.1109/TASE.2012.43},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tase/BolligDL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EsparzaLS11,
  author    = {Javier Esparza and
               Martin Leucker and
               Maximilian Schlund},
  title     = {Learning Workflow Petri Nets},
  journal   = {Fundam. Inform.},
  volume    = {113},
  number    = {3-4},
  pages     = {205--228},
  year      = {2011},
  url       = {https://doi.org/10.3233/FI-2011-607},
  doi       = {10.3233/FI-2011-607},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/EsparzaLS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BauerLS11,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {Runtime Verification for {LTL} and {TLTL}},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {20},
  number    = {4},
  pages     = {14:1--14:64},
  year      = {2011},
  url       = {https://doi.org/10.1145/2000799.2000800},
  doi       = {10.1145/2000799.2000800},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosem/BauerLS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SachenbacherLAH11,
  author    = {Martin Sachenbacher and
               Martin Leucker and
               Andreas Artmeier and
               Julian Haselmayr},
  title     = {Efficient Energy-Optimal Routing for Electric Vehicles},
  booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/aaai/2011},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3735},
  timestamp = {Tue, 09 Aug 2011 07:56:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/SachenbacherLAH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/ZhangLD11,
  author    = {Xian Zhang and
               Martin Leucker and
               Wei Dong},
  title     = {An event pattern language for runtime monitoring based on {AOP}},
  booktitle = {6th International Conference for Internet Technology and Secured Transactions,
               {ICITST} 2011, Abu Dhabi, UAE, December 11-14, 2011},
  pages     = {744--751},
  year      = {2011},
  crossref  = {DBLP:conf/icitst/2011},
  url       = {http://ieeexplore.ieee.org/document/6148431/},
  timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icitst/ZhangLD11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BauerL11,
  author    = {Andreas Bauer and
               Martin Leucker},
  title     = {The Theory and Practice of {SALT}},
  booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  pages     = {13--40},
  year      = {2011},
  crossref  = {DBLP:conf/nfm/2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5\_3},
  doi       = {10.1007/978-3-642-20398-5\_3},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/BauerL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Leucker11,
  author    = {Martin Leucker},
  title     = {Teaching Runtime Verification},
  booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
               San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
  pages     = {34--48},
  year      = {2011},
  crossref  = {DBLP:conf/rv/2011},
  url       = {https://doi.org/10.1007/978-3-642-29860-8\_4},
  doi       = {10.1007/978-3-642-29860-8\_4},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/Leucker11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BenavidesLBRVW11,
  author    = {David Benavides and
               Martin Leucker and
               Martin Becker and
               Rick Rabiser and
               Karina Villela and
               Peter Y. H. Wong},
  title     = {Formal Methods and Analysis in Software Product Line Engineering {(FMSPLE}
               2011)},
  booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
               Munich, Germany, August 22-26, 2011},
  pages     = {336},
  year      = {2011},
  crossref  = {DBLP:conf/splc/2011},
  url       = {https://doi.org/10.1109/SPLC.2011.39},
  doi       = {10.1109/SPLC.2011.39},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/splc/BenavidesLBRVW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZhaoDLQ11,
  author    = {Changzhi Zhao and
               Wei Dong and
               Martin Leucker and
               Zhichang Qi},
  title     = {Security Goals Assurance Based on Software Active Monitoring},
  booktitle = {Fifth International Conference on Secure Software Integration and
               Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
               Korea},
  pages     = {70--79},
  year      = {2011},
  crossref  = {DBLP:conf/ssiri/2011},
  url       = {https://doi.org/10.1109/SSIRI.2011.34},
  doi       = {10.1109/SSIRI.2011.34},
  timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ssiri/ZhaoDLQ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2011,
  editor    = {Carlo Combi and
               Martin Leucker and
               Frank Wolter},
  title     = {Eighteenth International Symposium on Temporal Representation and
               Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
               2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6063703},
  isbn      = {978-1-4577-1242-5},
  timestamp = {Wed, 07 Jan 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BolligKKL10,
  author    = {Benedikt Bollig and
               Joost{-}Pieter Katoen and
               Carsten Kern and
               Martin Leucker},
  title     = {{SMA} - The Smyle Modeling Approach},
  journal   = {Computing and Informatics},
  volume    = {29},
  number    = {1},
  pages     = {45--72},
  year      = {2010},
  url       = {http://www.sav.sk/index.php?lang=en\&\#38;charset=ascii\&\#38;doc=journal\&\#38;part=list\_articles\&\#38;journal\_issue\_no=11112330\#abstract\_5721},
  timestamp = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cai/BolligKKL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BauerLS10,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {Comparing {LTL} Semantics for Runtime Verification},
  journal   = {J. Log. Comput.},
  volume    = {20},
  number    = {3},
  pages     = {651--674},
  year      = {2010},
  url       = {https://doi.org/10.1093/logcom/exn075},
  doi       = {10.1093/logcom/exn075},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/BauerLS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BauerLST10,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart and
               Michael Tautschnig},
  title     = {Don't care in {SMT:} building flexible yet efficient abstraction/refinement
               solvers},
  journal   = {{STTT}},
  volume    = {12},
  number    = {1},
  pages     = {23--37},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10009-009-0133-2},
  doi       = {10.1007/s10009-009-0133-2},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BauerLST10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GrinchteinJL10,
  author    = {Olga Grinchtein and
               Bengt Jonsson and
               Martin Leucker},
  title     = {Learning of event-recording automata},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {47},
  pages     = {4029--4054},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.tcs.2010.07.008},
  doi       = {10.1016/j.tcs.2010.07.008},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/GrinchteinJL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BolligKKL10,
  author    = {Benedikt Bollig and
               Joost{-}Pieter Katoen and
               Carsten Kern and
               Martin Leucker},
  title     = {Learning Communicating Automata from MSCs},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {36},
  number    = {3},
  pages     = {390--408},
  year      = {2010},
  url       = {https://doi.org/10.1109/TSE.2009.89},
  doi       = {10.1109/TSE.2009.89},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tse/BolligKKL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaLS10,
  author    = {Javier Esparza and
               Martin Leucker and
               Maximilian Schlund},
  title     = {Learning Workflow Petri Nets},
  booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
               {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
  pages     = {206--225},
  year      = {2010},
  crossref  = {DBLP:conf/apn/2010},
  url       = {https://doi.org/10.1007/978-3-642-13675-7\_13},
  doi       = {10.1007/978-3-642-13675-7\_13},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/EsparzaLS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BolligKKLNP10,
  author    = {Benedikt Bollig and
               Joost{-}Pieter Katoen and
               Carsten Kern and
               Martin Leucker and
               Daniel Neider and
               David R. Piegdon},
  title     = {libalf: The Automata Learning Framework},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {360--364},
  year      = {2010},
  crossref  = {DBLP:conf/cav/2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6\_32},
  doi       = {10.1007/978-3-642-14295-6\_32},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BolligKKLNP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/ArtmeierHLS10,
  author    = {Andreas Artmeier and
               Julian Haselmayr and
               Martin Leucker and
               Martin Sachenbacher},
  title     = {The Shortest Path Problem Revisited: Optimal Routing for Electric
               Vehicles},
  booktitle = {{KI} 2010: Advances in Artificial Intelligence, 33rd Annual German
               Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings},
  pages     = {309--316},
  year      = {2010},
  crossref  = {DBLP:conf/ki/2010},
  url       = {https://doi.org/10.1007/978-3-642-16111-7\_35},
  doi       = {10.1007/978-3-642-16111-7\_35},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/ArtmeierHLS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LeuckerS10,
  author    = {Martin Leucker and
               C{\'{e}}sar S{\'{a}}nchez},
  title     = {Regular Linear-Time Temporal Logic},
  booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
               and Reasoning, Paris, France, 6-8 September 2010},
  pages     = {3--5},
  year      = {2010},
  crossref  = {DBLP:conf/time/2010},
  url       = {https://doi.org/10.1109/TIME.2010.29},
  doi       = {10.1109/TIME.2010.29},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/time/LeuckerS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SanchezL10,
  author    = {C{\'{e}}sar S{\'{a}}nchez and
               Martin Leucker},
  title     = {Regular Linear Temporal Logic with Past},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
               Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
  pages     = {295--311},
  year      = {2010},
  crossref  = {DBLP:conf/vmcai/2010},
  url       = {https://doi.org/10.1007/978-3-642-11319-2\_22},
  doi       = {10.1007/978-3-642-11319-2\_22},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/SanchezL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10451,
  editor    = {Klaus Havelund and
               Martin Leucker and
               Martin Sachenbacher and
               Oleg Sokolsky and
               Brian C. Williams},
  title     = {Runtime Verification, Diagnosis, Planning and Control for Autonomous
               Systems, 07.11. - 12.11.2010},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {10451},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/portals/10451/},
  timestamp = {Thu, 09 Apr 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2010P10451},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HavelundLSSW10,
  author    = {Klaus Havelund and
               Martin Leucker and
               Martin Sachenbacher and
               Oleg Sokolsky and
               Brian C. Williams},
  title     = {10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning
               and Control for Autonomous Systems},
  booktitle = {Runtime Verification, Diagnosis, Planning and Control for Autonomous
               Systems, 07.11. - 12.11.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10451},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2011/2948/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/HavelundLSSW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HavelundLSSW10a,
  author    = {Klaus Havelund and
               Martin Leucker and
               Martin Sachenbacher and
               Oleg Sokolsky and
               Brian C. Williams},
  title     = {10451 Executive Summary - Runtime Verification, Diagnosis, Planning
               and Control for Autonomous Systems},
  booktitle = {Runtime Verification, Diagnosis, Planning and Control for Autonomous
               Systems, 07.11. - 12.11.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10451},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2011/2947/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/HavelundLSSW10a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LeuckerS09,
  author    = {Martin Leucker and
               Christian Schallhart},
  title     = {A brief account of runtime verification},
  journal   = {J. Log. Algebr. Program.},
  volume    = {78},
  number    = {5},
  pages     = {293--303},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jlap.2008.08.004},
  doi       = {10.1016/j.jlap.2008.08.004},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/LeuckerS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/LeuckerLNR09,
  author    = {Martin Leucker and
               Moritz L{\"{o}}ser and
               Dirk Nowotka and
               Joachim Rischen},
  title     = {Klassifikationsb{\"{a}}ume in Echtzeit},
  journal   = {Softwaretechnik-Trends},
  volume    = {29},
  number    = {4},
  year      = {2009},
  url       = {http://pi.informatik.uni-siegen.de/stt/29\_4/01\_Fachgruppenberichte/TAV28P4LeuckerLoeser.pdf},
  timestamp = {Mon, 01 Apr 2013 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stt/LeuckerLNR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CampetelliGLT09,
  author    = {Alarico Campetelli and
               Alexander Gruler and
               Martin Leucker and
               Daniel Thoma},
  title     = {\emph{Don't Know} for Multi-valued Systems},
  booktitle = {Automated Technology for Verification and Analysis, 7th International
               Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  pages     = {289--305},
  year      = {2009},
  crossref  = {DBLP:conf/atva/2009},
  url       = {https://doi.org/10.1007/978-3-642-04761-9\_22},
  doi       = {10.1007/978-3-642-04761-9\_22},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/CampetelliGLT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BolligHKL09,
  author    = {Benedikt Bollig and
               Peter Habermehl and
               Carsten Kern and
               Martin Leucker},
  title     = {Angluin-Style Learning of {NFA}},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  pages     = {1004--1009},
  year      = {2009},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/170.pdf},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BolligHKL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/informatiktage/LoserLNR09,
  author    = {Moritz L{\"{o}}ser and
               Martin Leucker and
               Dirk Nowotka and
               Joachim Rischen},
  title     = {{\"{A}}quivalenzklassen mit Zeit und Zust{\"{a}}nden},
  booktitle = {Informatiktage 2009: Fachwissenschaftlicher Informatik-Kongress 27.
               und 28. M{\"{a}}rz 2009, {B-IT} Bonn-Aachen International Center
               for Information Technology in Bonn},
  pages     = {87--90},
  year      = {2009},
  crossref  = {DBLP:conf/informatiktage/2009},
  timestamp = {Wed, 24 Mar 2010 14:34:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/informatiktage/LoserLNR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2009,
  editor    = {Martin Leucker and
               Carroll Morgan},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
               Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5684},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03466-4},
  doi       = {10.1007/978-3-642-03466-4},
  isbn      = {978-3-642-03465-7},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrinchteinL08,
  author    = {Olga Grinchtein and
               Martin Leucker},
  title     = {Network invariants for real-time systems},
  journal   = {Formal Asp. Comput.},
  volume    = {20},
  number    = {6},
  pages     = {619--635},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00165-008-0089-0},
  doi       = {10.1007/s00165-008-0089-0},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/GrinchteinL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DongLS08,
  author    = {Wei Dong and
               Martin Leucker and
               Christian Schallhart},
  title     = {Impartial Anticipation in Runtime-Verification},
  booktitle = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  pages     = {386--396},
  year      = {2008},
  crossref  = {DBLP:conf/atva/2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6\_33},
  doi       = {10.1007/978-3-540-88387-6\_33},
  timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/DongLS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BolligKKL08,
  author    = {Benedikt Bollig and
               Joost{-}Pieter Katoen and
               Carsten Kern and
               Martin Leucker},
  title     = {Smyle: {A} Tool for Synthesizing Distributed Models from Scenarios
               by Learning},
  booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
               {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  pages     = {162--166},
  year      = {2008},
  crossref  = {DBLP:conf/concur/2008},
  url       = {https://doi.org/10.1007/978-3-540-85361-9\_15},
  doi       = {10.1007/978-3-540-85361-9\_15},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/concur/BolligKKL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KatoenKLW08,
  author    = {Joost{-}Pieter Katoen and
               Daniel Klink and
               Martin Leucker and
               Verena Wolf},
  title     = {Abstraction for Stochastic Systems by Erlang's Method of Stages},
  booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
               {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  pages     = {279--294},
  year      = {2008},
  crossref  = {DBLP:conf/concur/2008},
  url       = {https://doi.org/10.1007/978-3-540-85361-9\_24},
  doi       = {10.1007/978-3-540-85361-9\_24},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/concur/KatoenKLW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/GrulerLS08,
  author    = {Alexander Gruler and
               Martin Leucker and
               Kathrin D. Scheidemann},
  title     = {Modeling and Model Checking Software Product Lines},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
               4-6, 2008, Proceedings},
  pages     = {113--131},
  year      = {2008},
  crossref  = {DBLP:conf/fmoods/2008},
  url       = {https://doi.org/10.1007/978-3-540-68863-1\_8},
  doi       = {10.1007/978-3-540-68863-1\_8},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/GrulerLS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LeuckerS07,
  author    = {Martin Leucker and
               Helmut Seidl},
  title     = {Lightweight Verification 2008},
  booktitle = {{INFORMATIK} 2008, Beherrschbare Systeme - dank Informatik, Band 2,
               Beitr{\"{a}}ge der 38. Jahrestagung der Gesellschaft f{\"{u}}r
               Informatik e.V. (GI), 8. - 13. September, in M{\"{u}}nchen, Deutschland},
  pages     = {965--966},
  year      = {2008},
  crossref  = {DBLP:conf/gi/2008-2},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings134/article2211.html},
  timestamp = {Tue, 15 Mar 2016 16:45:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/LeuckerS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BolligKKL08,
  author    = {Benedikt Bollig and
               Joost{-}Pieter Katoen and
               Carsten Kern and
               Martin Leucker},
  title     = {{SMA} - The Smyle Modeling Approach},
  booktitle = {Software Engineering Techniques - Third {IFIP} {TC} 2 Central and
               East European Conference, {CEE-SET} 2008, Brno, Czech Republic, October
               13-15, 2008, Revised Selected Papers},
  pages     = {103--117},
  year      = {2008},
  crossref  = {DBLP:conf/ifip2/2008},
  url       = {https://doi.org/10.1007/978-3-642-22386-0\_8},
  doi       = {10.1007/978-3-642-22386-0\_8},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip2/BolligKKL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/GrulerLS08,
  author    = {Alexander Gruler and
               Martin Leucker and
               Kathrin D. Scheidemann},
  title     = {Calculating and Modeling Common Parts of Software Product Lines},
  booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008,
               Limerick, Ireland, September 8-12, 2008, Proceedings},
  pages     = {203--212},
  year      = {2008},
  crossref  = {DBLP:conf/splc/2008},
  url       = {https://doi.org/10.1109/SPLC.2008.22},
  doi       = {10.1109/SPLC.2008.22},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/splc/GrulerLS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8332,
  editor    = {Henri E. Bal and
               Lubos Brim and
               Martin Leucker},
  title     = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {08332},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2008},
  url       = {http://drops.dagstuhl.de/portals/08332/},
  timestamp = {Tue, 07 Apr 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2008P8332},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2008,
  editor    = {Martin Leucker},
  title     = {Runtime Verification, 8th International Workshop, {RV} 2008, Budapest,
               Hungary, March 30, 2008. Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5289},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89247-2},
  doi       = {10.1007/978-3-540-89247-2},
  isbn      = {978-3-540-89246-5},
  timestamp = {Tue, 13 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BalBL08,
  author    = {Henri E. Bal and
               Lubos Brim and
               Martin Leucker},
  title     = {08332 Abstracts Collection - Distributed Verification and Grid Computing},
  booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
  year      = {2008},
  crossref  = {DBLP:conf/dagstuhl/2008P8332},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2008/1633/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BalBL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BalBL08a,
  author    = {Henri E. Bal and
               Lubos Brim and
               Martin Leucker},
  title     = {08332 Executive Summary - Distributed Verification and Grid Computing},
  booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
  year      = {2008},
  crossref  = {DBLP:conf/dagstuhl/2008P8332},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2008/1632/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BalBL08a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Leucker08,
  author    = {Martin Leucker},
  title     = {Checking and Enforcing Safety: Runtime Verification and Runtime Reflection},
  journal   = {{ERCIM} News},
  volume    = {2008},
  number    = {75},
  year      = {2008},
  url       = {http://ercim-news.ercim.eu/checking-and-enforcing-safety-runtime-verification-and-runtime-reflection},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/Leucker08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrumbergLLS07,
  author    = {Orna Grumberg and
               Martin Lange and
               Martin Leucker and
               Sharon Shoham},
  title     = {When not losing is better than winning: Abstraction and refinement
               for the full mu-calculus},
  journal   = {Inf. Comput.},
  volume    = {205},
  number    = {8},
  pages     = {1130--1148},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.ic.2006.10.009},
  doi       = {10.1016/j.ic.2006.10.009},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/GrumbergLLS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KatoenKLW07,
  author    = {Joost{-}Pieter Katoen and
               Daniel Klink and
               Martin Leucker and
               Verena Wolf},
  title     = {Three-Valued Abstraction for Continuous-Time Markov Chains},
  booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages     = {311--324},
  year      = {2007},
  crossref  = {DBLP:conf/cav/2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3\_37},
  doi       = {10.1007/978-3-540-73368-3\_37},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KatoenKLW07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BarnatBL07,
  author    = {Jiri Barnat and
               Lubos Brim and
               Martin Leucker},
  title     = {Parallel Model Checking and the FMICS-jETI Platform},
  booktitle = {12th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
  pages     = {330--339},
  year      = {2007},
  crossref  = {DBLP:conf/iceccs/2007},
  url       = {https://doi.org/10.1109/ICECCS.2007.34},
  doi       = {10.1109/ICECCS.2007.34},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/BarnatBL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MargariaRSL07,
  author    = {Tiziana Margaria and
               Harald Raffelt and
               Bernhard Steffen and
               Martin Leucker},
  title     = {The LearnLib in FMICS-jETI},
  booktitle = {12th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
  pages     = {340--352},
  year      = {2007},
  crossref  = {DBLP:conf/iceccs/2007},
  url       = {https://doi.org/10.1109/ICECCS.2007.43},
  doi       = {10.1109/ICECCS.2007.43},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/MargariaRSL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LeuckerS07,
  author    = {Martin Leucker and
               C{\'{e}}sar S{\'{a}}nchez},
  title     = {Regular Linear Temporal Logic},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
               Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  pages     = {291--305},
  year      = {2007},
  crossref  = {DBLP:conf/ictac/2007},
  url       = {https://doi.org/10.1007/978-3-540-75292-9\_20},
  doi       = {10.1007/978-3-540-75292-9\_20},
  timestamp = {Sun, 04 Jun 2017 10:10:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/LeuckerS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BauerLST07,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart and
               Michael Tautschnig},
  title     = {Don't care in SMT-Building flexible yet efficient abstraction/refinement
               solvers},
  booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
               Verification and Validation, Poitiers-Futuroscope, France, December
               12-14, 2007},
  pages     = {135--146},
  year      = {2007},
  crossref  = {DBLP:conf/isola/2007},
  url       = {http://editions-rnti.fr/?inprocid=1000540},
  timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/BauerLST07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/0002LS07,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {The Good, the Bad, and the Ugly, But How Ugly Is Ugly?},
  booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
               Canada, March 13, 2007, Revised Selected Papers},
  pages     = {126--138},
  year      = {2007},
  crossref  = {DBLP:conf/rv/2007},
  url       = {https://doi.org/10.1007/978-3-540-77395-5\_11},
  doi       = {10.1007/978-3-540-77395-5\_11},
  timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/0002LS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BolligKKL07,
  author    = {Benedikt Bollig and
               Joost{-}Pieter Katoen and
               Carsten Kern and
               Martin Leucker},
  title     = {Replaying Play In and Play Out: Synthesis of Design Models from Scenarios
               by Learning},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  pages     = {435--450},
  year      = {2007},
  crossref  = {DBLP:conf/tacas/2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1\_33},
  doi       = {10.1007/978-3-540-71209-1\_33},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BolligKKL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2006,
  editor    = {Lubos Brim and
               Boudewijn R. Haverkort and
               Martin Leucker and
               Jaco van de Pol},
  title     = {Formal Methods: Applications and Technology, 11th International Workshop,
               {FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
               August 26-27, and August 31, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4346},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-70952-7},
  doi       = {10.1007/978-3-540-70952-7},
  isbn      = {978-3-540-70951-0},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/LeuckerP06,
  author    = {Martin Leucker and
               Jaco van de Pol},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {135},
  number    = {2},
  pages     = {1--2},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.10.014},
  doi       = {10.1016/j.entcs.2005.10.014},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/LeuckerP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrimL06,
  author    = {Lubos Brim and
               Martin Leucker},
  title     = {Foreword},
  journal   = {Formal Methods in System Design},
  volume    = {29},
  number    = {2},
  pages     = {115--116},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10703-006-0010-5},
  doi       = {10.1007/s10703-006-0010-5},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/BrimL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BolligL06,
  author    = {Benedikt Bollig and
               Martin Leucker},
  title     = {Message-passing automata are expressively equivalent to {EMSO} logic},
  journal   = {Theor. Comput. Sci.},
  volume    = {358},
  number    = {2-3},
  pages     = {150--172},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.tcs.2006.01.014},
  doi       = {10.1016/j.tcs.2006.01.014},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BolligL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/0002LS06,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {Model-based runtime analysis of distributed reactive systems},
  booktitle = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21
               April 2006, Sydney, Australia},
  pages     = {243--252},
  year      = {2006},
  crossref  = {DBLP:conf/aswec/2006},
  url       = {https://doi.org/10.1109/ASWEC.2006.36},
  doi       = {10.1109/ASWEC.2006.36},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/0002LS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GrinchteinLP06,
  author    = {Olga Grinchtein and
               Martin Leucker and
               Nir Piterman},
  title     = {Inferring Network Invariants Automatically},
  booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {483--497},
  year      = {2006},
  crossref  = {DBLP:conf/cade/2006},
  url       = {https://doi.org/10.1007/11814771\_40},
  doi       = {10.1007/11814771\_40},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/GrinchteinLP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Leucker06,
  author    = {Martin Leucker},
  title     = {Learning Meets Verification},
  booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
               {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
               Lectures},
  pages     = {127--151},
  year      = {2006},
  crossref  = {DBLP:conf/fmco/2006},
  url       = {https://doi.org/10.1007/978-3-540-74792-5\_6},
  doi       = {10.1007/978-3-540-74792-5\_6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/Leucker06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BauerLS06,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {Monitoring of Real-Time Properties},
  booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
               Computer Science, 26th International Conference, Kolkata, India, December
               13-15, 2006, Proceedings},
  pages     = {260--272},
  year      = {2006},
  crossref  = {DBLP:conf/fsttcs/2006},
  url       = {https://doi.org/10.1007/11944836\_25},
  doi       = {10.1007/11944836\_25},
  timestamp = {Wed, 14 Feb 2018 13:29:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/BauerLS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/0002LS06,
  author    = {Andreas Bauer and
               Martin Leucker and
               Jonathan Streit},
  title     = {{SALT} - Structured Assertion Language for Temporal Logic},
  booktitle = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  pages     = {757--775},
  year      = {2006},
  crossref  = {DBLP:conf/icfem/2006},
  url       = {https://doi.org/10.1007/11901433\_41},
  doi       = {10.1007/11901433\_41},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/0002LS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/GrinchteinL06,
  author    = {Olga Grinchtein and
               Martin Leucker},
  title     = {Learning Finite-State Machines from Inexperienced Teachers},
  booktitle = {Grammatical Inference: Algorithms and Applications, 8th International
               Colloquium, {ICGI} 2006, Tokyo, Japan, September 20-22, 2006, Proceedings},
  pages     = {344--345},
  year      = {2006},
  crossref  = {DBLP:conf/icgi/2006},
  url       = {https://doi.org/10.1007/11872436\_30},
  doi       = {10.1007/11872436\_30},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icgi/GrinchteinL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/FecherLW06,
  author    = {Harald Fecher and
               Martin Leucker and
               Verena Wolf},
  title     = {\emph{Don't Know} in Probabilistic Systems},
  booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
               Austria, March 30 - April 1, 2006, Proceedings},
  pages     = {71--88},
  year      = {2006},
  crossref  = {DBLP:conf/spin/2006},
  url       = {https://doi.org/10.1007/11691617\_5},
  doi       = {10.1007/11691617\_5},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/FecherLW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BergJLS05,
  author    = {Therese Berg and
               Bengt Jonsson and
               Martin Leucker and
               Mayank Saksena},
  title     = {Insights to Angluin's Learning},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {118},
  pages     = {3--18},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.015},
  doi       = {10.1016/j.entcs.2004.12.015},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BergJLS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrimL05,
  author    = {Lubos Brim and
               Martin Leucker},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {128},
  number    = {3},
  pages     = {1--2},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.10.014},
  doi       = {10.1016/j.entcs.2004.10.014},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BrimL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/HolmenLL05,
  author    = {Fredrik Holm{\'{e}}n and
               Martin Leucker and
               Marcus Lindstr{\"{o}}m},
  title     = {UppDMC: {A} Distributed Model Checker for Fragments of the mu-Calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {128},
  number    = {3},
  pages     = {91--105},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.10.021},
  doi       = {10.1016/j.entcs.2004.10.021},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/HolmenLL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GrinchteinJL05,
  author    = {Olga Grinchtein and
               Bengt Jonsson and
               Martin Leucker},
  title     = {Inference of Timed Transition Systems},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {138},
  number    = {3},
  pages     = {87--99},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.02.062},
  doi       = {10.1016/j.entcs.2005.02.062},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GrinchteinJL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LeuckerNSW05,
  author    = {Martin Leucker and
               Thomas Noll and
               Perdita Stevens and
               Michael Weber},
  title     = {Functional programming languages for verification tools: a comparison
               of Standard {ML} and Haskell},
  journal   = {{STTT}},
  volume    = {7},
  number    = {2},
  pages     = {184--194},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10009-004-0184-3},
  doi       = {10.1007/s10009-004-0184-3},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/LeuckerNSW05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BergGJLRS05,
  author    = {Therese Berg and
               Olga Grinchtein and
               Bengt Jonsson and
               Martin Leucker and
               Harald Raffelt and
               Bernhard Steffen},
  title     = {On the Correspondence Between Conformance Testing and Regular Inference},
  booktitle = {Fundamental Approaches to Software Engineering, 8th International
               Conference, {FASE} 2005, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
               4-8, 2005, Proceedings},
  pages     = {175--189},
  year      = {2005},
  crossref  = {DBLP:conf/fase/2005},
  url       = {https://doi.org/10.1007/978-3-540-31984-9\_14},
  doi       = {10.1007/978-3-540-31984-9\_14},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/BergGJLRS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BolligL05,
  author    = {Benedikt Bollig and
               Martin Leucker},
  title     = {A Hierarchy of Implementable {MSC} Languages},
  booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
               October 2-5, 2005, Proceedings},
  pages     = {53--67},
  year      = {2005},
  crossref  = {DBLP:conf/forte/2005},
  url       = {https://doi.org/10.1007/11562436\_6},
  doi       = {10.1007/11562436\_6},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/BolligL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GrumbergLLS05,
  author    = {Orna Grumberg and
               Martin Lange and
               Martin Leucker and
               Sharon Shoham},
  title     = {\emph{Don't Know} in the {\(\mathrm{\mu}\)}-Calculus},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
               Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
  pages     = {233--249},
  year      = {2005},
  crossref  = {DBLP:conf/vmcai/2005},
  url       = {https://doi.org/10.1007/978-3-540-30579-8\_16},
  doi       = {10.1007/978-3-540-30579-8\_16},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/GrumbergLLS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2004test,
  editor    = {Manfred Broy and
               Bengt Jonsson and
               Joost{-}Pieter Katoen and
               Martin Leucker and
               Alexander Pretschner},
  title     = {Model-Based Testing of Reactive Systems, Advanced Lectures [The volume
               is the outcome of a research seminar that was held in Schloss Dagstuhl
               in January 2004]},
  series    = {Lecture Notes in Computer Science},
  volume    = {3472},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b137241},
  doi       = {10.1007/b137241},
  isbn      = {3-540-26278-4},
  timestamp = {Tue, 30 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2004test},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GrinchteinL04,
  author    = {Olga Grinchtein and
               Martin Leucker},
  title     = {Network Invariants for Real-Time Systems},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {98},
  pages     = {57--74},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2003.10.006},
  doi       = {10.1016/j.entcs.2003.10.006},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GrinchteinL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BolligL04,
  author    = {Benedikt Bollig and
               Martin Leucker},
  title     = {Message-Passing Automata Are Expressively Equivalent to {EMSO} Logic},
  booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
               London, UK, August 31 - September 3, 2004, Proceedings},
  pages     = {146--160},
  year      = {2004},
  crossref  = {DBLP:conf/concur/2004},
  url       = {https://doi.org/10.1007/978-3-540-28644-8\_10},
  doi       = {10.1007/978-3-540-28644-8\_10},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/BolligL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PretschnerL04,
  author    = {Alexander Pretschner and
               Martin Leucker},
  title     = {Model-Based Testing - {A} Glossary},
  booktitle = {Model-Based Testing of Reactive Systems, Advanced Lectures [The volume
               is the outcome of a research seminar that was held in Schloss Dagstuhl
               in January 2004]},
  pages     = {607--609},
  year      = {2004},
  crossref  = {DBLP:conf/dagstuhl/2004test},
  url       = {https://doi.org/10.1007/11498490\_27},
  doi       = {10.1007/11498490\_27},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/PretschnerL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GrinchteinJL04,
  author    = {Olga Grinchtein and
               Bengt Jonsson and
               Martin Leucker},
  title     = {Learning of Event-Recording Automata},
  booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
               Systems, Joint International Conferences on Formal Modelling and Analysis
               of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
               and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
               22-24, 2004, Proceedings},
  pages     = {379--396},
  year      = {2004},
  crossref  = {DBLP:conf/formats/2004},
  url       = {https://doi.org/10.1007/978-3-540-30206-3\_26},
  doi       = {10.1007/978-3-540-30206-3\_26},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/GrinchteinJL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BolligC04,
  author    = {Christel Baier and
               Marcus Gr{\"{o}}{\ss}er and
               Martin Leucker and
               Benedikt Bollig and
               Frank Ciesinski},
  title     = {Controller Synthesis for Probabilistic Systems},
  booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
               Computer Congress, {TC1} 3rd International Conference on Theoretical
               Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  pages     = {493--506},
  year      = {2004},
  crossref  = {DBLP:conf/ifipTCS/2004},
  url       = {https://doi.org/10.1007/1-4020-8141-3\_38},
  doi       = {10.1007/1-4020-8141-3\_38},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/BolligC04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voss/BolligL04,
  author    = {Benedikt Bollig and
               Martin Leucker},
  title     = {Verifying Qualitative Properties of Probabilistic Programs},
  booktitle = {Validation of Stochastic Systems - {A} Guide to Current Research},
  pages     = {124--146},
  year      = {2004},
  crossref  = {DBLP:conf/voss/2004},
  url       = {https://doi.org/10.1007/978-3-540-24611-4\_4},
  doi       = {10.1007/978-3-540-24611-4\_4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/voss/BolligL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/BolligL03,
  author    = {Benedikt Bollig and
               Martin Leucker},
  title     = {Deciding {LTL} over Mazurkiewicz traces},
  journal   = {Data Knowl. Eng.},
  volume    = {44},
  number    = {2},
  pages     = {219--238},
  year      = {2003},
  timestamp = {Thu, 27 Nov 2003 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/dke/BolligL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/LeuckerSW03,
  author    = {Martin Leucker and
               Rafal Somla and
               Michael Weber},
  title     = {Parallel Model Checking for LTL, CTL*, and L{\(\mathrm{\mu}\)}\({}^{\mbox{2}}\)},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {89},
  number    = {1},
  pages     = {4--16},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)80093-3},
  doi       = {10.1016/S1571-0661(05)80093-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/LeuckerSW03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BolligL03,
  author    = {Benedikt Bollig and
               Martin Leucker},
  title     = {Model Checking Probabilistic Distributed Systems},
  booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
               and Distributed Computation, 8th Asian Computing Science Conference,
               Mumbai, India, December 10-14, 2003, Proceedings},
  pages     = {291--304},
  year      = {2003},
  crossref  = {DBLP:conf/asian/2003},
  url       = {https://doi.org/10.1007/978-3-540-40965-6\_19},
  doi       = {10.1007/978-3-540-40965-6\_19},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asian/BolligL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Leucker02,
  author    = {Martin Leucker},
  title     = {Logics for Mazurkiewicz traces},
  school    = {{RWTH} Aachen University, Germany},
  year      = {2002},
  url       = {http://d-nb.info/964913526},
  timestamp = {Fri, 20 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Leucker02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BolligLN02,
  author    = {Benedikt Bollig and
               Martin Leucker and
               Thomas Noll},
  title     = {Generalised Regular {MSC} Languages},
  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     = {52--66},
  year      = {2002},
  crossref  = {DBLP:conf/fossacs/2002},
  url       = {https://doi.org/10.1007/3-540-45931-6\_5},
  doi       = {10.1007/3-540-45931-6\_5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/BolligLN02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LeuckerMM02,
  author    = {Martin Leucker and
               P. Madhusudan and
               Supratik Mukhopadhyay},
  title     = {Dynamic Message Sequence Charts},
  booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
               Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
               Proceedings},
  pages     = {253--264},
  year      = {2002},
  crossref  = {DBLP:conf/fsttcs/2002},
  url       = {https://doi.org/10.1007/3-540-36206-1\_23},
  doi       = {10.1007/3-540-36206-1\_23},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/LeuckerMM02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BolligLL02,
  author    = {Benedikt Bollig and
               Martin Leucker and
               Philipp Lucas},
  title     = {Extending Compositional Message Sequence Graphs},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
               International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
               2002, Proceedings},
  pages     = {68--85},
  year      = {2002},
  crossref  = {DBLP:conf/lpar/2002},
  url       = {https://doi.org/10.1007/3-540-36078-6\_5},
  doi       = {10.1007/3-540-36078-6\_5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BolligLL02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BolligLW02,
  author    = {Benedikt Bollig and
               Martin Leucker and
               Michael Weber},
  title     = {Local Parallel Model Checking for the Alternation-Free {\(\mathrm{\mu}\)}-Calculus},
  booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
               France, April 11-13, 2002, Proceedings},
  pages     = {128--147},
  year      = {2002},
  crossref  = {DBLP:conf/spin/2002},
  url       = {https://doi.org/10.1007/3-540-46017-9\_11},
  doi       = {10.1007/3-540-46017-9\_11},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BolligLW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeuckerN01,
  author    = {Martin Leucker and
               Thomas Noll},
  title     = {Truth/SLC - {A} Parallel Verification Platform for Concurrent Systems},
  booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
               2001, Paris, France, July 18-22, 2001, Proceedings},
  pages     = {255--259},
  year      = {2001},
  crossref  = {DBLP:conf/cav/2001},
  url       = {https://doi.org/10.1007/3-540-44585-4\_24},
  doi       = {10.1007/3-540-44585-4\_24},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/LeuckerN01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Leucker01,
  author    = {Martin Leucker},
  title     = {Prefix-Recognizable Graphs and Monadic Logic},
  booktitle = {Automata, Logics, and Infinite Games: {A} Guide to Current Research
               [outcome of a Dagstuhl seminar, February 2001]},
  pages     = {263--284},
  year      = {2001},
  crossref  = {DBLP:conf/dagstuhl/2001automata},
  url       = {https://doi.org/10.1007/3-540-36387-4\_15},
  doi       = {10.1007/3-540-36387-4\_15},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/Leucker01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BolligLW01,
  author    = {Benedikt Bollig and
               Martin Leucker and
               Michael Weber},
  title     = {Parallel Model Checking for the Alternation Free {\(\mathrm{\mu}\)}-Calculus},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               7th International Conference, {TACAS} 2001 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2001
               Genova, Italy, April 2-6, 2001, Proceedings},
  pages     = {543--558},
  year      = {2001},
  crossref  = {DBLP:conf/tacas/2001},
  url       = {https://doi.org/10.1007/3-540-45319-9\_37},
  doi       = {10.1007/3-540-45319-9\_37},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BolligLW01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BolligL01,
  author    = {Benedikt Bollig and
               Martin Leucker},
  title     = {Deciding {LTL} over Mazurkiewicz Traces},
  booktitle = {Eigth International Symposium on Temporal Representation and Reasoning,
               TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},
  pages     = {189--197},
  year      = {2001},
  crossref  = {DBLP:conf/time/2001},
  url       = {https://doi.org/10.1109/TIME.2001.930717},
  doi       = {10.1109/TIME.2001.930717},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/time/BolligL01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BolligL01a,
  author    = {Benedikt Bollig and
               Martin Leucker},
  title     = {Modelling, Specifying, and Verifying Message Passing Systems},
  booktitle = {Eigth International Symposium on Temporal Representation and Reasoning,
               TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},
  pages     = {240--247},
  year      = {2001},
  crossref  = {DBLP:conf/time/2001},
  url       = {https://doi.org/10.1109/TIME.2001.930723},
  doi       = {10.1109/TIME.2001.930723},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/time/BolligL01a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/LeuckerN00,
  author    = {Martin Leucker and
               Thomas Noll},
  title     = {Rewriting Logic as a Framework for Generic Verification Tools},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {36},
  pages     = {121--137},
  year      = {2000},
  url       = {https://doi.org/10.1016/S1571-0661(05)80123-9},
  doi       = {10.1016/S1571-0661(05)80123-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/LeuckerN00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Leucker00,
  author    = {Martin Leucker},
  title     = {On Model Checking Synchronised Hardware Circuits},
  booktitle = {Advances in Computing Science - {ASIAN} 2000, 6th Asian Computing
               Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings},
  pages     = {182--198},
  year      = {2000},
  crossref  = {DBLP:conf/asian/2000},
  url       = {https://doi.org/10.1007/3-540-44464-5\_14},
  doi       = {10.1007/3-540-44464-5\_14},
  timestamp = {Sat, 28 Oct 2017 16:25:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asian/Leucker00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Leucker99,
  author    = {Martin Leucker},
  title     = {Model Checking Games for the Alternation-Free {\(\mathrm{\mu}\)}-Calculus
               and Alternating Automata},
  booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
               LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
  pages     = {77--91},
  year      = {1999},
  crossref  = {DBLP:conf/lpar/1999},
  url       = {https://doi.org/10.1007/3-540-48242-3\_6},
  doi       = {10.1007/3-540-48242-3\_6},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/Leucker99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/LeuckerN99,
  author    = {Martin Leucker and
               Thomas Noll},
  title     = {Rapid Prototyping of Specification Language Implementations},
  booktitle = {Proceedings of the Tenth {IEEE} International Workshop on Rapid System
               Prototyping {(RSP} 1999), Clearwater, Florida, USA, June 16-18, 1999},
  pages     = {60--65},
  year      = {1999},
  crossref  = {DBLP:conf/rsp/1999},
  url       = {https://doi.org/10.1109/IWRSP.1999.779032},
  doi       = {10.1109/IWRSP.1999.779032},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/LeuckerN99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2018,
  title     = {2018 Design, Automation {\&} Test in Europe Conference {\&}
               Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8337149},
  isbn      = {978-3-9819263-0-9},
  timestamp = {Tue, 24 Apr 2018 20:36:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-4,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
               Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11247},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03427-6},
  doi       = {10.1007/978-3-030-03427-6},
  isbn      = {978-3-030-03426-9},
  timestamp = {Tue, 30 Oct 2018 11:27:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2018-4},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2018,
  editor    = {Christian Colombo and
               Martin Leucker},
  title     = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
               Cyprus, November 10-13, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11237},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03769-7},
  doi       = {10.1007/978-3-030-03769-7},
  isbn      = {978-3-030-03768-0},
  timestamp = {Fri, 09 Nov 2018 14:06:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2018,
  editor    = {Hisham M. Haddad and
               Roger L. Wainwright and
               Richard Chbeir},
  title     = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
               {SAC} 2018, Pau, France, April 09-13, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3167132},
  doi       = {10.1145/3167132},
  timestamp = {Wed, 21 Nov 2018 12:43:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2018,
  editor    = {Tiago Massoni and
               Mohammad Reza Mousavi},
  title     = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
               {SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11254},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03044-5},
  doi       = {10.1007/978-3-030-03044-5},
  isbn      = {978-3-030-03043-8},
  timestamp = {Mon, 19 Nov 2018 13:45:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sbmf/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2017,
  editor    = {Roland Meyer and
               Uwe Nestmann},
  title     = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
               September 5-8, 2017, Berlin, Germany},
  series    = {LIPIcs},
  volume    = {85},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-048-4},
  isbn      = {978-3-95977-048-4},
  timestamp = {Wed, 27 Sep 2017 13:49:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2017cubes,
  editor    = {Giles Reger and
               Klaus Havelund},
  title     = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
               Benchmarks, Evaluation, and Standardisation for Runtime Verification
               Tools, September 15, 2017, Seattle, WA, {USA}},
  series    = {Kalpa Publications in Computing},
  volume    = {3},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/RV-CuBES\_2017},
  timestamp = {Tue, 16 Jan 2018 18:09:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2017cubes},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2017,
  editor    = {Simone Andr{\'{e}} da Costa Cavalheiro and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
               {SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10623},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-70848-5},
  doi       = {10.1007/978-3-319-70848-5},
  isbn      = {978-3-319-70847-8},
  timestamp = {Fri, 17 Nov 2017 14:28:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sbmf/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2016-2,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation:
               Discussion, Dissemination, Applications - 7th International Symposium,
               ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9953},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47169-3},
  doi       = {10.1007/978-3-319-47169-3},
  isbn      = {978-3-319-47168-6},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2016-2},
  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/se/2016,
  editor    = {Jens Knoop and
               Uwe Zdun},
  title     = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
               23.-26. Februar 2016, Wien, {\"{O}}sterreich},
  series    = {{LNI}},
  volume    = {252},
  publisher = {{GI}},
  year      = {2016},
  url       = {https://dl.gi.de/handle/20.500.12116/623},
  isbn      = {978-388579-646-6},
  timestamp = {Mon, 16 Apr 2018 15:58:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/se/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2016,
  editor    = {Jonathan P. Bowen and
               Zhiming Liu and
               Zili Zhang},
  title     = {Engineering Trustworthy Software Systems - Second International School,
               {SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {10215},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-56841-6},
  doi       = {10.1007/978-3-319-56841-6},
  isbn      = {978-3-319-56840-9},
  timestamp = {Wed, 14 Nov 2018 10:57:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/setss/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2015,
  editor    = {Douglas W. Cunningham and
               Petra Hofstedt and
               Klaus Meer and
               Ingo Schmitt},
  title     = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
               2015, Informatik, Energie und Umwelt, 28. September - 2. Oktober 2015
               in Cottbus, Deutschland},
  series    = {{LNI}},
  volume    = {246},
  publisher = {{GI}},
  year      = {2015},
  url       = {https://dl.gi.de/handle/20.500.12116/2082},
  isbn      = {978-3-88579-640-4},
  timestamp = {Mon, 16 Apr 2018 15:58:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gi/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2015,
  editor    = {Nir Piterman},
  title     = {Hardware and Software: Verification and Testing - 11th International
               Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
               17-19, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9434},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26287-1},
  doi       = {10.1007/978-3-319-26287-1},
  isbn      = {978-3-319-26286-4},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015,
  editor    = {Qiang Yang and
               Michael Wooldridge},
  title     = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {http://ijcai.org/proceedings/2015},
  isbn      = {978-1-57735-738-4},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/risk/2015,
  editor    = {Fredrik Seehusen and
               Michael Felderer and
               J{\"{u}}rgen Gro{\ss}mann and
               Marc{-}Florian Wendland},
  title     = {Risk Assessment and Risk-Driven Testing - Third International Workshop,
               {RISK} 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9488},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26416-5},
  doi       = {10.1007/978-3-319-26416-5},
  isbn      = {978-3-319-26415-8},
  timestamp = {Fri, 26 May 2017 00:51:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/risk/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2015w,
  editor    = {Wolf Zimmermann and
               Wolfgang B{\"{o}}hm and
               Clemens Grelck and
               Robert Heinrich and
               Reiner Jung and
               Marco Konersmann and
               Alexander Schlaefer and
               Eric Schmieders and
               Sibylle Schupp and
               Baltasar Tranc{\'{o}}n y Widemann and
               Thorsten Weyer},
  title     = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
               2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1337},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1337},
  urn       = {urn:nbn:de:0074-1337-4},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/se/2015w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2015,
  editor    = {Uwe A{\ss}mann and
               Birgit Demuth and
               Thorsten Spitta and
               Georg P{\"{u}}schel and
               Ronny Kaiser},
  title     = {Software Engineering {\&} Management 2015, Multikonferenz der
               GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
               (WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
               Dresden, Germany},
  series    = {{LNI}},
  volume    = {239},
  publisher = {{GI}},
  year      = {2015},
  url       = {https://dl.gi.de/handle/20.500.12116/2089},
  isbn      = {978-3-88579-633-6},
  timestamp = {Mon, 16 Apr 2018 15:58:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/se/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014,
  editor    = {Gianfranco Ciardo and
               Ekkart Kindler},
  title     = {Application and Theory of Petri Nets and Concurrency - 35th International
               Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8489},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07734-5},
  doi       = {10.1007/978-3-319-07734-5},
  isbn      = {978-3-319-07733-8},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2014,
  editor    = {Paolo Baldan and
               Daniele Gorla},
  title     = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8704},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44584-6},
  doi       = {10.1007/978-3-662-44584-6},
  isbn      = {978-3-662-44583-9},
  timestamp = {Tue, 23 May 2017 01:11:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iov/2014,
  editor    = {Ching{-}Hsien Robert Hsu and
               Shangguang Wang},
  title     = {Internet of Vehicles - Technologies and Services - First International
               Conference, IOV, Beijing, China, September 1-3, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8662},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11167-4},
  doi       = {10.1007/978-3-319-11167-4},
  isbn      = {978-3-319-11166-7},
  timestamp = {Sun, 21 May 2017 00:18:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iov/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2014-2,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Specialized Techniques and Applications - 6th International Symposium,
               ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8803},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45231-8},
  doi       = {10.1007/978-3-662-45231-8},
  isbn      = {978-3-662-45230-1},
  timestamp = {Wed, 14 Nov 2018 10:51:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2014-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mcps/2014,
  editor    = {Volker Turau and
               Marta Z. Kwiatkowska and
               Rahul Mangharam and
               Christoph Weyer},
  title     = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
               Germany, April 14, 2014},
  series    = {{OASICS}},
  volume    = {36},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2014},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-66-8},
  isbn      = {978-3-939897-66-8},
  timestamp = {Thu, 22 Jan 2015 08:01:54 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mcps/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2014,
  editor    = {Shing{-}Chi Cheung and
               Alessandro Orso and
               Margaret{-}Anne D. Storey},
  title     = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
               16 - 22, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2635868},
  isbn      = {978-1-4503-3056-5},
  timestamp = {Fri, 07 Nov 2014 12:46:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/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 12:40:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2013,
  editor    = {Marie{-}Pierre B{\'{e}}al and
               Olivier Carton},
  title     = {Developments in Language Theory - 17th International Conference, {DLT}
               2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7907},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38771-5},
  doi       = {10.1007/978-3-642-38771-5},
  isbn      = {978-3-642-38770-8},
  timestamp = {Fri, 26 May 2017 00:50:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlt/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fhies/2013,
  editor    = {Jeremy Gibbons and
               Wendy MacCaull},
  title     = {Foundations of Health Information Engineering and Systems - Third
               International Symposium, {FHIES} 2013, Macau, China, August 21-23,
               2013. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8315},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-53956-5},
  doi       = {10.1007/978-3-642-53956-5},
  isbn      = {978-3-642-53955-8},
  timestamp = {Sun, 21 May 2017 00:17:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fhies/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2013,
  editor    = {Guillaume Brat and
               Neha Rungta and
               Arnaud Venet},
  title     = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
               Field, CA, USA, May 14-16, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7871},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38088-4},
  doi       = {10.1007/978-3-642-38088-4},
  isbn      = {978-3-642-38087-7},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2013,
  editor    = {Axel Legay and
               Saddek Bensalem},
  title     = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8174},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1},
  doi       = {10.1007/978-3-642-40787-1},
  isbn      = {978-3-642-40786-4},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sesena/2013,
  editor    = {Christine Julien and
               Klaus Wehrle},
  title     = {4th International Workshop on Software Engineering for Sensor Network
               Applications, {SESENA} 2013, San Francisco, CA, USA, May 21, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596205},
  timestamp = {Sun, 03 Dec 2017 00:17:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sesena/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2012-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 5th International Symposium, ISoLA
               2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
               Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7609},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34026-0},
  doi       = {10.1007/978-3-642-34026-0},
  isbn      = {978-3-642-34025-3},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2012-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2012,
  editor    = {Alwyn Goodloe and
               Suzette Person},
  title     = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7226},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3},
  doi       = {10.1007/978-3-642-28891-3},
  isbn      = {978-3-642-28890-6},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2012,
  editor    = {Shaz Qadeer and
               Serdar Tasiran},
  title     = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
               Turkey, September 25-28, 2012, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7687},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35632-2},
  doi       = {10.1007/978-3-642-35632-2},
  isbn      = {978-3-642-35631-5},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2012,
  editor    = {Tiziana Margaria and
               Zongyan Qiu and
               Hongli Yang},
  title     = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2012, 4-6 July 2012, Beijing, China},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6269388},
  isbn      = {978-0-7695-4751-0},
  timestamp = {Mon, 01 Dec 2014 19:24:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tase/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2011,
  editor    = {Wolfram Burgard and
               Dan Roth},
  title     = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  publisher = {{AAAI} Press},
  year      = {2011},
  timestamp = {Tue, 09 Aug 2011 07:56:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icitst/2011,
  title     = {6th International Conference for Internet Technology and Secured Transactions,
               {ICITST} 2011, Abu Dhabi, UAE, December 11-14, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6141531},
  isbn      = {978-1-908320-00-1},
  timestamp = {Fri, 15 Mar 2013 09:01:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icitst/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/rv/2011,
  editor    = {Sarfraz Khurshid and
               Koushik Sen},
  title     = {Runtime Verification - Second International Conference, {RV} 2011,
               San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7186},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29860-8},
  doi       = {10.1007/978-3-642-29860-8},
  isbn      = {978-3-642-29859-2},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2011,
  editor    = {Eduardo Santana de Almeida and
               Tomoji Kishi and
               Christa Schwanninger and
               Isabel John and
               Klaus Schmid},
  title     = {Software Product Lines - 15th International Conference, {SPLC} 2011,
               Munich, Germany, August 22-26, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6030002},
  isbn      = {978-1-4577-1029-2},
  timestamp = {Wed, 11 May 2016 12:19:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/splc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssiri/2011,
  title     = {Fifth International Conference on Secure Software Integration and
               Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
               Korea},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5991610},
  isbn      = {978-0-7695-4453-3},
  timestamp = {Wed, 03 Dec 2014 17:29:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ssiri/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2010,
  editor    = {Johan Lilius and
               Wojciech Penczek},
  title     = {Applications and Theory of Petri Nets, 31st International Conference,
               {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6128},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13675-7},
  doi       = {10.1007/978-3-642-13675-7},
  isbn      = {978-3-642-13674-0},
  timestamp = {Fri, 26 May 2017 00:48:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2010,
  editor    = {Tayssir Touili and
               Byron Cook and
               Paul B. Jackson},
  title     = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6174},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6},
  doi       = {10.1007/978-3-642-14295-6},
  isbn      = {978-3-642-14294-9},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2010,
  editor    = {R{\"{u}}diger Dillmann and
               J{\"{u}}rgen Beyerer and
               Uwe D. Hanebeck and
               Tanja Schultz},
  title     = {{KI} 2010: Advances in Artificial Intelligence, 33rd Annual German
               Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6359},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16111-7},
  doi       = {10.1007/978-3-642-16111-7},
  isbn      = {978-3-642-16110-0},
  timestamp = {Thu, 25 May 2017 00:42:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2010,
  editor    = {Nicolas Markey and
               Jef Wijsen},
  title     = {{TIME} 2010 - 17th International Symposium on Temporal Representation
               and Reasoning, Paris, France, 6-8 September 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5600467},
  isbn      = {978-0-7695-4187-7},
  timestamp = {Wed, 07 Jan 2015 16:47:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2010,
  editor    = {Gilles Barthe and
               Manuel V. Hermenegildo},
  title     = {Verification, Model Checking, and Abstract Interpretation, 11th International
               Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5944},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11319-2},
  doi       = {10.1007/978-3-642-11319-2},
  isbn      = {978-3-642-11318-5},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2009,
  editor    = {Zhiming Liu and
               Anders P. Ravn},
  title     = {Automated Technology for Verification and Analysis, 7th International
               Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5799},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04761-9},
  doi       = {10.1007/978-3-642-04761-9},
  isbn      = {978-3-642-04760-2},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2009,
  editor    = {Craig Boutilier},
  title     = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  year      = {2009},
  url       = {http://ijcai.org/proceedings/2009},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/informatiktage/2009,
  editor    = {Ludger Porada},
  title     = {Informatiktage 2009: Fachwissenschaftlicher Informatik-Kongress 27.
               und 28. M{\"{a}}rz 2009, {B-IT} Bonn-Aachen International Center
               for Information Technology in Bonn},
  series    = {{LNI}},
  volume    = {{S-8}},
  publisher = {{GI}},
  year      = {2009},
  isbn      = {978-3-88579-442-4},
  timestamp = {Wed, 24 Mar 2010 14:34:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/informatiktage/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2008,
  editor    = {Sung Deok Cha and
               Jin{-}Young Choi and
               Moonzoo Kim and
               Insup Lee and
               Mahesh Viswanathan},
  title     = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5311},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6},
  doi       = {10.1007/978-3-540-88387-6},
  isbn      = {978-3-540-88386-9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2008,
  editor    = {Franck van Breugel and
               Marsha Chechik},
  title     = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
               {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5201},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85361-9},
  doi       = {10.1007/978-3-540-85361-9},
  isbn      = {978-3-540-85360-2},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2008,
  editor    = {Gilles Barthe and
               Frank S. de Boer},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
               4-6, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5051},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68863-1},
  doi       = {10.1007/978-3-540-68863-1},
  isbn      = {978-3-540-68862-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2008-2,
  editor    = {Heinz{-}Gerd Hegering and
               Axel Lehmann and
               Hans J{\"{u}}rgen Ohlbach and
               Christian Scheideler},
  title     = {{INFORMATIK} 2008, Beherrschbare Systeme - dank Informatik, Band 2,
               Beitr{\"{a}}ge der 38. Jahrestagung der Gesellschaft f{\"{u}}r
               Informatik e.V. (GI), 8. - 13. September, in M{\"{u}}nchen, Deutschland},
  series    = {{LNI}},
  volume    = {134},
  publisher = {{GI}},
  year      = {2008},
  isbn      = {978-3-88579-228-4},
  timestamp = {Tue, 15 Mar 2016 16:45:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/2008-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2/2008,
  editor    = {Zbigniew Huzar and
               Radek Koc{\'{\i}} and
               Bertrand Meyer and
               Bartosz Walter and
               Jaroslav Zendulka},
  title     = {Software Engineering Techniques - Third {IFIP} {TC} 2 Central and
               East European Conference, {CEE-SET} 2008, Brno, Czech Republic, October
               13-15, 2008, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4980},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22386-0},
  doi       = {10.1007/978-3-642-22386-0},
  isbn      = {978-3-642-22385-3},
  timestamp = {Mon, 30 Oct 2017 11:35:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip2/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2008,
  title     = {Software Product Lines, 12th International Conference, {SPLC} 2008,
               Limerick, Ireland, September 8-12, 2008, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4626823},
  isbn      = {978-0-7695-3303-2},
  timestamp = {Wed, 11 May 2016 12:19:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/splc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2007,
  editor    = {Werner Damm and
               Holger Hermanns},
  title     = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4590},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3},
  doi       = {10.1007/978-3-540-73368-3},
  isbn      = {978-3-540-73367-6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2007,
  title     = {12th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4276289},
  isbn      = {978-0-7695-2895-3},
  timestamp = {Thu, 23 Apr 2015 17:57:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2007,
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
               Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4711},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75292-9},
  doi       = {10.1007/978-3-540-75292-9},
  isbn      = {978-3-540-75290-5},
  timestamp = {Sun, 04 Jun 2017 10:10:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2007,
  editor    = {Yamine A{\"{\i}}t Ameur and
               Fr{\'{e}}d{\'{e}}ric Boniol and
               Virginie Wiels},
  title     = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
               Verification and Validation, Poitiers-Futuroscope, France, December
               12-14, 2007},
  series    = {Revue des Nouvelles Technologies de l'Information},
  volume    = {{RNTI-SM-1}},
  publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year      = {2007},
  url       = {http://editions-rnti.fr/?procid=100068},
  isbn      = {978-2-85428-814-8},
  timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2007,
  editor    = {Oleg Sokolsky and
               Serdar Tasiran},
  title     = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
               Canada, March 13, 2007, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4839},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-77395-5},
  doi       = {10.1007/978-3-540-77395-5},
  isbn      = {978-3-540-77394-8},
  timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2007,
  editor    = {Orna Grumberg and
               Michael Huth},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4424},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1},
  doi       = {10.1007/978-3-540-71209-1},
  isbn      = {978-3-540-71208-4},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aswec/2006,
  title     = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21
               April 2006, Sydney, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10753},
  isbn      = {0-7695-2551-2},
  timestamp = {Thu, 16 Oct 2014 11:29:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2006,
  editor    = {Ulrich Furbach and
               Natarajan Shankar},
  title     = {Automated Reasoning, Third International Joint Conference, {IJCAR}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4130},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11814771},
  doi       = {10.1007/11814771},
  isbn      = {3-540-37187-7},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2006,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, 5th International Symposium,
               {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {4709},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74792-5},
  doi       = {10.1007/978-3-540-74792-5},
  isbn      = {978-3-540-74791-8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2006,
  editor    = {S. Arun{-}Kumar and
               Naveen Garg},
  title     = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
               Computer Science, 26th International Conference, Kolkata, India, December
               13-15, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4337},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11944836},
  doi       = {10.1007/11944836},
  isbn      = {3-540-49994-6},
  timestamp = {Wed, 14 Feb 2018 13:29:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2006,
  editor    = {Zhiming Liu and
               Jifeng He},
  title     = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4260},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11901433},
  doi       = {10.1007/11901433},
  isbn      = {3-540-47460-9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icgi/2006,
  editor    = {Yasubumi Sakakibara and
               Satoshi Kobayashi and
               Kengo Sato and
               Tetsuro Nishino and
               Etsuji Tomita},
  title     = {Grammatical Inference: Algorithms and Applications, 8th International
               Colloquium, {ICGI} 2006, Tokyo, Japan, September 20-22, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4201},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11872436},
  doi       = {10.1007/11872436},
  isbn      = {3-540-45264-8},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icgi/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2006,
  editor    = {Antti Valmari},
  title     = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
               Austria, March 30 - April 1, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3925},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691617},
  doi       = {10.1007/11691617},
  isbn      = {3-540-33102-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2005,
  editor    = {Maura Cerioli},
  title     = {Fundamental Approaches to Software Engineering, 8th International
               Conference, {FASE} 2005, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
               4-8, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3442},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107062},
  doi       = {10.1007/b107062},
  isbn      = {3-540-25420-X},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2005,
  editor    = {Farn Wang},
  title     = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
               October 2-5, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3731},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11562436},
  doi       = {10.1007/11562436},
  isbn      = {3-540-29189-X},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2005},
  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/concur/2004,
  editor    = {Philippa Gardner and
               Nobuko Yoshida},
  title     = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
               London, UK, August 31 - September 3, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3170},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100113},
  doi       = {10.1007/b100113},
  isbn      = {3-540-22940-X},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2004,
  editor    = {Yassine Lakhnech and
               Sergio Yovine},
  title     = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
               Systems, Joint International Conferences on Formal Modelling and Analysis
               of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
               and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
               22-24, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3253},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100824},
  doi       = {10.1007/b100824},
  isbn      = {3-540-23167-6},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2004,
  editor    = {Jean{-}Jacques L{\'{e}}vy and
               Ernst W. Mayr and
               John C. Mitchell},
  title     = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
               Computer Congress, {TC1} 3rd International Conference on Theoretical
               Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  series    = {{IFIP}},
  volume    = {155},
  publisher = {Kluwer/Springer},
  year      = {2004},
  isbn      = {1-4020-8140-5},
  timestamp = {Wed, 16 Jul 2014 09:03:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/voss/2004,
  editor    = {Christel Baier and
               Boudewijn R. Haverkort and
               Holger Hermanns and
               Joost{-}Pieter Katoen and
               Markus Siegle},
  title     = {Validation of Stochastic Systems - {A} Guide to Current Research},
  series    = {Lecture Notes in Computer Science},
  volume    = {2925},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98484},
  doi       = {10.1007/b98484},
  isbn      = {3-540-22265-0},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/voss/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/2003,
  editor    = {Vijay A. Saraswat},
  title     = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
               and Distributed Computation, 8th Asian Computing Science Conference,
               Mumbai, India, December 10-14, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2896},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94667},
  doi       = {10.1007/b94667},
  isbn      = {3-540-20632-9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asian/2003},
  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/fsttcs/2002,
  editor    = {Manindra Agrawal and
               Anil Seth},
  title     = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
               Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2556},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36206-1},
  doi       = {10.1007/3-540-36206-1},
  isbn      = {3-540-00225-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2002,
  editor    = {Matthias Baaz and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
               International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
               2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2514},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36078-6},
  doi       = {10.1007/3-540-36078-6},
  isbn      = {3-540-00010-0},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2002,
  editor    = {Dragan Bosnacki and
               Stefan Leue},
  title     = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
               France, April 11-13, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2318},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46017-9},
  doi       = {10.1007/3-540-46017-9},
  isbn      = {3-540-43477-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2001,
  editor    = {G{\'{e}}rard Berry and
               Hubert Comon and
               Alain Finkel},
  title     = {Computer Aided Verification, 13th International Conference, {CAV}
               2001, Paris, France, July 18-22, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2102},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44585-4},
  doi       = {10.1007/3-540-44585-4},
  isbn      = {3-540-42345-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2001automata,
  editor    = {Erich Gr{\"{a}}del and
               Wolfgang Thomas and
               Thomas Wilke},
  title     = {Automata, Logics, and Infinite Games: {A} Guide to Current Research
               [outcome of a Dagstuhl seminar, February 2001]},
  series    = {Lecture Notes in Computer Science},
  volume    = {2500},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36387-4},
  doi       = {10.1007/3-540-36387-4},
  isbn      = {3-540-00388-6},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2001automata},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2001,
  editor    = {Tiziana Margaria and
               Wang Yi},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               7th International Conference, {TACAS} 2001 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2001
               Genova, Italy, April 2-6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2031},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45319-9},
  doi       = {10.1007/3-540-45319-9},
  isbn      = {3-540-41865-2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2001,
  title     = {Eigth International Symposium on Temporal Representation and Reasoning,
               TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7412},
  isbn      = {0-7695-1107-4},
  timestamp = {Wed, 07 Jan 2015 16:47:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/2000,
  editor    = {Jifeng He and
               Masahiko Sato},
  title     = {Advances in Computing Science - {ASIAN} 2000, 6th Asian Computing
               Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1961},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44464-5},
  doi       = {10.1007/3-540-44464-5},
  isbn      = {3-540-41428-2},
  timestamp = {Sat, 28 Oct 2017 16:25:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asian/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/1999,
  editor    = {Harald Ganzinger and
               David A. McAllester and
               Andrei Voronkov},
  title     = {Logic Programming and Automated Reasoning, 6th International Conference,
               LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1705},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48242-3},
  doi       = {10.1007/3-540-48242-3},
  isbn      = {3-540-66492-0},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rsp/1999,
  title     = {Proceedings of the Tenth {IEEE} International Workshop on Rapid System
               Prototyping {(RSP} 1999), Clearwater, Florida, USA, June 16-18, 1999},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6324},
  isbn      = {0-7695-0246-6},
  timestamp = {Tue, 19 May 2015 17:01:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rsp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier