Steffen Helke

23 papers C 7Misc 2Journal 1Unranked 12
YearRankTypeTitle / Venue / Authors
2022 C conf
19th Workshop on Automotive Software Engineering (ASE'22).
Software Engineering
Heiko Dörr, Steffen Helke
2021 C conf
18th Workshop on Automotive Software Engineering (ASE'21).
Software Engineering
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
2020 — conf
17. Workshop Automotive Software Engineering.
SE
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
2020 C conf
ASE 2020 Preface.
Software Engineering (Workshops)
Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
2019 — conf
16. Workshop Automotive Software Engineering.
SE/SWM
Steffen Helke, Ina Schaefer, Andreas Vogelsang
2019 — conf
Delta Analyzer: Tool-based Evaluation of Modified Requirements for an Efficient Development Effort Estimation in the RFQ Process.
FedCSIS (Position Papers)
Konstantin Zichler, Felix Ritter, Aaron Schul, Steffen Helke
2019 C ed.
Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019.
Software Engineering (Workshops)
Stephan Krusche, Kurt Schneider, Marco Kuhrmann, Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders, Steffen Helke, Ina Schaefer, Andreas Vogelsang, Björn Annighöfer, Andreas Schweiger, Marina Reich, André van Hoorn
2019 C conf
R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates.
Software Engineering (Workshops)
Konstantin Zichler, Steffen Helke
2017 — conf
Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft.
Automotive - Safety & Security
Konstantin Zichler, Steffen Helke
2015 — conf
13.Workshop Automotive Software Engineering.
GI-Jahrestagung
Heiko Dörr, Steffen Helke
2015 — conf
Automatische Verlinkung von Anforderungen und Testfällen - Fallbasierte Filterung.
GI-Jahrestagung
Thomas Noack, Steffen Helke
2015 — conf
Secure Refactoring with Java Information Flow.
DPM/QASA@ESORICS
Steffen Helke, Florian Kammüller, Christian W. Probst
2012 Misc conf
The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis.
TASE
Rodger Burmeister, Steffen Helke
2012 C conf
Towards Static Modular Software Verification.
Software Engineering (Workshops)
Marcus Mews, Steffen Helke
2011 Misc conf
Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism.
TASE
Graeme Smith, Steffen Helke
2010 J jnl
Formalizing Statecharts using Hierarchical Automata.
Arch. Formal Proofs
Steffen Helke, Florian Kammüller
2009 — conf
Low-Level Code Verification Based on CSP Models.
SBMF
Moritz Kleine, Steffen Helke
2007 — —
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion.
Steffen Helke
2005 C conf
Structure Preserving Data Abstractions for Statecharts.
FORTE
Steffen Helke, Florian Kammüller
2003 — conf
Test Case Generation for UML Statecharts.
Ershov Memorial Conference
Dirk Seifert, Steffen Helke, Thomas Santen
2001 — conf
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries.
FME
Steffen Helke, Thomas Santen
2001 — conf
Representing Hierarchical Automata in Interactive Theorem Provers.
TPHOLs
Steffen Helke, Florian Kammüller
1997 — conf
Automating Test Case Generation from Z Specifications with Isabelle.
ZUM
Steffen Helke, Thomas Neustupny, Thomas Santen