BibTeX records: Johanna Nellen

download as .bib file

@inproceedings{DBLP:conf/fm/NellenRWAK18,
  author    = {Johanna Nellen and
               Thomas Rambow and
               Md Tawhid Bin Waez and
               Erika {\'{A}}brah{\'{a}}m and
               Joost{-}Pieter Katoen},
  title     = {Formal Verification of Automotive Simulink Controller Models: Empirical
               Technical Challenges, Evaluation and Recommendations},
  booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  pages     = {382--398},
  year      = {2018},
  crossref  = {DBLP:conf/fm/2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7\_23},
  doi       = {10.1007/978-3-319-95582-7\_23},
  timestamp = {Thu, 12 Jul 2018 13:18:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/NellenRWAK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SchuppNA17,
  author    = {Stefan Schupp and
               Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability
               Analysis},
  booktitle = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
               and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017.},
  pages     = {1--14},
  year      = {2017},
  crossref  = {DBLP:journals/corr/WiklickyV17},
  url       = {https://doi.org/10.4204/EPTCS.250.1},
  doi       = {10.4204/EPTCS.250.1},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/SchuppNA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/NellenDNAW16,
  author    = {Johanna Nellen and
               Kai Driessen and
               Martin R. Neuh{\"{a}}u{\ss}er and
               Erika {\'{A}}brah{\'{a}}m and
               Benedikt Wolters},
  title     = {Two CEGAR-based approaches for the safety verification of PLC-controlled
               plants},
  journal   = {Information Systems Frontiers},
  volume    = {18},
  number    = {5},
  pages     = {927--952},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10796-016-9671-9},
  doi       = {10.1007/s10796-016-9671-9},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isf/NellenDNAW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/GeulenJNFNWAAU15,
  author    = {Sascha Geulen and
               Martina Josevski and
               Johanna Nellen and
               Janosch Fuchs and
               Lukas Netz and
               Benedikt Wolters and
               Dirk Abel and
               Erika {\'{A}}brah{\'{a}}m and
               Walter Unger},
  title     = {Learning-based control strategies for hybrid electric vehicles},
  booktitle = {2015 {IEEE} Conference on Control Applications, {CCA} 2015, Sydney,
               Australia, September 21-23, 2015},
  pages     = {1722--1728},
  year      = {2015},
  crossref  = {DBLP:conf/IEEEcca/2015},
  url       = {https://doi.org/10.1109/CCA.2015.7320858},
  doi       = {10.1109/CCA.2015.7320858},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEcca/GeulenJNFNWAAU15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/NellenWNGA15,
  author    = {Johanna Nellen and
               Benedikt Wolters and
               Lukas Netz and
               Sascha Geulen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {A Genetic Algorithm based Control Strategy for the Energy Management
               Problem in PHEVs},
  booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
               Georgia, October 16-19, 2015},
  pages     = {196--214},
  year      = {2015},
  crossref  = {DBLP:conf/gcai/2015},
  url       = {http://www.easychair.org/publications/paper/245315},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/NellenWNGA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/NellenAW15,
  author    = {Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m and
               Benedikt Wolters},
  title     = {A {CEGAR} Tool for the Reachability Analysis of PLC-Controlled Plants
               Using Hybrid Automata},
  booktitle = {Formalisms for Reuse and Systems Integration},
  pages     = {55--78},
  year      = {2015},
  crossref  = {DBLP:series/asc/2015-346},
  url       = {https://doi.org/10.1007/978-3-319-16577-6\_3},
  doi       = {10.1007/978-3-319-16577-6\_3},
  timestamp = {Tue, 16 May 2017 14:24:29 +0200},
  biburl    = {https://dblp.org/rec/bib/series/asc/NellenAW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/NellenA14,
  author    = {Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {A {CEGAR} approach for the reachability analysis of PLC-controlled
               chemical plants},
  booktitle = {Proceedings of the 15th {IEEE} International Conference on Information
               Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
               2014},
  pages     = {500--507},
  year      = {2014},
  crossref  = {DBLP:conf/iri/2014},
  url       = {https://doi.org/10.1109/IRI.2014.7051930},
  doi       = {10.1109/IRI.2014.7051930},
  timestamp = {Fri, 21 Jul 2017 13:46:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iri/NellenA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NellenA0C13,
  author    = {Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m and
               Xin Chen and
               Pieter Collins},
  title     = {Counterexample Generation for Hybrid Automata},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  pages     = {88--106},
  year      = {2013},
  crossref  = {DBLP:conf/ftscs/2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_7},
  doi       = {10.1007/978-3-319-05416-2\_7},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/NellenA0C13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/NellenA12,
  author    = {Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m},
  title     = {Hybrid Sequential Function Charts},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
               5-7, 2012},
  pages     = {109--120},
  year      = {2012},
  crossref  = {DBLP:conf/mbmv/2012},
  timestamp = {Mon, 22 Dec 2014 14:25:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/NellenA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/AbrahamBBCJLLNS11,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Nadine Bergner and
               Philipp Brauner and
               Florian Corzilius and
               Nils Jansen and
               Thiemo Leonhardt and
               Ulrich Loup and
               Johanna Nellen and
               Ulrik Schroeder},
  title     = {On collaboratively conveying computer science to pupils},
  booktitle = {11th Koli Calling International Conference on Computing Education
               Research, Koli Calling '11, Koli, Finland, November 17-20, 2011},
  pages     = {132--137},
  year      = {2011},
  crossref  = {DBLP:conf/kolicalling/2011},
  url       = {https://doi.org/10.1145/2094131.2094162},
  doi       = {10.1145/2094131.2094162},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/AbrahamBBCJLLNS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2018,
  editor    = {Klaus Havelund and
               Jan Peleska and
               Bill Roscoe and
               Erik P. de Vink},
  title     = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10951},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7},
  doi       = {10.1007/978-3-319-95582-7},
  isbn      = {978-3-319-95581-0},
  timestamp = {Thu, 12 Jul 2018 13:18:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/WiklickyV17,
  editor    = {Herbert Wiklicky and
               Erik P. de Vink},
  title     = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
               and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series    = {{EPTCS}},
  volume    = {250},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.03668},
  timestamp = {Mon, 13 Aug 2018 16:45:59 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/WiklickyV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEcca/2015,
  title     = {2015 {IEEE} Conference on Control Applications, {CCA} 2015, Sydney,
               Australia, September 21-23, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7302355},
  isbn      = {978-1-4799-7787-1},
  timestamp = {Tue, 10 Nov 2015 15:59:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEcca/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2015,
  editor    = {Georg Gottlob and
               Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
               Georgia, October 16-19, 2015},
  series    = {EPiC Series in Computing},
  volume    = {36},
  publisher = {EasyChair},
  year      = {2015},
  url       = {http://www.easychair.org/publications/volume/GCAI\_2015},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/asc/2015-346,
  editor    = {Thouraya Bouabana{-}Tebibel and
               Stuart H. Rubin},
  title     = {Formalisms for Reuse and Systems Integration},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {346},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-16577-6},
  doi       = {10.1007/978-3-319-16577-6},
  isbn      = {978-3-319-16576-9},
  timestamp = {Tue, 16 May 2017 14:24:29 +0200},
  biburl    = {https://dblp.org/rec/bib/series/asc/2015-346},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iri/2014,
  editor    = {James Joshi and
               Elisa Bertino and
               Bhavani M. Thuraisingham and
               Ling Liu},
  title     = {Proceedings of the 15th {IEEE} International Conference on Information
               Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
               2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7036233},
  isbn      = {978-1-4799-5880-1},
  timestamp = {Fri, 21 Jul 2017 13:46:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iri/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2013,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05416-2},
  doi       = {10.1007/978-3-319-05416-2},
  isbn      = {978-3-319-05415-5},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2012,
  editor    = {Jens Brandt and
               Klaus Schneider},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
               5-7, 2012},
  publisher = {Verlag Dr. Kovac},
  year      = {2012},
  timestamp = {Mon, 22 Dec 2014 14:25:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kolicalling/2011,
  editor    = {Ari Korhonen and
               Robert McCartney},
  title     = {11th Koli Calling International Conference on Computing Education
               Research, Koli Calling '11, Koli, Finland, November 17-20, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2094131},
  isbn      = {978-1-4503-1052-9},
  timestamp = {Mon, 21 Oct 2013 19:30:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier