Prati
Steffen Helke
Steffen Helke
Professor für Sichere Softwaresysteme
Potvrđena adresa e-pošte na tu-cottbus.de
Naslov
Citirano
Citirano
Godina
Automating test case generation from Z specifications with Isabelle
S Helke, T Neustupny, T Santen
International conference of Z users, 52-71, 1997
1131997
Test case generation for UML statecharts
D Seifert, S Helke, T Santen
Perspectives of System Informatics: 5th International Andrei Ershov Memorial …, 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
182001
Low-level code verification based on CSP models
M Kleine, S Helke
Brazilian Symposium on Formal Methods, 266-281, 2009
142009
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
102011
Verifikation von Statecharts durch struktur-und eigenschaftserhaltende Datenabstraktion
S Helke
102008
Conformance testing for statecharts
D Seifert, S Helke, T Santen
Technische Universität Berlin, Fakultät IV-Elektrotechnik und Informatik, 2003
102003
Mechanical analysis of UML state machines and class diagrams
F Kammüller, S Helke
Workshop on Precise Semantics for the UML, ECOOP 2000, 2000
82000
VATES: verifying the core of a flying sensor
S Glesner, S Helke, S Jähnichen
Proc. Conquest, 2007
72007
R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates.
K Zichler, S Helke
Software Engineering (Workshops), 45-52, 2019
62019
Verification of statecharts using data abstraction
S Helke, F Kammuller
International Journal of Advanced Computer Science and Applications 7 (1), 2016
52016
Formalizing statecharts using hierarchical automata
S Helke, F Kammüller
Archive of Formal Proofs, 2010
52010
Mechanized analysis of behavioral conformance in the Eiffel base libraries
S Helke, T Santen
International Symposium of Formal Methods Europe, 20-42, 2001
52001
Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft
K Zichler, S Helke
Gesellschaft für Informatik, Bonn, 2017
42017
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
42014
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
Structure preserving data abstractions for statecharts
S Helke, F Kammüller
International Conference on Formal Techniques for Networked and Distributed …, 2005
32005
Refactoring object-oriented specifications with inheritance-based polymorphism
G Smith, S Helke
2011 Fifth International Conference on Theoretical Aspects of Software …, 2011
22011
Delta Analyzer: Tool-based Evaluation of Modified Requirements for an Efficient Development Effort Estimation in the RFQ Process.
K Zichler, F Ritter, A Schul, S Helke
FedCSIS (Position Papers), 59-66, 2019
12019
Secure refactoring with java information flow
S Helke, F Kammüller, CW Probst
Data Privacy Management, and Security Assurance: 10th International Workshop …, 2016
12016
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20