Steffen Helke
Steffen Helke
Professor für Sichere Softwaresysteme
Потвърден имейл адрес: tu-cottbus.de
Заглавие
Позовавания
Позовавания
Година
Automating test case generation from Z specifications with Isabelle
S Helke, T Neustupny, T Santen
International conference of Z users, 52-71, 1997
1061997
Test case generation for UML statecharts
D Seifert, S Helke, T Santen
International Andrei Ershov Memorial Conference on Perspectives of System …, 2003
292003
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
122009
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
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
82011
Verifikation von Statecharts durch struktur-und eigenschaftserhaltende Datenabstraktion
S Helke
72008
VATES: verifying the core of a flying sensor
S Glesner, S Helke, S Jähnichen
Proc. Conquest, 2007
52007
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
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
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
22014
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
Refactoring object-oriented specifications with inheritance-based polymorphism
G Smith, S Helke
2011 Fifth International Conference on Theoretical Aspects of Software …, 2011
12011
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20