Michael Paulitsch

Pablo Munoz

CoRR, 2023

Evaluation of Confidence-based Ensembling in Deep Learning Image Classification.

[BibT_eX]

[DOI]

Peter T. Popov

CoRR, 2023

Innovation Practices Track: Testability and Dependability of AI Hardware and Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE VLSI Test Symposium, 2023

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

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

Structural Coding: A Low-Cost Scheme to Protect CNNs from Large-Granularity Memory Faults.

[BibT_eX]

[DOI]

Ali Asgari Khoshouyeh

Proceedings of the International Conference for High Performance Computing, 2023

A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks.

[BibT_eX]

[DOI]

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

A Software-Only Approach to Enable Diverse Redundancy on Intel GPUs for Safety-Related Kernels.

[BibT_eX]

[DOI]

Nikolaos Andriotis

Alejandro Serrano-Cases

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Assessing the Impact of Diversity on the Resilience of Deep Learning Ensembles: A Comparative Study on Model Architecture, Output, Activation, and Attribution.

[BibT_eX]

[DOI]

Pablo Munoz

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Large-Scale Application of Fault Injection into PyTorch Models -an Extension to PyTorchFI for Validation Efficiency.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

BEA: Revisiting anchor-based object detection DNN using Budding Ensemble Architecture.

[BibT_eX]

[DOI]

Syed Sha Qutub

Neslihan Köse Cihangir

Proceedings of the 34th British Machine Vision Conference 2023, 2023

2022

Towards Factory-Scale Edge Robotic Systems: Challenges and Research Directions.

[BibT_eX]

[DOI]

IEEE Internet Things Mag., 2022

Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs.

[BibT_eX]

[DOI]

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

Modelling road hazards and the effect on AV safety of hazardous failures.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Reliable Multimodal Trajectory Prediction via Error Aligned Uncertainty Optimization.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

2021

Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2021

Fault-Tolerant Perception for Automated Driving A Lightweight Monitoring Approach.

[BibT_eX]

[DOI]

CoRR, 2021

Towards a Safety Case for Hardware Fault Tolerance in Convolutional Neural Networks Using Activation Range Supervision.

[BibT_eX]

[DOI]

Florian Geissler

Syed Sha Qutub

Sayanta Roychowdhury

Ali Asgari Khoshouyeh

Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

2020

Trends and Functional Safety Certification Strategies for Advanced Railway Automation Systems.

[BibT_eX]

[DOI]

Jyotika Athavale

Andrea Baldovin

Proceedings of the 2020 IEEE International Reliability Physics Symposium, 2020

AI and Reliability Trends in Safety-Critical Autonomous Systems on Ground and Air.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

2019

Flight Safety Certification Implications for Complex Multi-Core Processor Based Avionics Systems.

[BibT_eX]

[DOI]

Jyotika Athavale

Riccardo Mariani

Proceedings of the IEEE International Reliability Physics Symposium, 2019

2017

Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware.

[BibT_eX]

[DOI]

Stefan Resch

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Contention-Aware Dynamic Memory Bandwidth Isolation with Predictability in COTS Multicores: An Avionics Case Study.

[BibT_eX]

[DOI]

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

2016

Poster Abstract: Slot-Level Time-Triggered Scheduling on COTS Multicore Platform with Resource Contentions.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

2015

Monitoring of I/O for safety-critical systems using PCI express advanced error reporting.

[BibT_eX]

[DOI]

Daniel Münch

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

IOMPU: Spatial Separation for Hardware-Based I/O Virtualization for Mixed-Criticality Embedded Real-Time Systems Using Non-transparent Bridges.

[BibT_eX]

[DOI]

Daniel Münch

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Security-Informed Safety Case Approach to Analysing MILS Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

Mixed-Criticality Embedded Systems - A Balance Ensuring Partitioning and Performance.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

MPIOV: scaling hardware-based I/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges to (multi-core) multi-processor systems.

[BibT_eX]

[DOI]

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

SgInt: Safeguarding Interrupts for Hardware-Based I/O Virtualization for Mixed-Criticality Embedded Real-Time Systems Using Non Transparent Bridges.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems - ARCS 2015, 2015

2014

On MILS I/O Sharing Targeting Avionic Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Iterative FPGA Implementation Easing Safety Certification for Mixed-Criticality Embedded Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems.

[BibT_eX]

[DOI]

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

Temporal Separation for Hardware-Based I/O Virtualization for Mixed-Criticality Embedded Real-Time Systems Using PCIe SR-IOV.

[BibT_eX]

[DOI]

Daniel Münch

Proceedings of the ARCS 2014, 2014

2013

Multicore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Quality of service capabilities for hard real-time applications on multi-core processors.

[BibT_eX]

[DOI]

Jan Nowotsch

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Transparent software replication and hardware monitoring leveraging modern System-on-Chip features.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Design and implementation of a degraded vision landing aid application on a multicore processor architecture for safety-critical application.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Hardware-Based I/O Virtualization for Mixed Criticality Real-Time Systems Using PCIe SR-IOV.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

2012

A performance study of Audio Video Bridging in aeronautic Ethernet networks.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

A secure content network in space.

[BibT_eX]

[DOI]

Proceedings of the seventh ACM international workshop on Challenged networks, 2012

Evidence-Based Security in Aerospace: From Safety to Security and Back Again.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Leveraging Multi-core Computing Architectures in Avionics.

[BibT_eX]

[DOI]

Jan Nowotsch

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2009

TTEthernet Dataflow Concept.

[BibT_eX]

[DOI]

Srivatsan Varadarajan

Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

2008

Starting and Resolving a Partitioned BRAIN.

[BibT_eX]

[DOI]

Brendan Hall

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Non-functional Avionics Requirements.

[BibT_eX]

[DOI]

Harald Rueß

Maria Sorea

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation.

[BibT_eX]

[DOI]

Brendan Hall

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

The TTA's Approach to Resilience after Transient Upsets.

[BibT_eX]

[DOI]

Hermann Kopetz

Real Time Syst., 2006

A standard for real-time smart transducer interface.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2006

2005

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2003

Multiple Failure Correction in the Time-Triggered Architecture.

[BibT_eX]

[DOI]

Hermann Kopetz

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2002

The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2000

An Investigation of Membership and Clique Avoidance in TTP/C.

[BibT_eX]

[DOI]

Günther Bauer