Gregor Gößler

Publication Activity (10 Years)

Years Active: 1999-2020
Publications (10 Years): 11

Top Topics

Controller Synthesis

Distributed Systems

Geographically Distributed

Top Venues

IEEE Trans. Netw. Serv. Manag.

Publications

Antoine Girard, Gregor Gößler
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Acta Informatica 57 (1-2) (2020)
Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gößler, Imen Grida Ben Yahia
A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions. IEEE Trans. Netw. Serv. Manag. 16 (4) (2019)
Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gößler
SAKURA a Model Based Root Cause Analysis Framework for vIMS. MobiSys (2019)
Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
Monotonic Prefix Consistency in Distributed Systems. FORTE (2018)
Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS (2018)
Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani
Counterfactual Causality from First Principles? CREST@ETAPS (2017)
Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems. CoRR (2017)
Antoine Girard, Gregor Gößler, Sebti Mouelhi
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Trans. Autom. Control. 61 (6) (2016)
Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee
A Hybrid Approach to Causality Analysis. RV (2015)
Gregor Gößler, Daniel Le Métayer
A general framework for blaming in component-based systems. Sci. Comput. Program. 113 (2015)
Gregor Gößler, Jean-Bernard Stefani
Fault Ascription in Concurrent Systems. TGC (2015)
Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Tech. Sci. Informatiques 33 (1-2) (2014)
Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee
A Causality Analysis Framework for Component-Based Real-Time Systems. RV (2013)
Gregor Gößler, Daniel Le Métayer
A General Trace-Based Framework of Logical Causality. FACS (2013)
Sebti Mouelhi, Antoine Girard, Gregor Gößler
CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC (2013)
Gideon Smeding, Gregor Gößler
A correlation preserving performance analysis for stream processing systems. MEMOCODE (2012)
Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler
A Theory of Fault Recovery for Component-Based Models. SSS (2012)
Gregor Gößler, Dana N. Xu, Alain Girault
Probabilistic contracts for component-based design. Formal Methods Syst. Des. 41 (2) (2012)
Javier Cámara, Antoine Girard, Gregor Gößler
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC (2011)
Javier Cámara, Antoine Girard, Gregor Gößler
Safety controller synthesis for switched systems using multi-scale symbolic models. CDC/ECC (2011)
Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler
A Theory of Fault Recovery for Component-Based Models. SRDS (2011)
Gregor Gößler, Gwen Salaün
Realizability of Choreographies for Services Interacting Asynchronously. FACS (2011)
Dana N. Xu, Gregor Gößler, Alain Girault
Probabilistic Contracts for Component-Based Design. ATVA (2010)
Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet
Causality Analysis in Contract Violation. RV (2010)
Gregor Gößler
Compositional Strategy Mapping. FSEN (2009)
Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
Adaptor Synthesis for Real-Time Components. TACAS (2007)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) (2007)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
Ensuring Properties of Interaction Systems. Program Analysis and Compilation (2006)
Gregor Gößler
Compositional Reachability Analysis of Genetic Networks. CMSB (2006)
Gregor Gößler, Joseph Sifakis
Composition for component-based modeling. Sci. Comput. Program. 55 (1-3) (2005)
Gregor Gößler, Joseph Sifakis
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. FSTTCS (2003)
Gregor Gößler, Joseph Sifakis
Priority Systems. FMCO (2003)
Gregor Gößler, Alberto L. Sangiovanni-Vincentelli
Compositional Modeling in Metropolis. EMSOFT (2002)
Gregor Gößler, Joseph Sifakis
Composition for Component-Based Modeling. FMCO (2002)
Karine Altisen, Gregor Gößler, Joseph Sifakis
Scheduler Modeling Based on the Controller Synthesis Paradigm. Real Time Syst. 23 (1-2) (2002)
Karine Altisen, Gregor Gößler, Joseph Sifakis
A Methodology for the Construction of Scheduled Systems. FTRTFT (2000)
Sébastien Bornot, Gregor Gößler, Joseph Sifakis
On the Construction of Live Timed Systems. TACAS (2000)
Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
A Framework for Scheduler Synthesis. RTSS (1999)