Items where Author / Artist / Editor is "Helke, Steffen"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Article

Helke, Steffen and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2016) Verification of statecharts using data abstraction. International Journal of Advanced Computer Science and Applications, 7 (1) . pp. 571-583. ISSN 2158-107X (doi:10.14569/IJACSA.2016.070179)

Helke, Steffen and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Formalizing statecharts using hierarchical automata. Archive of Formal Proof . ISSN 2150-914X

Conference or Workshop Item

Helke, Steffen, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Probst, Christian (2016) Secure refactoring with Java information flow. Data Privacy Management, and Security Assurance: 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers. In: 10th International Workshop on Data Privacy Management (DPM 2015), 21- 22 Sept 2015, Vienna, Austria. ISBN 9783319298832. ISSN 0302-9743 (doi:10.1007/978-3-319-29883-2_19)

This list was generated on Wed Aug 5 05:08:48 2020 BST.