Steffen Helke

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 11

Top Venues

Software Engineering (Workshops)

GI-Jahrestagung

Software Engineering

SE/SWM

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Heiko Dörr, Steffen Helke
19th Workshop on Automotive Software Engineering (ASE'22). Software Engineering (2022)
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
18th Workshop on Automotive Software Engineering (ASE'21). Software Engineering (2021)
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
ASE 2020 Preface. Software Engineering (Workshops) (2020)
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
17. Workshop Automotive Software Engineering. SE (2020)
Konstantin Zichler, Steffen Helke
R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates. Software Engineering (Workshops) (2019)
Steffen Helke, Ina Schaefer, Andreas Vogelsang
16. Workshop Automotive Software Engineering. SE/SWM (2019)
Konstantin Zichler, Felix Ritter, Aaron Schul, Steffen Helke
Delta Analyzer: Tool-based Evaluation of Modified Requirements for an Efficient Development Effort Estimation in the RFQ Process. FedCSIS (Position Papers) (2019)
Konstantin Zichler, Steffen Helke
Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft. Automotive - Safety & Security (2017)
Steffen Helke, Florian Kammüller, Christian W. Probst
Secure Refactoring with Java Information Flow. DPM/QASA@ESORICS (2015)
Heiko Dörr, Steffen Helke
13.Workshop Automotive Software Engineering. GI-Jahrestagung (2015)
Thomas Noack, Steffen Helke
Automatische Verlinkung von Anforderungen und Testfällen - Fallbasierte Filterung. GI-Jahrestagung (2015)
Marcus Mews, Steffen Helke
Towards Static Modular Software Verification. Software Engineering (Workshops) (2012)
Rodger Burmeister, Steffen Helke
The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis. TASE (2012)
Graeme Smith, Steffen Helke
Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. TASE (2011)
Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel
: Extracting CSP Models from Concurrent Programs. NASA Formal Methods (2011)
Steffen Helke, Florian Kammüller
Formalizing Statecharts using Hierarchical Automata. Arch. Formal Proofs 2010 (2010)
Moritz Kleine, Steffen Helke
Low-Level Code Verification Based on CSP Models. SBMF (2009)
Steffen Helke, Florian Kammüller
Structure Preserving Data Abstractions for Statecharts. FORTE (2005)
Dirk Seifert, Steffen Helke, Thomas Santen
Test Case Generation for UML Statecharts. Ershov Memorial Conference (2003)
Steffen Helke, Thomas Santen
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME (2001)
Steffen Helke, Florian Kammüller
Representing Hierarchical Automata in Interactive Theorem Provers. TPHOLs (2001)
Steffen Helke, Thomas Neustupny, Thomas Santen
Automating Test Case Generation from Z Specifications with Isabelle. ZUM (1997)

Steffen Helke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Steffen Helke