Author of the publication

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

Parameter Invariant Monitoring for Signal Temporal Logic., , , , and . HSCC, page 187-196. ACM, (2018)Using Semantic Information for Defining and Detecting OOD Inputs., , , , , , , and . CoRR, (2023)Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance., , , , and . ICAA, page 19-28. IEEE, (2023)Automating Weak Label Generation for Data Programming with Clinicians in the Loop., , , , , , , , , and . CHASE, page 25-36. IEEE, (2024)Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression., , , , , and . ICCPS, page 249-250. ACM, (2023)Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks., , , , and . SAFECOMP Workshops, volume 12235 of Lecture Notes in Computer Science, page 82-97. Springer, (2020)Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees., , , and . ACM Trans. Cyber Phys. Syst., 8 (2): 21 (April 2024)iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection., , , , , , and . AAAI, page 7104-7114. AAAI Press, (2022)Runtime Verification of Parametric Properties Using SMEDL., , , and . From Reactive Systems to Cyber-Physical Systems, volume 11500 of Lecture Notes in Computer Science, page 276-293. Springer, (2019)CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems., , , , , , , and . ICCPS, page 120-131. ACM, (2023)