Steffen Helke
Steffen Helke
Professor für Sichere Softwaresysteme
Verified email at
Cited by
Cited by
Automating test case generation from Z specifications with Isabelle
S Helke, T Neustupny, T Santen
ZUM'97: The Z Formal Specification Notation: 10th International Conference …, 2005
Test Case Generation for UML Statecharts.
D Seifert, S Helke, T Santen
Ershov Memorial Conference 2890, 462-468, 2003
Representing hierarchical automata in interactive theorem provers
S Helke, F Kammüller
Theorem Proving in Higher Order Logics: 14th International Conference …, 2001
Low-Level Code Verification Based on CSP Models.
M Kleine, S Helke
SBMF, 266-281, 2009
LLVM2CSP: Extracting CSP Models from Concurrent Programs
M Kleine, B Bartels, T Göthel, S Helke, D Prenzel
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011
Conformance testing for statecharts
D Seifert, S Helke, T Santen
Technische Universität Berlin, Fakultät IV-Elektrotechnik und Informatik, 2003
Verifikation von Statecharts durch struktur-und eigenschaftserhaltende Datenabstraktion
S Helke
Berlin, Techn. Univ., Diss., 2007, 2007
Mechanical analysis of UML state machines and class diagrams
F Kammüller, S Helke
Workshop on Precise Semantics for the UML, ECOOP 2000, 2000
VATES: verifying the core of a flying sensor
S Glesner, S Helke, S Jähnichen
Proc. Conquest, 2007
Verification of statecharts using data abstraction
S Helke, F Kammuller
International Journal of Advanced Computer Science and Applications 7 (1), 2016
Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft
K Zichler, S Helke
Automotive-Safety & Security 2017-Sicherheit und Zuverlässigkeit für …, 2017
Formalizing statecharts using hierarchical automata
S Helke, F Kammüller
Archive of Formal Proofs, 2010
Mechanized analysis of behavioral conformance in the Eiffel base libraries
S Helke, T Santen
FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001
R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates.
K Zichler, S Helke
Software Engineering (Workshops), 45-52, 2019
Reuse-Based Test Traceability: Automatic Linking of Test Cases and Requirements
T Noack, T Karbe, S Helke
International Journal on Advances in Software 7.3&4, 469-485, 2014
The Observer Pattern applied to actor systems: A TLA/TLC-based implementation analysis
R Burmeister, S Helke
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
Structure preserving data abstractions for statecharts
S Helke, F Kammüller
Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th …, 2005
Refactoring object-oriented specifications with inheritance-based polymorphism
G Smith, S Helke
2011 Fifth International Conference on Theoretical Aspects of Software …, 2011
Secure refactoring with java information flow
S Helke, F Kammüller, CW Probst
Data Privacy Management, and Security Assurance: 10th International Workshop …, 2016
Scaling-Up von V&V-Techniken durch Integration und Abstraktion
S Helke, A Nordwig, T Santen, D Sokenou
Wirsing, M., M. Gogolla, H.-J. Kreowski, T. Nipkow und W. Reif (Herausgeber …, 0
The system can't perform the operation now. Try again later.
Articles 1–20