Chih-Hong Cheng

Hasan Esen

Alois Knoll

CoRR, 2024

Instance-Level Safety-Aware Fidelity of Synthetic Data and Its Calibration.

[BibT_eX]

[DOI]

Paul Stöckel

Xingyu Zhao

CoRR, 2024

Estimating the Robustness Radius for Randomized Smoothing with 100× Sample Efficiency.

[BibT_eX]

[DOI]

Emmanouil Seferis

Stefanos Kollias

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Runtime Monitoring DNN-Based Perception.

[BibT_eX]

[DOI]

Michael Luttenberger

CoRR, 2023

Towards Rigorous Design of OoD Detectors.

[BibT_eX]

[DOI]

CoRR, 2023

Safety Performance of Neural Networks in the Presence of Covariate Shift.

[BibT_eX]

[DOI]

Konstantinos Theodorou

Proceedings of the Verified Software. Theories, Tools and Experiments, 2023

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Are Transformers More Robust? Towards Exact Robustness Verification for Transformers.

[BibT_eX]

[DOI]

Brian Hsuan-Cheng Liao

Hasan Esen

Alois Knoll

Proceedings of the Computer Safety, Reliability, and Security, 2023

Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods).

[BibT_eX]

[DOI]

Michael Luttenberger

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications.

[BibT_eX]

[DOI]

Venkatesh Prasad Venkataramanan

Pragya Kirti Gupta

Yun-Fei Hsu

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

EvCenterNet: Uncertainty Estimation for Object Detection Using Evidential Learning.

[BibT_eX]

[DOI]

Monish R. Nallapareddy

Kshitij Sirohi

Paulo Lilles Jorge Drews

Wolfram Burgard

Abhinav Valada

IROS, 2023

Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles.

[BibT_eX]

[DOI]

Utku Ayvaz

Hao Shen

Proceedings of the International Joint Conference on Neural Networks, 2023

Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models?

[BibT_eX]

[DOI]

Emmanouil Seferis

Proceedings of the First Tiny Papers Track at ICLR 2023, 2023

Statistical Property Testing for Generative Models.

[BibT_eX]

[DOI]

Emmanouil Seferis

Proceedings of the First Tiny Papers Track at ICLR 2023, 2023

Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection.

[BibT_eX]

[DOI]

Nguyen Anh Vu Doan

Arda Yüksel

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Facilitating Change Implementation for Continuous ML-Safety Assurance.

[BibT_eX]

[DOI]

CoRR, 2022

Safety Metrics and Losses for Object Detection in Autonomous Driving.

[BibT_eX]

[DOI]

CoRR, 2022

Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection.

[BibT_eX]

[DOI]

CoRR, 2022

Robustness Verification for Attention Networks using Mixed Integer Programming.

[BibT_eX]

[DOI]

CoRR, 2022

Formally Compensating Performance Limitations for Imprecise 2D Object Detection.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2022

Logically Sound Arguments for the Effectiveness of ML Safety Measures.

[BibT_eX]

[DOI]

Tobias Schuster

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Formal Specification for Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Federated Learning for Driver Status Monitoring.

[BibT_eX]

[DOI]

Atiqa Zafar

Christian Prehofer

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Continuous Safety Verification of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Provably-Robust Runtime Monitoring of Neuron Activation Patterns.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Testing Autonomous Systems with Believed Equivalence Refinement.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

Safety Metrics for Semantic Segmentation in Autonomous Driving.

[BibT_eX]

[DOI]

Alois C. Knoll

Hsuan-Cheng Liao

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

Safety-Aware Hardening of 3D Object Detection Neural Network Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2020

Towards Robust Direct Perception Networks for Automated Driving.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Towards Safety Verification of Direct Perception Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Architecting Dependable Learning-enabled Autonomous Systems: A Survey.

[BibT_eX]

[DOI]

Dhiraj Gulati

CoRR, 2019

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems.

[BibT_eX]

[DOI]

Chung-Hao Huang

Proceedings of the International Conference on Computer-Aided Design, 2019

Runtime Monitoring Neuron Activation Patterns.

[BibT_eX]

[DOI]

Hirotoshi Yasuoka

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems.

[BibT_eX]

[DOI]

Chung-Hao Huang

CoRR, 2018

Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Towards Dependability Metrics for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Neural networks for safety-critical applications - Challenges, experiments and perspectives.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems.

[BibT_eX]

[DOI]

Chung-Hao Huang

Hirotoshi Yasuoka

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Verification of Binarized Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2017

autoCode4: Structural Controller Synthesis.

[BibT_eX]

[DOI]

Edward A. Lee

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Just Formal Enough? Automated Analysis of EARS Requirements.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Device adapter concept towards enabling plug&produce production environments.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Maximum Resilience of Artificial Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

Automated Analysis of Multi-View Software Architectures.

[BibT_eX]

[DOI]

Yassine Hamza

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Compositional Parameter Synthesis.

[BibT_eX]

[DOI]

Lacramioara Astefanoaei

Proceedings of the FM 2016: Formal Methods, 2016

Structural Synthesis for GXW Specifications.

[BibT_eX]

[DOI]

Yassine Hamza

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Semantic Degrees for Industrie 4.0.

[BibT_eX]

[DOI]

CoRR, 2015

Timed Orchestration for Component-based Systems.

[BibT_eX]

[DOI]

Lacramioara Astefanoaei

Souha Ben Rayana

Saddek Bensalem

CoRR, 2015

Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Formal consistency checking over specifications in natural languages.

[BibT_eX]

[DOI]

Yesheng Chai

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Formal Consistency Checking over Specifications in Natural Languages.

[BibT_eX]

[DOI]

CoRR, 2014

Towards quantitative metrics for architecture models.

[BibT_eX]

[DOI]

Stephan Sehestedt

Eric Bouwers

Proceedings of the WICSA 2014 Companion Volume, Sydney, NSW, Australia, April 7-11, 2014, 2014

G4LTL-ST: Automatic Generation of PLC Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

EFSMT: A Logical Framework for Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2013

Numerical LTL Synthesis for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Edward A. Lee

CoRR, 2013

Synthesizing Controllers for Automation Tasks with Performance Guarantees.

[BibT_eX]

[DOI]

Michael Geisinger

Christian Buckl

Proceedings of the Model Checking Software - 20th International Symposium, 2013

JBernstein: A Validity Checker for Generalized Polynomial Constraints.

[BibT_eX]

[DOI]

Natarajan Shankar

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

An implementation for algorithmic game solving and its applications in system synthesis.

[BibT_eX]

[DOI]

PhD thesis, 2012

Distributed Priority Synthesis

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Game solving for industrial automation and control.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

MGSyn: Automatic Synthesis for Industrial Automation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Distributed priority synthesis using knowledge.

[BibT_eX]

[DOI]

Proceedings of the 2nd edition on Programming systems, 2012

2011

Distributed Priority Synthesis and its Applications

[BibT_eX]

[DOI]

CoRR, 2011

On the Hardness of Priority Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2011

Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

GAVS+: An Open Platform for the Research of Algorithmic Game Solving.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Model Construction and Priority Synthesis for Simple Interaction Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

Algorithms for Synthesizing Priorities in Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems

[BibT_eX]

[DOI]

CoRR, 2010

GAVS: Game Arena Visualization and Synthesis.

[BibT_eX]

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

GAVS: Game Arena Visualization and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems

[BibT_eX]

[DOI]

CoRR, 2009

Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2009

Toward the Design of Robotic Software with Verifiable Safety.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, 2009

2008

Program Repair Suggestions from Graphical State-Transition Specifications.

[BibT_eX]

[DOI]

Farn Wang