Gregor GOESSLER

Research fellow / Chargé de recherche

Research Activity:

Formal method for embedded real-time systems: component-based construction, compositionality, heterogeneous systems.

Recent Publications

• G. Gössler. Component-based Modeling and Reachability Analysis of Genetic Networks. Accepted for publication in ACM/IEEE Trans. on Computational Biology and Bioinformatics (TCBB).


• G. Gössler and J.-B. Raclet. Modal Contracts for Component-based Design. In proc. SEFM'09, pp. 295-303, IEEE, 2009.


• P. Roop, A. Girault, R. Sinha, and G. Gössler. Specification Enforcing Refinement for Convertibility Verification. In proc. ACSD'09, pp. 148-157, IEEE, 2009.


• G. Gössler. Compositional Strategy Mapping. In proc. FSEN'09, LNCS 5961, Springer (in print).


• M. Tivoli, P. Fradet, A. Girault, and G. Gössler. Adaptor Synthesis for Real-Time Components. In proc. TACAS'07, LNCS 4424, Springer, 2007.


• G. Gössler, S. Graf, M. Majster-Cederbaum, M. Martens and J. Sifakis. Ensuring Properties of Interaction Systems by Construction. In Program Analysis and Compilation, Theory and Practice. LNCS 4444, Springer, 2007.


• G. Gössler, S. Graf, M. Majster-Cederbaum, M. Martens and J. Sifakis. An Approach to Modelling and Verification of Component Based Systems. In proc. SOFSEM'07, LNCS 4362, Springer, 2007.


• G. Gössler. Compositional Reachability Analysis of Genetic Networks. In proc. CMSB'06, LNBI 4210, pages 212-226. Springer-Verlag, 2006. [pdf]


• G. Gössler. Componend-based Design of Heterogeneous Reactive Systems in Prometheus. INRIA Research Report 6057, 2006.


• G. Gössler and J. Sifakis. Composition for Component-Based Modeling. Science of Computer Programming 55(1-3), Elsevier Science, 2005. This is an extended version of the FMCO'02 paper.


• G. Gössler and J. Sifakis. Priority Systems. In FMCO'03 proceedings, LNCS 3188, Springer-Verlag, 2004.
  [gzipped Postscript] [pdf]


• G. Gössler and J. Sifakis. Component-Based Construction of Deadlock-Free Systems (Extended Abstract). In FSTTCS'03 proceedings, LNCS 2914, Springer-Verlag, 2003.
  [gzipped Postscript] [pdf]


• G. Gössler and J. Sifakis. Composition for Component-Based Modeling. In FMCO'02 proceedings, LNCS 2852, Springer-Verlag, 2003.
  [gzipped Postscript] [pdf]


• G. Gössler and A. Sangiovanni-Vincentelli. Compositional Modeling in Metropolis. In EMSOFT'02 proceedings, LNCS 2491. Springer-Verlag, 2002.
  [gzipped Postscript] [pdf]


• K. Altisen, G. Gössler, and J. Sifakis. Scheduler Modeling Based on the Controller Synthesis Paradigm. Real-Time Systems Journal, special issue on "Control-theoretical Approaches to Real-Time Computing", 23(1/2):55-84, Kluwer, 2002