On collaboratively conveying computer science to pupils. - Erika Ábrahám; Nadine Bergner; Philipp Brauner; Florian Corzilius; Nils Jansen 001; Thiemo Leonhardt; Ulrich Loup; Johanna Nellen; Ulrik Schroeder (Koli Calling, 2011)

Hybrid Sequential Function Charts. - Johanna Nellen; Erika Ábrahám (MBMV, 2012)

Counterexample Generation for Hybrid Automata. - Johanna Nellen; Erika Ábrahám; Xin Chen 002; Pieter Collins (FTSCS, 2013)

A CEGAR approach for the reachability analysis of PLC-controlled chemical plants. - Johanna Nellen; Erika Ábrahám (IRI, 2014)

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 (CCA, 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 (GCAI, 2015)

A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata. - Johanna Nellen; Erika Ábrahám; Benedikt Wolters (Formalisms for Reuse and Systems Integration, 2015)

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)

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. - Stefan Schupp; Johanna Nellen; Erika Ábrahám (QAPL@ETAPS, 2017)

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 (FM, 2018)

Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. - Philipp Berger 002; Johanna Nellen; Joost-Pieter Katoen; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow (FMICS, 2019)

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. - Philipp Berger 002; Johanna Nellen; Joost-Pieter Katoen; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow (CoRR, 2019)