 | 2012 |
|---|
| 11 |       | Marcus Mews,
Steffen Helke:
Towards Static Modular Software Verification.
Software Engineering (Workshops) 2012: 147-154 |
| 2011 |
|---|
| 10 | | Moritz Kleine,
Björn Bartels,
Thomas Göthel,
Steffen Helke,
Dirk Prenzel:
LLVM2CSP: Extracting CSP Models from Concurrent Programs.
NASA Formal Methods 2011: 500-505 |
| 9 | | Graeme Smith,
Steffen Helke:
Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism.
TASE 2011: 35-41 |
| 2010 |
|---|
| 8 | | Steffen Helke,
Florian Kammüller:
Formalizing Statecharts using Hierarchical Automata.
Archive of Formal Proofs 2010: (2010) |
| 2009 |
|---|
| 7 | | Moritz Kleine,
Steffen Helke:
Low-Level Code Verification Based on CSP Models.
SBMF 2009: 266-281 |
| 2007 |
|---|
| 6 | | Steffen Helke:
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion.
Berlin Institute of Technology 2007 |
| 2005 |
|---|
| 5 | | Steffen Helke,
Florian Kammüller:
Structure Preserving Data Abstractions for Statecharts.
FORTE 2005: 305-319 |
| 2003 |
|---|
| 4 | | Dirk Seifert,
Steffen Helke,
Thomas Santen:
Test Case Generation for UML Statecharts.
Ershov Memorial Conference 2003: 462-468 |
| 2001 |
|---|
| 3 | | Steffen Helke,
Thomas Santen:
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries.
FME 2001: 20-42 |
| 2 | | Steffen Helke,
Florian Kammüller:
Representing Hierarchical Automata in Interactive Theorem Provers.
TPHOLs 2001: 233-248 |
| 1997 |
|---|
| 1 | | Steffen Helke,
Thomas Neustupny,
Thomas Santen:
Automating Test Case Generation from Z Specifications with Isabelle.
ZUM 1997: 52-71 |
Data released under the ODC-BY 1.0 license — See also our legal information page