2007 |
13 | EE | 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 |
12 | EE | Massimo Tivoli,
Pascal Fradet,
Alain Girault,
Gregor Gößler:
Adaptor Synthesis for Real-Time Components.
TACAS 2007: 185-200 |
2006 |
11 | EE | Gregor Gößler:
Compositional Reachability Analysis of Genetic Networks.
CMSB 2006: 212-226 |
10 | EE | 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 |
2005 |
9 | EE | Gregor Gößler,
Joseph Sifakis:
Composition for component-based modeling.
Sci. Comput. Program. 55(1-3): 161-183 (2005) |
2003 |
8 | EE | Gregor Gößler,
Joseph Sifakis:
Priority Systems.
FMCO 2003: 314-329 |
7 | EE | Gregor Gößler,
Joseph Sifakis:
Component-Based Construction of Deadlock-Free Systems: Extended Abstract.
FSTTCS 2003: 420-433 |
2002 |
6 | EE | Gregor Gößler,
Alberto L. Sangiovanni-Vincentelli:
Compositional Modeling in Metropolis.
EMSOFT 2002: 93-107 |
5 | EE | Gregor Gößler,
Joseph Sifakis:
Composition for Component-Based Modeling.
FMCO 2002: 443-466 |
4 | | Karine Altisen,
Gregor Gößler,
Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm.
Real-Time Systems 23(1-2): 55-84 (2002) |
2000 |
3 | EE | Karine Altisen,
Gregor Gößler,
Joseph Sifakis:
A Methodology for the Construction of Scheduled Systems.
FTRTFT 2000: 106-120 |
2 | EE | Sébastien Bornot,
Gregor Gößler,
Joseph Sifakis:
On the Construction of Live Timed Systems.
TACAS 2000: 109-126 |
1999 |
1 | EE | Karine Altisen,
Gregor Gößler,
Amir Pnueli,
Joseph Sifakis,
Stavros Tripakis,
Sergio Yovine:
A Framework for Scheduler Synthesis.
IEEE Real-Time Systems Symposium 1999: 154-163 |