Person:832040

Available identifiers

zbMath Open gossler.gregorMaRDI QIDQ832040

List of research outcomes

Publication	Date of Publication	Type
Causal debugging for concurrent systems	2024-11-13	Paper
Monotonic Prefix Consistency in Distributed Systems	2023-03-10	Paper
Explaining safety violations in real-time systems	2022-03-24	Paper
Fault Ascription in Concurrent Systems	2021-04-07	Paper
Causality analysis and fault ascription in component-based systems	2020-08-25	Paper
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions	2020-03-06	Paper
Synthesis of switching controllers using approximately bisimilar multiscale abstractions	2017-05-16	Paper
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models	2017-05-03	Paper
Probabilistic contracts for component-based design	2014-03-28	Paper
Probabilistic Contracts for Component-Based Design	2010-10-04	Paper
Compositional Strategy Mapping	2010-01-28	Paper
Component-Based Construction of Deadlock-Free Systems	2009-08-06	Paper
An Approach to Modelling and Verification of Component Based Systems	2008-03-07	Paper
Ensuring Properties of Interaction Systems	2007-09-24	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
Composition for component-based modeling	2005-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4439563	2003-12-14	Paper
Scheduler modeling based on the controller synthesis paradigm	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q2766638	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4518892	2001-05-20	Paper

Research outcomes over time

This page was built for person: Gregor Gössler