. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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. 2, Nov, 2020, Volume 197.In Press, Journal Pre-proof
Technical Reports
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version) CISTER-TR-201012 
Sergey Goncharov, Renato Neves, José Proença29, Sep, 2020.