Gregor Gössler

57
Documents
Affiliation actuelle
  • Sound Programming of Adaptive Dependable Embedded Systems (SPADES)

Publications

Publications

SFC Self-Modeling and Active Diagnosis

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

IEEE Transactions on Network and Service Management, 2021, 18 (3), pp.2515-2530. ⟨10.1109/TNSM.2021.3086424⟩

Article dans une revue hal-03352706v1
Deposit thumbnail

Causality analysis and fault ascription in component-based systems

Gregor Gössler , Jean-Bernard Stefani

Theoretical Computer Science, 2020, 837, pp.158-180. ⟨10.1016/j.tcs.2020.06.010⟩

Article dans une revue hal-02927216v1
Deposit thumbnail

Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions

Antoine Girard , Gregor Gössler

Acta Informatica, 2020, 57, pp.245-269. ⟨10.1007/s00236-019-00341-x⟩

Article dans une revue hal-02286661v1
Deposit thumbnail

A survey of fault management in network virtualization environments: challenges and solutions

Sihem Cherrared , Sofiane Imadali , Eric Fabre , Gregor Gössler , Imen Grida Ben Yahia

IEEE Transactions on Network and Service Management, 2019, 16 (4), pp.1537 - 1551. ⟨10.1109/TNSM.2019.2948420⟩

Article dans une revue hal-02370378v1
Deposit thumbnail

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

Antoine Girard , Gregor Gössler , Sebti Mouelhi

IEEE Transactions on Automatic Control, 2016, 61 (6), pp.1537-1549. ⟨10.1109/TAC.2015.2478131⟩

Article dans une revue hal-01197426v2
Deposit thumbnail

A general framework for blaming in component-based systems

Gregor Gössler , Daniel Le Métayer

Science of Computer Programming, 2015, 113 (Part 3), pp.223-235. ⟨10.1016/j.scico.2015.06.010⟩

Article dans une revue hal-01211484v1

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design

Roopak Sinha , Alain Girault , Gregor Gössler , Partha Roop

ACM Transactions on Design Automation of Electronic Systems, 2014, 20, pp.30. ⟨10.1145/2663344⟩

Article dans une revue hal-01092255v1

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel

Gregor Gössler , Daniel Le Métayer , Eduardo Mazza , Marie-Laure Potet , Lacramioara Astefanoaei

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (1-2), pp.63-84. ⟨10.3166/tsi.33.63-84⟩

Article dans une revue hal-01078220v1

Component-Based Modeling and Reachability Analysis of Genetic Networks

Gregor Gössler

IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2011, 8 (3), pp.672-682. ⟨10.1109/TCBB.2010.81⟩

Article dans une revue hal-00665209v1

Composition for Component-based Modeling

Gregor Gössler , Joseph Sifakis

Science of Computer Programming, 2005, 55 (1-3), pp.161-183

Article dans une revue hal-00665175v1
Deposit thumbnail

CESAn: A Core Erlang Semantics Analyser

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

DisCoTec 2025 - 20th International Federated Conference on Distributed Computing Techniques / CORSE - Components Operationally: Reversibility and System Engineering, Jun 2025, Lille, France. pp.103-115, ⟨10.1007/978-3-031-99717-4_6⟩

Communication dans un congrès hal-05353119v1
Deposit thumbnail

Identifiability of total effects from abstractions of time series causal graphs

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

40th Conference on Uncertainty in Artificial Intelligence, Association for Uncertainty in Artificial Intelligence (AUAI), Jul 2024, Barcelone, Spain

Communication dans un congrès hal-04250602v4
Deposit thumbnail

Causal Debugging for Concurrent Systems

Ivan Lanese , Gregor Gössler

RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.3-9, ⟨10.1007/978-3-031-62076-8_1⟩

Communication dans un congrès hal-04610282v1
Deposit thumbnail

A Semantics of Core Erlang with Handling of Signals

Aurélie Kong Win Chang , Jerome Feret , Gregor Gössler

Erlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023, Seattle WA, United States. pp.31-38, ⟨10.1145/3609022.3609417⟩

Communication dans un congrès hal-04222884v1

Explaining Safety Violations in Real-Time Systems

Thomas Mari , Thao Dang , Gregor Gössler

FORMATS 2021 - Formal Modeling and Analysis of Timed Systems, Aug 2021, Paris, France. pp.100-116, ⟨10.1007/978-3-030-85037-1_7⟩

Communication dans un congrès hal-03348010v1
Deposit thumbnail

Towards Causal Explanations of Property Violations in Discrete Event Systems

Gregor Gössler , Thomas Mari , Yannick Pencolé , Louise Travé-Massuyès

