A Framework for Scheduler Synthesis. - Karine Altisen; Gregor Gößler; Amir Pnueli; Joseph Sifakis; Stavros Tripakis; Sergio Yovine (RTSS, 1999)

A Methodology for the Construction of Scheduled Systems. - Karine Altisen; Gregor Gößler; Joseph Sifakis (FTRTFT, 2000)

On the Construction of Live Timed Systems. - Sébastien Bornot; Gregor Gößler; Joseph Sifakis (TACAS, 2000)

Compositional Modeling in Metropolis. - Gregor Gößler; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2002)

Scheduler Modeling Based on the Controller Synthesis Paradigm. - Karine Altisen; Gregor Gößler; Joseph Sifakis (Real Time Syst., 2002)

Priority Systems. - Gregor Gößler; Joseph Sifakis (FMCO, 2003)

Component-Based Construction of Deadlock-Free Systems: Extended Abstract. - Gregor Gößler; Joseph Sifakis (FSTTCS, 2003)

Composition for component-based modeling. - Gregor Gößler; Joseph Sifakis (Sci. Comput. Program., 2005)

Ensuring Properties of Interaction Systems. - Gregor Gößler; Susanne Graf; Mila E. Majster-Cederbaum; Moritz Martens; Joseph Sifakis (Program Analysis and Compilation, 2006)

Compositional Reachability Analysis of Genetic Networks. - Gregor Gößler (CMSB, 2006)

An Approach to Modelling and Verification of Component Based Systems. - Gregor Gößler; Susanne Graf; Mila E. Majster-Cederbaum; Moritz Martens; Joseph Sifakis (SOFSEM (1), 2007)

Adaptor Synthesis for Real-Time Components. - Massimo Tivoli; Pascal Fradet; Alain Girault; Gregor Gößler (TACAS, 2007)

Specification Enforcing Refinement for Convertibility Verification. - Partha S. Roop; Alain Girault; Roopak Sinha; Gregor Goessler (ACSD, 2009)

Compositional Strategy Mapping. - Gregor Gößler (FSEN, 2009)

Modal Contracts for Component-Based Design. - Gregor Goessler; Jean-Baptiste Raclet (SEFM, 2009)

Causality Analysis in Contract Violation. - Gregor Gößler; Daniel Le Métayer; Jean-Baptiste Raclet (RV, 2010)

Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. - Grégory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro T. Monteiro 001; Hidde de Jong (Bioinform., 2010)

Safety controller synthesis for switched systems using multi-scale symbolic models. - Javier Cámara 001; Antoine Girard; Gregor Gößler (CDC/ECC, 2011)

Realizability of Choreographies for Services Interacting Asynchronously. - Gregor Gößler; Gwen Salaün (FACS, 2011)

Synthesis of switching controllers using approximately bisimilar multiscale abstractions. - Javier Cámara 001; Antoine Girard; Gregor Gößler (HSCC, 2011)

A Theory of Fault Recovery for Component-Based Models. - Borzoo Bonakdarpour; Marius Bozga; Gregor Gößler (SRDS, 2011)

Component-Based Modeling and Reachability Analysis of Genetic Networks. - Gregor Goessler (IEEE ACM Trans. Comput. Biol. Bioinform., 2011)

A correlation preserving performance analysis for stream processing systems. - Gideon Smeding; Gregor Gößler (MEMOCODE, 2012)

Probabilistic contracts for component-based design. - Gregor Gößler; Dana N. Xu; Alain Girault (Formal Methods Syst. Des., 2012)

Mode sequences as symbolic states in abstractions of incrementally stable switched systems. - Euriell Le Corronc; Antoine Girard; Gregor Goessler (CDC, 2013)

A General Trace-Based Framework of Logical Causality. - Gregor Gößler; Daniel Le Métayer (FACS, 2013)

CoSyMA: a tool for controller synthesis using multi-scale abstractions. - Sebti Mouelhi; Antoine Girard; Gregor Gößler (HSCC, 2013)

