Christoph Luckeneder -

Registered user since Mon 5 Jul 2021

Name:Christoph Luckeneder

Affiliation:Vienna University of Technology

Contributions

2022

ICSE

Author of Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic Specifications within the Journal-First Papers-track

2018

ICSE

Author of Poster T27: Systematic Top-down Design of Cyber-physical Models with Integrated Validation and Formal Verification within the Posters -track