Radu Mateescu
发表
W. Janssen,
Radu Mateescu,
S. Mauw,
1998
.
Radu Mateescu,
Sjouke Mauw,
Wil Janssen,
1999,
SPIN.
Radu Mateescu,
Anton Wijs,
2009
.
Radu Mateescu,
2007
.
Mihaela Sighireanu,
Radu Mateescu,
Radu Mateescu,
2000
.
Radu Mateescu,
Hubert Garavel,
Christophe Joubert,
2006,
TACAS.
Noel De Palma,
Radu Mateescu,
Hubert Garavel,
2001,
DAIS.
Alain Kerbrat,
Mihaela Sighireanu,
Radu Mateescu,
1996,
CAV.
Radu Mateescu,
S. Mauw,
J. Springintveld,
1998
.
Radu Mateescu,
Nicolas Bonnefond,
P. Lago,
2018
.
Radu Mateescu,
J. I. Requeno,
2018,
Int. J. Softw. Tools Technol. Transf..
Radu Mateescu,
Hidde de Jong,
Pedro T. Monteiro,
2008,
ECCB.
C. Laugier,
Radu Mateescu,
A. Renzaglia,
2022,
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Radu Mateescu,
Frédéric Lang,
F. Jebali,
2016,
Formal Aspects of Computing.
Radu Mateescu,
Frédéric Lang,
Fatma Jebali,
2014,
ICFEM.
Anton Wijs,
Radu Mateescu,
Radu Mateescu,
2009,
TACAS.
Franco Mazzanti,
Radu Mateescu,
Frédéric Lang,
2020,
TACAS.
Radu Mateescu,
H. Garavel,
Frédéric Lang,
2015,
Acta Informatica.
Gwen Salaün,
Radu Mateescu,
M. L. Pallec,
2022,
ACM Trans. Internet Things.
Radu Mateescu,
José Ignacio Requeno,
Radu Mateescu,
2016,
International Journal on Software Tools for Technology Transfer.
Radu Mateescu,
Wendelin Serwe,
Lina Marsso,
2018,
TACAS.
Radu Mateescu,
Frédéric Lang,
Hubert Garavel,
2012,
International Journal on Software Tools for Technology Transfer.
Radu Mateescu,
Frédéric Lang,
Hubert Garavel,
2002,
CC.
Radu Mateescu,
Radu Mateescu,
1998
.
Radu Mateescu,
Hubert Garavel,
Radu Mateescu,
1998
.
Claudine Chaouiya,
Radu Mateescu,
Frédéric Lang,
2013,
Bioinform..
Radu Mateescu,
Dominique Schneider,
Hidde de Jong,
2005,
ISMB.
Radu Mateescu,
Frédéric Lang,
Radu Mateescu,
2009,
FM.
Radu Mateescu,
Hubert Garavel,
Irina M. Smarandache,
2001,
SPIN '01.
Radu Mateescu,
Emilie Oudot,
Radu Mateescu,
2008,
SPIN.
Radu Mateescu,
Christophe Joubert,
Radu Mateescu,
2006,
SPIN.
Radu Mateescu,
Radu Mateescu,
2006,
International Journal on Software Tools for Technology Transfer.
Radu Mateescu,
Radu Mateescu,
2002,
TACAS.
Radu Mateescu,
Radu Mateescu,
2000,
TACAS.
Christian Laugier,
Radu Mateescu,
Alessandro Renzaglia,
2019,
2019 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM).
Mihaela Sighireanu,
Radu Mateescu,
Radu Mateescu,
2003,
Sci. Comput. Program..
Marin Litoiu,
Joydeep Mukherjee,
Radu Mateescu,
2021,
ICPE.
Marin Litoiu,
Cornel Barna,
Marios Fokaefs,
2016,
CASCON.
Radu Mateescu,
Wendelin Serwe,
Radu Mateescu,
2013,
Sci. Comput. Program..
Radu Mateescu,
Wendelin Serwe,
Radu Mateescu,
2010,
FMICS.
Franco Mazzanti,
Radu Mateescu,
Frédéric Lang,
2019,
Formal Methods in System Design.
Radu Mateescu,
Sylvain Rampacek,
Radu Mateescu,
2008,
CIAO! / EOMAS.
Radu Mateescu,
Sylvain Rampacek,
Radu Mateescu,
2008,
Int. J. Simul. Process. Model..
Radu Mateescu,
Wendelin Serwe,
Lina Marsso,
2020,
ICTSS.
Gwen Salaün,
Radu Mateescu,
Gwen Salaün,
2010,
IFM.
Franz Wotawa,
Radu Mateescu,
Wendelin Serwe,
2018,
DX.
Radu Mateescu,
Hubert Garavel,
Radu Mateescu,
2019,
Models, Mindsets, Meta.
Anton Wijs,
Radu Mateescu,
Radu Mateescu,
2012,
Sci. Comput. Program..
Gordon J. Pace,
Radu Mateescu,
Frédéric Lang,
2003,
CAV.
Radu Mateescu,
Radu Mateescu,
1996
.
Radu Mateescu,
Hubert Garavel,
Hidde de Jong,
2004,
SPIN.
Radu Mateescu,
Radu Mateescu,
2005,
FMICS '05.
Mihaela Sighireanu,
Radu Mateescu,
Radu Mateescu,
1998,
International Journal on Software Tools for Technology Transfer.
Claudia Jiménez-Guarín,
Radu Mateescu,
Claudia Roncancio,
2017,
CONTEXT.
Radu Mateescu,
Marc Renaudin,
Wendelin Serwe,
2020,
MARS@ETAPS.
C. Dima,
Radu Mateescu,
Frédéric Lang,
2016,
Formal Aspects of Computing.
Radu Mateescu,
Catalin Dima,
Frédéric Lang,
2013,
IFM.
Radu Mateescu,
Catalin Dima,
Frédéric Lang,
2012
.
Gwen Salaün,
Radu Mateescu,
Pascal Poizat,
2008,
IEEE Transactions on Software Engineering.
Holger Hermanns,
Radu Mateescu,
Hubert Garavel,
2010,
ISoLA.
Radu Mateescu,
Hubert Garavel,
Wendelin Serwe,
2021,
AppFM@FM.
Radu Mateescu,
Radu Mateescu,
2010
.
Ioannis Parissis,
Radu Mateescu,
Wendelin Serwe,
2019,
IFM.
Franz Wotawa,
Josip Bozic,
Radu Mateescu,
2018,
MARS/VPT@ETAPS.
Gwen Salaün,
Radu Mateescu,
M. L. Pallec,
2022,
Internet Things.
Ludovic Noirie,
Gwen Salaün,
Radu Mateescu,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Radu Mateescu,
Frédéric Lang,
Radu Mateescu,
2012,
TACAS.
Radu Mateescu,
Radu Mateescu,
2018,
International Journal on Software Tools for Technology Transfer.
Radu Mateescu,
Radu Mateescu,
2001
.
Radu Mateescu,
Hidde de Jong,
Pedro T. Monteiro,
2008,
ECAI.
Radu Mateescu,
Hidde de Jong,
Pedro T. Monteiro,
2009,
BMC Bioinformatics.
Radu Mateescu,
Frédéric Lang,
Hubert Garavel,
2007,
CAV.
Radu Mateescu,
Frédéric Lang,
Hubert Garavel,
2001
.