E-LIB Suche - Ergebnisse für: Gössler, Gregor

1

Causal Debugging for Concurrent Systems:

, In: Reversible Computation; Lecture Notes in Computer Science,

Lanese, Ivan ; Gössler, Gregor - p. 3-9 , 2024

Link: https://doi.org/10.1007/..

2

A Semantics of Core Erlang with Handling of Signals:

, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang,

Kong Win Chang, Aurélie ; Feret, Jérôme ; Gössler, Gregor - p. 31-38 , 2023

Link: https://dl.acm.org/doi/1..

3

Explaining Safety Violations in Real-Time Systems:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Mari, Thomas ; Dang, Thao ; Gössler, Gregor - p. 100-116 , 2021

Link: https://doi.org/10.1007/..

4

Causality analysis and fault ascription in component-based ..:

Gössler, Gregor ; Stefani, Jean-Bernard
Theoretical Computer Science. 837 (2020) - p. 158-180 , 2020

Link: https://doi.org/10.1016/..

5

A Survey of Fault Management in Network Virtualization Envi..:

Cherrared, Sihem ; Imadali, Sofiane ; Fabre, Eric..
IEEE Transactions on Network and Service Management. 16 (2019) 4 - p. 1537-1551 , 2019

Link: https://doi.org/10.1109/..

6

Safety synthesis for incrementally stable switched systems ..:

Girard, Antoine ; Gössler, Gregor
Acta Informatica. 57 (2019) 1-2 - p. 245-269 , 2019

Link: https://doi.org/10.1007/..

7

SAKURA a Model Based Root Cause Analysis Framework for vIMS..:

, In: Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services,

Cherrared, Sihem ; Imadali, Sofiane ; Fabre, Eric. - p. 594-595 , 2019

Link: https://dl.acm.org/doi/1..

8

Building Correct Cyber-Physical Systems: Why We Need a Mult..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Graf, Susanne ; Quinton, Sophie ; Girault, Alain. - p. 19-31 , 2018

Link: https://doi.org/10.1007/..

9

A general framework for blaming in component-based systems:

Gössler, Gregor ; Le Métayer, Daniel
Science of Computer Programming. 113 (2015) - p. 223-235 , 2015

Link: https://doi.org/10.1016/..

10

Blaming in component-based real-time systems:

, In: Proceedings of the 14th International Conference on Embedded Software,

Gössler, Gregor ; Aştefănoaei, Lăcrămioara - p. 1-10 , 2014

Link: https://dl.acm.org/doi/1..

11

CoSyMA : a tool for controller synthesis using multi-sca..:

, In: Proceedings of the 16th international conference on Hybrid systems: computation and control,

Mouelhi, Sebti ; Girard, Antoine ; Gössler, Gregor - p. 83-88 , 2013

Link: https://dl.acm.org/doi/1..

12

Probabilistic contracts for component-based design:

Gössler, Gregor ; Xu, Dana N. ; Girault, Alain
Formal Methods in System Design. 41 (2012) 2 - p. 211-231 , 2012

Link: https://doi.org/10.1007/..

13

Synthesis of switching controllers using approximately bisi..:

, In: Proceedings of the 14th international conference on Hybrid systems: computation and control,

Cámara, Javier ; Girard, Antoine ; Gössler, Gregor - p. 191-200 , 2011

Link: https://dl.acm.org/doi/1..

14

Composition for component-based modeling:

Gössler, Gregor ; Sifakis, Joseph
Science of Computer Programming. 55 (2005) 1-3 - p. 161-183 , 2005

Link: https://doi.org/10.1016/..

15

Identifiability of total effects from abstractions of time ..:

Assaad, Charles, K ; Devijver, Emilie ; Gaussier, Eric..
info:eu-repo/semantics/altIdentifier/arxiv/2310.14691. , 2023

Link: https://hal.science/hal-..