. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
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/Talks
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..
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"
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.


Show All
Previous YearNext Year