ask others

Gregor Gößler

Gregor Goessler

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c30]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1710-03393
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03393
Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani:
Counterfactual Causality from First Principles? CREST@ETAPS 2017: 47-53
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1710-09209
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1710-09209
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tac/GirardGM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tac/GirardGM16
Antoine Girard, Gregor Gößler, Sebti Mouelhi:
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Trans. Automat. Contr. 61(6): 1537-1549 (2016)
[e1]
- view
- export record
  dblp key:
  - journals/corr/GosslerS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/GosslerS16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/GosslerM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/GosslerM15
Gregor Gößler, Daniel Le Métayer:
A general framework for blaming in component-based systems. Sci. Comput. Program. 113: 223-235 (2015)
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/WangGGSL15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/WangGGSL15
Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Hybrid Approach to Causality Analysis. RV 2015: 250-265
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/GosslerS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/GosslerS15
Gregor Gößler, Jean-Bernard Stefani:
Fault Ascription in Concurrent Systems. TGC 2015: 79-94
2014
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
- export record
  dblp key:
  - books/hal/Gossler14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/hal/Gossler14
Gregor Gößler:
Formal Techniques for Component-based Design of Embedded Systems. 2014
[j7]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/todaes/SinhaGGR14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/todaes/SinhaGGR14
Roopak Sinha, Alain Girault, Gregor Goessler, Partha S. Roop:
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tsi/GosslerMMPA14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tsi/GosslerMMPA14
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. Technique et Science Informatiques 33(1-2): 63-84 (2014)
[c27]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/emsoft/GoesslerA14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/GoesslerA14
Gregor Goessler, Lacramioara Astefanoaei:
Blaming in component-based real-time systems. EMSOFT 2014: 7:1-7:10
2013
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cdc/CorroncGG13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cdc/CorroncGG13
Euriell Le Corronc, Antoine Girard, Gregor Goessler:
Mode sequences as symbolic states in abstractions of incrementally stable switched systems. CDC 2013: 3225-3230
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/GosslerM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/GosslerM13
Gregor Gößler, Daniel Le Métayer:
A General Trace-Based Framework of Logical Causality. FACS 2013: 157-173
[c24]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/hybrid/MouelhiGG13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/MouelhiGG13
Sebti Mouelhi, Antoine Girard, Gregor Gößler:
CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC 2013: 83-88
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/WangAKGSL13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/WangAKGSL13
Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Causality Analysis Framework for Component-Based Real-Time Systems. RV 2013: 285-303
2012
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/GosslerXG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/GosslerXG12
Gregor Gößler, Dana N. Xu, Alain Girault:
Probabilistic contracts for component-based design. Formal Methods in System Design 41(2): 211-231 (2012)
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/memocode/SmedingG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/SmedingG12
Gideon Smeding, Gregor Gößler:
A correlation preserving performance analysis for stream processing systems. MEMOCODE 2012: 11-20
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sss/BonakdarpourBG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sss/BonakdarpourBG12
Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. SSS 2012: 314-328
2011
[j4]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tcbb/Goessler11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcbb/Goessler11
Gregor Goessler:
Component-Based Modeling and Reachability Analysis of Genetic Networks. IEEE/ACM Trans. Comput. Biology Bioinform. 8(3): 672-682 (2011)
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cdc/CamaraGG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cdc/CamaraGG11
Javier Cámara, Antoine Girard, Gregor Gößler:
Safety controller synthesis for switched systems using multi-scale symbolic models. CDC-ECE 2011: 520-525
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/GosslerS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/GosslerS11
Gregor Gößler, Gwen Salaün:
Realizability of Choreographies for Services Interacting Asynchronously. FACS 2011: 151-167
[c18]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/hybrid/CamaraGG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/CamaraGG11
Javier Cámara, Antoine Girard, Gregor Gößler:
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011: 191-200
[c17]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/srds/BonakdarpourBG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/srds/BonakdarpourBG11
Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. SRDS 2011: 265-270
2010
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/bioinformatics/BattPCGMJ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/bioinformatics/BattPCGMJ10
Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong:
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26(18) (2010)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/XuGG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/XuGG10
Dana N. Xu, Gregor Gößler, Alain Girault:
Probabilistic Contracts for Component-Based Design. ATVA 2010: 325-340
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/GosslerMR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/GosslerMR10
Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet:
Causality Analysis in Contract Violation. RV 2010: 270-284

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/acsd/RoopGSG09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acsd/RoopGSG09
Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler:
Specification Enforcing Refinement for Convertibility Verification. ACSD 2009: 148-157
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsen/Gossler09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsen/Gossler09
Gregor Gößler:
Compositional Strategy Mapping. FSEN 2009: 340-354
[c12]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sefm/GoesslerR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/GoesslerR09
Gregor Goessler, Jean-Baptiste Raclet:
Modal Contracts for Component-Based Design. SEFM 2009: 295-303
2007
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/GosslerGMMS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/GosslerGMMS07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/TivoliFGG07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/TivoliFGG07
Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler:
Adaptor Synthesis for Real-Time Components. TACAS 2007: 185-200
2006
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/GosslerGMMS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/GosslerGMMS06
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmsb/Gossler06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmsb/Gossler06
Gregor Gößler:
Compositional Reachability Analysis of Genetic Networks. CMSB 2006: 212-226
2005
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/GosslerS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/GosslerS05
Gregor Gößler, Joseph Sifakis:
Composition for component-based modeling. Sci. Comput. Program. 55(1-3): 161-183 (2005)
2003
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/GosslerS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmco/GosslerS03
Gregor Gößler, Joseph Sifakis:
Priority Systems. FMCO 2003: 314-329
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/GosslerS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/GosslerS03
Gregor Gößler, Joseph Sifakis:
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. FSTTCS 2003: 420-433
2002
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/rts/AltisenGS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/rts/AltisenGS02
Karine Altisen, Gregor Gößler, Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm. Real-Time Systems 23(1-2): 55-84 (2002)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/emsoft/GosslerS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/GosslerS02
Gregor Gößler, Alberto L. Sangiovanni-Vincentelli:
Compositional Modeling in Metropolis. EMSOFT 2002: 93-107
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/GosslerS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmco/GosslerS02
Gregor Gößler, Joseph Sifakis:
Composition for Component-Based Modeling. FMCO 2002: 443-466
2000
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ftrtft/AltisenGS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftrtft/AltisenGS00
Karine Altisen, Gregor Gößler, Joseph Sifakis:
A Methodology for the Construction of Scheduled Systems. FTRTFT 2000: 106-120
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/BornotGS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/BornotGS00
Sébastien Bornot, Gregor Gößler, Joseph Sifakis:
On the Construction of Live Timed Systems. TACAS 2000: 109-126

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/rtss/AltisenGPSTY99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtss/AltisenGPSTY99
Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
A Framework for Scheduler Synthesis. RTSS 1999: 154-163

Coauthor Index

see FAQ

maintained by

at