30th International Workshop on Principles of Diagnosis (DX'19), Nov 2019, Klagenfurt, Austria. pp.1-8

Communication dans un congrès hal-02369014v1
Deposit thumbnail

LUMEN: A Global Fault Management Framework For Network Virtualization Environments

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

ICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2018, Paris, France. pp.1-8, ⟨10.1109/ICIN.2018.8401622⟩

Communication dans un congrès hal-01851610v1
Deposit thumbnail

Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory

Susanne Graf , Sophie Quinton , Alain Girault , Gregor Gössler

FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Dublin, Ireland. pp.19-31, ⟨10.1007/978-3-030-00244-2_2⟩

Communication dans un congrès hal-01891146v1
Deposit thumbnail

Monotonic Prefix Consistency in Distributed Systems

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

FORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩

Communication dans un congrès hal-01824817v1

Counterfactual Causality from First Principles?

Gregor Gössler , Oleg Sokolsky , Jean-Bernard Stefani

2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), 2017, Uppsala, Sweden. pp.47 - 53, ⟨10.4204/EPTCS.259.5⟩

Communication dans un congrès hal-01631415v1
Deposit thumbnail

Fault Ascription in Concurrent Systems

Gregor Gössler , Jean-Bernard Stefani

Trustworthy Global Computing, 2015, Madrid, Spain. pp.16, ⟨10.1007/978-3-319-28766-96⟩

Communication dans un congrès hal-01246485v1

A Hybrid Approach to Causality Analysis

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

RV 2015 - 6th International Conference on Runtime Verification, Sep 2015, Vienna, Austria. ⟨10.1007/978-3-319-23820-3_16⟩

Communication dans un congrès hal-01211607v1
Deposit thumbnail

Blaming in component-based real-time systems

Gregor Gössler , Lacramioara Astefanoaei

Proceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Oct 2014, Delhi, India. ⟨10.1145/2656045.2656048⟩

Communication dans un congrès hal-01078214v1

Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems

Euriell Le Corronc , Antoine Girard , Gregor Gössler

CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩

Communication dans un congrès hal-00924815v1
Deposit thumbnail

A General Trace-Based Framework of Logical Causality

Gregor Gössler , Daniel Le Métayer

FACS - 10th International Symposium on Formal Aspects of Component Software - 2013, 2013, Nanchang, China

Communication dans un congrès hal-00924048v1

A Causality Analysis Framework for Component-based Real-time Systems

Shaohui Wang , Anaheed Ayoub , Baekgyu Kim , Gregor Gössler , Oleg Sokolsky et al.

RV - 4th International Conference on Runtime Verification - 2013, 2013, Rennes, France. pp.285-303

Communication dans un congrès hal-00919081v1
Deposit thumbnail

CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions

Sebti Mouelhi , Antoine Girard , Gregor Gössler

16th international conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩

Communication dans un congrès hal-04482406v1
Deposit thumbnail

A Correlation Preserving Performance Analysis for Stream Processing Systems

Gideon Smeding , Gregor Goessler

MEMOCODE, Jul 2012, Washington DC, United States. ⟨10.1109/MEMCOD.2012.6292295⟩

Communication dans un congrès hal-00745819v1

Synthesis of switching controllers using approximately bisimilar multiscale abstractions

Javier Cámara , Antoine Girard , Gregor Gössler

HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, ⟨10.1145/1967701.1967730⟩

Communication dans un congrès hal-00665219v1

Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models

Javier Cámara , Antoine Girard , Gregor Gössler

CDC-ECC - 50th IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.520-525, ⟨10.1109/CDC.2011.6160424⟩

Communication dans un congrès hal-00665226v1

A Theory of Fault Recovery for Component-Based Models

Borzoo Bonakdarpour , Marius Bozga , Gregor Gössler

SRDS, Oct 2011, Madrid, Spain. pp.265-270

Communication dans un congrès hal-00665222v1

Causality Analysis in Contract Violation

Gregor Goessler , Daniel Le Métayer , Jean-Baptiste Raclet

Runtime Verification, Nov 2010, St Julians, Malta. pp.270-284

Communication dans un congrès inria-00548815v1

Compositional Strategy Mapping

Gregor Gössler

FSEN'09, Apr 2009, Kish, Iran. pp.340-354

Communication dans un congrès hal-00665203v1

Probabilistic Contracts for Component-Based Design

Dana N. Xu , Gregor Goessler , Alain Girault

the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Sep 2010, Singapore, Singapore. pp.325-340, ⟨10.1007/978-3-642-15643-4_24⟩

Communication dans un congrès istex inria-00527169v1
Deposit thumbnail

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Daniel Le Métayer , Manuel Maarek , Eduardo Mazza , Marie-Laure Potet , Stéphane Frénot et al.

ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩

Communication dans un congrès inria-00472287v3

Modal Contracts for Component-based Design

Gregor Gössler , Jean-Baptiste Raclet

