Gregor Gössler

MaRDI QIDQ832040zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Causal debugging for concurrent systems	2024-11-13	Paper
Monotonic Prefix Consistency in Distributed Systems Formal Techniques for Distributed Objects, Components, and Systems	2023-03-10	Paper
Explaining safety violations in real-time systems	2022-03-24	Paper
Fault ascription in concurrent systems Trustworthy Global Computing	2021-04-07	Paper
Causality analysis and fault ascription in component-based systems Theoretical Computer Science	2020-08-25	Paper
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions Acta Informatica	2020-03-06	Paper
Synthesis of switching controllers using approximately bisimilar multiscale abstractions Proceedings of the 14th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models IEEE Transactions on Automatic Control	2017-05-03	Paper
Probabilistic contracts for component-based design Formal Methods in System Design	2014-03-28	Paper
Probabilistic Contracts for Component-Based Design Automated Technology for Verification and Analysis	2010-10-04	Paper
Compositional strategy mapping Fundamentals of Software Engineering	2010-01-28	Paper
Component-Based Construction of Deadlock-Free Systems Lecture Notes in Computer Science	2009-08-06	Paper
An Approach to Modelling and Verification of Component Based Systems Lecture Notes in Computer Science	2008-03-07	Paper
Ensuring Properties of Interaction Systems Program Analysis and Compilation, Theory and Practice	2007-09-24	Paper
Formal Methods for Components and Objects Lecture Notes in Computer Science	2005-08-22	Paper
Composition for component-based modeling Science of Computer Programming	2005-05-12	Paper
scientific article; zbMATH DE number 2017344 (Why is no real title available?)	2003-12-14	Paper
Scheduler modeling based on the controller synthesis paradigm Real-Time Systems	2002-09-18	Paper
scientific article; zbMATH DE number 1696502 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 1538037 (Why is no real title available?)	2001-05-20	Paper

Research outcomes over time

This page was built for person: Gregor Gössler