Gregor Gößler

According to our database, Gregor Gößler authored at least 50 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Identifiability of total effects from abstractions of time series causal graphs.

Charles K. Assaad, Emilie Devijver, Éric Gaussier, Gregor Gössler, Anouar Meynaoui

CoRR, 2023

A Semantics of Core Erlang with Handling of Signals.

Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler

Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2023

2021

SFC Self-Modeling and Active Diagnosis.

Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler

IEEE Trans. Netw. Serv. Manag., 2021

Explaining Safety Violations in Real-Time Systems.

Thomas Mari, Thao Dang, Gregor Gössler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

2020

Causality analysis and fault ascription in component-based systems.

Gregor Gössler, Jean-Bernard Stefani

Theor. Comput. Sci., 2020

Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions.

Antoine Girard, Gregor Gößler

Acta Informatica, 2020

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

Causal Reasoning in Systems (NII Shonan Meeting 139).

Gregor Gössler, Stefan Leue, Shin Nakajima

NII Shonan Meet. Rep., 2019

SAKURA a Model Based Root Cause Analysis Framework for vIMS.

Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gößler

Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

2018

LUMEN: A global fault management framework for network virtualization environments.

Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Goessler

Proceedings of the 21st Conference on Innovation in Clouds, 2018

Monotonic Prefix Consistency in Distributed Systems.

Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory.

Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

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

Counterfactual Causality from First Principles?

Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani

Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

2016

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models.

Antoine Girard, Gregor Gößler, Sebti Mouelhi

IEEE Trans. Autom. Control., 2016

2015

A general framework for blaming in component-based systems.

Gregor Gößler, Daniel Le Métayer

Sci. Comput. Program., 2015

Fault Ascription in Concurrent Systems.

Gregor Gößler, Jean-Bernard Stefani

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

A Hybrid Approach to Causality Analysis.

Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee

Proceedings of the Runtime Verification - 6th International Conference, 2015

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 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

Blaming in component-based real-time systems.

Gregor Goessler, Lacramioara Astefanoaei

Proceedings of the 2014 International Conference on Embedded Software, 2014

Formal Techniques for Component-based Design of Embedded Systems.

Gregor Gößler

, 2014

2013

A Causality Analysis Framework for Component-Based Real-Time Systems.

Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee

Proceedings of the Runtime Verification - 4th International Conference, 2013

CoSyMA: a tool for controller synthesis using multi-scale abstractions.

Sebti Mouelhi, Antoine Girard, Gregor Gößler

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

A General Trace-Based Framework of Logical Causality.

Gregor Gößler, Daniel Le Métayer

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Mode sequences as symbolic states in abstractions of incrementally stable switched systems.

Euriell Le Corronc, Antoine Girard, Gregor Goessler

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Probabilistic contracts for component-based design.

Gregor Gößler, Dana N. Xu, Alain Girault

Formal Methods Syst. Des., 2012

A Theory of Fault Recovery for Component-Based Models.

Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

A correlation preserving performance analysis for stream processing systems.

Gideon Smeding, Gregor Gößler

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

2011

Component-Based Modeling and Reachability Analysis of Genetic Networks.

Gregor Goessler

IEEE ACM Trans. Comput. Biol. Bioinform., 2011

Synthesis of switching controllers using approximately bisimilar multiscale abstractions.

Javier Cámara, Antoine Girard, Gregor Gößler

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Realizability of Choreographies for Services Interacting Asynchronously.

Gregor Gößler, Gwen Salaün

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Safety controller synthesis for switched systems using multi-scale symbolic models.

Javier Cámara, Antoine Girard, Gregor Gößler

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

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, Hidde de Jong

Bioinform., 2010

Causality Analysis in Contract Violation.

Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Modal Contracts for Component-Based Design.

Gregor Goessler, Jean-Baptiste Raclet

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Compositional Strategy Mapping.

Gregor Gößler

Proceedings of the Fundamentals of Software Engineering, 2009

Specification Enforcing Refinement for Convertibility Verification.

Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2007

Adaptor Synthesis for Real-Time Components.

Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

An Approach to Modelling and Verification of Component Based Systems.

Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

2006

Compositional Reachability Analysis of Genetic Networks.

Gregor Gößler

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

Ensuring Properties of Interaction Systems.

Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis

Proceedings of the Program Analysis and Compilation, 2006

2005

Composition for component-based modeling.

Gregor Gößler, Joseph Sifakis

Sci. Comput. Program., 2005

2003

Component-Based Construction of Deadlock-Free Systems: Extended Abstract.

Gregor Gößler, Joseph Sifakis

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

Priority Systems.

Gregor Gößler, Joseph Sifakis

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Scheduler Modeling Based on the Controller Synthesis Paradigm.

Karine Altisen, Gregor Gößler, Joseph Sifakis

Real Time Syst., 2002

Compositional Modeling in Metropolis.

Gregor Gößler, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Embedded Software, Second International Conference, 2002

2000

On the Construction of Live Timed Systems.

Sébastien Bornot, Gregor Gößler, Joseph Sifakis

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

A Methodology for the Construction of Scheduled Systems.

Karine Altisen, Gregor Gößler, Joseph Sifakis

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

A Framework for Scheduler Synthesis.

Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999