Romain Brenguier
发表
Romain Brenguier,
Romain Brenguier,
2013,
CAV.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
Romain Brenguier,
Romain Brenguier,
2013,
ArXiv.
Romain Brenguier,
2016,
CONCUR.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Jean-François Raskin,
Romain Brenguier,
Ocan Sankur,
2015,
CONCUR.
Romain Brenguier,
Vojtech Forejt,
2016,
ATVA.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2010,
CONCUR.
Romain Brenguier,
R. Brenguier,
2012
.
Jean-François Raskin,
Romain Brenguier,
Franck Cassez,
2014,
HSCC.
Arno Pauly,
Jean-François Raskin,
Romain Brenguier,
2017,
CONCUR.
Jean-François Raskin,
Romain Brenguier,
Ocan Sankur,
2015,
Acta Informatica.
Romain Brenguier,
Stefan Göller,
Ocan Sankur,
2012,
CONCUR.
Romain Brenguier,
Romain Brenguier,
2016,
FoSSaCS.
Arno Pauly,
Jean-François Raskin,
Romain Brenguier,
2017,
CONCUR 2017.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2015,
SYNT.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2015,
Log. Methods Comput. Sci..
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2014,
SYNT.
Jean-François Raskin,
Romain Brenguier,
Romain Brenguier,
2015,
CAV.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2010,
FORMATS.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2011,
FSTTCS.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2016,
FSTTCS.
Jean-François Raskin,
Romain Brenguier,
Mathieu Sassolas,
2013,
CSL-LICS.
Patricia Bouyer,
Nicolas Markey,
Romain Brenguier,
2012,
FoSSaCS.
Jean-François Raskin,
Romain Brenguier,
Romain Brenguier,
2014
.