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.
Show all

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.