|
Search the dblp DataBase
Gregor Gößler:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gregor Gößler
Compositional Reachability Analysis of Genetic Networks. [Citation Graph (0, 0)][DBLP] CMSB, 2006, pp:212-226 [Conf]
- Gregor Gößler, Alberto L. Sangiovanni-Vincentelli
Compositional Modeling in Metropolis. [Citation Graph (0, 0)][DBLP] EMSOFT, 2002, pp:93-107 [Conf]
- Gregor Gößler, Joseph Sifakis
Composition for Component-Based Modeling. [Citation Graph (0, 0)][DBLP] FMCO, 2002, pp:443-466 [Conf]
- Gregor Gößler, Joseph Sifakis
Priority Systems. [Citation Graph (0, 0)][DBLP] FMCO, 2003, pp:314-329 [Conf]
- Gregor Gößler, Joseph Sifakis
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. [Citation Graph (0, 0)][DBLP] FSTTCS, 2003, pp:420-433 [Conf]
- Karine Altisen, Gregor Gößler, Joseph Sifakis
A Methodology for the Construction of Scheduled Systems. [Citation Graph (0, 0)][DBLP] FTRTFT, 2000, pp:106-120 [Conf]
- Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
A Framework for Scheduler Synthesis. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1999, pp:154-163 [Conf]
- Sébastien Bornot, Gregor Gößler, Joseph Sifakis
On the Construction of Live Timed Systems. [Citation Graph (0, 0)][DBLP] TACAS, 2000, pp:109-126 [Conf]
- Karine Altisen, Gregor Gößler, Joseph Sifakis
Scheduler Modeling Based on the Controller Synthesis Paradigm. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 2002, v:23, n:1-2, pp:55-84 [Journal]
- Gregor Gößler, Joseph Sifakis
Composition for component-based modeling. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:55, n:1-3, pp:161-183 [Journal]
- Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
Ensuring Properties of Interaction Systems. [Citation Graph (0, 0)][DBLP] Program Analysis and Compilation, 2006, pp:201-224 [Conf]
- Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
An Approach to Modelling and Verification of Component Based Systems. [Citation Graph (0, 0)][DBLP] SOFSEM (1), 2007, pp:295-308 [Conf]
- Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
Adaptor Synthesis for Real-Time Components. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:185-200 [Conf]
Probabilistic Contracts for Component-Based Design. [Citation Graph (, )][DBLP]
Compositional Strategy Mapping. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|