José Proença
发表
Dave Clarke,
José Proença,
D. Clarke,
2012,
COORDINATION.
Carlos Baquero,
José Proença,
J. Proença,
2017,
FSEN.
Wouter Joosen,
Sam Michiels,
Wilfried Daniels,
2015,
2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).
Wouter Joosen,
Mario Pickavet,
Wilfried Daniels,
2016,
Journal of Internet Services and Applications.
Dave Clarke,
José Proença,
D. Clarke,
2015,
FACS.
Dave Clarke,
José Proença,
D. Clarke,
2013
.
Dave Clarke,
José Proença,
D. Clarke,
2013,
COORDINATION.
Eric Verhulst,
Bernhard H. C. Sputh,
José Proença,
2019,
COORDINATION.
Dave Clarke,
José Proença,
D. Clarke,
2010,
SPLC Workshops.
Erik P. de Vink,
Farhad Arbab,
Dave Clarke,
2011,
FOCLASA.
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
Elvira Albert,
Peter Y. H. Wong,
Radu Muschevici,
2012,
International Journal on Software Tools for Technology Transfer.
Renato Neves,
José Proença,
Sergey Goncharov,
2020
.
Farhad Arbab,
Dave Clarke,
Alexander Lazovik,
2011,
Sci. Comput. Program..
Javier Cámara,
José Proença,
2015,
FOCLASA.
José Proença,
Guillermina Cledou,
J. Proença,
2020,
COORDINATION.
José Proença,
Nuno Macedo,
Raju Halder,
2017
.
Dave Clarke,
José Proença,
D. Clarke,
2009,
ICE.
Dave Clarke,
Radu Muschevici,
José Proença,
2013,
FOSD '13.
José Proença,
Alberto Lluch Lafuente,
A. Lafuente,
2016,
Lecture Notes in Computer Science.
Luís Soares Barbosa,
José Proença,
Guillermina Cledou,
2017,
FSEN.
Farhad Arbab,
Dave Clarke,
Alexander Lazovik,
2009,
FOCLASA@ICALP.
José Proença,
J. Proença,
2011
.
Javier Cámara,
José Proença,
2015
.
José Proença,
Alberto Lluch,
2016
.
Dave Clarke,
José Proença,
D. Clarke,
2011
.
Eric Verhulst,
Bernhard H. C. Sputh,
José Proença,
2021,
Sci. Comput. Program..
Jorge Sousa Pinto,
Alcino Cunha,
José Proença,
2005,
IFL.
José Proença,
Rúben Cruz,
J. Proença,
2018,
STAF Workshops.
Dave Clarke,
José Proença,
2013,
ESOCC Workshops.
Farhad Arbab,
Ziyan Maraikar,
José Proença,
2008
.
Dave Clarke,
Sung-Shik T. Q. Jongmans,
José Proença,
2012,
FOCLASA.
Alcino Cunha,
José Proença,
José Bacelar Almeida,
2018,
Proc. ACM Program. Lang..
Wouter Joosen,
Wilfried Daniels,
Danny Hughes,
2015,
M4IoT@Middleware.
Dave Clarke,
Radu Muschevici,
José Proença,
2010,
SPLC Workshops.
Eduardo Tovar,
José Proença,
Giann Nandi,
2020,
2020 IEEE Real-Time Systems Symposium (RTSS).
Dave Clarke,
Ina Schaefer,
Radu Muschevici,
2010,
FMCO.
Alexandre Madeira,
José Proença,
J. Proença,
2019,
FSEN.
Rosemary Monahan,
Virgile Prevosto,
José Proença,
2018
.
Dave Clarke,
Radu Muschevici,
José Proença,
2011,
SEFM.
Erik P. de Vink,
Farhad Arbab,
Dave Clarke,
2012,
SAC '12.
Luís Soares Barbosa,
José Proença,
Guillermina Cledou,
2017,
SBMF.
Dave Clarke,
Radu Muschevici,
José Proença,
2015
.
Renato Neves,
José Proença,
Sergey Goncharov,
2020,
ICTAC.
José Proença,
Nuno Macedo,
Raju Halder,
2017,
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Dave Clarke,
José Proença,
D. Clarke,
2017,
Sci. Comput. Program..
Dave Clarke,
José Proença,
D. Clarke,
2008,
FOCLASA.
Wouter Joosen,
Wilfried Daniels,
Danny Hughes,
2015,
2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).
Marco Patrignani,
Danny Hughes,
Dave Clarke,
2012,
2012 Third International Workshop on Software Engineering for Sensor Network Applications (SESENA).
Farhad Arbab,
David Costa,
José Proença,
2008,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Maurice H. ter Beek,
Rolf Hennicker,
José Proença,
2021,
FM.
Thomas Bauer,
Henrique Madeira,
Fabio Patrone,
2021,
QUATIC.
Andrei Paskevich,
José Proença,
2021,
Electronic Proceedings in Theoretical Computer Science.
José Proença,
Alberto Lluch Lafuente,
2018
.