Gregor Gössler

Publications

Article dans une revue (10)

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

Communication dans un congrès (31)

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
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
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
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
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
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
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
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
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
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
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 Sokolskyet al. RV - 4th International Conference on Runtime Verification - 2013, 2013, Rennes, France. pp.285-303 Communication dans un congrès hal-00919081v1
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
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
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énotet 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
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
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
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
Composition for Component-Based Modeling Gregor Gössler,Joseph Sifakis FMCO'02, Nov 2002, Leiden, Netherlands Communication dans un congrès hal-00665169v1
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

Poster de conférence (1)

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/Recueil des communications (1)

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

N°spécial de revue/special issue (1)

Special issue on causal modeling and inference in SE Julien Siebert,Adam Trendowicz,Gregor Gössler,Hironori Washizaki,Michael Kläset al. Information and Software Technology, 183, pp.107754, 2025, ⟨10.1016/j.infsof.2025.107754⟩ N°spécial de revue/special issue hal-05353350v1

Rapport (12)

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
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
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
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
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
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
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 Craipeauet al. [Research Report] RR-7148, INRIA. 2009, pp.23 Rapport (rapport de recherche) inria-00440437v1
Component-based Modeling and Reachability Analysis of Genetic Networks Gregor Goessler [Research Report] RR-6755, INRIA. 2008 Rapport (rapport de recherche) inria-00344856v1
Modeling and Compositional Analysis of Genetic Regulatory Networks Gregor Gössler [Research Report] RR-5801, INRIA. 2006 Rapport (rapport de recherche) inria-00071211v1
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
Reach Scheduling for Embedded Systems Gregor Gössler RR-5651, INRIA. 2005 Rapport inria-00071230v1
Priority Systems Gregor Gössler,Joseph Sifakis [Research Report] RR-5226, INRIA. 2004 Rapport (rapport de recherche) inria-00077205v1

HDR (1)

Formal Techniques for Component-based Design of Embedded Systems Gregor Gössler Embedded Systems. Grenoble University, 2014 HDR tel-01267041v1