. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
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.
Conference or Workshop Papers
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.
Conference or Workshop Posters/Demos
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.


Show All
Previous YearNext Year