Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

43 Results

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⟩
Journal articles hal-03352706v1
Image document

Explaining Safety Violations in Real-Time Systems

Thomas Mari , Thao Dang , Gregor Gössler
[Research Report] RR-9420, INRIA; Verimag, Université Grenoble Alpes. 2021
Reports hal-03348046v1

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⟩
Conference papers hal-03348010v1
Image document

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⟩
Journal articles hal-02927216v1
Image document

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⟩
Journal articles hal-02286661v1
Image document

Towards Causal Explanations of Property Violations in Discrete Event Systems

Gregor Gössler , Thomas Mari , Yannick Pencolé , Louise Travé-Massuyès
DX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8
Conference papers hal-02369014v1
Image document

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, pp.1-15. ⟨10.1109/TNSM.2019.2948420⟩
Journal articles hal-02370378v1
Image document

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 communications hal-02291163v1
Image document

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
Reports hal-02161534v3
Image document

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⟩
Conference papers hal-01891146v1
Image document

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⟩
Conference papers hal-01824817v1
Image document

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⟩
Conference papers hal-01851610v1

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⟩
Conference papers hal-01631415v1

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 hal-01378792v1
Image document

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⟩
Journal articles hal-01197426v2
Image document

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⟩
Journal articles hal-01211484v1

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⟩
Conference papers hal-01211607v1
Image document

Fault Ascription in Concurrent Systems

Gregor Gössler , Jean-Bernard Stefani
[Research Report] RR-8772, INRIA Grenoble - Rhône-Alpes. 2015
Reports hal-01197486v1
Image document

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⟩
Conference papers hal-01246485v1
Image document

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⟩
Conference papers hal-01078214v1
Image document

Formal Techniques for Component-based Design of Embedded Systems

Gregor Gössler
Embedded Systems. Grenoble University, 2014
Habilitation à diriger des recherches tel-01267041v1

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⟩
Journal articles 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⟩
Journal articles hal-01078220v1

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⟩
Conference papers hal-00924815v1
Image document

A General Trace-Based Framework of Logical Causality

Gregor Gössler , Daniel Le Métayer
[Research Report] RR-8378, INRIA. 2013
Reports hal-00873665v2
Image document

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
Conference papers 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
Conference papers hal-00919081v1
Image document

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

Sebti Mouelhi , Antoine Girard , Gregor Gössler
[Research Report] RR-8108, INRIA. 2012
Reports hal-00743982v1
Image document

Probabilistic Contracts for Component-based Design

Gregor Gössler , Dana N. Xu , Alain Girault
[Research Report] RR-7328, INRIA. 2012
Reports inria-00507785v2

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⟩
Conference papers hal-00665226v1