Gregor Gössler

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Execution Traces

Constraint Violations

Causal Reasoning

Concurrent Systems

Top Venues

IEEE Trans. Netw. Serv. Manag.

NII Shonan Meet. Rep.

Publications

Ivan Lanese, Gregor Gössler
Causal Debugging for Concurrent Systems. RC (2024)
Charles K. Assaad, Emilie Devijver, Éric Gaussier, Gregor Gössler, Anouar Meynaoui
Identifiability of total effects from abstractions of time series causal graphs. CoRR (2023)
Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler
A Semantics of Core Erlang with Handling of Signals. Erlang Workshop (2023)
Thomas Mari, Thao Dang, Gregor Gössler
Explaining Safety Violations in Real-Time Systems. FORMATS (2021)
Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler
SFC Self-Modeling and Active Diagnosis. IEEE Trans. Netw. Serv. Manag. 18 (3) (2021)
Gregor Gössler, Jean-Bernard Stefani
Causality analysis and fault ascription in component-based systems. Theor. Comput. Sci. 837 (2020)
Gregor Gössler, Stefan Leue, Shin Nakajima
Causal Reasoning in Systems (NII Shonan Meeting 139). NII Shonan Meet. Rep. 2019 (2019)