Person:832040

Available identifiers

zbMath Open gossler.gregorMaRDI QIDQ832040

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gregor Gössler