Beiträge für Konferenzen und Journals

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. 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.

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. URL: afp.sourceforge.net/entries/Statecharts.shtml

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.

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo