Thomas Ferrère
发表
Dogan Ulus,
Thomas Ferrère,
Eugene Asarin,
2016,
TACAS.
Dogan Ulus,
Thomas Ferrère,
Oded Maler,
2017,
FORMATS.
Thomas Ferrère,
Thomas Ferrère,
2018,
FM.
Dejan Nickovic,
Dogan Ulus,
Thomas Ferrère,
2018,
International Journal on Software Tools for Technology Transfer.
Dejan Nickovic,
Ezio Bartocci,
Thomas Ferrère,
2018,
HSCC.
Dejan Nickovic,
Dogan Ulus,
Thomas Ferrère,
2015,
CAV.
Dejan Nickovic,
Amir Pnueli,
Thomas Ferrère,
2019,
J. ACM.
Dogan Ulus,
Thomas Ferrère,
Olivier Lebeltel,
2020,
International Journal on Software Tools for Technology Transfer.
Dejan Nickovic,
Thomas A. Henzinger,
Thomas Ferrère,
2018
.
Thomas Ferrère,
Oded Maler,
Alexandre Donzé,
2013,
CAV.
Thomas A. Henzinger,
Thomas Ferrère,
Alexey Bakhirkin,
2018
.
Dejan Nickovic,
Thomas A. Henzinger,
Thomas Ferrère,
2018,
EMSOFT.
Dejan Nickovic,
Cristinel Mateis,
Jyotirmoy V. Deshmukh,
2019,
RV.
Thomas Ferrère,
Oded Maler,
Alexey Bakhirkin,
2018,
HSCC.
Thomas A. Henzinger,
Thomas Ferrère,
N. Ege Saraç,
2018,
LICS.
Dogan Ulus,
Thomas Ferrère,
Eugene Asarin,
2014,
FORMATS.
Dejan Nickovic,
Thomas Ferrère,
Eugene Asarin,
2018,
FORMATS.
Thomas A. Henzinger,
Thomas Ferrère,
Adrián Elgyütt,
2018,
FORMATS.
Dejan Nickovic,
Thomas Ferrère,
Oded Maler,
2015,
ATVA.
Dejan Nickovic,
James Kapinski,
Thomas Ferrère,
2019,
HSCC.
Dejan Nickovic,
Thomas Ferrère,
Oded Maler,
2019,
FORMATS.
Cristinel Mateis,
Jyotirmoy V. Deshmukh,
Thomas Ferrère,
2021,
International Journal on Software Tools for Technology Transfer.
Dejan Nickovic,
Dogan Ulus,
Thomas Ferrère,
2021,
FORMATS.