G. Geeraerts
发表
Hernán C. Melgratti,
Ricardo J. Rodríguez,
J. Gabarró,
2011
.
J. Raskin,
G. Geeraerts,
Jean-François Raskin,
2007
.
Stéphane Le Roux,
G. Geeraerts,
T. Brihaye,
2020,
Inf. Comput..
A. Finkel,
G. Geeraerts,
L. V. Begin,
2004
.
A. Finkel,
G. Geeraerts,
L. V. Begin,
2004
.
Joël Ouaknine,
James Worrell,
Jean-François Raskin,
2011,
ICALP.
G. Geeraerts,
T. Brihaye,
Morgane Estiévenart,
2014
.
G. Geeraerts,
T. Brihaye,
B. Monmege,
2014
.
Giorgio Delzanno,
Pierre Ganty,
Jean-François Raskin,
2002
.
Amol Bakshi,
Anastasios Gounaris,
Alexandru Jugravu,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
J. Raskin,
G. Geeraerts,
N. Sznajder,
2014,
Formal Methods in System Design.
Gilles Geeraerts,
Frédéric Pluquet,
Eythan Levy,
2020
.
Thomas Brihaye,
Gilles Geeraerts,
Stéphane Le Roux,
2017,
GandALF.
Jean-François Raskin,
Gilles Geeraerts,
Shibashis Guha,
2018,
FSTTCS.
Thomas Brihaye,
Gilles Geeraerts,
Morgane Estiévenart,
2013,
FORMATS.
G. Geeraerts,
L. V. Begin,
Jean-François Raskin,
2004,
FSTTCS.
Benjamin Monmege,
Thomas Brihaye,
Gilles Geeraerts,
2017,
Acta Informatica.
Benjamin Monmege,
Thomas Brihaye,
Gilles Geeraerts,
2014,
CONCUR.
Joël Goossens,
Amélie Stainer,
Gilles Geeraerts,
2014,
RP.
Benjamin Monmege,
Thomas Brihaye,
Gilles Geeraerts,
2017,
CAV.
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
T. Brihaye,
G. Geeraerts,
M. Hallet,
2019,
FSTTCS.
Gilles Geeraerts,
Frédéric Pluquet,
Eythan Levy,
2017,
TIME.
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2007,
Acta Informatica.
Benjamin Monmege,
Nathalie Sznajder,
Thomas Brihaye,
2016,
FORMATS.
Jean-François Raskin,
Nathalie Sznajder,
Gilles Geeraerts,
2010,
FORMATS.
Jean-François Raskin,
Laurent Doyen,
Gilles Geeraerts,
2009,
FORMATS.
Joël Goossens,
Gilles Geeraerts,
Markus Lindström,
2011,
ArXiv.
Jean-François Raskin,
Tristan Le Gall,
Gilles Geeraerts,
2010,
ATVA.
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2006,
J. Comput. Syst. Sci..
G. Geeraerts,
L. V. Begin,
Jean-François Raskin,
2007,
Acta Informatica.
G. Geeraerts,
D. Chakraborty,
Jean-François Raskin,
2020,
CONCUR.
Jean-François Raskin,
Nathalie Sznajder,
Gilles Geeraerts,
2014,
Formal Methods Syst. Des..
Jean-François Raskin,
Nathalie Sznajder,
Gilles Geeraerts,
2011,
FORMATS.