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]