Dr.-Ing. Steffen Helke

Publications

Graeme Smith, Steffen Helke: Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. Proc. International Conference on Theoretical Aspects of Software Engineering (TASE 2011). IEEE Computer Society, 2011.

Moritz Kleine, Björn Bartels, Thomas Goethel, Steffen Helke, Dirk Prenzel: LLVM2CSP : Extracting CSP Models from Concurrent Programs. Proc. Nasa Formal Methods Symposium (NFM 2011). LNCS 6617, pp. 500-505, Springer-Verlag, 2011.

Moritz Kleine, Steffen Helke: Low-Level Code Verification Based on CSP Models. Proc. Brazilian Symposium on Formal Methods (SBMF 2009). LNCS 5902, pp. 266-281, Springer-Verlag, 2009.

Steffen Helke: Verification of Statecharts Using Structure- and Property-Preserving Data Abstraction. OPUS Technische Universität Berlin (also PhD dissertation 2007), TUB-Verlag, 2008.

Sabine Glesner, Steffen Helke, Stefan Jähnichen: VATES: Verifying the Core of a Flying Sensor. Proc. International Conference on Quality Engineering in Software Technology (Conquest 2007). pp. 201-212, dpunkt Verlag, 2007.

Steffen Helke, Florian Kammüller: Structure Preserving Data Abstractions for Statecharts. Proc. Formal Techniques for Networked and Distributed Systems (FORTE 2005). LNCS 3731, pp. 305-319, Springer-Verlag, 2005.

Dirk Seifert, Steffen Helke, Thomas Santen: Test Case Generation for UML Statecharts. Proc. Perspectives of System Informatics (PSI 2003). LNCS 2890, pp. 462-468, Springer-Verlag, 2003.

Steffen Helke, Florian Kammüller: Representing Hierarchical Automata in Interactive Theorem Provers. Proc. Theorem Proving in Higher Order Logics (TPHOLs 2001). LNCS 2152, pp. 233-248, Springer-Verlag, 2001.

Steffen Helke, Thomas Santen: Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. Proc. Formal Methods for Increasing Software Productivity (FME 2001). J. Oliveira, P. Zave (eds.), LNCS 2021, pp. 20-42, Springer-Verlag, 2001.

Steffen Helke: Maschinengestützte Analyse der Untertypbeziehungen zwischen Klassen der Eiffel Datenstrukturbibliothek. Master's thesis, Dept. of Computer Science, Technical University of Berlin, 1998.

Steffen Helke, Thomas Neustupny, Thomas Santen: Automating Test Case Generation from Z Specifications with Isabelle. Proc. ZUM '97: The Z Formal Specification Notation. J. Bowen, M. Hinchey, D. Till (eds.), LNCS 1212, pp. 52-71, Springer-Verlag, 1997.

Others

Steffen Helke, Florian Kammüller: Verification of Statecharts Including Data Spaces. Emerging Trends of Theorem Proving in Higher Order Logics (TPHOLs 2003). Technical Report, Rom, September 2003.

Steffen Helke, Florian Kammüller: A Framework for Property Preservation Based on Galois Connections. Emerging Trends of Theorem Proving in Higher Order Logics (TPHOLs 2003). Technical Report, Rom, September 2003.

Dirk Seifert, Steffen Helke, Thomas Santen: Conformance Testing for Statecharts. Technical Report 03-01, Dept. of Computer Science, Technical University of Berlin, 2003.

Florian Kammüller, Steffen Helke: Mechanical Analysis of UML State Machines and Class Diagrams. Workshop on Precise Semantics for the UML. ECOOP2000, Cannes, June 2000.

Steffen Helke, Andre Nordwig, Thomas Santen, Dehla Sokenou: Scaling up von V&V Techniken durch Integration und Abstraktion. Proc. of GI workshop Rigorose Entwicklung software-intensiver Systeme, LMU München, Informatik-Bericht Nr. 0005, September 2000.