José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 87



51
TÍTULO: Composing Families of Timed Automata
AUTORES: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
52
TÍTULO: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
AUTORES: José Proença ; Markus Lumpe;
PUBLICAÇÃO: 2017, FONTE: FACS, VOLUME: 10487
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
53
TÍTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLICAÇÃO: 2017, FONTE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 53
NO MEU: ORCID
54
TÍTULO: Quality-Aware Reactive Programming for the Internet of Things
AUTORES: Proença, J ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
55
TÍTULO: Typed connector families and their semantics
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2017, FONTE: Sci. Comput. Program., VOLUME: 146
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
56
TÍTULO: A procedure for splitting data-aware processes and its application to coordination
AUTORES: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2016, FONTE: Sci. Comput. Program., VOLUME: 115-116
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
57
TÍTULO: Coordination Models and Languages
AUTORES: Alberto Lluch Lafuente; José Proença ;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
NO MEU: ORCID
58
59
TÍTULO: Feature Nets: behavioural modelling of software product lines  Full Text
AUTORES: Muschevici, R; Proença, J ; Clarke, D;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID
60
TÍTULO: Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
AUTORES: Ramachandran, GS; Proenca, J ; Daniels, W; Pickavet, M; Staessens, D; Huygens, C; Joosen, W; Hughes, D;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID
Página 6 de 9. Total de resultados: 87.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service