Johanna Nellen

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 5

Top Topics

Control Strategies

Reachability Analysis

Hybrid Automata

Top Venues

Publications

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