Gregor GOESSLER

Research fellow / Chargé de recherche

Research Activity:

Formal methods for component-based design of embedded systems.

New (05/2012): postdoc position on Symbolic Approaches to the Design of CPS.

Recent Publications

DBLP



• J. Cámara, A. Girard, and G. Gössler. Safety Controller Synthesis for Switched Systems using Multi-scale Symbolic Models. To appear in Proc. CDC-ECC 2011.


• G. Gössler and G. Salaün. Realizability of Choreographies for Services Interacting Asynchronously. To appear in Proc. FACS 2011.


• B. Bonakdarpour, M. Bozga, and G. Gössler. A Theory of Fault Recovery for Component-Based Models. Proc. SRDS 2011.


• J. Cámara, A. Girard, and G. Gössler. Synthesis of Switching Controllers using Approximately Bisimilar Multiscale Abstractions. Proc. HSCC 2011.


• G. Gössler. Component-Based Modeling and Reachability Analysis of Genetic Networks. IEEE/ACM Trans. Comput. Biology Bioinform. 8(3), 2011.


• G. Batt, M. Page, I. Cantone, G. Gössler, P. Monteiro, and H. de Jong. Efficient Parameter Search for Qualitative Models of Regulatory Networks using Symbolic Model Checking. Bioinformatics 26(18), 2010.


• G. Gössler, D. Le Métayer, and J.-B. Raclet. Causality Analysis in Contract Violation. Proc. Runtime Verification 2010, LNCS 6418, 2010.


• D. N. Xu, G. Gössler, and A. Girault. Probabilistic Contracts for Component-based Design. Proc. ATVA 2010, LNCS 6252, 2010.


• 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-Verlag, 2010.


• 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]