BibTeX records: Falk Howar

download as .bib file

@inproceedings{DBLP:conf/tacas/JasperMMSHSSHSK19,
  author    = {Marc Jasper and
               Malte Mues and
               Alnis Murtovi and
               Maximilian Schl{\"{u}}ter and
               Falk Howar and
               Bernhard Steffen and
               Markus Schordan and
               Dennis Hendriks and
               Ramon R. H. Schiffelers and
               Harco Kuppens and
               Frits W. Vaandrager},
  title     = {{RERS} 2019: Combining Synthesis with Real-World Models},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
               Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
  pages     = {101--115},
  year      = {2019},
  crossref  = {DBLP:conf/tacas/2019-3},
  url       = {https://doi.org/10.1007/978-3-030-17502-3\_7},
  doi       = {10.1007/978-3-030-17502-3\_7},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/JasperMMSHSSHSK19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HowarJV19,
  author    = {Falk Howar and
               Bengt Jonsson and
               Frits W. Vaandrager},
  title     = {Combining Black-Box and White-Box Techniques for Learning Register
               Automata},
  booktitle = {Computing and Software Science - State of the Art and Perspectives},
  pages     = {563--588},
  year      = {2019},
  crossref  = {DBLP:series/lncs/10000},
  url       = {https://doi.org/10.1007/978-3-319-91908-9\_26},
  doi       = {10.1007/978-3-319-91908-9\_26},
  timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/series/lncs/HowarJV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HowarJM97,
  author    = {Falk Howar and
               Fadi Jabbour and
               Malte Mues},
  title     = {JConstraints: {A} Library for Working with Logic Expressions in Java},
  booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
               Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
  pages     = {310--325},
  year      = {2018},
  crossref  = {DBLP:conf/birthday/2018steffen},
  url       = {https://doi.org/10.1007/978-3-030-22348-9\_19},
  doi       = {10.1007/978-3-030-22348-9\_19},
  timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/HowarJM97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HowarS16,
  author    = {Falk Howar and
               Bernhard Steffen},
  title     = {Active Automata Learning in Practice - An Annotated Bibliography of
               the Years 2011 to 2016},
  booktitle = {Machine Learning for Dynamic Software Analysis: Potentials and Limits
               - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany,
               April 24-27, 2016, Revised Papers},
  pages     = {123--148},
  year      = {2018},
  crossref  = {DBLP:conf/dagstuhl/2016ml},
  url       = {https://doi.org/10.1007/978-3-319-96562-8\_5},
  doi       = {10.1007/978-3-319-96562-8\_5},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/HowarS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CasselHJS16,
  author    = {Sofia Cassel and
               Falk Howar and
               Bengt Jonsson and
               Bernhard Steffen},
  title     = {Extending Automata Learning to Extended Finite State Machines},
  booktitle = {Machine Learning for Dynamic Software Analysis: Potentials and Limits
               - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany,
               April 24-27, 2016, Revised Papers},
  pages     = {149--177},
  year      = {2018},
  crossref  = {DBLP:conf/dagstuhl/2016ml},
  url       = {https://doi.org/10.1007/978-3-319-96562-8\_6},
  doi       = {10.1007/978-3-319-96562-8\_6},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/CasselHJS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ToennemannRHC18,
  author    = {Jan Toennemann and
               Andreas Rausch and
               Falk Howar and
               Benjamin Cool},
  title     = {Checking Consistency of Real-Time Requirements on Distributed Automotive
               Control Software Early in the Development Process Using {UPPAAL}},
  booktitle = {Formal Methods for Industrial Critical Systems - 23rd International
               Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
               Proceedings},
  pages     = {67--82},
  year      = {2018},
  crossref  = {DBLP:conf/fmics/2018},
  url       = {https://doi.org/10.1007/978-3-030-00244-2\_5},
  doi       = {10.1007/978-3-030-00244-2\_5},
  timestamp = {Sat, 19 Oct 2019 20:28:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/ToennemannRHC18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DimjasevicHLR18,
  author    = {Marko Dimjasevic and
               Falk Howar and
               Kasper S{\o}e Luckow and
               Zvonimir Rakamaric},
  title     = {Study of Integrating Random and Symbolic Testing for Object-Oriented
               Software},
  booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
               Maynooth, Ireland, September 5-7, 2018, Proceedings},
  pages     = {89--109},
  year      = {2018},
  crossref  = {DBLP:conf/ifm/2018},
  url       = {https://doi.org/10.1007/978-3-319-98938-9\_6},
  doi       = {10.1007/978-3-319-98938-9\_6},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/DimjasevicHLR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarGMN18,
  author    = {Falk Howar and
               Dimitra Giannakopoulou and
               Malte Mues and
               Jorge A. Navas},
  title     = {Generating Component Interfaces by Integrating Static and Symbolic
               Analysis, Learning, and Runtime Monitoring},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Verification - 8th International Symposium, ISoLA 2018, Limassol,
               Cyprus, November 5-9, 2018, Proceedings, Part {II}},
  pages     = {120--136},
  year      = {2018},
  crossref  = {DBLP:conf/isola/2018-2},
  url       = {https://doi.org/10.1007/978-3-030-03421-4\_9},
  doi       = {10.1007/978-3-030-03421-4\_9},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarGMN18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JasperMSSH18,
  author    = {Marc Jasper and
               Malte Mues and
               Maximilian Schl{\"{u}}ter and
               Bernhard Steffen and
               Falk Howar},
  title     = {{RERS} 2018: CTL, LTL, and Reachability},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Verification - 8th International Symposium, ISoLA 2018, Limassol,
               Cyprus, November 5-9, 2018, Proceedings, Part {II}},
  pages     = {433--447},
  year      = {2018},
  crossref  = {DBLP:conf/isola/2018-2},
  url       = {https://doi.org/10.1007/978-3-030-03421-4\_27},
  doi       = {10.1007/978-3-030-03421-4\_27},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/JasperMSSH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HessenkamperHR18,
  author    = {Axel Hessenk{\"{a}}mper and
               Falk Howar and
               Andreas Rausch},
  title     = {Digital Transformation Trends: Industry 4.0, Automation, and {AI}
               - Industrial Track at ISoLA 2018},
  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     = {469--471},
  year      = {2018},
  crossref  = {DBLP:conf/isola/2018-4},
  url       = {https://doi.org/10.1007/978-3-030-03427-6\_34},
  doi       = {10.1007/978-3-030-03427-6\_34},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HessenkamperHR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/AniculaeseiHDR18,
  author    = {Adina Aniculaesei and
               Falk Howar and
               Peer Denecke and
               Andreas Rausch},
  title     = {Automated generation of requirements-based test cases for an adaptive
               cruise control system},
  booktitle = {2018 {IEEE} Workshop on Validation, Analysis and Evolution of Software
               Tests, VST@SANER 2018, Campobasso, Italy, March 20, 2018},
  pages     = {11--15},
  year      = {2018},
  crossref  = {DBLP:conf/wcre/2018vst},
  url       = {https://doi.org/10.1109/VST.2018.8327150},
  doi       = {10.1109/VST.2018.8327150},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/AniculaeseiHDR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2018,
  editor    = {Falk Howar and
               Jiri Barnat},
  title     = {Formal Methods for Industrial Critical Systems - 23rd International
               Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11119},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00244-2},
  doi       = {10.1007/978-3-030-00244-2},
  isbn      = {978-3-030-00243-5},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BainczykSSH17,
  author    = {Alexander Bainczyk and
               Alexander Schieweck and
               Bernhard Steffen and
               Falk Howar},
  title     = {Model-Based Testing Without Models: The TodoMVC Case Study},
  booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
               Occasion of His 60th Birthday},
  pages     = {125--144},
  year      = {2017},
  crossref  = {DBLP:conf/birthday/2017brinksma},
  url       = {https://doi.org/10.1007/978-3-319-68270-9\_7},
  doi       = {10.1007/978-3-319-68270-9\_7},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/BainczykSSH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Fiterau-Brostean17,
  author    = {Paul Fiterau{-}Brostean and
               Falk Howar},
  title     = {Learning-Based Testing the Sliding Window Behavior of {TCP} Implementations},
  booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
               22nd International Workshop on Formal Methods for Industrial Critical
               Systems - and - 17th International Workshop on Automated Verification
               of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
               2017, Proceedings},
  pages     = {185--200},
  year      = {2017},
  crossref  = {DBLP:conf/fmics/2017},
  url       = {https://doi.org/10.1007/978-3-319-67113-0\_12},
  doi       = {10.1007/978-3-319-67113-0\_12},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/Fiterau-Brostean17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JasperFSSMPHS17,
  author    = {Marc Jasper and
               Maximilian Fecke and
               Bernhard Steffen and
               Markus Schordan and
               Jeroen Meijer and
               Jaco van de Pol and
               Falk Howar and
               Stephen F. Siegel},
  title     = {The {RERS} 2017 challenge and workshop (invited paper)},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  pages     = {11--20},
  year      = {2017},
  crossref  = {DBLP:conf/spin/2017},
  url       = {https://doi.org/10.1145/3092282.3098206},
  doi       = {10.1145/3092282.3098206},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spin/JasperFSSMPHS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CasselHJS16,
  author    = {Sofia Cassel and
               Falk Howar and
               Bengt Jonsson and
               Bernhard Steffen},
  title     = {Active learning for extended finite state machines},
  journal   = {Formal Asp. Comput.},
  volume    = {28},
  number    = {2},
  pages     = {233--263},
  year      = {2016},
  url       = {https://doi.org/10.1007/s00165-016-0355-5},
  doi       = {10.1007/s00165-016-0355-5},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/CasselHJS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MuesHLKR16,
  author    = {Malte Mues and
               Falk Howar and
               Kasper S{\o}e Luckow and
               Temesghen Kahsai and
               Zvonimir Rakamaric},
  title     = {Releasing the {PSYCO:} Using Symbolic Search in Interface Generation
               for Java},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {41},
  number    = {6},
  pages     = {1--5},
  year      = {2016},
  url       = {https://doi.org/10.1145/3011286.3011298},
  doi       = {10.1145/3011286.3011298},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/MuesHLKR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarMR16,
  author    = {Falk Howar and
               Karl Meinke and
               Andreas Rausch},
  title     = {Learning Systems: Machine-Learning in Software Products and Learning-Based
               Analysis of Software Systems - Special Track at ISoLA 2016},
  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     = {651--654},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-47169-3\_50},
  doi       = {10.1007/978-3-319-47169-3\_50},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarMR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MauritzHR16,
  author    = {Malte Mauritz and
               Falk Howar and
               Andreas Rausch},
  title     = {Assuring the Safety of Advanced Driver Assistance Systems Through
               a Combination of Simulation and Runtime Monitoring},
  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     = {672--687},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-47169-3\_52},
  doi       = {10.1007/978-3-319-47169-3\_52},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/MauritzHR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GeskeJSHSP16,
  author    = {Maren Geske and
               Marc Jasper and
               Bernhard Steffen and
               Falk Howar and
               Markus Schordan and
               Jaco van de Pol},
  title     = {{RERS} 2016: Parallel and Sequential Benchmarks with Focus on {LTL}
               Verification},
  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     = {787--803},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-47169-3\_59},
  doi       = {10.1007/978-3-319-47169-3\_59},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/GeskeJSHSP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LuckowDGHIKRR16,
  author    = {Kasper S{\o}e Luckow and
               Marko Dimjasevic and
               Dimitra Giannakopoulou and
               Falk Howar and
               Malte Isberner and
               Temesghen Kahsai and
               Zvonimir Rakamaric and
               Vishwanath Raman},
  title     = {JDart: {A} Dynamic Symbolic Analysis Framework},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 22nd International Conference, {TACAS} 2016, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages     = {442--459},
  year      = {2016},
  crossref  = {DBLP:conf/tacas/2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9\_26},
  doi       = {10.1007/978-3-662-49674-9\_26},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/LuckowDGHIKRR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/PetersHR16,
  author    = {Henrik Peters and
               Falk Howar and
               Andreas Rausch},
  title     = {Towards Inferring Environment Models for Control Functions from Recorded
               Signal Data},
  booktitle = {First International Workshop on Validating Software Tests, VST@SANER
               2016, Osaka, Japan, March 15, 2016},
  pages     = {1--4},
  year      = {2016},
  crossref  = {DBLP:conf/wcre/2016vst},
  url       = {https://doi.org/10.1109/SANER.2016.83},
  doi       = {10.1109/SANER.2016.83},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/PetersHR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AniculaeseiAHR16,
  author    = {Adina Aniculaesei and
               Daniel Arnsberger and
               Falk Howar and
               Andreas Rausch},
  title     = {Towards the Verification of Safety-critical Autonomous Systems in
               Dynamic Environments},
  booktitle = {Proceedings of the The First Workshop on Verification and Validation
               of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjav{\'{\i}}k,
               Iceland, June 4-5, 2016},
  pages     = {79--90},
  year      = {2016},
  crossref  = {DBLP:journals/corr/KargahiT16},
  url       = {https://doi.org/10.4204/EPTCS.232.10},
  doi       = {10.4204/EPTCS.232.10},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AniculaeseiAHR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CasselHJMS15,
  author    = {Sofia Cassel and
               Falk Howar and
               Bengt Jonsson and
               Maik Merten and
               Bernhard Steffen},
  title     = {A succinct canonical register automaton model},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {84},
  number    = {1},
  pages     = {54--66},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jlamp.2014.07.004},
  doi       = {10.1016/j.jlamp.2014.07.004},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/CasselHJMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DimjasevicGHIRR15,
  author    = {Marko Dimjasevic and
               Dimitra Giannakopoulou and
               Falk Howar and
               Malte Isberner and
               Zvonimir Rakamaric and
               Vishwanath Raman},
  title     = {The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder
               and its Applications},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {40},
  number    = {1},
  pages     = {1--5},
  year      = {2015},
  url       = {https://doi.org/10.1145/2693208.2693248},
  doi       = {10.1145/2693208.2693248},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/DimjasevicGHIRR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/IsbernerHS15,
  author    = {Malte Isberner and
               Falk Howar and
               Bernhard Steffen},
  title     = {The Open-Source LearnLib - {A} Framework for Active Automata Learning},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  pages     = {487--495},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015-1},
  url       = {https://doi.org/10.1007/978-3-319-21690-4\_32},
  doi       = {10.1007/978-3-319-21690-4\_32},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/IsbernerHS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BratBDGHK15,
  author    = {Guillaume Brat and
               David H. Bushnell and
               Misty Davies and
               Dimitra Giannakopoulou and
               Falk Howar and
               Temesghen Kahsai},
  title     = {Verifying the Safety of a Flight-Critical System},
  booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  pages     = {308--324},
  year      = {2015},
  crossref  = {DBLP:conf/fm/2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9\_20},
  doi       = {10.1007/978-3-319-19249-9\_20},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/BratBDGHK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MauritzHR15,
  author    = {Malte Mauritz and
               Falk Howar and
               Andreas Rausch},
  title     = {From Simulation to Operation: Using Design Time Artifacts to Ensure
               the Safety of Advanced Driving Assistance Systems at Runtime},
  booktitle = {Proceedings of the International Workshop on Modelling in Automotive
               Software Engineering co-located with {ACM/IEEE} 18th International
               Conference on Model Driven Engineering Languages and Systems (MoDELS
               2015), Ottawa, Canada. September 27, 2015},
  pages     = {43--52},
  year      = {2015},
  crossref  = {DBLP:conf/models/2015mase},
  url       = {http://ceur-ws.org/Vol-1487/MASE\_2015\_paper\_14.pdf},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/MauritzHR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/IsbernerSH15,
  author    = {Malte Isberner and
               Bernhard Steffen and
               Falk Howar},
  title     = {LearnLib Tutorial - An Open-Source Java Library for Active Automata
               Learning},
  booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
               Austria, September 22-25, 2015. Proceedings},
  pages     = {358--377},
  year      = {2015},
  crossref  = {DBLP:conf/rv/2015},
  url       = {https://doi.org/10.1007/978-3-319-23820-3\_25},
  doi       = {10.1007/978-3-319-23820-3\_25},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/IsbernerSH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BratBDGHK15,
  author    = {Guillaume Brat and
               David H. Bushnell and
               Misty Davies and
               Dimitra Giannakopoulou and
               Falk Howar and
               Temesghen Kahsai},
  title     = {Verifying the Safety of a Flight-Critical System},
  journal   = {CoRR},
  volume    = {abs/1502.02605},
  year      = {2015},
  url       = {http://arxiv.org/abs/1502.02605},
  archivePrefix = {arXiv},
  eprint    = {1502.02605},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BratBDGHK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/IsbernerHS14,
  author    = {Malte Isberner and
               Falk Howar and
               Bernhard Steffen},
  title     = {Learning register automata: from languages to program structures},
  journal   = {Machine Learning},
  volume    = {96},
  number    = {1-2},
  pages     = {65--98},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10994-013-5419-7},
  doi       = {10.1007/s10994-013-5419-7},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ml/IsbernerHS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HowarIMSBP14,
  author    = {Falk Howar and
               Malte Isberner and
               Maik Merten and
               Bernhard Steffen and
               Dirk Beyer and
               Corina S. Pasareanu},
  title     = {Rigorous examination of reactive systems - The {RERS} challenges 2012
               and 2013},
  journal   = {{STTT}},
  volume    = {16},
  number    = {5},
  pages     = {457--464},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10009-014-0337-y},
  doi       = {10.1007/s10009-014-0337-y},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/HowarIMSBP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SteffenHINM14,
  author    = {Bernhard Steffen and
               Falk Howar and
               Malte Isberner and
               Stefan Naujokat and
               Tiziana Margaria},
  title     = {Tailored generation of concurrent benchmarks},
  journal   = {{STTT}},
  volume    = {16},
  number    = {5},
  pages     = {543--558},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10009-014-0339-9},
  doi       = {10.1007/s10009-014-0339-9},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/SteffenHINM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarS14,
  author    = {Falk Howar and
               Bernhard Steffen},
  title     = {Learning Models for Verification and Testing - Special Track at ISoLA
               2014 Track Introduction},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 6th International Symposium, ISoLA
               2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
               {I}},
  pages     = {199--201},
  year      = {2014},
  crossref  = {DBLP:conf/isola/2014-1},
  url       = {https://doi.org/10.1007/978-3-662-45234-9\_14},
  doi       = {10.1007/978-3-662-45234-9\_14},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AartsHKV14,
  author    = {Fides Aarts and
               Falk Howar and
               Harco Kuppens and
               Frits W. Vaandrager},
  title     = {Algorithms for Inferring Register Automata - {A} Comparison of Existing
               Approaches},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 6th International Symposium, ISoLA
               2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
               {I}},
  pages     = {202--219},
  year      = {2014},
  crossref  = {DBLP:conf/isola/2014-1},
  url       = {https://doi.org/10.1007/978-3-662-45234-9\_15},
  doi       = {10.1007/978-3-662-45234-9\_15},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/AartsHKV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarIS14,
  author    = {Falk Howar and
               Malte Isberner and
               Bernhard Steffen},
  title     = {Tutorial: Automata Learning in Practice},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 6th International Symposium, ISoLA
               2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
               {I}},
  pages     = {499--513},
  year      = {2014},
  crossref  = {DBLP:conf/isola/2014-1},
  url       = {https://doi.org/10.1007/978-3-662-45234-9\_34},
  doi       = {10.1007/978-3-662-45234-9\_34},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarIS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GiannakopoulouHILRR14,
  author    = {Dimitra Giannakopoulou and
               Falk Howar and
               Malte Isberner and
               Todd Lauderdale and
               Zvonimir Rakamaric and
               Vishwanath Raman},
  title     = {Taming test inputs for separation assurance},
  booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  pages     = {373--384},
  year      = {2014},
  crossref  = {DBLP:conf/kbse/2014},
  url       = {https://doi.org/10.1145/2642937.2642940},
  doi       = {10.1145/2642937.2642940},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/GiannakopoulouHILRR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GarocheHKT14,
  author    = {Pierre{-}Lo{\"{\i}}c Garoche and
               Falk Howar and
               Temesghen Kahsai and
               Xavier Thirioux},
  title     = {Testing-Based Compiler Validation for Synchronous Languages},
  booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
               TX, USA, April 29 - May 1, 2014. Proceedings},
  pages     = {246--251},
  year      = {2014},
  crossref  = {DBLP:conf/nfm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06200-6\_19},
  doi       = {10.1007/978-3-319-06200-6\_19},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/GarocheHKT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/IsbernerHS14,
  author    = {Malte Isberner and
               Falk Howar and
               Bernhard Steffen},
  title     = {The {TTT} Algorithm: {A} Redundancy-Free Approach to Active Automata
               Learning},
  booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
               ON, Canada, September 22-25, 2014. Proceedings},
  pages     = {307--322},
  year      = {2014},
  crossref  = {DBLP:conf/rv/2014},
  url       = {https://doi.org/10.1007/978-3-319-11164-3\_26},
  doi       = {10.1007/978-3-319-11164-3\_26},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/IsbernerHS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CasselHJS14,
  author    = {Sofia Cassel and
               Falk Howar and
               Bengt Jonsson and
               Bernhard Steffen},
  title     = {Learning Extended Finite State Machines},
  booktitle = {Software Engineering and Formal Methods - 12th International Conference,
               {SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
  pages     = {250--264},
  year      = {2014},
  crossref  = {DBLP:conf/sefm/2014},
  url       = {https://doi.org/10.1007/978-3-319-10431-7\_18},
  doi       = {10.1007/978-3-319-10431-7\_18},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/CasselHJS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/HowarMW13,
  author    = {Falk Howar and
               Tiziana Margaria and
               Christian Wagner},
  title     = {Simplifying Translation Validation via Model Extrapolation},
  journal   = {J. Integrated Design {\&} Process Science},
  volume    = {17},
  number    = {3},
  pages     = {71--91},
  year      = {2013},
  url       = {https://doi.org/10.3233/jid-2013-0022},
  doi       = {10.3233/jid-2013-0022},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jid/HowarMW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/WindmullerNSHB13,
  author    = {Stephan Windm{\"{u}}ller and
               Johannes Neubauer and
               Bernhard Steffen and
               Falk Howar and
               Oliver Bauer},
  title     = {Active continuous quality control},
  booktitle = {CBSE'13, Proceedings of the 16th {ACM} {SIGSOFT} Symposium on Component
               Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada,
               June 17-21, 2013},
  pages     = {111--120},
  year      = {2013},
  crossref  = {DBLP:conf/cbse/2013},
  url       = {https://doi.org/10.1145/2465449.2465469},
  doi       = {10.1145/2465449.2465469},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cbse/WindmullerNSHB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HowarGR13,
  author    = {Falk Howar and
               Dimitra Giannakopoulou and
               Zvonimir Rakamaric},
  title     = {Hybrid learning: interface generation through static, dynamic, and
               symbolic analysis},
  booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
               '13, Lugano, Switzerland, July 15-20, 2013},
  pages     = {268--279},
  year      = {2013},
  crossref  = {DBLP:conf/issta/2013},
  url       = {https://doi.org/10.1145/2483760.2483783},
  doi       = {10.1145/2483760.2483783},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/HowarGR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/IsbernerHS13,
  author    = {Malte Isberner and
               Falk Howar and
               Bernhard Steffen},
  title     = {Inferring Automata with State-Local Alphabet Abstractions},
  booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
               Field, CA, USA, May 14-16, 2013. Proceedings},
  pages     = {124--138},
  year      = {2013},
  crossref  = {DBLP:conf/nfm/2013},
  url       = {https://doi.org/10.1007/978-3-642-38088-4\_9},
  doi       = {10.1007/978-3-642-38088-4\_9},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/IsbernerHS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Howar12,
  author    = {Falk Howar},
  title     = {Active learning of interface programs},
  school    = {Dortmund University of Technology},
  year      = {2012},
  url       = {http://hdl.handle.net/2003/29486},
  urn       = {urn:nbn:de:101:1-201605033153},
  timestamp = {Wed, 04 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Howar12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CasselJHS12,
  author    = {Sofia Cassel and
               Bengt Jonsson and
               Falk Howar and
               Bernhard Steffen},
  title     = {A Succinct Canonical Register Automaton Model for Data Domains with
               Binary Relations},
  booktitle = {Automated Technology for Verification and Analysis - 10th International
               Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
               Proceedings},
  pages     = {57--71},
  year      = {2012},
  crossref  = {DBLP:conf/atva/2012},
  url       = {https://doi.org/10.1007/978-3-642-33386-6\_6},
  doi       = {10.1007/978-3-642-33386-6\_6},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/CasselJHS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BennaceurISHISJM12,
  author    = {Amel Bennaceur and
               Val{\'{e}}rie Issarny and
               Daniel Sykes and
               Falk Howar and
               Malte Isberner and
               Bernhard Steffen and
               Richard Johansson and
               Alessandro Moschitti},
  title     = {Machine Learning for Emergent Middleware},
  booktitle = {Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
               - Second International Workshop, EternalS 2012, Montpellier, France,
               August 28, 2012, Revised Selected Papers},
  pages     = {16--29},
  year      = {2012},
  crossref  = {DBLP:conf/ecai/2012eternals},
  url       = {https://doi.org/10.1007/978-3-642-45260-4\_2},
  doi       = {10.1007/978-3-642-45260-4\_2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/BennaceurISHISJM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NeubauerSBWMMH12,
  author    = {Johannes Neubauer and
               Bernhard Steffen and
               Oliver Bauer and
               Stephan Windm{\"{u}}ller and
               Maik Merten and
               Tiziana Margaria and
               Falk Howar},
  title     = {Automated continuous quality assurance},
  booktitle = {Proceedings of the First International Workshop on Formal Methods
               in Software Engineering - Rigorous and Agile Approaches, FormSERA
               2012, Zurich, Switzerland, June 2, 2012},
  pages     = {37--43},
  year      = {2012},
  crossref  = {DBLP:conf/icse/2012formsera},
  url       = {https://doi.org/10.1109/FormSERA.2012.6229787},
  doi       = {10.1109/FormSERA.2012.6229787},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/NeubauerSBWMMH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenHSPT12,
  author    = {Maik Merten and
               Falk Howar and
               Bernhard Steffen and
               Patrizio Pelliccione and
               Massimo Tivoli},
  title     = {Automated Inference of Models for Black Box Systems Based on Interface
               Descriptions},
  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     = {79--96},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_7},
  doi       = {10.1007/978-3-642-34026-0\_7},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/MertenHSPT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarISBJ12,
  author    = {Falk Howar and
               Malte Isberner and
               Bernhard Steffen and
               Oliver Bauer and
               Bengt Jonsson},
  title     = {Inferring Semantic Interfaces of Data Structures},
  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     = {554--571},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_41},
  doi       = {10.1007/978-3-642-34026-0\_41},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarISBJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarIMS12,
  author    = {Falk Howar and
               Malte Isberner and
               Maik Merten and
               Bernhard Steffen},
  title     = {LearnLib Tutorial: From Finite Automata to Register Interface Programs},
  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     = {587--590},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_43},
  doi       = {10.1007/978-3-642-34026-0\_43},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarIMS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenIHSM12,
  author    = {Maik Merten and
               Malte Isberner and
               Falk Howar and
               Bernhard Steffen and
               Tiziana Margaria},
  title     = {Automated Learning Setups in Automata Learning},
  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     = {591--607},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_44},
  doi       = {10.1007/978-3-642-34026-0\_44},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/MertenIHSM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarIMSB12,
  author    = {Falk Howar and
               Malte Isberner and
               Maik Merten and
               Bernhard Steffen and
               Dirk Beyer},
  title     = {The {RERS} Grey-Box Challenge 2012: Analysis of Event-Condition-Action
               Systems},
  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     = {608--614},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_45},
  doi       = {10.1007/978-3-642-34026-0\_45},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarIMSB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MertenHSCJ12,
  author    = {Maik Merten and
               Falk Howar and
               Bernhard Steffen and
               Sofia Cassel and
               Bengt Jonsson},
  title     = {Demonstrating Learning of Register Automata},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  pages     = {466--471},
  year      = {2012},
  crossref  = {DBLP:conf/tacas/2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5\_32},
  doi       = {10.1007/978-3-642-28756-5\_32},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/MertenHSCJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HowarSJC12,
  author    = {Falk Howar and
               Bernhard Steffen and
               Bengt Jonsson and
               Sofia Cassel},
  title     = {Inferring Canonical Register Automata},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
               Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
               Proceedings},
  pages     = {251--266},
  year      = {2012},
  crossref  = {DBLP:conf/vmcai/2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9\_17},
  doi       = {10.1007/978-3-642-27940-9\_17},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/HowarSJC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/jmlr/SteffenHI12,
  author    = {Bernhard Steffen and
               Falk Howar and
               Malte Isberner},
  title     = {Active Automata Learning: From DFAs to Interface Programs and Beyond},
  booktitle = {Proceedings of the Eleventh International Conference on Grammatical
               Inference, {ICGI} 2012, University of Maryland, College Park, USA,
               September 5-8, 2012},
  pages     = {195--209},
  year      = {2012},
  crossref  = {DBLP:conf/icgi/2012},
  url       = {http://proceedings.mlr.press/v21/steffen12a.html},
  timestamp = {Wed, 29 May 2019 08:41:46 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jmlr/SteffenHI12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CasselHJMS11,
  author    = {Sofia Cassel and
               Falk Howar and
               Bengt Jonsson and
               Maik Merten and
               Bernhard Steffen},
  title     = {A Succinct Canonical Register Automaton Model},
  booktitle = {Automated Technology for Verification and Analysis, 9th International
               Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
  pages     = {366--380},
  year      = {2011},
  crossref  = {DBLP:conf/atva/2011},
  url       = {https://doi.org/10.1007/978-3-642-24372-1\_26},
  doi       = {10.1007/978-3-642-24372-1\_26},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/CasselHJMS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fet/BauerNSH11,
  author    = {Oliver Bauer and
               Johannes Neubauer and
               Bernhard Steffen and
               Falk Howar},
  title     = {Reusing System States by Active Learning Algorithms},
  booktitle = {Eternal Systems - First International Workshop, EternalS@FET 2011,
               Budapest, Hungary, May 3, 2011, Revised Selected Papers},
  pages     = {61--78},
  year      = {2011},
  crossref  = {DBLP:conf/fet/2011eternals},
  url       = {https://doi.org/10.1007/978-3-642-28033-7\_6},
  doi       = {10.1007/978-3-642-28033-7\_6},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fet/BauerNSH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarBMSM11,
  author    = {Falk Howar and
               Oliver Bauer and
               Maik Merten and
               Bernhard Steffen and
               Tiziana Margaria},
  title     = {The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata
               Learning},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
               - International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
               the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
               Revised Selected Papers},
  pages     = {232--247},
  year      = {2011},
  crossref  = {DBLP:conf/isola/2011w},
  url       = {https://doi.org/10.1007/978-3-642-34781-8\_18},
  doi       = {10.1007/978-3-642-34781-8\_18},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarBMSM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenHSM11,
  author    = {Maik Merten and
               Falk Howar and
               Bernhard Steffen and
               Tiziana Margaria},
  title     = {Automata Learning with On-the-Fly Direct Hypothesis Construction},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
               - International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
               the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
               Revised Selected Papers},
  pages     = {248--260},
  year      = {2011},
  crossref  = {DBLP:conf/isola/2011w},
  url       = {https://doi.org/10.1007/978-3-642-34781-8\_19},
  doi       = {10.1007/978-3-642-34781-8\_19},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/MertenHSM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/SteffenHM11,
  author    = {Bernhard Steffen and
               Falk Howar and
               Maik Merten},
  title     = {Introduction to Active Automata Learning from a Practical Perspective},
  booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
               School on Formal Methods for the Design of Computer, Communication
               and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
               Advanced Lectures},
  pages     = {256--296},
  year      = {2011},
  crossref  = {DBLP:conf/sfm/2011},
  url       = {https://doi.org/10.1007/978-3-642-21455-4\_8},
  doi       = {10.1007/978-3-642-21455-4\_8},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/SteffenHM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MertenSHM11,
  author    = {Maik Merten and
               Bernhard Steffen and
               Falk Howar and
               Tiziana Margaria},
  title     = {Next Generation LearnLib},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 17th International Conference, {TACAS} 2011, Held as Part of the
               Joint European Conferences on Theory and Practice of Software, {ETAPS}
               2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  pages     = {220--223},
  year      = {2011},
  crossref  = {DBLP:conf/tacas/2011},
  url       = {https://doi.org/10.1007/978-3-642-19835-9\_18},
  doi       = {10.1007/978-3-642-19835-9\_18},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/MertenSHM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HowarSM11,
  author    = {Falk Howar and
               Bernhard Steffen and
               Maik Merten},
  title     = {Automata Learning with Automated Alphabet Abstraction Refinement},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
               Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  pages     = {263--277},
  year      = {2011},
  crossref  = {DBLP:conf/vmcai/2011},
  url       = {https://doi.org/10.1007/978-3-642-18275-4\_19},
  doi       = {10.1007/978-3-642-18275-4\_19},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/HowarSM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BennaceurBCHGGHIIP10,
  author    = {Amel Bennaceur and
               Gordon S. Blair and
               Franck Chauvel and
               Gang Huang and
               Nikolaos Georgantas and
               Paul Grace and
               Falk Howar and
               Paola Inverardi and
               Val{\'{e}}rie Issarny and
               Massimo Paolucci and
               Animesh Pathak and
               Romina Spalazzese and
               Bernhard Steffen and
               Bertrand Souville},
  title     = {Towards an Architecture for Runtime Interoperability},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  pages     = {206--220},
  year      = {2010},
  crossref  = {DBLP:conf/isola/2010-2},
  url       = {https://doi.org/10.1007/978-3-642-16561-0\_23},
  doi       = {10.1007/978-3-642-16561-0\_23},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/BennaceurBCHGGHIIP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarJMSC10,
  author    = {Falk Howar and
               Bengt Jonsson and
               Maik Merten and
               Bernhard Steffen and
               Sofia Cassel},
  title     = {On Handling Data in Automata Learning - Considerations from the {CONNECT}
               Perspective},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  pages     = {221--235},
  year      = {2010},
  crossref  = {DBLP:conf/isola/2010-2},
  url       = {https://doi.org/10.1007/978-3-642-16561-0\_24},
  doi       = {10.1007/978-3-642-16561-0\_24},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarJMSC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarSM10,
  author    = {Falk Howar and
               Bernhard Steffen and
               Maik Merten},
  title     = {From {ZULU} to {RERS} - Lessons Learned in the {ZULU} Challenge},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
  pages     = {687--704},
  year      = {2010},
  crossref  = {DBLP:conf/isola/2010-1},
  url       = {https://doi.org/10.1007/978-3-642-16558-0\_55},
  doi       = {10.1007/978-3-642-16558-0\_55},
  timestamp = {Sun, 02 Jun 2019 21:11:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HowarSM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2019-3,
  editor    = {Dirk Beyer and
               Marieke Huisman and
               Fabrice Kordon and
               Bernhard Steffen},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
               Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11429},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17502-3},
  doi       = {10.1007/978-3-030-17502-3},
  isbn      = {978-3-030-17501-6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2019-3},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/10000,
  editor    = {Bernhard Steffen and
               Gerhard J. Woeginger},
  title     = {Computing and Software Science - State of the Art and Perspectives},
  series    = {Lecture Notes in Computer Science},
  volume    = {10000},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-319-91908-9},
  doi       = {10.1007/978-3-319-91908-9},
  isbn      = {978-3-319-91907-2},
  timestamp = {Mon, 07 Oct 2019 10:56:35 +0200},
  biburl    = {https://dblp.org/rec/bib/series/lncs/10000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018steffen,
  editor    = {Tiziana Margaria and
               Susanne Graf and
               Kim G. Larsen},
  title     = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
               Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11200},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-22348-9},
  doi       = {10.1007/978-3-030-22348-9},
  isbn      = {978-3-030-22347-2},
  timestamp = {Wed, 26 Jun 2019 10:29:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2018steffen},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2016ml,
  editor    = {Amel Bennaceur and
               Reiner H{\"{a}}hnle and
               Karl Meinke},
  title     = {Machine Learning for Dynamic Software Analysis: Potentials and Limits
               - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany,
               April 24-27, 2016, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11026},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96562-8},
  doi       = {10.1007/978-3-319-96562-8},
  isbn      = {978-3-319-96561-1},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2016ml},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2018,
  editor    = {Falk Howar and
               Jiri Barnat},
  title     = {Formal Methods for Industrial Critical Systems - 23rd International
               Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11119},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00244-2},
  doi       = {10.1007/978-3-030-00244-2},
  isbn      = {978-3-030-00243-5},
  timestamp = {Sat, 19 Oct 2019 20:28:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2018,
  editor    = {Carlo A. Furia and
               Kirsten Winter},
  title     = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
               Maynooth, Ireland, September 5-7, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11023},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-98938-9},
  doi       = {10.1007/978-3-319-98938-9},
  isbn      = {978-3-319-98937-2},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-2,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Verification - 8th International Symposium, ISoLA 2018, Limassol,
               Cyprus, November 5-9, 2018, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11245},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03421-4},
  doi       = {10.1007/978-3-030-03421-4},
  isbn      = {978-3-030-03420-7},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2018-2},
  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, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2018-4},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2018vst,
  editor    = {Cyrille Artho and
               Rudolf Ramler},
  title     = {2018 {IEEE} Workshop on Validation, Analysis and Evolution of Software
               Tests, VST@SANER 2018, Campobasso, Italy, March 20, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8321343/proceeding},
  isbn      = {978-1-5386-6492-6},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2018vst},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017brinksma,
  editor    = {Joost{-}Pieter Katoen and
               Rom Langerak and
               Arend Rensink},
  title     = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
               Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {10500},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68270-9},
  doi       = {10.1007/978-3-319-68270-9},
  isbn      = {978-3-319-68269-3},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2017brinksma},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2017,
  editor    = {Laure Petrucci and
               Cristina Seceleanu and
               Ana Cavalcanti},
  title     = {Critical Systems: Formal Methods and Automated Verification - Joint
               22nd International Workshop on Formal Methods for Industrial Critical
               Systems - and - 17th International Workshop on Automated Verification
               of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
               2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10471},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67113-0},
  doi       = {10.1007/978-3-319-67113-0},
  isbn      = {978-3-319-67112-3},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2017,
  editor    = {Hakan Erdogmus and
               Klaus Havelund},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3092282},
  isbn      = {978-1-4503-5077-8},
  timestamp = {Wed, 16 Aug 2017 09:59:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/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, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2016-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2016,
  editor    = {Marsha Chechik and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 22nd International Conference, {TACAS} 2016, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9636},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9},
  doi       = {10.1007/978-3-662-49674-9},
  isbn      = {978-3-662-49673-2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2016vst,
  title     = {First International Workshop on Validating Software Tests, VST@SANER
               2016, Osaka, Japan, March 15, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7476313/proceeding},
  isbn      = {978-1-5090-1855-0},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2016vst},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KargahiT16,
  editor    = {Mehdi Kargahi and
               Ashutosh Trivedi},
  title     = {Proceedings of the The First Workshop on Verification and Validation
               of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjav{\'{\i}}k,
               Iceland, June 4-5, 2016},
  series    = {{EPTCS}},
  volume    = {232},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.232},
  doi       = {10.4204/EPTCS.232},
  timestamp = {Sat, 01 Dec 2018 13:41:45 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KargahiT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2015-1,
  editor    = {Daniel Kroening and
               Corina S. Pasareanu},
  title     = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9206},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21690-4},
  doi       = {10.1007/978-3-319-21690-4},
  isbn      = {978-3-319-21689-8},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2015-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015,
  editor    = {Nikolaj Bj{\o}rner and
               Frank S. de Boer},
  title     = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9109},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9},
  doi       = {10.1007/978-3-319-19249-9},
  isbn      = {978-3-319-19248-2},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015mase,
  editor    = {Michal Antkiewicz and
               Joanne M. Atlee and
               Juergen Dingel and
               S. Ramesh},
  title     = {Proceedings of the International Workshop on Modelling in Automotive
               Software Engineering co-located with {ACM/IEEE} 18th International
               Conference on Model Driven Engineering Languages and Systems (MoDELS
               2015), Ottawa, Canada. September 27, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1487},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1487},
  urn       = {urn:nbn:de:0074-1487-5},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2015mase},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2015,
  editor    = {Ezio Bartocci and
               Rupak Majumdar},
  title     = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
               Austria, September 22-25, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9333},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23820-3},
  doi       = {10.1007/978-3-319-23820-3},
  isbn      = {978-3-319-23819-7},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2014-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 6th International Symposium, ISoLA
               2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8802},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45234-9},
  doi       = {10.1007/978-3-662-45234-9},
  isbn      = {978-3-662-45233-2},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2014-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2014,
  editor    = {Ivica Crnkovic and
               Marsha Chechik and
               Paul Gr{\"{u}}nbacher},
  title     = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2642937},
  isbn      = {978-1-4503-3013-8},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2014,
  editor    = {Julia M. Badger and
               Kristin Yvonne Rozier},
  title     = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
               TX, USA, April 29 - May 1, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8430},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06200-6},
  doi       = {10.1007/978-3-319-06200-6},
  isbn      = {978-3-319-06199-3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2014,
  editor    = {Borzoo Bonakdarpour and
               Scott A. Smolka},
  title     = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
               ON, Canada, September 22-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8734},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11164-3},
  doi       = {10.1007/978-3-319-11164-3},
  isbn      = {978-3-319-11163-6},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2014,
  editor    = {Dimitra Giannakopoulou and
               Gwen Sala{\"{u}}n},
  title     = {Software Engineering and Formal Methods - 12th International Conference,
               {SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8702},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10431-7},
  doi       = {10.1007/978-3-319-10431-7},
  isbn      = {978-3-319-10430-0},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cbse/2013,
  editor    = {Philippe Kruchten and
               Dimitra Giannakopoulou and
               Massimo Tivoli},
  title     = {CBSE'13, Proceedings of the 16th {ACM} {SIGSOFT} Symposium on Component
               Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada,
               June 17-21, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2465449},
  isbn      = {978-1-4503-2122-8},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cbse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2013,
  editor    = {Mauro Pezz{\`{e}} and
               Mark Harman},
  title     = {International Symposium on Software Testing and Analysis, {ISSTA}
               '13, Lugano, Switzerland, July 15-20, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2483760},
  doi       = {10.1145/2483760},
  isbn      = {978-1-4503-2159-4},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/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 = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2012,
  editor    = {Supratik Chakraborty and
               Madhavan Mukund},
  title     = {Automated Technology for Verification and Analysis - 10th International
               Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7561},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33386-6},
  doi       = {10.1007/978-3-642-33386-6},
  isbn      = {978-3-642-33385-9},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2012eternals,
  editor    = {Alessandro Moschitti and
               Barbara Plank},
  title     = {Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
               - Second International Workshop, EternalS 2012, Montpellier, France,
               August 28, 2012, Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {379},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45260-4},
  doi       = {10.1007/978-3-642-45260-4},
  isbn      = {978-3-642-45259-8},
  timestamp = {Fri, 02 Jun 2017 20:46:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2012eternals},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2012formsera,
  editor    = {Stefania Gnesi and
               Stefan Gruner and
               Nico Plat and
               Bernhard Rumpe},
  title     = {Proceedings of the First International Workshop on Formal Methods
               in Software Engineering - Rigorous and Agile Approaches, FormSERA
               2012, Zurich, Switzerland, June 2, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6220306/proceeding},
  isbn      = {978-1-4673-1906-5},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2012formsera},
  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, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2012-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2012,
  editor    = {Cormac Flanagan and
               Barbara K{\"{o}}nig},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7214},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5},
  doi       = {10.1007/978-3-642-28756-5},
  isbn      = {978-3-642-28755-8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2012,
  editor    = {Viktor Kuncak and
               Andrey Rybalchenko},
  title     = {Verification, Model Checking, and Abstract Interpretation - 13th International
               Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7148},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9},
  doi       = {10.1007/978-3-642-27940-9},
  isbn      = {978-3-642-27939-3},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icgi/2012,
  editor    = {Jeffrey Heinz and
               Colin de la Higuera and
               Tim Oates},
  title     = {Proceedings of the Eleventh International Conference on Grammatical
               Inference, {ICGI} 2012, University of Maryland, College Park, USA,
               September 5-8, 2012},
  series    = {{JMLR} Proceedings},
  volume    = {21},
  publisher = {JMLR.org},
  year      = {2012},
  url       = {http://proceedings.mlr.press/v21/},
  timestamp = {Wed, 29 May 2019 08:41:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icgi/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2011,
  editor    = {Tevfik Bultan and
               Pao{-}Ann Hsiung},
  title     = {Automated Technology for Verification and Analysis, 9th International
               Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6996},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24372-1},
  doi       = {10.1007/978-3-642-24372-1},
  isbn      = {978-3-642-24371-4},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fet/2011eternals,
  editor    = {Alessandro Moschitti and
               Riccardo Scandariato},
  title     = {Eternal Systems - First International Workshop, EternalS@FET 2011,
               Budapest, Hungary, May 3, 2011, Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {255},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28033-7},
  doi       = {10.1007/978-3-642-28033-7},
  isbn      = {978-3-642-28032-0},
  timestamp = {Wed, 17 May 2017 14:24:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fet/2011eternals},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2011w,
  editor    = {Reiner H{\"{a}}hnle and
               Jens Knoop and
               Tiziana Margaria and
               Dietmar Schreiner and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification, and Validation
               - International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
               the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {336},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34781-8},
  doi       = {10.1007/978-3-642-34781-8},
  isbn      = {978-3-642-34780-1},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2011w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2011,
  editor    = {Marco Bernardo and
               Val{\'{e}}rie Issarny},
  title     = {Formal Methods for Eternal Networked Software Systems - 11th International
               School on Formal Methods for the Design of Computer, Communication
               and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
               Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {6659},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21455-4},
  doi       = {10.1007/978-3-642-21455-4},
  isbn      = {978-3-642-21454-7},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2011,
  editor    = {Parosh Aziz Abdulla and
               K. Rustan M. Leino},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 17th International Conference, {TACAS} 2011, Held as Part of the
               Joint European Conferences on Theory and Practice of Software, {ETAPS}
               2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6605},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19835-9},
  doi       = {10.1007/978-3-642-19835-9},
  isbn      = {978-3-642-19834-2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2011,
  editor    = {Ranjit Jhala and
               David A. Schmidt},
  title     = {Verification, Model Checking, and Abstract Interpretation - 12th International
               Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6538},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-18275-4},
  doi       = {10.1007/978-3-642-18275-4},
  isbn      = {978-3-642-18274-7},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2010-2,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6416},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16561-0},
  doi       = {10.1007/978-3-642-16561-0},
  isbn      = {978-3-642-16560-3},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2010-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2010-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6415},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16558-0},
  doi       = {10.1007/978-3-642-16558-0},
  isbn      = {978-3-642-16557-3},
  timestamp = {Sun, 02 Jun 2019 21:11:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2010-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics