José Proença (Publications)
Lecturer, Integrated PhD Researcher
José Proença is currently a postdoc at CISTER, ISEP, Portugal, working on formal models for component-based systems.
Until January 2019 he worked in HASLab, University of Minho, working with Luís Barbosa, and was affiliated with Distrinet, KU Leuven, until January 2016, working mainly with Danny Hughes and Dave Clarke.
His work has been mainly on coordination of distributed components, often associated to the Reo coordination language, and on formal approaches to software product line engineering. More recently he has been working with binding and component models for embedded devices in the context of the LooCI middleware and micro PnP (now part of VersaSense), and in the context of the VirtuosoNext RTOS.
Before he graduated in University of Minho, Portugal, for a 5 year degree in Mathematics and Computer Science. He studied abroad for 6 months as an Erasmus student in Bristol University, UK. He defended his PhD in Leiden University in May 2011, for his work carried in CWI, Amsterdam, in the group for Foundations of Software Engineering.
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric VerhulstScience of Computer Programming, Article No 102566, Elsevier. 1, Mar, 2021, Volume 203.In Press, Journal Pre-proof
PDFMaurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José ProençaFormal Methods (FM 2021). 20 to 22, Nov, 2021. Online.This is a top conference in formal methods (Core A). This paper describes how to verify if no message is lost in a set of components (automata) where each method call that can synchronise with a pre-specified number of neighbours. This is formulated in the context of software product lines, where families of this components can be specified.
Giann Nandi, Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Fabio Patrone, David Pereira, José Proença, Rupert Sclick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021). 8, Sep, 2021. Portugal.
Giann Nandi, David Pereira, José Proença, Eduardo Tovar4th Doctoral Congress in Engineering (DCE 21). 28 to 29, Jun, 2021, Symposium on Electrical and Computer Engineering. Porto, Portugal.
Giann Nandi, David Pereira, José Proença, Eduardo Tovar4th Doctoral Congress in Engineering (DCE 2021). 28 to 29, Jun, 2021, Symposium on Electrical and Computer Engineering. Porto, Portugal.