José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 77



41
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
42
TÍTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
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: 29
NO MEU: ORCID | DBLP
43
TÍTULO: Quality-Aware Reactive Programming for the Internet of Things
AUTORES: Jose Proenca ; Carlos Baquero ;
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: 2
NO MEU: ORCID | DBLP
44
TÍTULO: Typed connector families and their semantics  Full Text
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2017, FONTE: Sci. Comput. Program., VOLUME: 146
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
45
TÍTULO: A procedure for splitting data-aware processes and its application to coordination  Full Text
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 | DBLP
46
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
47
48
TÍTULO: Feature Nets: behavioural modelling of software product lines  Full Text
AUTORES: Radu Muschevici; Jose Proenca ; Dave Clarke;
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: 14
NO MEU: ORCID | DBLP
49
TÍTULO: Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
AUTORES: Gowri Sankar Ramachandran; Jose Proenca ; Wilfried Daniels; Mario Pickavet; Dimitri Staessens; Christophe Huygens; Wouter Joosen; Danny Hughes;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP
50
TÍTULO: Preface
AUTORES: Lafuente, AL; Proença, J ;
PUBLICAÇÃO: 2016, FONTE: 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9686
INDEXADO EM: Scopus
NO MEU: ORCID
Página 5 de 8. Total de resultados: 77.

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

Links Úteis

Ajuda

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