A Causality Analysis Framework for Component-Based Real-Time Systems. - Shaohui Wang; Anaheed Ayoub; BaekGyu Kim; Gregor Gößler; Oleg Sokolsky; Insup Lee 001 (RV, 2013)

Formal Techniques for Component-based Design of Embedded Systems. - Gregor Gößler (2014)

Blaming in component-based real-time systems. - Gregor Goessler; Lacramioara Astefanoaei (EMSOFT, 2014)

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. - Roopak Sinha; Alain Girault; Gregor Goessler; Partha S. Roop (ACM Trans. Design Autom. Electr. Syst., 2014)

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. - Gregor Gößler; Daniel Le Métayer; Eduardo Mazza; Marie-Laure Potet; Lacramioara Astefanoaei (Tech. Sci. Informatiques, 2014)

A Hybrid Approach to Causality Analysis. - Shaohui Wang; Yoann Geoffroy; Gregor Gößler; Oleg Sokolsky; Insup Lee 001 (RV, 2015)

Fault Ascription in Concurrent Systems. - Gregor Gößler; Jean-Bernard Stefani (TGC, 2015)

A general framework for blaming in component-based systems. - Gregor Gößler; Daniel Le Métayer (Sci. Comput. Program., 2015)

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. - Antoine Girard; Gregor Gößler; Sebti Mouelhi (IEEE Trans. Autom. Control., 2016)

Counterfactual Causality from First Principles? - Gregor Gößler; Oleg Sokolsky; Jean-Bernard Stefani (CREST@ETAPS, 2017)

Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems. - Alain Girault; Gregor Gößler; Rachid Guerraoui; Jad Hamza; Dragos-Adrian Seredinschi (CoRR, 2017)

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. - Susanne Graf; Sophie Quinton; Alain Girault; Gregor Gößler (FMICS, 2018)

Monotonic Prefix Consistency in Distributed Systems. - Alain Girault; Gregor Gößler; Rachid Guerraoui; Jad Hamza; Dragos-Adrian Seredinschi (FORTE, 2018)

LUMEN: A global fault management framework for network virtualization environments. - Sihem Cherrared; Sofiane Imadali; Eric Fabre; Gregor Goessler (ICIN, 2018)

SAKURA a Model Based Root Cause Analysis Framework for vIMS. - Sihem Cherrared; Sofiane Imadali; Eric Fabre; Gregor Gößler (MobiSys, 2019)

Causal Reasoning in Systems (NII Shonan Meeting 139). - Gregor Gössler; Stefan Leue; Shin Nakajima 001 (NII Shonan Meet. Rep., 2019)

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions. - Sihem Cherrared; Sofiane Imadali; Eric Fabre; Gregor Gößler; Imen Grida Ben Yahia (IEEE Trans. Netw. Serv. Manag., 2019)

Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. - Antoine Girard; Gregor Gößler (Acta Informatica, 2020)

Causality analysis and fault ascription in component-based systems. - Gregor Gössler; Jean-Bernard Stefani (Theor. Comput. Sci., 2020)

Explaining Safety Violations in Real-Time Systems. - Thomas Mari; Thao Dang 001; Gregor Gössler (FORMATS, 2021)

SFC Self-Modeling and Active Diagnosis. - Sihem Cherrared; Sofiane Imadali; Eric Fabre; Gregor Gössler (IEEE Trans. Netw. Serv. Manag., 2021)

A Semantics of Core Erlang with Handling of Signals. - Aurélie Kong Win Chang; Jérôme Feret; Gregor Gössler (Erlang Workshop, 2023)

Causal Debugging for Concurrent Systems. - Ivan Lanese; Gregor Gössler (RC, 2024)

Identifiability of total effects from abstractions of time series causal graphs. - Charles K. Assaad; Emilie Devijver; Éric Gaussier; Gregor Goessler; Anouar Meynaoui (UAI, 2024)