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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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 |
|
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⟩ |
|
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 |
|
|
|
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⟩ |
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⟩ |
|
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 |
|
Composition for Component-Based ModelingFMCO'02, Nov 2002, Leiden, Netherlands |
|
Component-Based Construction of Deadlock-Free Systems (Extended Abstract)FSTTCS'03, Dec 2003, Mumbai, India |
|
|
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 of the 7th Workshop on Models for Formal Analysis of Real Systems7th Workshop on Models for Formal Analysis of Real Systems, Apr 2026, Torino, Italy. Electronic Proceedings in Theoretical Computer Science, 443, 2026, ⟨10.4204/EPTCS.443⟩ |
|
|
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 |
|
|
Modeling and Compositional Analysis of Genetic Regulatory Networks[Research Report] RR-5801, INRIA. 2006 |
|
|
Component-based Design of Heterogeneous Reactive Systems in Prometheus[Research Report] RR-6057, INRIA. 2006, pp.18 |
|
|
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 |