. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
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.
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.
Task partitioning and priority assignment for distributed hard real-time systems CISTER-TR-151001 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoJournal of Computer and System Sciences (JCSS), Elsevier. Dec 2015, Volume 81, Issue 8, pp 1542-1555.
Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory CISTER-TR-151005 
António Barros, Luis Miguel Pinho, Patrick Meumeu YomsiJournal of Systems Architecture (JSA), Elsevier. 26, Nov, 2015, Volume 61, Issue 10, pp 553-566.
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.
Race-to-halt energy saving strategies CISTER-TR-150104 
Muhammad Ali Awan, Stefan M. PettersJournal of Systems Architecture (JSA), Eelsevier. Nov 2014, Volume 60, Issue 10, pp 796-815.
An optimal boundary fair scheduling CISTER-TR-140503 
Geoffrey Nelissen, Hang Su, Yifeng Guo, Dakai Zhu, Vincent Nélis, Joel GoossensReal-Time Systems, Springer US. 1, Jul, 2014, Volume 50, Issue 4, pp 456-508. U.S.A..
Real-Time Scheduling with Resource Sharing on Heterogeneous Multiprocessors CISTER-TR-140102 
Björn Andersson, Gurulingesh RaraviReal-Time Systems, Springer US. Mar 2014, Volume 50, Issue 2, pp 270-314. U.S.A..
Task assignment algorithms for two-type heterogeneous multiprocessors CISTER-TR-131002 
Gurulingesh Raravi, Björn Andersson, Vincent Nélis, Konstantinos BletsasReal-Time Systems (RTS), Springer. Jan 2014, Volume 50, Issue 1, pp 87-141.Outstanding Paper Award, ECRTS 2012
Conference or Workshop Papers
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.
Response Time Analysis of Sporadic DAG Tasks under Partitioned Scheduling CISTER-TR-160502 
José Fonseca, Geoffrey Nelissen, Vincent Nélis, Luis Miguel Pinho11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
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.
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.
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..
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"
Study of the Reliability of Statistical Timing Analysis for Real-Time Systems CISTER-TR-150714 
Dorin Maxim, Frank Soboczenski, Iain Bate, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.
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
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.
The CONCERTO methodology for model-based development of avionics SW CISTER-TR-150309 
Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.
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.
Holistic Analysis for Fork-Join Distributed Tasks supported by the FTT-SE Protocol CISTER-TR-150507 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luis Miguel Pinho11th IEEE World Conference on Factory Communication Systems (WFCS 2015). 27 to 29, May, 2015, TII-SS-2: Scheduling and Performance Analysis. Palma de Mallorca, Spain.
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.
Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network CISTER-TR-150305 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoThe 28th GI/ITG International Conference on Architecture of Computing Systems 2015 (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.
Resource Sharing Under a Server-based Semi-Partitioned Scheduling Approach CISTER-TR-141008 
Alexandre Esper, Eduardo Tovar22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
SPRINT: Extending RUN to Schedule Sporadic Tasks CISTER-TR-140905 
Andrea Baldovin, Geoffrey Nelissen, Tullio Vardanega, Eduardo Tovar22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
Temporal Isolation with Preemption Delay Accounting CISTER-TR-140703 
José Marinho, Vincent Nélis, Stefan M. Petters19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014). 16 to 19, Sep, 2014. Barcelona, Spain.
Towards a Runtime Verification Framework for the Ada Programming Language CISTER-TR-140305 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
Towards Holistic Analysis for Fork-Join Parallel/Distributed Real-Time Tasks CISTER-TR-140707 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Geoffrey Nelissen, Luis Miguel PinhoWork in Progress Session, 26th Euromicro Conference on Real-Time Systems (ECRTS 2014). 8 to 11, Jul, 2014, pp 21-24. Madrid, Spain.
On the Scheduling of Fork-Join Parallel/Distributed Real-Time Tasks CISTER-TR-140601 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014). 15 to 17, Jun, 2014, Real-time scheduling. Pisa, Italy.
Non-preemptive scheduling of Real-Time Software Transactional Memory CISTER-TR-140207 
António Barros, Luis Miguel Pinhothe Conference on Architecture of Computing Systems (ARCS 2014). 25 to 28, Feb, 2014. Lubeck, Germany.
Worst-Case Communication Delay Analysis for Many-Cores using a Limited Migrative Model CISTER-TR-141002 
Borislav Nikolic, Patrick Meumeu Yomsi, Stefan M. Petters20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014). 2014, Real-Time Systems Track. Chongqing, China.
Limited Pre-emptive Global Fixed Task Priority CISTER-TR-131205 
José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna, Robert Davis34th IEEE Real-Time Systems Symposium (RTSS), IEEE. 6, Dec, 2013. Vancouver, Canada.
Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems CISTER-TR-131111 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho2nd International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS 2013).
Two Protocols to Reduce the Criticality Level of Multiprocessor Mixed-Criticality Systems CISTER-TR-131004 
François Santy, Gurulingesh Raravi, Geoffrey Nelissen, Vincent Nélis, Pratyush Kumar, Joel Goossens, Eduardo Tovar21st International Conference on Real-Time Networks and Systems (RTNS'13), ACM. 16 to 18, Oct, 2013, pp 183-192. Sophia Antipolis, France.
Feasibility Intervals for Homogeneous Multicores, Asynchronous Periodic Tasks, and FJP Schedulers CISTER-TR-131005 
Vincent Nélis, Patrick Meumeu Yomsi, Joel Goossens21st International Conference on Real-Time Networks and Systems (RTNS 2013), ACM New York. 16 to 18, Oct, 2013, pp 277-286. Sophia Antipolis, France.Best Presentation Award
Optimal Procrastination Interval for Constrained Deadline Sporadic Tasks upon Uniprocessors CISTER-TR-131106 
Muhammad Ali Awan, Patrick Meumeu Yomsi, Stefan M. Petters21st International Conference on Real-Time Networks and Systems (RTNS 2013), ACM. 16 to 18, Oct, 2013, pp 192-138. Sophia Antipolis, France.
Conference or Workshop Posters/Demos
Model-based design and schedulability analysis for avionic applications on multicore platforms CISTER-TR-160610 
Wenceslas Godard, Geoffrey NelissenDemo in 21st International Conference on Reliable Software Technologies - Ada-Europe 2016 (Ada-Europe 2016). 13 to 17, Jun, 2016, Industrial session. Pisa.
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.
Modelling Avionics Applications with CONCERTO CISTER-TR-141211 
Andrea Baldovin, Alessandro Zovi, Eduardo Tovar, Geoffrey Nelissen, Tullio VardanegaDemo in RTSS@Work 2014 ­Open Demo Session of Real­Time Systems, IEEE Real-Time Systems Symposium (RTSS 2014). 2 to 5, Dec, 2014. Rome, Italy.
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.
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.