Gregor Gössler
发表
Joseph Sifakis,
Gregor Gößler,
Karine Altisen,
2000,
FTRTFT.
S. Leue,
Gregor Gössler,
2019
.
O. Sokolsky,
J. Stefani,
Gregor Gössler,
2017
.
A. Girault,
Gregor Gössler,
Dana N. Xu,
2012,
Formal Methods in System Design.
Gregor Gößler,
Gregor Gössler,
2014
.
Joseph Sifakis,
Gregor Gößler,
J. Sifakis,
2002,
Sci. Comput. Program..
Joseph Sifakis,
Gregor Gößler,
J. Sifakis,
2003,
FSTTCS.
Jean-Baptiste Raclet,
Gregor Gößler,
Jean-Baptiste Raclet,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Gregor Gößler,
Hidde de Jong,
Pedro T. Monteiro,
2010,
Bioinform..
Antoine Girard,
Gregor Gößler,
Sebti Mouelhi,
2013,
HSCC '13.
Roopak Sinha,
Partha S. Roop,
Gregor Gößler,
2014,
TODE.
Gregor Gößler,
Gregor Gössler,
2011,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Gregor Gößler,
Gregor Gössler,
2006,
CMSB.
Thao Dang,
Gregor Gössler,
Thomas Mari,
2021,
FORMATS.
Joseph Sifakis,
Gregor Gößler,
Karine Altisen,
2002,
Real-Time Systems.
Antoine Girard,
Euriell Le Corronc,
Gregor Gößler,
2013,
52nd IEEE Conference on Decision and Control.
A. Girard,
Gregor Gössler,
2019,
Acta Informatica.
Gwen Salaün,
Gregor Gößler,
Gwen Salaün,
2011,
FACS.
Joseph Sifakis,
Gregor Gößler,
Sébastien Bornot,
2000,
TACAS.
Antoine Girard,
Gregor Gößler,
Sebti Mouelhi,
2016,
IEEE Transactions on Automatic Control.
Alberto L. Sangiovanni-Vincentelli,
Gregor Gößler,
A. Sangiovanni-Vincentelli,
2002,
EMSOFT.
Joseph Sifakis,
Gregor Gößler,
J. Sifakis,
2003,
FMCO.
A. Girard,
Gregor Gössler,
Sebti Mouelhi,
2016,
IEEE Transactions on Automatic Control.
Antoine Girard,
Javier Cámara,
Gregor Gößler,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Joseph Sifakis,
Amir Pnueli,
Stavros Tripakis,
1999,
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
Gregor Gößler,
Gregor Gössler,
2009,
FSEN.
Joseph Sifakis,
Gregor Gößler,
Susanne Graf,
2007,
SOFSEM.
Joseph Sifakis,
Mila Majster-Cederbaum,
Susanne Graf,
2007
.
Sofiane Imadali,
Gregor Gößler,
Eric Fabre,
2018,
2018 21st Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN).
Jean-Baptiste Raclet,
Gregor Gößler,
Daniel Le Métayer,
2010,
RV.
Gregor Gößler,
Daniel Le Métayer,
D. L. Métayer,
2013,
FACS.
R. Guerraoui,
A. Girault,
Gregor Gössler,
2017,
FORTE.
Oleg Sokolsky,
Gregor Gößler,
Jean-Bernard Stefani,
2017,
CREST@ETAPS.
Gregor Gößler,
Jean-Bernard Stefani,
J. Stefani,
2015,
TGC.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2013,
RV.
Yannick Pencolé,
Louise Travé-Massuyès,
Gregor Gössler,
2019
.