Steffen Helke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2001–2019
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FedCSIS | Delta Analyzer: Tool-based Evaluation of Modified Requirements for an Efficient Development Effort Estimation in the RFQ Process. | Konstantin Zichler, Felix Ritter, Aaron Schul, Steffen Helke |
| 2015 | ESORICS | Secure Refactoring with Java Information Flow. | Steffen Helke, Florian Kammller, Christian W. Probst |
| 2015 | GI | 13.Workshop Automotive Software Engineering. | Heiko Drr, Steffen Helke |
| 2015 | GI | Automatische Verlinkung von Anforderungen und Testfllen - Fallbasierte Filterung. | Thomas Noack, Steffen Helke |
| 2012 | TASE | The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis. | Rodger Burmeister, Steffen Helke |
| 2011 | TASE | Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. | Graeme Smith, Steffen Helke |
| 2005 | FORTE | Structure Preserving Data Abstractions for Statecharts. | Steffen Helke, Florian Kammller |
| 2001 | FM | Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. | Steffen Helke, Thomas Santen |