. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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
Response time analysis of Multiframe mixed criticality systems with arbitrary deadlines CISTER-TR-200603 
Ishfaq Hussain, Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Benny Åkesson, Eduardo TovarReal-Time Systems, Springer. Nov 2020, Volume 56, Issue 4.
Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets CISTER-TR-200115 
Muhammad Ali Awan, Konstantinos Bletsas, Pedro F. Souto, Benny Åkesson, Eduardo TovarACM Transactions on Embedded Computing Systems (TECS), Article No 109, ACM. Oct 2019, Volume 18, Issue 5s, pp 109:1-109:23.This article appears as part of the ESWEEK-TECS special issue and was presented at the International Conference on Embedded Software (EMSOFT) 2019.
Conference or Workshop Papers/Talks
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 Holistic Memory Contention Analysis for Parallel Real-Time Tasks under Partitioned Scheduling CISTER-TR-200801 
Daniel Casini, Alessandro Biondi, Geoffrey Nelissen, Giorgio Buttazzo26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2020). 21 to 24, Apr, 2020, pp 239-252. Online.
Cache Persistence-Aware Memory Bus Contention Analysis for Multicore Systems CISTER-TR-191102 
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarDesign, Automation and Test in Europe Conference (DATE 2020). 9 to 13, Mar, 2020, pp 442-447. Online.
From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C CISTER-TR-190905 
Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, pp 167-180. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Thermal-Aware Schedulability Analysis for Fixed-Priority Non-Preemptive Real-Time Systems CISTER-TR-190903 
Javier Pérez Rodríguez, Patrick Meumeu Yomsi40th IEEE Real-Time Systems Symposium (RTSS 2019). 18 to 21, Feb, 2020, Real-Time System, pp 154-166. York, United Kingdom.RTSS 2019 originally postponed from December 2019 (Hong-Kong) to February 2020 (York, UK) was cancelled.
Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets CISTER-TR-190906 
Muhammad Ali Awan, Konstantinos Bletsas, Pedro F. Souto, Benny Åkesson, Eduardo Tovar
ABSTRACTPDFPDF Additional Files: PDFPoster
ACM SIGBED International Conference on Embedded Software (EMSOFT 2019). 13 to 18, Oct, 2019, pp 109:1-109:23. New York, U.S.A..ACM Transactions on Embedded Computing Systems, Vol. 18, No. 5s, Article 109.
Memory Bandwidth Regulation for Multiframe Task Sets CISTER-TR-190629 
Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Benny Åkesson, Eduardo Tovar25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2019). 18 to 21, Aug, 2019. Hangzhou, China.
ResilienceP Analysis: Bounding Cache Persistence Reload Overhead for Set-Associative Caches CISTER-TR-190512 
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, 31st Conference on Real-Time Systems (ECRTS 2019). 9 to 13, Jul, 2019, pp 7-9. Stuttgart, Germany.https://www.ecrts.org/archives/fileadmin/WebsitesArchiv/ecrts2019/wp-content/uploads/2019/06/ECRTS2019-WIP-proceedings.pdf
Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks under Global Scheduling CISTER-TR-190405 
Mitra Nasri, Geoffrey Nelissen, Björn B. Brandenburg31st Conference on Real-Time Systems (ECRTS 2019). 9 to 12, Jul, 2019, pp 21:1-21:23. Stuttgart, Germany.
Design and implementation of an FPGA-based NoC for Real Time Systems CISTER-TR-190510 
Yilian Ribot, Geoffrey Nelissen
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, 31st Conference on Real-Time Systems (ECRTS 2019). 9 to 13, Jul, 2019, pp 1-3. Stuttgart, Germany.https://www.ecrts.org/archives/fileadmin/WebsitesArchiv/ecrts2019/wp-content/uploads/2019/06/ECRTS2019-WIP-proceedings.pdf
Mixed-criticality Scheduling with Dynamic Memory Bandwidth Regulation CISTER-TR-180604 
Muhammad Ali Awan, Konstantinos Bletsas, Pedro Souto, Benny Åkesson, Eduardo Tovar24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018). 28 to 31, Aug, 2018, Session 4: Support for Predictability, pp 111-117. Hakodate, Japan.