Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gregor Gößler
Gregor Goessler
2010 – today
- 2013
[c23]Sebti Mouelhi, Antoine Girard, Gregor Gößler: CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC 2013: 83-88- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-04 21:44 CEST by the dblp team