. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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
Real-time MTL with durations as SMT with applications to schedulability analysis CISTER-TR-200703 
André Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto14th International Symposium on Theoretical Aspects of Software Engineering (TASE 2020). 11 to 13, Dec, 2020. Hangzhou, China.
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).
A Domain Specific Language for Automotive Systems Integration CISTER-TR-190806 
Renato Oliveira, David Pereira, Cláudio Maia, Pedro José Santos45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019). 14 to 17, Oct, 2019, SS Emerging Solutions for Vehicular Embedded Systems, pp 4483-4488. Lisbon, Portugal.
Security in Wireless Sensor Networks: A formal verification of protocols CISTER-TR-190506 
Giann Nandi, David Pereira, Martín Vigil, Ricardo Moraes, Analúcia Schiaffino Morales, Gustavo Araújo17th IEEE International Conference on Industrial Informatics (INDIN 2019). 22 to 25, Jul, 2019, Safety and Security in Industrial Applications, pp 425-431. Helsinki-Espoo, Finland.
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)
Conference or Workshop Posters/Demos
Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS CISTER-TR-190606 
Giann NandiPoster presented in 3rd Doctoral Congress in Engineering (DCE 2019). 27 to 28, Jun, 2019. Porto, Portugal.
Technical Reports
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version) CISTER-TR-201012 
Sergey Goncharov, Renato Neves, José Proença29, Sep, 2020.