Automating Test Case Generation from Z Specifications with Isabelle. - Steffen Helke; Thomas Neustupny; Thomas Santen (ZUM, 1997)

Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. - Steffen Helke; Thomas Santen (FME, 2001)

Representing Hierarchical Automata in Interactive Theorem Provers. - Steffen Helke; Florian Kammüller (TPHOLs, 2001)

Test Case Generation for UML Statecharts. - Dirk Seifert; Steffen Helke; Thomas Santen (Ershov Memorial Conference, 2003)

Structure Preserving Data Abstractions for Statecharts. - Steffen Helke; Florian Kammüller (FORTE, 2005)

Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion. - Steffen Helke (2007)

Low-Level Code Verification Based on CSP Models. - Moritz Kleine; Steffen Helke (SBMF, 2009)

Formalizing Statecharts using Hierarchical Automata. - Steffen Helke; Florian Kammüller (Arch. Formal Proofs, 2010)

LLVM2CSP: Extracting CSP Models from Concurrent Programs. - Moritz Kleine; Björn Bartels; Thomas Göthel; Steffen Helke; Dirk Prenzel (NASA Formal Methods, 2011)

Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. - Graeme Smith 001; Steffen Helke (TASE, 2011)

Towards Static Modular Software Verification. - Marcus Mews; Steffen Helke (Software Engineering (Workshops), 2012)

The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis. - Rodger Burmeister; Steffen Helke (TASE, 2012)

Secure Refactoring with Java Information Flow. - Steffen Helke; Florian Kammüller; Christian W. Probst (DPM/QASA@ESORICS, 2015)

13.Workshop Automotive Software Engineering. - Heiko Dörr; Steffen Helke (GI-Jahrestagung, 2015)

Automatische Verlinkung von Anforderungen und Testfällen - Fallbasierte Filterung. - Thomas Noack; Steffen Helke (GI-Jahrestagung, 2015)

Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft. - Konstantin Zichler; Steffen Helke (Automotive - Safety & Security, 2017)

Delta Analyzer: Tool-based Evaluation of Modified Requirements for an Efficient Development Effort Estimation in the RFQ Process. - Konstantin Zichler; Felix Ritter; Aaron Schul; Steffen Helke (FedCSIS (Position Papers), 2019)

16. Workshop Automotive Software Engineering. - Steffen Helke; Ina Schaefer; Andreas Vogelsang (SE/SWM, 2019)

R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates. - Konstantin Zichler; Steffen Helke (Software Engineering (Workshops), 2019)

17. Workshop Automotive Software Engineering. - Patrick Ebel 001; Steffen Helke; Ina Schaefer; Andreas Vogelsang (SE, 2020)

ASE 2020 Preface. - Patrick Ebel 001; Steffen Helke; Ina Schaefer; Andreas Vogelsang (Software Engineering (Workshops), 2020)

18th Workshop on Automotive Software Engineering (ASE'21). - Patrick Ebel 001; Steffen Helke; Ina Schaefer; Andreas Vogelsang (Software Engineering, 2021)

19th Workshop on Automotive Software Engineering (ASE'22). - Heiko Dörr; Steffen Helke (Software Engineering, 2022)