Search results for:
Filter your results
0 Search results
José Paiva Proença
I am currently a postdoc affiliated with HASLab, University of Minho, working with Luís Barbosa. Until January 2016 I was also affiliated with Distrinet, KU Leuven, working mainly with Danny Hughes and Dave Clarke. My work is mainly on coordination of distributed components, often associated to the Reo coordination language, and on formal approaches to software product line engineering. More recently I have been working with binding and component models for embedded devices in the context of the LooCI middleware and micro PnP.
I graduated in University of Minho, Portugal, for a 5 year degree in Mathematics and Computer Science. I studied abroad for 6 months as an Erasmus student in Bristol University, UK. I defended my PhD in Leiden University in May 2011, for my work carried in CWI, Amsterdam, in the group for Foundations of Software Engineering.
Publications
The CAOS framework for Scala: Computer-aided design of SOS
Proença, J;Edixhoven, L;
2025
SCIENCE OF COMPUTER PROGRAMMING
Can we Communicate? Using Dynamic Logic to Verify Team Automata
ter Beek, MH;Cledou, G;Hennicker, R;Proença, J;
2022
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Reducing the gap between theory and practice in real-time systems with MARS
Nandi, GS;Pereira, D;Proença, J;Tovar, E;Nogueira, L;
2024
2024 54TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S 2024
MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
Nandi, GS;Pereira, D;Proença, J;Tovar, E;
2024
22nd IEEE International Conference on Industrial Informatics, INDIN 2024, Beijing, China, August 18-20, 2024
