Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Johanna Nellen
@inproceedings{DBLP:conf/fmics/BergerNKAWR19,
author = {Philipp Berger and
Johanna Nellen and
Joost{-}Pieter Katoen and
Erika {\'{A}}brah{\'{a}}m and
Md Tawhid Bin Waez and
Thomas Rambow},
editor = {Kim Guldstrand Larsen and
Tim A. C. Willemse},
title = {Multiple Analyses, Requirements Once: - Simplifying Testing and Verification
in Automotive Model-Based Development},
booktitle = {Formal Methods for Industrial Critical Systems - 24th International
Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11687},
pages = {59--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27008-7\_4},
doi = {10.1007/978-3-030-27008-7\_4},
timestamp = {Fri, 27 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BergerNKAWR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-07083,
author = {Philipp Berger and
Johanna Nellen and
Joost{-}Pieter Katoen and
Erika {\'{A}}brah{\'{a}}m and
Md Tawhid Bin Waez and
Thomas Rambow},
title = {Multiple Analyses, Requirements Once: simplifying testing {\&}
verification in automotive model-based development},
journal = {CoRR},
volume = {abs/1906.07083},
year = {2019},
url = {http://arxiv.org/abs/1906.07083},
eprinttype = {arXiv},
eprint = {1906.07083},
timestamp = {Fri, 27 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-07083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NellenRWAK18,
author = {Johanna Nellen and
Thomas Rambow and
Md Tawhid Bin Waez and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
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},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {382--398},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_23},
doi = {10.1007/978-3-319-95582-7\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/NellenRWAK18.bib},
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},
editor = {Herbert Wiklicky and
Erik P. de Vink},
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},
series = {{EPTCS}},
volume = {250},
pages = {1--14},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.250.1},
doi = {10.4204/EPTCS.250.1},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchuppNA17.bib},
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 = {Inf. Syst. 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 = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isf/NellenDNAW16.bib},
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},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CCA.2015.7320858},
doi = {10.1109/CCA.2015.7320858},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcca/GeulenJNFNWAAU15.bib},
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},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
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},
series = {EPiC Series in Computing},
volume = {36},
pages = {196--214},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/md3x},
doi = {10.29007/MD3X},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/NellenWNGA15.bib},
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},
editor = {Thouraya Bouabana{-}Tebibel and
Stuart H. Rubin},
title = {A {CEGAR} Tool for the Reachability Analysis of PLC-Controlled Plants
Using Hybrid Automata},
booktitle = {Formalisms for Reuse and Systems Integration},
series = {Advances in Intelligent Systems and Computing},
volume = {346},
pages = {55--78},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16577-6\_3},
doi = {10.1007/978-3-319-16577-6\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/asc/NellenAW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/NellenA14,
author = {Johanna Nellen and
Erika {\'{A}}brah{\'{a}}m},
editor = {James Joshi and
Elisa Bertino and
Bhavani Thuraisingham and
Ling Liu},
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},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IRI.2014.7051930},
doi = {10.1109/IRI.2014.7051930},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/NellenA14.bib},
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},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
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},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {88--106},
publisher = {Springer},
year = {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/conf/ftscs/NellenA0C13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/NellenA12,
author = {Johanna Nellen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Jens Brandt and
Klaus Schneider},
title = {Hybrid Sequential Function Charts},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
5-7, 2012},
series = {Forschungsergebnisse zur Informatik},
volume = {68},
pages = {109--120},
publisher = {Verlag Dr. Kovac},
year = {2012},
timestamp = {Tue, 19 May 2020 12:57:43 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/NellenA12.bib},
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},
editor = {Ari Korhonen and
Robert McCartney},
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},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2094131.2094162},
doi = {10.1145/2094131.2094162},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/AbrahamBBCJLLNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
