|
Search the dblp DataBase
Steffen Helke:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dirk Seifert, Steffen Helke, Thomas Santen
Test Case Generation for UML Statecharts. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2003, pp:462-468 [Conf]
- Steffen Helke, Thomas Santen
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. [Citation Graph (0, 0)][DBLP] FME, 2001, pp:20-42 [Conf]
- Steffen Helke, Florian Kammüller
Structure Preserving Data Abstractions for Statecharts. [Citation Graph (0, 0)][DBLP] FORTE, 2005, pp:305-319 [Conf]
- Steffen Helke, Florian Kammüller
Representing Hierarchical Automata in Interactive Theorem Provers. [Citation Graph (0, 0)][DBLP] TPHOLs, 2001, pp:233-248 [Conf]
- Steffen Helke, Thomas Neustupny, Thomas Santen
Automating Test Case Generation from Z Specifications with Isabelle. [Citation Graph (0, 0)][DBLP] ZUM, 1997, pp:52-71 [Conf]
Low-Level Code Verification Based on CSP Models. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|