Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

53 résultats
Page :
triés par

Compositional Strategy Mapping

 Gregor Gössler
FSEN'09, Apr 2009, Kish, Iran. pp.340-354
Communication dans un congrès hal-00665203v1
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
Communication dans un congrès hal-00924048v1
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⟩
Communication dans un congrès hal-01824817v1
Image document

Formal Techniques for Component-based Design of Embedded Systems

 Gregor Gössler
Embedded Systems. Grenoble University, 2014
HDR tel-01267041v1

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

 Sebti Mouelhi , Antoine Girard , Gregor Goessler
HSCC'13 - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩
Communication dans un congrès hal-00839613v1
Image document

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
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 de conférence hal-02291163v1

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

Component-based Design of Heterogeneous Reactive Systems in Prometheus

 Gregor Goessler
[Research Report] RR-6057, INRIA. 2006, pp.18
Rapport inria-00119245v2

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
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⟩
Communication dans un congrès hal-01851610v1

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
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⟩
Communication dans un congrès hal-01078214v1

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

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

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 inria-00440437v1

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

Fault Ascription in Concurrent Systems

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

Priority Systems

 Gregor Gössler , Joseph Sifakis
[Research Report] RR-5226, INRIA. 2004
Rapport inria-00077205v1
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
Rapport hal-03348046v1
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⟩
Article dans une revue hal-02370378v1
Image document

Probabilistic Contracts for Component-based Design

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

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
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⟩
Article dans une revue hal-02927216v1
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
Communication dans un congrès hal-02369014v1
Image document

Modeling and Compositional Analysis of Genetic Regulatory Networks

 Gregor Gössler
[Research Report] RR-5801, INRIA. 2006
Rapport inria-00071211v1

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

Reach Scheduling for Embedded Systems

 Gregor Gössler
RR-5651, INRIA. 2005
Rapport inria-00071230v1
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⟩
Article dans une revue hal-02286661v1

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 inria-00527169v1
Page :