Gregor Gössler
- Sound Programming of Adaptive Dependable Embedded Systems (SPADES)
Publications
Publications
|
|
CESAn: A Core Erlang Semantics AnalyserDisCoTec 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⟩ |
|
|
Identifiability of total effects from abstractions of time series causal graphs40th Conference on Uncertainty in Artificial Intelligence, Association for Uncertainty in Artificial Intelligence (AUAI), Jul 2024, Barcelone, Spain |
|
|
Causal Debugging for Concurrent SystemsRC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.3-9, ⟨10.1007/978-3-031-62076-8_1⟩ |
|
|
A Semantics of Core Erlang with Handling of SignalsErlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023, Seattle WA, United States. pp.31-38, ⟨10.1145/3609022.3609417⟩ |
|
|
Explaining Safety Violations in Real-Time SystemsFORMATS 2021 - Formal Modeling and Analysis of Timed Systems, Aug 2021, Paris, France. pp.100-116, ⟨10.1007/978-3-030-85037-1_7⟩ |
|
|
Towards Causal Explanations of Property Violations in Discrete Event Systems30th International Workshop on Principles of Diagnosis (DX'19), Nov 2019, Klagenfurt, Austria. pp.1-8 |
|
|
LUMEN: A Global Fault Management Framework For Network Virtualization EnvironmentsICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2018, Paris, France. pp.1-8, ⟨10.1109/ICIN.2018.8401622⟩ |
|
|
Building Correct Cyber-Physical Systems: Why we need a Multiview Contract TheoryFMICS 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⟩ |
|
|
Monotonic Prefix Consistency in Distributed SystemsFORTE 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⟩ |
|
|
Counterfactual Causality from First Principles?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⟩ |
|
|
Fault Ascription in Concurrent SystemsTrustworthy Global Computing, 2015, Madrid, Spain. pp.16, ⟨10.1007/978-3-319-28766-96⟩ |
|
|
A Hybrid Approach to Causality AnalysisRV 2015 - 6th International Conference on Runtime Verification, Sep 2015, Vienna, Austria. ⟨10.1007/978-3-319-23820-3_16⟩ |
|
|
Blaming in component-based real-time systemsProceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Oct 2014, Delhi, India. ⟨10.1145/2656045.2656048⟩ |
Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched SystemsCDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩ |
|
|
|
A General Trace-Based Framework of Logical CausalityFACS - 10th International Symposium on Formal Aspects of Component Software - 2013, 2013, Nanchang, China |
A Causality Analysis Framework for Component-based Real-time SystemsRV - 4th International Conference on Runtime Verification - 2013, 2013, Rennes, France. pp.285-303 |
|
|
|
CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions16th international conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩ |
|
|
A Correlation Preserving Performance Analysis for Stream Processing SystemsMEMOCODE, Jul 2012, Washington DC, United States. ⟨10.1109/MEMCOD.2012.6292295⟩ |
Synthesis of switching controllers using approximately bisimilar multiscale abstractionsHSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, ⟨10.1145/1967701.1967730⟩ |
|
Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic ModelsCDC-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⟩ |
|
A Theory of Fault Recovery for Component-Based ModelsSRDS, Oct 2011, Madrid, Spain. pp.265-270 |
|
Causality Analysis in Contract ViolationRuntime Verification, Nov 2010, St Julians, Malta. pp.270-284 |
|
Compositional Strategy MappingFSEN'09, Apr 2009, Kish, Iran. pp.340-354 |
|
Probabilistic Contracts for Component-Based Designthe 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⟩ |
|
|
|
Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case StudyACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ |
Modal Contracts for Component-based DesignSEFM'09, Nov 2009, Hanoi, Vietnam. pp.295-303 |
|
|
|
Specification Enforcing Refinement for Convertibility VerificationInternational Conference on Application of Concurrency to System Design, ACSD'09, Jul 2009, Augsburg, Germany. pp.148--157, ⟨10.1109/ACSD.2009.25⟩ |
Compositional Reachability Analysis of Genetic NetworksCMSB'06, Oct 2006, Trento, Italy. pp.212-226 |
|
Priority SystemsFMCO'03, Nov 2003, Leiden, Netherlands. pp.314-329 |
|
Component-Based Construction of Deadlock-Free Systems (Extended Abstract)FSTTCS'03, Dec 2003, Mumbai, India |
|
Composition for Component-Based ModelingFMCO'02, Nov 2002, Leiden, Netherlands |
|
|
SAKURA a Model Based Root Cause Analysis Framework for vIMSMobiSys 2019 - 17th ACM International Conference on Mobile Systems, Applications, and Services, Jun 2019, Seoul, South Korea. ACM Press, pp.594-595 |
|
|
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems TechnologiesGregor 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⟩ |
|
|
Special issue on causal modeling and inference in SEInformation and Software Technology, 183, pp.107754, 2025, ⟨10.1016/j.infsof.2025.107754⟩ |
|
|
Explaining Safety Violations in Real-Time Systems[Research Report] RR-9420, Inria - Research Centre Grenoble – Rhône-Alpes; Verimag, Université Grenoble Alpes. 2021 |
|
|
Causality Analysis and Fault Ascription in Component-Based Systems[Research Report] RR-9279, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-28 |
|
|
Fault Ascription in Concurrent Systems[Research Report] RR-8772, INRIA Grenoble - Rhône-Alpes. 2015 |
|
|
A General Trace-Based Framework of Logical Causality[Research Report] RR-8378, INRIA. 2013 |
|
|
CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions[Research Report] RR-8108, INRIA. 2012 |
|
|
Probabilistic Contracts for Component-based Design[Research Report] RR-7328, INRIA. 2012 |
|
|
Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study[Research Report] RR-7148, INRIA. 2009, pp.23 |
|
|
Component-based Modeling and Reachability Analysis of Genetic Networks[Research Report] RR-6755, INRIA. 2008 |
|
|
Component-based Design of Heterogeneous Reactive Systems in Prometheus[Research Report] RR-6057, INRIA. 2006, pp.18 |
|
|
Modeling and Compositional Analysis of Genetic Regulatory Networks[Research Report] RR-5801, INRIA. 2006 |
|
|
Reach Scheduling for Embedded SystemsRR-5651, INRIA. 2005 |
|
|
Priority Systems[Research Report] RR-5226, INRIA. 2004 |
|
|
Formal Techniques for Component-based Design of Embedded SystemsEmbedded Systems. Grenoble University, 2014 |