| Automating test case generation from Z specifications with Isabelle S Helke, T Neustupny, T Santen International conference of Z users, 52-71, 1997 | 116 | 1997 |
| Test case generation for UML statecharts D Seifert, S Helke, T Santen Perspectives of System Informatics: 5th International Andrei Ershov Memorial …, 2003 | 35 | 2003 |
| Representing hierarchical automata in interactive theorem provers S Helke, F Kammüller International Conference on Theorem Proving in Higher Order Logics, 233-248, 2001 | 18 | 2001 |
| Low-level code verification based on CSP models M Kleine, S Helke Brazilian Symposium on Formal Methods, 266-281, 2009 | 13 | 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 | 10 | 2011 |
| Verifikation von Statecharts durch struktur-und eigenschaftserhaltende Datenabstraktion S Helke | 10 | 2008 |
| Conformance testing for statecharts D Seifert, S Helke, T Santen Technische Universität Berlin, Fakultät IV-Elektrotechnik und Informatik, 2003 | 10 | 2003 |
| Mechanical analysis of UML state machines and class diagrams F Kammüller, S Helke Defining Precise Semantics for UML, Sophia Antipolis, France, 2000 | 8 | 2000 |
| R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates. K Zichler, S Helke Software Engineering (Workshops), 45-52, 2019 | 7 | 2019 |
| VATES: verifying the core of a flying sensor S Glesner, S Helke, S Jähnichen Proc. Conquest, 2007 | 6 | 2007 |
| Verification of statecharts using data abstraction S Helke, F Kammuller International Journal of Advanced Computer Science and Applications 7 (1), 2016 | 5 | 2016 |
| Formalizing statecharts using hierarchical automata S Helke, F Kammüller Archive of Formal Proofs, 2010 | 5 | 2010 |
| Mechanized analysis of behavioral conformance in the Eiffel base libraries S Helke, T Santen International Symposium of Formal Methods Europe, 20-42, 2001 | 5 | 2001 |
| Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft K Zichler, S Helke Gesellschaft für Informatik, Bonn, 2017 | 4 | 2017 |
| 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 | 4 | 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 International Conference on Formal Techniques for Networked and Distributed …, 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 |
| Delta Analyzer: Tool-based Evaluation of Modified Requirements for an Efficient Development Effort Estimation in the RFQ Process. K Zichler, F Ritter, A Schul, S Helke FedCSIS (Position Papers), 59-66, 2019 | 1 | 2019 |
| 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 |
