José Miguel Paiva Proença


AuthID: R-006-JRF

Publications Awaiting Confirmation

1
TITLE: Team Automata: Overview and Roadmap
AUTHORS: ter Beek, Maurice H.; Hennicker, Rolf; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 26th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2024, VOLUME: 14676
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: Reactive Graphs in Action
AUTHORS: David Tinoco; Alexandre Madeira; Manuel A Martins; José Proença;
PUBLISHED: 2024, SOURCE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Reducing the gap between theory and practice in real-time systems with MARS
AUTHORS: Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar; Luís Nogueira;
PUBLISHED: 2024, SOURCE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2024 in 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Supplemental Volume, Brisbane, Australia, June 24-27, 2024
INDEXED IN: Scopus DBLP
IN MY: DBLP
4
TITLE: Message from the VERDI Workshop Chairs; DSN-W 2024
AUTHORS: David Pereira; José Proença; Behrooz Sangchoolie;
PUBLISHED: 2024, SOURCE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Workshops, Brisbane, Australia, June 24-27, 2024
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: The CAOS framework for Scala: computer-aided design of SOS  Full Text
AUTHORS: José Proença; Luc Edixhoven;
PUBLISHED: 2024, SOURCE: Science of Computer Programming
INDEXED IN: CrossRef
IN MY: ORCID

A place for researchers and their institutions

Useful Links

Get Help

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