| Automating test case generation from Z specifications with Isabelle S Helke, T Neustupny, T Santen ZUM'97: The Z Formal Specification Notation: 10th International Conference …, 2005 | 113 | 2005 |
| Test Case Generation for UML Statecharts. D Seifert, S Helke, T Santen Ershov Memorial Conference 2890, 462-468, 2003 | 34 | 2003 |
| Representing hierarchical automata in interactive theorem provers S Helke, F Kammüller Theorem Proving in Higher Order Logics: 14th International Conference …, 2001 | 17 | 2001 |
| Low-Level Code Verification Based on CSP Models. M Kleine, S Helke SBMF, 266-281, 2009 | 14 | 2009 |
| LLVM2CSP: Extracting CSP Models from Concurrent Programs M Kleine, B Bartels, T Göthel, S Helke, D Prenzel NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011 | 11 | 2011 |
| Conformance testing for statecharts D Seifert, S Helke, T Santen Technische Universität Berlin, Fakultät IV-Elektrotechnik und Informatik, 2003 | 10 | 2003 |
| Verifikation von Statecharts durch struktur-und eigenschaftserhaltende Datenabstraktion S Helke Berlin, Techn. Univ., Diss., 2007, 2007 | 8 | 2007 |
| Mechanical analysis of UML state machines and class diagrams F Kammüller, S Helke Workshop on Precise Semantics for the UML, ECOOP 2000, 2000 | 8 | 2000 |
| VATES: verifying the core of a flying sensor S Glesner, S Helke, S Jähnichen Proc. Conquest, 2007 | 7 | 2007 |
| Verification of statecharts using data abstraction S Helke, F Kammuller International Journal of Advanced Computer Science and Applications 7 (1), 2016 | 5 | 2016 |
| Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft K Zichler, S Helke Automotive-Safety & Security 2017-Sicherheit und Zuverlässigkeit für …, 2017 | 4 | 2017 |
| Formalizing statecharts using hierarchical automata S Helke, F Kammüller Archive of Formal Proofs, 2010 | 4 | 2010 |
| Mechanized analysis of behavioral conformance in the Eiffel base libraries S Helke, T Santen FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001 | 4 | 2001 |
| R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates. K Zichler, S Helke Software Engineering (Workshops), 45-52, 2019 | 3 | 2019 |
| Reuse-Based Test Traceability: Automatic Linking of Test Cases and Requirements T Noack, T Karbe, S Helke International Journal on Advances in Software 7.3&4, 469-485, 2014 | 3 | 2014 |
| The Observer Pattern applied to actor systems: A TLA/TLC-based implementation analysis R Burmeister, S Helke 2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012 | 3 | 2012 |
| Structure preserving data abstractions for statecharts S Helke, F Kammüller Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th …, 2005 | 3 | 2005 |
| Refactoring object-oriented specifications with inheritance-based polymorphism G Smith, S Helke 2011 Fifth International Conference on Theoretical Aspects of Software …, 2011 | 2 | 2011 |
| Secure refactoring with java information flow S Helke, F Kammüller, CW Probst Data Privacy Management, and Security Assurance: 10th International Workshop …, 2016 | 1 | 2016 |
| Scaling-Up von V&V-Techniken durch Integration und Abstraktion S Helke, A Nordwig, T Santen, D Sokenou Wirsing, M., M. Gogolla, H.-J. Kreowski, T. Nipkow und W. Reif (Herausgeber …, 0 | 1 | |
