José Miguel Paiva Proença
AuthID: R-006-JRF
1
TITLE: Overview and Roadmap of Team Automata
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.13589
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.13589
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Introduction to the Special Collection from FACS 2022 Full Text
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2
3
TITLE: Animating Rebeca
AUTHORS: Maurice H ter Beek; José Proença;
PUBLISHED: 2025, SOURCE: Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, VOLUME: 15560
AUTHORS: Maurice H ter Beek; José Proença;
PUBLISHED: 2025, SOURCE: Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, VOLUME: 15560
4
TITLE: RebeCaos
AUTHORS: José Proença; Maurice H ter Beek;
PUBLISHED: 2025, SOURCE: 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 in Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings, VOLUME: 15731
AUTHORS: José Proença; Maurice H ter Beek;
PUBLISHED: 2025, SOURCE: 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 in Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings, VOLUME: 15731
5
TITLE: Reactive Graphs in Action
AUTHORS: Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
AUTHORS: Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
6
TITLE: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool Full Text
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411
