Personal Info about Johanna Nellen
I'm a PHD student in the Theory of Hybrid Systems group lead by Prof. Erika チbrah疥 and a scholarship holder in the research training group AlgoSyn.
E-Mail: johanna.nellen at cs.rwth-aachen.de
Phone: +49-241/80-21244
Fax: +49-241/80-22243
Visiting Address
Room 4227
Ahornstra?e 55
52074 Aachen
Research
My research interests include
- Synthesis and verification of hybrid systems
- Different topics of the interdisciplinary area between computer and engineering science
Teaching Assistance
Winter 2013/2014
- Proseminar Algorithms and Tools for Verification
Summer 2013
- Seminar: Satisfiability Checking
Winter 2012/2013
- Software-Projektpraktikum: Explorative Suche mit Lego Mindstorms Robotern
Summer 2012
- Seminar: Satisfiability Checking
Winter 2011/2012
- Seminar Satisfiability Checking
- Software-Projektpraktikum: Explorative Suche mit Lego Mindstorms Robotern
Summer 2011
- Proseminar: Real-Time Systems
Winter 2010/2011
- Lecture Satisfiability Checking
- Praktikum Software-Entwicklung f?r ein Sch?lerpraktikum
- Seminar Satisfiability Checking
Activities
- Member of the AlgoSyn Steering Committee since October 2011
- Co-organization of Promotions-CAFノ since June 2012
- Mentee in the TANDEM Mentoring Program 2011/2012
- Mentor in the MINT project TANDEMschool since November 2011
- Co-organization of Exkursion@Informatik since January 2013
- Co-organization of Aachener Informatiktage since 2011
- Co-organization of Sch?leruniversit舩 since 2011
- Girls' Day 2011, 2012
Publications
| 2018 | |
|---|---|
| Link | Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham, Joost-Pieter Katoen. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. Proc. of Formal Methods Symposium (FM 2018), Volume of LNCS, Springer, 2018. |
| 2017 | |
| Download | Stefan 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. |
| 2016 | |
| Download | Johanna Nellen. Analysis and Synthesis of Hybrid Systems in Control Engineering. Phd Thesis at RWTH Aachen University, 2016. |
| DOI | Johanna 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. |
| 2015 | |
| DOI | Sascha 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. | |
| Link | Johanna 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. |
| Link | Johanna 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. |
| 2014 | |
| DOI | Johanna 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. |
| Link | Johanna 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. |
| 2012 | |
| Download | Johanna 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. |
| 2011 | |
| Download | Erika 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. |
| 2010 | |
|---|---|
| Johanna Nellen. Konfluenzanalyse und Vervollständigung von Graphersetzungssystemen. Diplomarbeit at RWTH Aachen University, 2010. | |
Selected Talks