Johanna Nellen

12 papers B 1C 2Misc 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2019 C conf
Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.
FMICS
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
2019 J jnl
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.
CoRR
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
2018 B conf
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations.
FM
Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen
2017 — conf
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis.
QAPL
Stefan Schupp, Johanna Nellen, Erika Ábrahám
2016 J jnl
Two CEGAR-based approaches for the safety verification of PLC-controlled plants.
Inf. Syst. Frontiers
Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Ábrahám, Benedikt Wolters
2015 — ch.
A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.
Formalisms for Reuse and Systems Integration
Johanna Nellen, Erika Ábrahám, Benedikt Wolters
2015 — conf
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs.
GCAI
Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám
2015 C conf
Learning-based control strategies for hybrid electric vehicles.
CCA
Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger
2014 Misc conf
A CEGAR approach for the reachability analysis of PLC-controlled chemical plants.
IRI
Johanna Nellen, Erika Ábrahám
2013 — conf
Counterexample Generation for Hybrid Automata.
FTSCS
Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins
2012 — conf
Hybrid Sequential Function Charts.
MBMV
Johanna Nellen, Erika Ábrahám
2011 — conf
On collaboratively conveying computer science to pupils.
Koli Calling
Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder