José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 75



31
TÍTULO: Coordination of Tasks on a Real-Time OS
AUTORES: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
PUBLICAÇÃO: 2019, FONTE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
32
TÍTULO: Preface  Full Text
AUTORES: Monahan, R; Prevosto, V; Proença, J ;
PUBLICAÇÃO: 2019, FONTE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 310
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
33
TÍTULO: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019 PDF
AUTORES: Rosemary Monahan; Virgile Prevosto; José Proença ;
PUBLICAÇÃO: 2019, FONTE: F-IDE@FM, VOLUME: 310
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
34
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
35
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
36
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
37
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
38
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
39
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
40
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
Página 4 de 8. Total de resultados: 75.

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