| Automating test case generation from Z specifications with Isabelle S Helke, T Neustupny, T Santen International conference of Z users, 52-71, 1997 | 106 | 1997 |
| Test case generation for UML statecharts D Seifert, S Helke, T Santen International Andrei Ershov Memorial Conference on Perspectives of System …, 2003 | 29 | 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 | 16 | 2001 |
| Low-level code verification based on CSP models M Kleine, S Helke Brazilian Symposium on Formal Methods, 266-281, 2009 | 12 | 2009 |
| Conformance testing for statecharts D Seifert, S Helke, T Santen Technische Universität Berlin, Fakultät IV-Elektrotechnik und Informatik, 2003 | 9 | 2003 |
| Mechanical analysis of UML state machines and class diagrams F Kammüller, S Helke IN THE PROC. OF WORKSHOP ON PRECISE SEMANTICS FOR THE UML. ECOOP2000, 2000 | 9 | 2000 |
| LLVM2CSP: Extracting CSP Models from Concurrent Programs M Kleine, B Bartels, T Göthel, S Helke, D Prenzel NASA Formal Methods Symposium, 500-505, 2011 | 8 | 2011 |
| Verifikation von Statecharts durch struktur-und eigenschaftserhaltende Datenabstraktion S Helke | 7 | 2008 |
| VATES: verifying the core of a flying sensor S Glesner, S Helke, S Jähnichen Proc. Conquest, 2007 | 5 | 2007 |
| 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 |
| Verification of statecharts using data abstraction S Helke, F Kammüller International Journal of Advanced Computer Science and Applications 7 (1 …, 2016 | 4 | 2016 |
| Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft K Zichler, S Helke Automotive-Safety & Security 2017-Sicherheit und Zuverlässigkeit für …, 2017 | 3 | 2017 |
| 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 |
| Reuse-Based Test Traceability: Automatic Linking of Test Cases and Requirements T Noack, T Karbe, S Helke International Journal on Advances in Software 7, 469-485, 2014 | 2 | 2014 |
| Structure preserving data abstractions for statecharts S Helke, F Kammüller International Conference on Formal Techniques for Networked and Distributed …, 2005 | 2 | 2005 |
| R2BC: Tool-Based Requirements Preparation for Delta Analyses by Conversion into Boilerplates. K Zichler, S Helke Software Engineering (Workshops), 45-52, 2019 | 1 | 2019 |
| Secure refactoring with java information flow S Helke, F Kammüller, CW Probst Data Privacy Management, and Security Assurance, 264-272, 2015 | 1 | 2015 |
| Formalizing statecharts using hierarchical automata S Helke, F Kammüller | 1 | 2013 |
| Refactoring object-oriented specifications with inheritance-based polymorphism G Smith, S Helke 2011 Fifth International Conference on Theoretical Aspects of Software …, 2011 | 1 | 2011 |
| 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 | |
