José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 72



31
TÍTULO: Taming Hierarchical Connectors
AUTORES: José Proença ; Alexandre Madeira ;
PUBLICAÇÃO: 2019, FONTE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, VOLUME: 11761
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
32
TÍTULO: ReoLive: Analysing Connectors in Your Browser
AUTORES: Rúben Cruz; José Proença ;
PUBLICAÇÃO: 2018, FONTE: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
33
TÍTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP
34
TÍTULO: A Refinement Relation for Families of Timed Automata
AUTORES: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
35
TÍTULO: Composing Families of Timed Automata
AUTORES: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
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 | DBLP
36
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
37
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
38
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
39
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
40
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
Página 4 de 8. Total de resultados: 72.

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

Links Úteis

Ajuda

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