Login

José Proença (Publications)

José Proença (Publications)

José Proença (Publications)

PhD Leiden University, Netherlands
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.

 

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Hubs for VirtuosoNext: Online verification of real-time coordinators CISTER-TR-201101 
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
Conference or Workshop Papers/Talks
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems CISTER-TR-201002 
Giann Nandi, David Pereira, José Proença, Eduardo Tovar
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, 41st IEEE Real-Time Systems Symposium (RTSS 2020). 1 to 4, Dec, 2020, pp 395-398. Online.
Implementing Hybrid Semantics: From Functional to Imperative CISTER-TR-201008 
Sergey Goncharov, Renato Neves, José Proença17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020). 30, Nov to 4, Dec, 2020, pp 262-282. Online.Lecture Notes in Computer Science, vol 12545.
ARx: Reactive Programming for Synchronous Connectors CISTER-TR-200701 
José Proença, Guillermina Cledou
ABSTRACTPDFPDF Additional Files: PDFPresentation
International Conference on Coordination Languages and Models (COORDINATION 2020). 15 to 19, Jun, 2020, Coordination Languages, pp 39-56. Online.Held as part of the 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020). Part of the Lecture Notes in Computer Science book series (LNCS, volume 12134).
Proceedings of the Formal-IDE 2019 - Preface CISTER-TR-200105 
Rosemary Monahan, Virgile Prevosto, José Proença5th Workshop on Formal Integrated Development Environment (F-IDE 2019). 7, Oct, 2019. Porto, Portugal.F-IDE 2019 was held as part of the 3rd World Congress on Formal Methods (FM 2019)
Coordination of tasks on a Real-Time OS CISTER-TR-190501 
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst
ABSTRACTPDFPDF Additional Files: PDFPresentation
21st International Conference on Coordination Models and Languages (Coordination 2019). 18 to 21, Jun, 2019. Copenhagen, Denmark.Part of the Lecture Notes in Computer Science book series (LNCS, volume 11533)
Taming Hierarchical Connectors CISTER-TR-200104 
José Proença, Alexandre Madeira
ABSTRACTPDFPDF Additional Files: PDFPresentation
8th IPM International Conference on Fundamentals of Software Engineering (FSEN 2019). 1 to 3, May, 2019, pp 186-193. Tehran, Iran.Part of the Lecture Notes in Computer Science book series (LNCS, volume 11761)
Technical Reports
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version) CISTER-TR-201012 
Sergey Goncharov, Renato Neves, José Proença29, Sep, 2020.