direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dr.-Ing. Steffen Helke

Konferenzen/Conferences

Burmeister, R. and Helke, S. (2012). The Observer Pattern applied to actor systems: A TLA/TLC-based implementation analysis. Proc. International Conference on Theoretical Aspects of Software Engineering (TASE 2012). IEEE Computer Society.


Kleine, M. and Bartels, B. and Goethel T. and Helke, S. and Prenzel D. (2011). LLVM2CSP : Extracting CSP Models from Concurrent Programs. Proc. Nasa Formal Methods Symposium (NFM 2011). Springer, 500-505.


Smith, G. and Helke, S. (2011). Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. Proc. International Conference on Theoretical Aspects of Software Engineering (TASE 2011). IEEE Computer Society, 35-41.


Helke, S. and Kammüller, F. (2010). Formalizing Statecharts using Hierarchical Automata. Archive of Formal Proofs.


Kleine, M. and Helke, S. (2009). Low-Level Code Verification Based on CSP Models. Formal Methods: Foundations and Applications. Springer Verlag, 266-281.


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


Helke, S. and Kammüller, F. (2005). Structure Preserving Data Abstractions for Statecharts. Formal Techniques for Networked and Distributed Systems - FORTE 2005. Springer, 305-319.


Seifert, D. and Helke, S. and Santen, T. (2003). Test Case Generation for UML Statecharts. Perspectives of System Informatics (PSI 2003). Springer, 462-468.


Helke, S. and Santen, T. (2001). Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME 2001: Formal Methods for Increasing Software Productivity. Springer, 20-42.


Helke, S. and Kammüller, F. (2001). Representing Hierarchical Automata in Interactive Theorem Provers. Theorem Proving in Higher Order Logics (TPHOLs 2001). Springer-Verlag, 233-248.


Helke, S. and Neustupny T. and Santen T. (1997). Automating Test Case Generation from Z Specifications with Isabelle. Proc. ZUM '97: The Z Formal Specification Notation. Springer, 52-71.


Workshops

Mews, M. and Helke, S. (2012). Towards Static Modular Software Verification. Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik. GI, 147-153.


Helke, S. and Kammüller, F. (2003). Verification of Statecharts Including Data Spaces. Emerging Trends of Theorem Proving in Higher Order Logics (TPHOLs 2003). Technical Report, University of Rom.


Helke, S. and Kammüller F. (2003). A Framework for Property Preservation Based on Galois Connections. Theorem Proving in Higher Order Logics (TPHOLs 2003). Technical Report, University of Rom.


Seifert, D. and Helke, S. and Santen T. (2003). Conformance Testing for Statecharts. Technical Report, Technical University of Berlin.


Helke, S. and Nordwig, A. and Santen, T. and Sokenou, D. (2000). Scaling Up von V V Techniken durch Integration und Abstraktion. Proceedings of GI-Workshop ``Rigorose Entwicklung software-intensiver Systeme''. LMU München, 12-21.


Helke, S. and Kammüller F. (2000). Mechanical Analysis of UML State Machines and Class Diagrams. Proc. Workshop on Precise Semantics for the UML (ECOOP 2000)


Abschlussarbeiten/Theses

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


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


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe