Johanna Nellen


johanna.nellen at
+49 241 80 21244
Room 4227
Ahornstraße 55
D-52074 Aachen


I am a PhD student at the research group Theory of Hybrid Systems headed by Prof. Dr. Erika Ábrahám and a collegiate in the reasearch training group AlgoSyn.
My research interests include the synthesis and verification of hybrid systems. I work on different topics in the interdisciplinary area between computer and engineering science.

Teaching Assistance

Winter 2015/2016

Summer 2015

Winter 2014/2015

Summer 2014

Winter 2013/2014

Summer 2013

Winter 2012/2013

Summer 2012

Winter 2011/2012

Summer 2011

  • Proseminar: Real-Time Systems

Winter 2010/2011

  • Lecture: Satisfiability Checking
  • Praktikum: Software-Entwicklung für ein Schülerpraktikum
  • Seminar: Satisfiability Checking



DownloadStefan Schupp, Johanna Nellen, Erika Abraham. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. Proc. of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17), Volume 250 of EPTCS, pages 1–14, Open Publishing Association, 2017.
DownloadJohanna Nellen. Analysis and Synthesis of Hybrid Systems in Control Engineering. Phd Thesis at RWTH Aachen University, 2016.
DOIJohanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Abraham, Benedikt Wolters. Two CEGAR-Based Approaches for the Safety Verification of PLC-Controlled Plants. Information Systems Frontiers 18(5), pages 927–952, 2016.
DOISascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Dirk Abel, Erika Abraham, Walter Unger. Learning-based Control Strategies for Hybrid Electric Vehicles. Proc. of the 2015 IEEE Conf. on Control Applications (CCA'15), pages 1722–1728, IEEE, 2015.
Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Erika Abraham, Walter Unger, Dirk Abel. Online Lernen als Kontrollstrategie in Hybridfahrzeugen. Proc. of the 7th VDI/VDE Fachtagung AUTOREG: Auf dem Weg zum automatisierten Fahren, Volume 2233 of VDI-Berichte, pages 101–112, VDI Verlag, 2015.
LinkJohanna Nellen, Erika Abraham, Benedikt Wolters. A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants using Hybrid Automata. In Thouraya Bouabana-Tebibel, Stuart H. Rubin editors, Formalisms for Reuse and Systems Integration, pages 55–78, Volume 346 of Advances in Intelligent Systems and Computing, 2015.
LinkJohanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Abraham. A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. Proc. of the 1st Global Conference on Artificial Intelligence (GCAI'15), Volume 36 of EPiC Series in Computer Science, pages 196–214, EasyChair, 2015.
DOIJohanna Nellen, Erika Abraham. A CEGAR Approach for the Reachability Analysis of PLC-Controlled Chemical Plants. Proc. of the 15th Int. Conf. on Information Reuse and Integration (IRI'14), pages 500–507, IEEE Computer Society Press, 2014.
LinkJohanna Nellen, Erika Abraham, Xin Chen, Pieter Collins. Counterexample Generation for Hybrid Automata. Proc. of the 2nd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Volume 419 of CCIS, pages 88–106, Springer, 2014.
DownloadJohanna Nellen, Erika Abraham. Hybrid Sequential Function Charts. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'12), Volume 68 of Schriftenreihe Forschungsergebnisse zur Informatik, pages 109–120, Verlag Dr. Kovač, 2012.
DownloadErika Abraham, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder. On Collaboratively Conveying Computer Science to Pupils. Proc. of the 11th Koli Calling Int. Conf. on Computing Education Research (KOLI'11), pages 132–137, ACM, 2011.

Selected Talks

Johanna Nellen, Sascha Geulen. Learning-based Control Strategies for Hybrid Electric Vehicles, Talk at AlgoSyn Seminar, Aachen, Germany, 2015.
Johanna Nellen. A CEGAR Approach for the Reachability Analysis of PLC-Controlled Chemical Plants, Talk at 2nd IEEE International Workshop on Formal Methods Integration (FMi'14), 2014.
Ulrich Loup, Johanna Nellen. Judging Your Colleagues - Tutorial on Scientists’ Ratings, Talk at AlgoSyn tutorial, 2013.
Johanna Nellen. Counterexample generation for hybrid automata, Talk at 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Queenstown, New Zealand, 2013.
Johanna Nellen. Verification of Chemical Plant Control, Talk at Gemeinsamer Workshop der Graduiertenkollegs I: GK 1651 SOAMED et al., 2012.
Ulrich Loup, Johanna Nellen. OASys: An Interdisciplinary DFG Project with Roots in AlgoSyn, Talk at AlgoSyn seminar, 2012.
Johanna Nellen. Hybrid Sequential Function Charts, Talk at MBMV, 2012.
Johanna Nellen. On Collaboratively Conveying Computer Science to Pupils, Talk at KOLI, 2011.
Johanna Nellen, Ulrich Loup, Jan Oliver Ringert, Wolfgang Thomas. Tutorial on Citation Metrics, Talk at AlgoSyn workshop, Dagstuhl, Germany, 2011.
Johanna Nellen. Confluence Analysis and Completion of Graph Grammars, Talk at the AlgoSyn Seminar, RWTH Aachen University, Germany, 2011.