Zum Inhalt springen

Prof. Dr.-Ing. Steffen Helke

FB Elektrotechnik & Informationstechnik Hagen

IT-Sicherheit und Funktionale Software-Sicherheit

Fachliche Ausrichtung

Safety, Security, Software Engineering, Qualitätssicherung, Verifikation, Testen

Sprechstunde

Wann immer ich Zeit habe, jedoch besser nach vorheriger Absprache per Email.

Lehrveranstaltungen

Lehrangebote an der FH Südwestfalen

  • Softwareprojekt
  • Software Engineering
  • IT-Sicherheit
  • Funktionale Sicherheit
  • Algorithmen und Datenstrukturen
  • Effiziente Algorithmen
  • Ethisches Hacking
  • Kompetitive Programmierung

Frühere Lehrangebote

  • IT-Sicherheit (FH Dortmund)
  • Datenschutz und Datensicherheit (FH Dortmund)
  • Software Security / Software Sicherheit (BTU Cottbus-Senftenberg)
  • Softwaretechnik (BTU Cottbus-Senftenberg)
  • Automotive Software Engineering (TU Berlin)
  • Analysetechniken in der Softwaretechnik (TU Berlin)
  • Sicherheitsaspekte in der Softwaretechnik (TU Berlin)
  • Programmierung 2 für Wirtschaftsinformatiker (TU Berlin)

Tools, die in der Lehre eingesetzt werden

Abschlussarbeiten

Projekt- und/oder Bachelorarbeiten können
  • direkt am Fachgebiet in einem Forschungsschwerpunkt oder
  • in Kooperation mit ausgewählten industriellen Partnern oder Forschungsinstituten
    durchgeführt werden.
Themenvorschläge (Auswahl)
  • NLP-basierte Delta-Analysen für Requirementsdokumente
  • Refactorings für Information Flow Control Sprachen (z.B. Jif, Erweiterung von Java)
  • Refactorings für Programmier- und Spezifikationssprachen (z.B. Object-Z und JML)
  • Model Checking für hierarchische Zustandssysteme (z.B. Statecharts)

Veröffentlichungen

  • Zichler, K. and Ritter F. and Schul A. and Helke S. (2019). Delta Analyzer: Tool-based Evaluation of Modified Requirements for an Efficient Development Effort Estimation in the RFQ Process. Proc. of the Federated Conference on Computer Science and Information Systems (LTA 2019), soon to be published on Annals of Computer Science and Information Systems (ACSIS).
  • Zichler, K. and Helke, S. (2019). R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates. Proc. of the Workshops of the Software Engineering Conference 2019, 16th Workshop Automotive Software Engineering (ASE 2019), Published on CEUR-WS, vol. 2308, pages 45-52.
  • Zichler, K. and Helke, S. (2017). Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft. Proc. Automotive - Safety und Security 2017, Sicherheit und Zuverlässigkeit für automobile Informationstechnik. (AUTOMOTIVE 2017), GI-LNI, vol. 269.
  • Helke, S. and Kammüller, F. and Probst, C.W. (2016). Secure Refactoring with Java Information Flow. Proc. International Workshop on DATA PRIVACY MANAGEMENT (DPM 2015), Springer-Verlag, LNCS 9481, pages 264-272, ISBN: 978-3-319-29882-5.
  • Helke, S. and Kammüller, F. (2016). Verification of Statecharts Using Data Abstraction. International Journal of Advanced Computer Science and Applications (IJACSA). ISSN 2158-107X, volume 7, issue 1.
  • Noack, T. and Helke, S. (2015). Automatische Verlinkung von Anforderungen und Testfällen. INFORMATIK 2015 - Workshopband, 13. Workshop Automotive Software Engineering, GI-LNI, vol. 246, pages 1609-1620, ISBN 978-3-88579-640-4
  • Noack, T. and Helke, S. and Karbe, S. (2014). Reuse-Based Test Traceability: Automatic Linking of Test Cases and Requirements. International Journal on Advances in Software. ISSN 1942-2628 volume 7, issue 3&4.
  • 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.
  • Mews, M. and Helke, S. (2012). Towards Static Modular Software Verification. Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik. GI-LNI, vol. 199, 147-153.
  • 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. Collection of Proof Libraries, Examples, and Larger Scientific Developments, Mechanically Checked in the Theorem Prover Isabelle, Archive of Formal Proofs, 2010.
  • Kleine, M. and Helke, S. (2009). Low-Level Code Verification Based on CSP Models. Formal Methods: Foundations and Applications. Springer Verlag, 266-281.
  • Helke, S. (2008). Verification of Statecharts Using Structure- and Property-Preserving Data Abstraction. OPUS Technische Universität Berlin (also PhD dissertation 2007).
  • 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 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 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 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).
  • Helke, S. (1998). Maschinengestützte Analyse der Untertypbeziehungen zwischen Klassen der Eiffel Datenstrukturbibliothek. Diploma thesis, Dept. of Computer Science, Technical University of Berlin.
  • 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.

Funktionen und Mitgliedschaften

Forschungsschwerpunkte

  • Entwicklung von Methoden und Techniken zur Qualitätssicherung sicherheitskritischer Softwaresysteme
  • Software Engineering für eingebettete Systeme (Safety & Security)
  • Verifikationsverfahren für die modellbasierte Softwareentwicklung
  • Security Engineering und Information-Flow-Control-Sprachen