default search action
Gregor Gößler
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c37]Ivan Lanese, Gregor Gössler:
Causal Debugging for Concurrent Systems. RC 2024: 3-9 - 2023
- [c36]Aurélie Kong Win Chang
, Jérôme Feret, Gregor Gössler:
A Semantics of Core Erlang with Handling of Signals. Erlang Workshop 2023: 31-38 - [i3]Charles K. Assaad, Emilie Devijver, Éric Gaussier, Gregor Gössler, Anouar Meynaoui:
Identifiability of total effects from abstractions of time series causal graphs. CoRR abs/2310.14691 (2023) - 2021
- [j13]Sihem Cherrared
SFC Self-Modeling and Active Diagnosis. IEEE Trans. Netw. Serv. Manag. 18(3): 2515-2530 (2021) - [c35]Thomas Mari, Thao Dang, Gregor Gössler:
Explaining Safety Violations in Real-Time Systems. FORMATS 2021: 100-116 - 2020
- [j12]Antoine Girard
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Acta Informatica 57(1-2): 245-269 (2020) - [j11]Gregor Gössler, Jean-Bernard Stefani:
Causality analysis and fault ascription in component-based systems. Theor. Comput. Sci. 837: 158-180 (2020)
2010 – 2019
- 2019
- [j10]Sihem Cherrared
A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions. IEEE Trans. Netw. Serv. Manag. 16(4): 1537-1551 (2019) - [c34]Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gößler:
SAKURA a Model Based Root Cause Analysis Framework for vIMS. MobiSys 2019: 594-595 - [i2]Gregor Gössler, Stefan Leue, Shin Nakajima:
Causal Reasoning in Systems (NII Shonan Meeting 139). NII Shonan Meet. Rep. 2019 (2019) - 2018
- [c33]Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler:
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS 2018: 19-31 - [c32]Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi:
Monotonic Prefix Consistency in Distributed Systems. FORTE 2018: 41-57 - [c31]Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Goessler:
LUMEN: A global fault management framework for network virtualization environments. ICIN 2018: 1-8 - 2017
- [c30]Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani:
Counterfactual Causality from First Principles? CREST@ETAPS 2017: 47-53 - [i1]Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi:
Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems. CoRR abs/1710.09209 (2017) - 2016
- [j9]Antoine Girard
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Trans. Autom. Control. 61(6): 1537-1549 (2016) - [e1]Gregor Gößler, Oleg Sokolsky:
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 224, 2016 [contents] - 2015
- [j8]Gregor Gößler, Daniel Le Métayer:
A general framework for blaming in component-based systems. Sci. Comput. Program. 113: 223-235 (2015) - [c29]Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Hybrid Approach to Causality Analysis. RV 2015: 250-265 - [c28]Gregor Gößler, Jean-Bernard Stefani:
Fault Ascription in Concurrent Systems. TGC 2015: 79-94 - 2014
- [b1]Gregor Gößler:
Formal Techniques for Component-based Design of Embedded Systems. Grenoble University, France, 2014 - [j7]Roopak Sinha
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. ACM Trans. Design Autom. Electr. Syst. 20(1): 13:1-13:30 (2014) - [j6]Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei:
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Tech. Sci. Informatiques 33(1-2): 63-84 (2014) - [c27]Gregor Goessler, Lacramioara Astefanoaei:
Blaming in component-based real-time systems. EMSOFT 2014: 7:1-7:10 - 2013
- [c26]Euriell Le Corronc
Mode sequences as symbolic states in abstractions of incrementally stable switched systems. CDC 2013: 3225-3230 - [c25]Gregor Gößler, Daniel Le Métayer:
A General Trace-Based Framework of Logical Causality. FACS 2013: 157-173 - [c24]Sebti Mouelhi
CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC 2013: 83-88 - [c23]Shaohui Wang, Anaheed Ayoub, BaekGyu Kim
A Causality Analysis Framework for Component-Based Real-Time Systems. RV 2013: 285-303 - 2012
- [j5]Gregor Gößler, Dana N. Xu, Alain Girault:
Probabilistic contracts for component-based design. Formal Methods Syst. Des. 41(2): 211-231 (2012) - [c22]Gideon Smeding, Gregor Gößler:
A correlation preserving performance analysis for stream processing systems. MEMOCODE 2012: 11-20 - [c21]Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. SSS 2012: 314-328 - 2011
- [j4]Gregor Goessler:
Component-Based Modeling and Reachability Analysis of Genetic Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 8(3): 672-682 (2011) - [c20]Javier Cámara, Antoine Girard
Safety controller synthesis for switched systems using multi-scale symbolic models. CDC/ECC 2011: 520-525 - [c19]Gregor Gößler, Gwen Salaün:
Realizability of Choreographies for Services Interacting Asynchronously. FACS 2011: 151-167 - [c18]Javier Cámara, Antoine Girard
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011: 191-200 - [c17]Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. SRDS 2011: 265-270 - 2010
- [j3]Grégory Batt, Michel Page, Irene Cantone
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinform. 26(18) (2010) - [c16]Dana N. Xu, Gregor Gößler, Alain Girault:
Probabilistic Contracts for Component-Based Design. ATVA 2010: 325-340 - [c15]Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet:
Causality Analysis in Contract Violation. RV 2010: 270-284
2000 – 2009
- 2009
- [c14]Partha S. Roop, Alain Girault, Roopak Sinha
Specification Enforcing Refinement for Convertibility Verification. ACSD 2009: 148-157 - [c13]Gregor Gößler:
Compositional Strategy Mapping. FSEN 2009: 340-354 - [c12]Gregor Goessler, Jean-Baptiste Raclet:
Modal Contracts for Component-Based Design. SEFM 2009: 295-303 - 2007
- [c11]Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis:
An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) 2007: 295-308 - [c10]Massimo Tivoli
Adaptor Synthesis for Real-Time Components. TACAS 2007: 185-200 - 2006
- [c9]Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis:
Ensuring Properties of Interaction Systems. Program Analysis and Compilation 2006: 201-224 - [c8]Gregor Gößler:
Compositional Reachability Analysis of Genetic Networks. CMSB 2006: 212-226 - 2005
- [j2]Gregor Gößler, Joseph Sifakis:
Composition for component-based modeling. Sci. Comput. Program. 55(1-3): 161-183 (2005) - 2003
- [c7]Gregor Gößler, Joseph Sifakis:
Priority Systems. FMCO 2003: 314-329 - [c6]Gregor Gößler, Joseph Sifakis:
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. FSTTCS 2003: 420-433 - 2002
- [j1]Karine Altisen, Gregor Gößler, Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm. Real Time Syst. 23(1-2): 55-84 (2002) - [c5]Gregor Gößler, Alberto L. Sangiovanni-Vincentelli:
Compositional Modeling in Metropolis. EMSOFT 2002: 93-107 - [c4]Gregor Gößler, Joseph Sifakis:
Composition for Component-Based Modeling. FMCO 2002: 443-466 - 2000
- [c3]Karine Altisen, Gregor Gößler, Joseph Sifakis:
A Methodology for the Construction of Scheduled Systems. FTRTFT 2000: 106-120 - [c2]Sébastien Bornot, Gregor Gößler, Joseph Sifakis:
On the Construction of Live Timed Systems. TACAS 2000: 109-126
1990 – 1999
- 1999
- [c1]Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
A Framework for Scheduler Synthesis. RTSS 1999: 154-163
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: