Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarGregor Gößler
Gregor Goessler
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2016
[j9]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]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]
- 2014
- [j7]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]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]Gregor Goessler, Lacramioara Astefanoaei:
Blaming in component-based real-time systems. EMSOFT 2014: 7:1-7:10 - 2013
- [c26]Euriell Le Corronc, Antoine Girard, Gregor Goessler:
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, Antoine Girard, Gregor Gößler:
CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC 2013: 83-88 - [c23]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]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]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. Biology Bioinform. 8(3): 672-682 (2011) - [c20]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]Gregor Gößler, Gwen Salaün:
Realizability of Choreographies for Services Interacting Asynchronously. FACS 2011: 151-167 - [c18]Javier Cámara, Antoine Girard, Gregor Gößler:
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, 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]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, Gregor Goessler:
Specification Enforcing Refinement for Convertibility Verification. ACSD 2009: 148-157 - [c13]
- [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, Pascal Fradet, Alain Girault, Gregor Gößler:
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]
- 2005
- [j2]Gregor Gößler, Joseph Sifakis:
Composition for component-based modeling. Sci. Comput. Program. 55(1-3): 161-183 (2005) - 2003
- [c7]
- [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 Systems 23(1-2): 55-84 (2002) - [c5]Gregor Gößler, Alberto L. Sangiovanni-Vincentelli:
Compositional Modeling in Metropolis. EMSOFT 2002: 93-107 - [c4]
- 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
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-08-16 22:35 CEST by the dblp team