Mario Trapp

According to our database1, Mario Trapp authored at least 55 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151).
Dagstuhl Reports, 2024

Online Identification of Operational Design Domains of Automated Driving System Features<sup>*</sup>.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

Automatic Deduction of the Impact of Context Variability on System Safety Goals.
Proceedings of the 19th European Dependable Computing Conference, 2024

Concept-Guided LLM Agents for Human-AI Safety Codesign.
Proceedings of the AAAI 2024 Spring Symposium Series, 2024

2023
Adaptively Managing Reliability of Machine Learning Perception under Changing Operating Conditions.
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

2022
Fuzzy Interpretation of Operational Design Domains in Autonomous Driving.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

Safety Implications of Runtime Adaptation to Changing Operating Conditions.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Towards Uncertainty Reduction Tactics for Behavior Adaptation.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

2020
Considering Reliability of Deep Learning Function to Boost Data Suitability and Anomaly Detection.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Dependable and Efficient Cloud-Based Safety-Critical Applications by Example of Automated Valet Parking.
Proceedings of the Intelligent Transport Systems, From Research and Development to the Market Uptake, 2020

SINADRA: Towards a Framework for Assurable Situation-Aware Dynamic Risk Assessment of Autonomous Vehicles.
Proceedings of the 16th European Dependable Computing Conference, 2020

2018
B-space: dynamic management and assurance of open systems of systems.
J. Internet Serv. Appl., 2018

A Model-Based Safety Analysis of Dependencies Across Abstraction Layers.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Towards integrating undependable self-adaptive systems in safety-critical environments.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Towards Safety-Awareness and Dynamic Safety Management.
Proceedings of the 14th European Dependable Computing Conference, 2018

2017
Safety in der Industrie 4.0.
Proceedings of the Handbuch Industrie 4.0 Bd.1, Produktion., 2017

Umfassende Sicherheit - Safety und Security im Kontext autonomer Systeme.
Inform. Spektrum, 2017

2016
Assuring Functional Safety in Open Systems of Systems
, 2016

2015
The Safety Requirements Decomposition Pattern.
Proceedings of the Computer Safety, Reliability, and Security, 2015

WAP: Digital dependability identities.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

The Parameterized Safety Requirements Templates.
Proceedings of the 8th IEEE/ACM International Symposium on Software and Systems Traceability, 2015

2013
Conditional Safety Certification of Open Adaptive Systems.
ACM Trans. Auton. Adapt. Syst., 2013

A Safety Roadmap to Cyber-Physical Systems.
Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012
Safety-Focused Deployment Optimization in Open Integrated Architectures.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Modeling Quality Aspects: Safety.
Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011
A Safety Engineering Framework for Open Adaptive Systems.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Vertical Safety Interfaces - Improving the Efficiency of Modular Certification.
Proceedings of the Computer Safety, Reliability, and Security, 2011

A pattern-based approach to DSL development.
Proceedings of the SPLASH'11 Workshops, 2011

Safe Automotive Software.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

Approaching runtime trust assurance in open adaptive systems.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Safety Assurance of Open Adaptive Systems - A Survey.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

A Reference Architecture and Roadmap for Models@run.time Systems.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems.
ACM Trans. Embed. Comput. Syst., 2010

Extensible and Automated Model-Evaluations with INProVE.
Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

Domain-specific modeling as an enabling technology for small and medium-sized enterprises.
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

Integration of Component Fault Trees into the UML.
Proceedings of the Models in Software Engineering, 2010

A Consistency Check Algorithm for Component-Based Refinements of Fault Trees.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Conditional safety certificates in open systems.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

Eingebettete Systeme - Systemgrundlagen und Entwicklung eingebetteter Software.
Vieweg, ISBN: 978-3-8348-0422-8, 2010

2009
Trends in Embedded Software Engineering.
IEEE Softw., 2009

Component-Based Abstraction in Fault Tree Analysis.
Proceedings of the Computer Safety, 2009

Fault Tree Analysis of Software-Controlled Component Systems Based on Second-Order Probabilities.
Proceedings of the ISSRE 2009, 2009

Runtime Safety Models in Open Systems of Systems.
Proceedings of the Eighth IEEE International Conference on Dependable, 2009

2008
Integrating Safety Analyses and Component-Based Design.
Proceedings of the Computer Safety, 2008

SafeSpection - A Systematic Customization Approach for Software Hazard Identification.
Proceedings of the Computer Safety, 2008

2007
WG7: Safety-Engineering für eingebettete Softwaresysteme.
Proceedings of the Software Engineering 2007, 2007

Herausforderungen und Erfahrungen eines OEM bei der Gestaltung Sicherheitsgerechter Prozesse.
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

Determining Configuration Probabilities of Safety-Critical Adaptive Systems.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Verifying the adaptation behavior of embedded systems.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

2005
Modeling the adaptation behavior of adaptive embedded systems.
PhD thesis, 2005

Modellierung adaptiver eingebetteter Systeme.
Proceedings of the Software Engineering 2005, 2005

2003
Service-based Development of Dynamically Reconfiguring Embedded Systems.
Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002
Analyzing the Behavior of Embedded Systems Concerning Gracefull Degradation.
Parallel Distributed Comput. Pract., 2002

Failure Behavior Analysis for Reliable Distributed Embedded Systems.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002


  Loading...