Gregor GOESSLER

Senior research scientist, INRIA

Head of the SPADES team

Research Activity:

Formal methods for component-based design of embedded systems.

For an up-to-date list of publications please check out DBLP and HAL (open access).

Publications (list not maintained):

On logical causality and blaming:

• G. Gössler and D. Le Métayer. A general framework for blaming in component-based systems. Sci. Comput. Program. 113: 223-235, 2015. [PDF]


• G. Gössler and D. Le Métayer. A General Trace-Based Framework of Logical Causality. To appear in FACS, LNCS, Springer, 2013.


• G. Gössler, D. Le Métayer, E. Mazza, M.-L. Potet, and L. Astefanoaei. Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. TSI 33(1-2):63-84, 2014.


• S. Wang, A. Ayoub, B. Kim, G. Gössler, O. Sokolsky, and I. Lee. A Causality Analysis Framework for Component-Based Real-Time Systems. In RV, LNCS 8174, pages 285--303, Springer, 2013.


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



On controller synthesis for cyber-physical systems based on symbolic abstractions:

• A. Girard, G. Gössler, and S. Mouelhi. Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Trans. Automat. Contr. 61(6): 1537-1549, 2016. [PDF]


• E. Le Corronc, A. Girard, and G. Gössler. Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems. In CDC, pages 3225--3230, IEEE, 2013.


• S. Mouelhi, A. Girard, and G. Gössler. CoSyMA: a tool for controller synthesis using multi-scale abstractions. In HSCC, pages 83--88, ACM, 2013.


• J. Cámara, A. Girard, and G. Gössler. Safety Controller Synthesis for Switched Systems using Multi-scale Symbolic Models. In CDC-ECC, pages 520--525, 2011.


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



On component- and contract-based design:

• B. Bonakdarpour, M. Bozga, and G. Gössler. A Theory of Fault Recovery for Component-Based Models. In SSS, LNCS 7596, pages 314--328, Springer, 2012.


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


• G. Gössler, D. N. Xu, and A. Girault. Probabilistic contracts for component-based design. Formal Methods in System Design 41(2): 211-231, 2012.


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


• G. Gössler. Compositional Strategy Mapping. In proc. FSEN'09, LNCS 5961, Springer-Verlag, 2010.


• 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. 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. [PDF]


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



On adapter synthesis, coordination, and distribution:

• G. Smeding and G. Gössler. A correlation preserving performance analysis for stream processing systems. In MEMOCODE, pages 11--20, IEEE, 2012.


• G. Gössler and G. Salaün. Realizability of Choreographies for Services Interacting Asynchronously. In FACS, LNCS 7253, pages 151--167, 2011.


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


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



On systems biology:

• 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. Compositional Reachability Analysis of Genetic Networks. In proc. CMSB'06, LNBI 4210, pages 212--226. Springer-Verlag, 2006. [pdf]