Johanna Nellen

According to our database, Johanna Nellen authored at least 12 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

CoRR, 2019

Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations.

Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis.

Stefan Schupp, Johanna Nellen, Erika Ábrahám

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

2016

Two CEGAR-based approaches for the safety verification of PLC-controlled plants.

Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Ábrahám, Benedikt Wolters

Inf. Syst. Frontiers, 2016

2015

A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.

Johanna Nellen, Erika Ábrahám, Benedikt Wolters

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs.

Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám

Proceedings of the Global Conference on Artificial Intelligence, 2015

Learning-based control strategies for hybrid electric vehicles.

Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger

Proceedings of the 2015 IEEE Conference on Control Applications, 2015

2014

A CEGAR approach for the reachability analysis of PLC-controlled chemical plants.

Johanna Nellen, Erika Ábrahám

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2013

Counterexample Generation for Hybrid Automata.

Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

Hybrid Sequential Function Charts.

Johanna Nellen, Erika Ábrahám

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

2011

On collaboratively conveying computer science to pupils.

Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder

Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011