SEFM'09, Nov 2009, Hanoi, Vietnam. pp.295-303

Communication dans un congrès hal-00665205v1
Deposit thumbnail

Specification Enforcing Refinement for Convertibility Verification

Partha Roop , Alain Girault , Gregor Goessler , Roopak Sinha

International Conference on Application of Concurrency to System Design, ACSD'09, Jul 2009, Augsburg, Germany. pp.148--157, ⟨10.1109/ACSD.2009.25⟩

Communication dans un congrès hal-00753172v1

Compositional Reachability Analysis of Genetic Networks

Gregor Gössler

CMSB'06, Oct 2006, Trento, Italy. pp.212-226

Communication dans un congrès hal-00665196v1

Priority Systems

Gregor Gössler , Joseph Sifakis

FMCO'03, Nov 2003, Leiden, Netherlands. pp.314-329

Communication dans un congrès hal-00665174v1

Component-Based Construction of Deadlock-Free Systems (Extended Abstract)

Gregor Gössler , Joseph Sifakis

FSTTCS'03, Dec 2003, Mumbai, India

Communication dans un congrès hal-00665173v1

Composition for Component-Based Modeling

Gregor Gössler , Joseph Sifakis

FMCO'02, Nov 2002, Leiden, Netherlands

Communication dans un congrès hal-00665169v1
Deposit thumbnail

SAKURA a Model Based Root Cause Analysis Framework for vIMS

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

MobiSys 2019 - 17th ACM International Conference on Mobile Systems, Applications, and Services, Jun 2019, Seoul, South Korea. ACM Press, pp.594-595

Poster de conférence hal-02291163v1

Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies

Gregor Gössler , Oleg Sokolsky

Gregor Gössler; Oleg Sokolsky. First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, Apr 2016, Eindhoven, Netherlands. 224, , 2016, EPTCS, ⟨10.4204/EPTCS.224⟩

Proceedings/Recueil des communications hal-01378792v1
Deposit thumbnail

Explaining Safety Violations in Real-Time Systems

Thomas Mari , Thao Dang , Gregor Gössler

[Research Report] RR-9420, Inria - Research Centre Grenoble – Rhône-Alpes; Verimag, Université Grenoble Alpes. 2021

Rapport (rapport de recherche) hal-03348046v1
Deposit thumbnail

Causality Analysis and Fault Ascription in Component-Based Systems

Gregor Gössler , Jean-Bernard Stefani

[Research Report] RR-9279, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-28

Rapport (rapport de recherche) hal-02161534v3
Deposit thumbnail

Fault Ascription in Concurrent Systems

Gregor Gössler , Jean-Bernard Stefani

[Research Report] RR-8772, INRIA Grenoble - Rhône-Alpes. 2015

Rapport (rapport de recherche) hal-01197486v1
Deposit thumbnail

A General Trace-Based Framework of Logical Causality

Gregor Gössler , Daniel Le Métayer

[Research Report] RR-8378, INRIA. 2013

Rapport (rapport de recherche) hal-00873665v2
Deposit thumbnail

CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions

Sebti Mouelhi , Antoine Girard , Gregor Gössler

[Research Report] RR-8108, INRIA. 2012

Rapport (rapport de recherche) hal-00743982v1
Deposit thumbnail

Probabilistic Contracts for Component-based Design

Gregor Gössler , Dana N. Xu , Alain Girault

[Research Report] RR-7328, INRIA. 2012

Rapport (rapport de recherche) inria-00507785v2
Deposit thumbnail

Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study

Christophe Alleaune , Valérie-Laure Benabou , Denis Beras , Christophe Bidan , Nicolas Craipeau et al.

[Research Report] RR-7148, INRIA. 2009, pp.23

Rapport (rapport de recherche) inria-00440437v1
Deposit thumbnail

Component-based Modeling and Reachability Analysis of Genetic Networks

Gregor Goessler

[Research Report] RR-6755, INRIA. 2008

Rapport (rapport de recherche) inria-00344856v1
Deposit thumbnail

Component-based Design of Heterogeneous Reactive Systems in Prometheus

Gregor Goessler

[Research Report] RR-6057, INRIA. 2006, pp.18

Rapport (rapport de recherche) inria-00119245v2
Deposit thumbnail

Modeling and Compositional Analysis of Genetic Regulatory Networks

Gregor Gössler

[Research Report] RR-5801, INRIA. 2006

Rapport (rapport de recherche) inria-00071211v1
Deposit thumbnail

Reach Scheduling for Embedded Systems

Gregor Gössler

RR-5651, INRIA. 2005

Rapport inria-00071230v1
Deposit thumbnail

Priority Systems

Gregor Gössler , Joseph Sifakis

[Research Report] RR-5226, INRIA. 2004

Rapport (rapport de recherche) inria-00077205v1