Steffen Helke
Steffen Helke
Professor für Sichere Softwaresysteme
Verified email at tu-cottbus.de
Title
Cited by
Cited by
Year
Automating test case generation from Z specifications with Isabelle
S Helke, T Neustupny, T Santen
International conference of Z users, 52-71, 1997
1081997
Test case generation for UML statecharts
D Seifert, S Helke, T Santen
International Andrei Ershov Memorial Conference on Perspectives of System …, 2003
342003
Representing hierarchical automata in interactive theorem provers
S Helke, F Kammüller
International Conference on Theorem Proving in Higher Order Logics, 233-248, 2001
162001
Low-level code verification based on CSP models
M Kleine, S Helke
Brazilian Symposium on Formal Methods, 266-281, 2009
132009
LLVM2CSP: Extracting CSP Models from Concurrent Programs
M Kleine, B Bartels, T Göthel, S Helke, D Prenzel
NASA Formal Methods Symposium, 500-505, 2011
92011
Conformance testing for statecharts
D Seifert, S Helke, T Santen
Technische Universität Berlin, Fakultät IV-Elektrotechnik und Informatik, 2003
92003
Mechanical analysis of UML state machines and class diagrams
F Kammüller, S Helke
IN THE PROC. OF WORKSHOP ON PRECISE SEMANTICS FOR THE UML. ECOOP2000, 2000
92000
Verifikation von Statecharts durch struktur-und eigenschaftserhaltende Datenabstraktion
S Helke
82008
VATES: verifying the core of a flying sensor
S Glesner, S Helke, S Jähnichen
Proc. Conquest, 2007
62007
Mechanized analysis of behavioral conformance in the Eiffel base libraries
S Helke, T Santen
International Symposium of Formal Methods Europe, 20-42, 2001
52001
Verification of statecharts using data abstraction
S Helke, F Kammüller
International Journal of Advanced Computer Science and Applications 7 (1 …, 2016
42016
Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft
K Zichler, S Helke
Automotive-Safety & Security 2017-Sicherheit und Zuverlässigkeit für …, 2017
32017
Reuse-Based Test Traceability: Automatic Linking of Test Cases and Requirements
T Noack, T Karbe, S Helke
International Journal on Advances in Software 7, 469-485, 2014
32014
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
32012
Refactoring object-oriented specifications with inheritance-based polymorphism
G Smith, S Helke
2011 Fifth International Conference on Theoretical Aspects of Software …, 2011
22011
Structure preserving data abstractions for statecharts
S Helke, F Kammüller
International Conference on Formal Techniques for Networked and Distributed …, 2005
22005
R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates.
K Zichler, S Helke
Software Engineering (Workshops), 45-52, 2019
12019
Secure refactoring with java information flow
S Helke, F Kammüller, CW Probst
Data Privacy Management, and Security Assurance, 264-272, 2015
12015
Formalizing statecharts using hierarchical automata
S Helke, F Kammüller
12013
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
1
The system can't perform the operation now. Try again later.
Articles 1–20