José Miguel Paiva Proença
AuthID: R-006-JRF
1
TITLE: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
AUTHORS: José Proença; Raul Fervari; Manuel A Martins; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: SEFM, VOLUME: 15551
AUTHORS: José Proença; Raul Fervari; Manuel A Martins; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: SEFM, VOLUME: 15551
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Preface
AUTHORS: José Proença; Raul Fervari; Manuel António Martins; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Lecture Notes in Computer Science, VOLUME: 15551 LNCS
AUTHORS: José Proença; Raul Fervari; Manuel António Martins; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Lecture Notes in Computer Science, VOLUME: 15551 LNCS
INDEXED IN: 
Scopus
Scopus3
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
4
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
