24 citations · 79 across the 22 of their papers we have counts for
22 papers
Safety Performance of Neural Networks in the Presence of Covariate Shift
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou
Covariate shift may impact the operational safety performance of neural networks. A re-evaluation of the safety performance, however, requires collecting new operational data and c…
Towards Rigorous Design of OoD Detectors
Chih-Hong Cheng, Changshun Wu, Harald Ruess +1
Out-of-distribution (OoD) detection techniques are instrumental for safety-related neural networks. We are arguing, however, that current performance-oriented OoD detection techniq…
Evidential Transactions with Cyberlogic
Harald Ruess, Natarajan Shankar
Cyberlogic is an enabling logical foundation for building and analyzing digital transactions that involve the exchange of digital forms of evidence. It is based on an extension of…
Systems Challenges for Trustworthy Embodied Systems
Harald Rueß
A new generation of increasingly autonomous and self-learning embodied systems is about to be developed. When deploying embodied systems into a real-life context we face various en…
Security Engineering for ISO 21434
Yuri Gil Dantas, Vivek Nigam, Harald Ruess
The ISO 21434 is a new standard that has been proposed to address the future challenges of automotive cybersecurity. This white paper takes a closer look at the ISO 21434 helping e…
Knowledge as Invariance -- History and Perspectives of Knowledge-augmented Machine Learning
Alexander Sagel, Amit Sahu, Stefan Matthes +5
Research in machine learning is at a turning point. While supervised deep learning has conquered the field at a breathtaking pace and demonstrated the ability to solve inference pr…
Model-Based Safety and Security Engineering
Vivek Nigam, Alexander Pretschner, Harald Ruess
By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid…
Towards Dependability Metrics for Neural Networks
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang +2
Artificial neural networks (NN) are instrumental in realizing highly-automated driving functionality. An overarching challenge is to identify best safety engineering practices for…
Verification of Binarized Neural Networks via Inter-Neuron Factoring
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang +1
We study the problem of formal verification of Binarized Neural Networks (BNN), which have recently been proposed as a energy-efficient alternative to traditional learning networks…
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives
Chih-Hong Cheng, Frederik Diehl, Yassine Hamza +5
We propose a methodology for designing dependable Artificial Neural Networks (ANN) by extending the concepts of understandability, correctness, and validity that are crucial ingred…
Maximum Resilience of Artificial Neural Networks
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
The deployment of Artificial Neural Networks (ANNs) in safety-critical applications poses a number of new verification and certification challenges. In particular, for ANN-enabled…
Automated Analysis of Multi-View Software Architectures
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Software architectures usually are comprised of different views for capturing static, runtime, and deployment aspects. What is currently missing, however, are formal validation and…
Structural Synthesis for GXW Specifications
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications. Since GXW includes the use of a…
Timed Orchestration for Component-based Systems
Chih-Hong Cheng, Lacramioara Astefanoaei, Harald Ruess +2
Individual machines in flexible production lines explicitly expose capabilities at their interfaces by means of parametric skills. Given such a set of configurable machines, a line…
G4LTL-ST: Automatic Generation of PLC Programs
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess +1
G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals. These specifications…
Security policies for distributed systems
Jean Quilbeuf, Georgeta Igna, Denis Bytschkow +1
A security policy specifies a security property as the maximal information flow. A distributed system composed of interacting processes implicitly defines an intransitive security…
On Behavioral Types for OSGi: From Theory to Implementation
Jan Olaf Blech, Harald Rueß, Bernhard Schätz
This report presents our work on behavioral types for OSGi component systems. It extends previously published work and presents features and details that have not yet been publishe…
EFSMT: A Logical Framework for Cyber-Physical Systems
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess +1
The design of cyber-physical systems is challenging in that it includes the analysis and synthesis of distributed and embedded real-time systems for controlling, often in a nonline…
Distributed Priority Synthesis
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem +1
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, t…
Distributed Priority Synthesis and its Applications
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan +3
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, t…
Algorithms for Synthesizing Priorities in Component-based Systems
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen +5
We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core me…
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
Chih-Hong Cheng, Harald Ruess, Alois Knoll +1
In this paper, we present an approach for fault-tolerant synthesis by combining predefined patterns for fault-tolerance with algorithmic game solving. A non-fault-tolerant system,…