José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 86



41
TÍTULO: Implementing Hybrid Semantics: From Functional to Imperative
AUTORES: Goncharov, S; Neves, R ; Proença, J ;
PUBLICAÇÃO: 2020, FONTE: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, VOLUME: 12545
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID
42
TÍTULO: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems  Full Text
AUTORES: Nandi, GS; Pereira, D; Proença, J ; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
43
TÍTULO: Coordination of Tasks on a Real-Time OS
AUTORES: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
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
NO MEU: ORCID
44
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
45
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
46
TÍTULO: Taming Hierarchical Connectors
AUTORES: José Proença ; Alexandre Madeira ;
PUBLICAÇÃO: 2019, FONTE: FSEN, VOLUME: 11761 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
47
TÍTULO: ReoLive: Analysing Connectors in Your Browser
AUTORES: Rúben Cruz; José Proença ;
PUBLICAÇÃO: 2018, FONTE: STAF Workshops
INDEXADO EM: DBLP
NO MEU: ORCID
48
TÍTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, 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: 14
NO MEU: ORCID
49
TÍTULO: A Refinement Relation for Families of Timed Automata
AUTORES: Cledou, G ; Proença, J ; Barbosa, LS ;
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
50
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
Página 5 de 9. Total de resultados: 86.

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