The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gregor Gößler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gregor Gößler
    Compositional Reachability Analysis of Genetic Networks. [Citation Graph (0, 0)][DBLP]
    CMSB, 2006, pp:212-226 [Conf]
  2. Gregor Gößler, Alberto L. Sangiovanni-Vincentelli
    Compositional Modeling in Metropolis. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:93-107 [Conf]
  3. Gregor Gößler, Joseph Sifakis
    Composition for Component-Based Modeling. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:443-466 [Conf]
  4. Gregor Gößler, Joseph Sifakis
    Priority Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:314-329 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]

  14. Probabilistic Contracts for Component-Based Design. [Citation Graph (, )][DBLP]


  15. Compositional Strategy Mapping. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002