dblp.uni-trier.dewww.uni-trier.de

Gregor Gößler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Karine Altisen [1] [3] [4]
2Sébastien Bornot [2]
3Pascal Fradet [12]
4Alain Girault [12]
5Susanne Graf [10] [13]
6Mila E. Majster-Cederbaum [10] [13]
7Moritz Martens [10] [13]
8Amir Pnueli [1]
9Alberto L. Sangiovanni-Vincentelli [6]
10Joseph Sifakis [1] [2] [3] [4] [5] [7] [8] [9] [10] [13]
11Massimo Tivoli [12]
12Stavros Tripakis [1]
13Sergio Yovine [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)