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