José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 86



41
TITLE: Implementing Hybrid Semantics: From Functional to Imperative
AUTHORS: Goncharov, S; Neves, R ; Proença, J ;
PUBLISHED: 2020, SOURCE: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, VOLUME: 12545
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
42
TITLE: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems  Full Text
AUTHORS: Nandi, GS; Pereira, D; Proença, J ; Tovar, E ;
PUBLISHED: 2020, SOURCE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
43
TITLE: Coordination of Tasks on a Real-Time OS
AUTHORS: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
44
TITLE: Preface  Full Text
AUTHORS: Monahan, R; Prevosto, V; Proença, J ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 310
INDEXED IN: Scopus CrossRef
IN MY: ORCID
45
TITLE: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019 PDF
AUTHORS: Rosemary Monahan; Virgile Prevosto; José Proença ;
PUBLISHED: 2019, SOURCE: F-IDE@FM, VOLUME: 310
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
46
TITLE: Taming Hierarchical Connectors
AUTHORS: José Proença ; Alexandre Madeira ;
PUBLISHED: 2019, SOURCE: FSEN, VOLUME: 11761 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
47
TITLE: ReoLive: Analysing Connectors in Your Browser
AUTHORS: Rúben Cruz; José Proença ;
PUBLISHED: 2018, SOURCE: STAF Workshops
INDEXED IN: DBLP
IN MY: ORCID
48
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, J ;
PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID
49
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
50
TITLE: Composing Families of Timed Automata
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
Page 5 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service