. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Time-Triggered Co-Scheduling of Computation and Communication with Jitter Requirements CISTER-TR-170702 
Anna Minaeva, Benny Åkesson, Zdeněk Hanzálek, Dakshina DasariTo be published in IEEE Transactions on Computers (TC), Article No 99, IEEE. 7, Jul, 2017, Volume PP.
Reducing the Complexity of Dataflow Graphs using Slack-based Merging CISTER-TR-160607 
Hazem Ali, Sander Stuijk, Benny Åkesson, Luis Miguel PinhoACM Transactions on Design Automation of Electronic Systems (TODAES), Article No 24, ACM. Jan 2017, Volume 22, Issue 2, pp 24:1-24:22.
Energy-aware Task Mapping onto Heterogeneous Platforms Using DVFS and Sleep States CISTER-TR-150720 
Muhammad Ali Awan, Patrick Meumeu Yomsi, Geoffrey Nelissen, Stefan M. PettersReal-Time Systems (RTSJ), Springer. Jul 2016, Volume 52, Issue 4, pp 450-485.
A framework for memory contention analysis in multi-core platforms CISTER-TR-150510 
Dakshina Dasari, Vincent Nélis, Benny ÅkessonReal-Time Systems (RTS), Springer. May 2016, Volume 52, Issue 3, pp 272-322. U.S.A..
Scalable and Efficient Configuration of Time-Division Multiplexed Resources CISTER-TR-151104 
Anna Minaeva, Benny Åkesson, Zdeněk Hanzálek, Přemysl ŠůchaaJournal of Systems and Software (jss), Elsevier. Mar 2016, Volume 113, pp 44-58.
Online slack consolidation in global-EDF for energy consumption minimisation CISTER-TR-160301 
Muhammad Ali Awan, Geoffrey Nelissen, Patrick Meumeu Yomsi, Stefan M. PettersJournal of Systems Architecture (JSA), ELSEVIER. Feb 2016, Volume 63, pp 1-15.
Intra-Task Device Scheduling for Real-Time Embedded Systems CISTER-TR-150718 
Muhammad Ali Awan, Stefan M. PettersJournal of Systems Architecture (JSA), Elsevier. 1, Jul, 2015, Volume 61, Issue 8, pp 321-340.
TEA: Timing and Energy Aware compression architecture for Efficient Configuration in CGRAs CISTER-TR-150719 
Syed M.A.H. Jafri, Masoud Daneshtalab, Ahmed Hemani, Naeem Abbas, Muhammad Ali Awan, Juha PlosilaMicroprocessors and Microsystems (MICPRO), Elsevier. 23, May, 2015, Volume 39, Issue November 2015, pp 973-986.
Conference or Workshop Papers
Mixed-Criticality Systems with Partial Lockdown and Cache Reclamation Upon Mode Change CISTER-TR-170507 
Konstantinos Bletsas, Muhammad Ali Awan, Pedro Souto, Benny Åkesson, Eduardo Tovar
ABSTRACTPDFPDF Additional Files: PDFPoster, PDFPresentation
Work in Progress Session, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). 27 to 30, Jun, 2017, pp 22-24. Dubrovnik, Croatia.http://www.ecrts.org/fileadmin/files_ecrts17/Proceedings_ECRTS-WiP2017.pdf
Mixed-criticality Scheduling with Dynamic Redistribution of Shared Cache CISTER-TR-170202 
Muhammad Ali Awan, Konstantinos Bletsas, Pedro Souto, Benny Åkesson, Eduardo Tovar29th Euromicro Conference on Real-Time Systems (ECRTS 2017). 27 to 30, Jun, 2017, Main track, pp 18:1-18:21. Dubrovnik, Croatia.
Semi-partitioned mixed-criticality scheduling CISTER_TR_161102 
Muhammad Ali Awan, Konstantinos Bletsas, Pedro Souto, Eduardo Tovar30th International Conference on Architecture of Computing Systems (ARCS 2017). 3 to 6, Apr, 2017, Session 6: Scheduling, pp 205-218. Vienna, Austria.Part of the Lecture Notes in Computer Science book series (LNCS, volume 10172).
SMT-based Schedulability Analysis using RMTL-∫ CISTER-TR-161101 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoIEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, CRTS. Porto, Portugal.
REVERT: Runtime Verification for Real-Time Systems CISTER-TR-161006 
Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare
ABSTRACTPDFPDF Additional Files: PDFPoster Abstract, PDFPoster
Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016. Porto, Portugal.
Integrating the Calculation of Preemption and Persistence Related Cache Overhead CISTER-TR-161005 
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016. Porto, Portugal.
REVERT: A Monitor Generation Tool for Real-Time Systems CISTER-TR-161007 
Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare
ABSTRACTPDFPDF Additional Files: PDFPoster
IEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, RTSS@Work. Porto, Portugal.
A Closer Look into the AER Model CISTER-TR-160701 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho, Daniel Gracia Pérez21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016). 6 to 9, Sep, 2016. Berlin, Germany.
Towards Certified Compilation of RTFM-core Applications CISTER-TR-161105 
Per Lindgren, Marcus Lindner, David Pereira, Luis Miguel Pinho21st International Conference on Emerging Technologies and Factory Automation (ETFA 2016). 6 to 9, Sep, 2016. Berlin, Germany.
Contract Based Verification of IEC 61499 CISTER-TR-161106 
Per Lindgren, Marcus Lindner, David Pereira, Luis Miguel Pinho14th International Conference on Industrial Informatics (INDIN 2016). 18 to 21, Jul, 2016, Factory Automation. Poitiers, France.
Mixed-criticality scheduling with memory regulation CISTER-TR-160604 
Muhammad Ali Awan, Konstantinos Bletsas, Pedro Souto, Benny Åkesson, Eduardo Tovar, Jibran Ali
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, 28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.
A Unifying Response Time Analysis Framework for Dynamic Self-Suspending Tasks CISTER-TR-160609 
Jian-Jia Chen, Geoffrey Nelissen, Wen-Hung Huang28th Euromicro Conference on Real-Time Systems (ECRTS 16). 5 to 8, Jul, 2016. Toulouse, France.
Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems CISTER-TR-160503 
Syed Aftab Rashid, Geoffrey Nelissen, Damien Hardy, Benny Åkesson, Isabelle Puaut, Eduardo Tovar28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.Outstanding Paper Award
A New Approach for Limited Preemptive Scheduling in Systems with Preemption Overhead CISTER-TR-160504 
Mitra Nasri, Geoffrey Nelissen, Gerhard Fohler28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.
Contention-Free Execution of Automotive Applications on a Clustered Many-Core Platform CISTER-TR-160505 
Matthias Becker, Dakshina Dasari, Borislav Nikolic, Benny Åkesson, Vincent Nélis, Thomas Nolte28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.
Energy Efficient Mapping of Mixed Criticality Applications on Unrelated Heterogeneous Multicore Platforms CISTER-TR-160501 
Muhammad Ali Awan, Damien Masson, Eduardo Tovar11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers CISTER-TR-160202 
Yonghui Li, Benny Åkesson, Kees GoossensReal-Time and Embedded Technology and Applications Symposium (RTAS 2016). 11 to 14, Apr, 2016, Track 3: Embedded Systems Design for Real-Time Applications. Vienna, Austria.
Cache Persistence Aware Response Time Analysis for Fixed Priority Preemptive Systems CISTER-TR-160207 
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016). 11 to 13, Apr, 2016. Viena, Austria.
Measurement-Based Probabilistic Timing Analysis for Graphics Processor Units CISTER-TR-160302 
Kostiantyn Berezovskyi, Fabrice Guet, Luca Santinelli, Konstantinos Bletsas, Eduardo TovarArchitecture of Computing Systems (ARCS 2016). 4 to 7, Apr, 2016. Nuremberg, Germany.
Towards realistic core-failure-resilient scheduling and analysis CISTER-TR-151203 
Borislav Nikolic, Konstantinos Bletsas
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada CISTER-TR-151204 
Luis Miguel Pinho, Brad Moore
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..
Energy-aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems CISTER-TR-151205 
Muhammad Ali Awan, Damien Masson, Eduardo Tovar
ABSTRACTPDFPDF Additional Files: PDFPoster Abstract
Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..
A Generic and Compositional Framework for Multicore Response Time Analysis CISTER-TR-151003 
Sebastian Altmeyer, Robert Davis, Leandro Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.Outstanding Paper Award
How realistic is the mixed-criticality real-time system model? CISTER-TR-151004 
Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar
ABSTRACTPDFPDF Additional Files: PDFPresentation
23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.Outstanding Paper Award
An Exact Schedulability Test for Global FP Using State Space Pruning CISTER-TR-150503 
Artem Burmyakov, Enrico Bini, Eduardo Tovar
ABSTRACTPDFPDF Additional Files: Zip Archive
23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.The software tool for the paper titled "An Exact Schedulability Test for Global FP Using State Space Pruning"
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems CISTER-TR-151102 
José Augusto Santos Jr, George Lima, Konstantinos Bletsas5th Brazilian Symposium on Computing Systems Engineering, SBESC 2015 (SBESC 2015). 3 to 6, Nov, 2015. Foz do Iguaçu, Brasil.
Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing CISTER-TR-151007 
Cláudio Maia, Patrick Meumeu Yomsi, Luis Miguel Nogueira, Luis Miguel Pinho13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015). 21 to 23, Oct, 2015, Session W1-A: Multiprocessing and Multicore Architectures. Porto, Portugal.
Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs CISTER-TR-151202 
Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luis Miguel PinhoEmbedded Operating System Workshop (EWiLi 2015). 8, Oct, 2015. Amsterdam, Netherlands.
Mode-Controlled Data-Flow Modeling of Real-Time Memory Controllers CISTER-TR-150901 
Yonghui Li, Hrishikesh Salunkhe, João Bastos, Orlando Moreira, Benny Åkesson, Kees Goossens13th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2015). 8 to 9, Oct, 2015. Amsterdam, Netherlands.Best Paper Award
Monitoring for a decidable fragment of MTLD CISTER-TR-151009 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoThe 15th International Conference on Runtime Verification (RV'15). 22 to 25, Sep, 2015. Vienna, Austria.
A Real-Time Semantics for the IEC 61499 standard CISTER-TR-150903 
Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luis Miguel Pinho20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2015). 8 to 11, Sep, 2015. Luxembourg, Luxembourg.
Response Time Analysis of Slotted WiDOM in Noisy Wireless Channels CISTER-TR-150703 
Maryam Vahabi, Stefano Tennina, Eduardo Tovar, Björn AnderssonInternational Conference on Emerging Technologies and Factory Automation (ETFA 2015). 8 to 11, Sep, 2015, Industrial Communication Technologies and Systems. Luxembourg, Luxembourg.
Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures CISTER-TR-150606 
Matthias Becker, Dakshina Dasari, Vincent Nélis, Moris Behnam, Luis Miguel Pinho, Thomas NolteThe Euromicro Conference on Digital System Design (DSD 2015). 26 to 28, Aug, 2015. Funchal, Portugal.
A Formal Perspective on IEC 61499 Execution Control Chart Semantics CISTER-TR-150802 
Per Lindgren, Marcus Lindner, David Pereira, Luis Miguel PinhoIEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2015). 20 to 22, Aug, 2015. Helsinki, Finland.
Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers CISTER-TR-150402 
Pedro Souto, Paulo Baltarejo Sousa, Robert Davis, Konstantinos Bletsas, Eduardo TovarIEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015. Hong Kong, China.
Response Time for IEC 61499 over Ethernet CISTER-TR-150721 
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luis Miguel PinhoIEEE International Conference on Industrial Informatics (INDIN 2015). 22 to 24, Jul, 2015. Cambridge, United Kingdom.
Well formed Control-flow for Critical Sections in RTFM-core CISTER-TR-150511 
Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luis Miguel PinhoIEEE International Conference on Industrial Informatics (INDIN 2015). 22 to 24, Jul, 2015. Cambridge, United Kingdom.
Partitioning the Network-on-Chip to Enable Virtualization on Many-Core Processors CISTER-TR-150608 
Matthias Becker, Dakshina Dasari, Vincent Nélis, Moris Behnam, Thomas NolteThe 6th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2015). 7, Jul, 2015. Lund, Sweden.
Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks CISTER-TR-150506 
Geoffrey Nelissen, José Fonseca, Gurulingesh Raravi, Vincent Nélis27th Euromicro Conference on Real-Time Systems (ECRTS 2015). 7 to 10, Jul, 2015. Lund, Sweden.
An Execution Model for Fine-Grained Parallelism in Ada CISTER-TR-150403 
Luis Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
ABSTRACTPDFPDF Additional Files: PDFPresentation
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 25 to 29, Jun, 2015. Madrid, Spain.Best Paper Award.
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring CISTER-TR-150308 
Geoffrey Nelissen, David Pereira, Luis Miguel Pinho20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.
Real-Time Fine-Grained Parallelism in Ada CISTER-TR-150404 
Luis Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker TaftInternational Real-Time Ada Workshop (IRTAW 2015). 20 to 22, Apr, 2015. Pownal, U.S.A..
Towards Certifiable Multicore-based Platforms for Avionics CISTER-TR-150702 
Muhammad Ali Awan, Patrick Meumeu Yomsi, Konstantinos Bletsas, Vincent Nélis, Eduardo Tovar, Pedro SoutoWork in Progress Session, 21st IEEE Real-Time and Embedded Techonology and Applications Symposium (RTAS 2015). 13 to 16, Apr, 2015, pp 27-28. Seattle, U.S.A..
Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems CISTER-TR-151011 
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoSEMINAR “ACtion Temps Réel : Infrastructures et Services Systèmes“. 10, Apr, 2015. Brussels, Belgium.
Towards the Certification of Multicore Platforms in the Avionics Domain CISTER-TR-150716 
Muhammad Ali Awan, Patrick Meumeu Yomsi, Konstantinos Bletsas, Vincent Nélis, Eduardo Tovar, Pedro Souto
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.
Another look at the pWCET estimation problem CISTER-TR-141105 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, Guillem BernatWork in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2014). 2 to 5, Dec, 2014. Rome, Italy.
WCET Measurement-based and Extreme Value Theory Characterisation of CUDA Kernels CISTER-TR-141009 
Kostiantyn Berezovskyi, Luca Santinelli, Konstantinos Bletsas, Eduardo Tovar22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
Conference or Workshop Posters/Demos
Run-Time Monitoring Environments for Real-Time and Safety Critical Systems CISTER-TR-160208 
Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo TovarDemo in Demo Session, 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016). 11 to 14, Apr, 2016. Austria.
A Novel Runtime Monitoring Architecture CISTER-TR-150310 
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoPoster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.
Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments CISTER-TR-151209 
Eduardo TovarPoster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Portugal.
Formal Contracts for Runtime Verification Support in the Ada Programming Language CISTER-TR-150412 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoPoster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.
Another look at the pWCET estimation problem CISTER-TR-151101 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, Guillem BernatPoster presented in Work in Progress Session, IEEE Real-Time System Symposium, Work-in-progress session, 2014 (RTSS 2014). 2 to 5, Dec, 2014. Roma, Italy.
Resource Sharing Under a Server-based Semi Partitioned Scheduling Approach CISTER-TR-141011 
Alexandre Esper, Eduardo TovarPoster presented in 22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.