Mario Gleirscher

Christian Pardillo Laursen

Georg Struth

Thomas Hickman

CoRR, 2024

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2024

2023

A manifesto for applicable formal methods.

[BibT_eX]

[DOI]

Jaco van de Pol

Softw. Syst. Model., December, 2023

Qualification of proof assistants, checkers, and generators: Where are we and what next?

[BibT_eX]

[DOI]

Robert Sachtleben

Sci. Comput. Program., March, 2023

Complete Property-Oriented Module Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2023

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains.

[BibT_eX]

[DOI]

Anne E. Haxthausen

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

Supervision of Intelligent Systems: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Verified synthesis of optimal safety controllers for human-robot collaboration.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Wie geht es dem akademischen Mittelbau?

[BibT_eX]

[DOI]

Inform. Spektrum, 2022

Sound Development of Safety Supervisors.

[BibT_eX]

[DOI]

Lukas Plecher

CoRR, 2022

2021

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2021

RiskStructures: A design algebra for risk-aware machines.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Maintaining driver attentiveness in shared-control autonomous driving.

[BibT_eX]

[DOI]

Naif Alasmari

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.

[BibT_eX]

[DOI]

Jonathan Julián Huerta y Munive

Georg Struth

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Lage und Zukunft des wissenschaftlichen Nachwuchses.

[BibT_eX]

[DOI]

Inform. Spektrum, 2020

Formal methods in dependable systems engineering: a survey of professionals from Europe and North America.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

New Opportunities for Integrated Formal Methods.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2020

YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots.

[BibT_eX]

[DOI]

Nikita Johnson

Panayiotis Karachristou

James Law

John A. Clark

CoRR, 2020

Safety Controller Synthesis for Collaborative Robots.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2019

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle.

[BibT_eX]

[DOI]

CoRR, 2019

Risk Structures: Towards Engineering Risk-aware Autonomous Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Assurance of System Safety: A Survey of Design and Argument Patterns.

[BibT_eX]

[DOI]

CoRR, 2019

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots.

[BibT_eX]

[DOI]

Yakoub Nemouchi

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Risk Mitigation Strategies in High Automation.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles.

[BibT_eX]

[DOI]

Sven Linker

ACM SIGSOFT Softw. Eng. Notes, 2018

Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?

[BibT_eX]

[DOI]

CoRR, 2018

Formal Methods: Oversold? Underused? A Survey.

[BibT_eX]

[DOI]

CoRR, 2018

Safety Practice and its Practitioners: Exploring a Diverse Profession.

[BibT_eX]

[DOI]

Anne Nyokabi

CoRR, 2018

2017

Safe Control of Autonomous & Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017.

[BibT_eX]

[DOI]

Jonathan Sprinkle

ACM SIGSOFT Softw. Eng. Notes, 2017

Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case.

[BibT_eX]

[DOI]

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

Defining Risk States in Autonomous Road Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern.

[BibT_eX]

[DOI]

Carmen Cârlan

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Research Challenges for a Future-Proof E/E Architecture - A Project Statement.

[BibT_eX]

[DOI]

Vadim Cebotari

Morteza Hashemi Farzaneh

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016

On Activation, Connection, and Behavior in Dynamic Architectures.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2016

Specifying Properties of Dynamic Architectures Using Configuration Traces.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Model-based Hazard and Impact Analysis.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Behavioural Safety of Technical Systems (Verhaltenssicherheit technischer Systeme)

[BibT_eX]

[DOI]

PhD thesis, 2014

Introduction of static quality analysis in small- and medium-sized software enterprises: experiences from technology transfer.

[BibT_eX]

[DOI]

Softw. Qual. J., 2014

A model-based approach to innovation management of automotive control systems.

[BibT_eX]

[DOI]

Andreas Vogelsang

Steffen Fuhrmann

Proceedings of the 8th IEEE International Workshop on Software Product Management, 2014

2013

Hazard Analysis for Technical Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Quality. Increasing Value in Software and Systems Development, 2013

2012

On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises.

[BibT_eX]

[DOI]

Proceedings of the Software Quality. Process Automation in Software Development, 2012

2011

On the Extent and Nature of Software Reuse in Open Source Java Projects.

[BibT_eX]

[DOI]

Proceedings of the Top Productivity through Software Reuse, 2011

Hazard-based selection of test cases.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

2009

Toward a Holistic and Standardized Automotive Architecture Description.

[BibT_eX]

[DOI]

Computer, 2009

2007

Incremental Integration of Heterogeneous Systems Views.

[BibT_eX]

[DOI]