Author of the publication

Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen.

, , , , , and . Software Engineering, volume P-105 of LNI, page 251-252. GI, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using Autoencoders and AutoDiff to Reconstruct Missing Variables in a Set of Time Series., , and . CoRR, (2023)Task-fidelity Assessment for Programming Tasks Using Semantic Code Analysis., , , and . FIE, page 1-5. IEEE, (2023)Position Paper on Materials Design - A Modern Approach., , , , , , and . CoRR, (2023)Learned Abstraction: Knowledge Based Concept Learning for Cyber Physical Systems., , and . ML4CPS, page 43-51. Springer, (2017)A Nonconvex Archetypal Analysis for One-Class Classification Based Anomaly Detection in Cyber-Physical Systems., and . IEEE Trans. Ind. Informatics, 17 (9): 6429-6437 (2021)Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum Serienprojekt., and . Software Engineering (Workshops), volume P-122 of LNI, page 108-112. GI, (2008)Data-driven Identification of Causal Dependencies in Cyber-Physical Production Systems., , , , and . ICAART (2), page 592-601. SciTePress, (2019)LSTM for Model-Based Anomaly Detection in Cyber-Physical Systems., and . CoRR, (2020)A Novel Anomaly Detection Algorithm for Hybrid Production Systems based on Deep Learning and Timed Automata., , and . CoRR, (2020)Learning Physically Meaningful Representations of Energy Systems with Variational Autoencoders., , , and . ETFA, page 1-6. IEEE, (2022)