CISTER

ISEP

Home Research Topics Application Drive Projects Publications People PhD Studies News Events & CfP Info & Contacts

CiTech

CiWork

CISTER DSS

join us!

Enjoy Porto!

Login

Publications

Publications

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Thesis

Improving QoS for Large Scale WSNs CISTER-TR-160203
Ricardo Severino

PhD Thesis. 16, Dec, 2015. Porto, Portugal.

Middleware for Large-scale Distributed Systems CISTER-TR-151106
César Teixeira

Master Thesis. 23, Nov, 2015. Porto.

Quantifying, generating and mitigating radio interference in Low-Power Wireless Networks CISTER-TR-151012
Claro Noda

PDF Additional Files:

PDFPresentation

PhD Thesis. 28, Oct, 2015. Guimarães, Portugal.

Simulação de comunicação inter-veicular sobre LTE e 802.11p CISTER-TR-161202
Tiago Cerqueira

BEng Thesis. 28, Oct, 2015. Porto.

Many-Core Platforms in the Real-Time Embedded Computing Domain CISTER-TR-150603
Borislav Nikolic

PhD Thesis. 24, Apr, 2015. Porto.

Real-time Limited Preemptive Scheduling CISTER-TR-150609
José Marinho

PhD Thesis. 24, Apr, 2015. Porto.

Reliable Mobility Support in Low-Power Wireless Networks CISTER-TR-150502
Hossein Fotouhi

PhD Thesis. 16, Apr, 2015. Porto.

Implementação da rede Flexible Time Trigger para Switched Ethernet no Simulador NS-3 CISTER-TR-150108
Fábio Oliveira

BEng Thesis. 2015. Porto.

Books & Book Chapters

Automatic Merging of Vehicles: Design, Algorithms, Performance CISTER-TR-141004
Gurulingesh Raravi, Vipul Shingde, Krithi Ramamritham

Chapter in "Studies in Computational Intelligence - Cooperative Robots and Sensor Networks 2015", Springer. 19, May, 2015, Volume 604, pp 231-255.

Multi-Objective and Financial Portfolio Optimization of p-Persistent Carrier Sense Multiple Access Protocols with Multi-Packet Reception CISTER-TR-150103
Ramiro Robles, Atílio Gameiro

Chapter in Communications in Computer and Information Science, Optimization in the Natural Sciences. 2015, Volume 499, pp 68-94.

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 Pinho

Journal 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 Yomsi

Journal of Systems Architecture (JSA), Elsevier. 26, Nov, 2015, Volume 61, Issue 10, pp 553-566.

P-SOCRATES: A parallel software framework for time-critical many-core systems CISTER-TR-151002
Luis Miguel Pinho, Vincent Nélis, Patrick Meumeu Yomsi, Eduardo Quiñones, Marko Bertogna, Paolo Burgio, Andrea Marongiu, Claudio Scordino, Paolo Gai, Michele Ramponi, Michal Mardiak

ABSTRACT Additional Files:

PDFPoster

Microprocessors and Microsystems (MICPRO), Elsevier. Nov 2015, Volume 39, Issue 8, pp 1190-1203.

Quality-of-service aware routing for static and mobile IPv6-based low-power and lossy sensor networks using RPL CISTER-TR-160103
Olfa Gaddoura, Anis Koubâa, Mohamed Abid

Ad Hoc Networks (AD HOC NETW), Elsevier. Oct 2015, Volume 33, pp 233-256.

System-Level Simulation and Resource Management for Distributed Antenna Systems with Cognitive Radio and Multi-Cell Cooperation with Imperfect Information CISTER-TR-160101
Ramiro Robles, Atilio Gameiro, Nuno Pereira, Eduardo Tovar

Recent Advances in Electrical & Electronic Engineering, Bentham Science. Sep 2015, Volume 5, Issue 3.Extension of the conference paper presented at FGCT 2015

An intelligent clustering scheme for distributed intrusion detection in vehicular cloud computing CISTER-TR-150705
Neeraj Kumar, Jaskaran Preet Singh, Rasmeet S. Bali, Sudip Misra, Sana Ullah

Cluster Computing, Springer. Sep 2015, Volume 18, Issue 3, pp 1263-1283.

Intra-Task Device Scheduling for Real-Time Embedded Systems CISTER-TR-150718
Muhammad Ali Awan, Stefan M. Petters

Journal of Systems Architecture (JSA), Elsevier. 1, Jul, 2015, Volume 61, Issue 8, pp 321-340.

Real-Time Application Mapping for Many-Cores Using a Limited Migrative Model CISTER-TR-150101
Borislav Nikolic, Stefan M. Petters

Real-Time Systems (RTS), Springer. Jun 2015, Volume 51, Issue 3, pp 314-357. U.S.A..

Adaptive offloading for infotainment systems CISTER-TR-150801
Luis Lino Ferreira, Luis Miguel Pinho, Michele Albano, César Teixeira

SIGBED Review, ACM. Jun 2015, Volume 12, Issue 3, pp 19-23.Also presented at 7th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2015)

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 Plosila

Microprocessors and Microsystems (MICPRO), Elsevier. 23, May, 2015, Volume 39, Issue November 2015, pp 973-986.

A Green Approach for Selfish Misbehavior Detection in 802.11-Based Wireless Networks CISTER-TR-150504
Thaier Hayajneh, Ghada Almashaqbeh, Sana Ullah

Mobile Networks and Applications, Springer. May 2015, Volume 20, Issue 5, pp 623-635.

Deciding Kleene Algebra Terms Equivalence in Coq CISTER-TR-141205
David Pereira, Nelma Moreira, Simão Patrício Melo de Sousa

Journal of Logical and Algebraic Methods in Programming (JLAMP), Elsevier. May 2015, Volume 84, Issue 3, pp 377-401.

CANDi: context-aware node discovery for short-range cooperation CISTER-TR-140506
Muhammad Alam, Michele Albano, Ayman Radwan, Jonathan Rodriguez

Transactions on Emerging Telecommunication Technologies (ETT), Wiley. May 2015, Volume 26, Issue 5, pp 861-875. Canada.

Impact of sensor nodes scaling and velocity on handover mechanisms for healthcare wireless sensor networks with mobility support CISTER-TR-141104
João Caldeira, Joel JPC Rodrigues, Pascal Lorenz, Sana Ullah

Computers in Industry, Elsevier. May 2015, Volume 69, pp 92-104.

Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Pre-emption CISTER-TR-150107
Robert Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna

Transactions on Embedded Computing Systems - Special Issue on Embedded Platforms for Crypto and Regular Papers (TECS), Article No 47, ACM. May 2015, Volume 14, Issue 3, pp 47:1-47:28. U.S.A..

Reliable Link Quality Estimation in Low-power Wireless Networks and its impact on Tree-routing CISTER-TR-150208
Nouha Baccour, Anis Koubâa, Habib Youssef, Mário Alves

Ad Hoc Networks, Elsevier. Apr 2015, Volume 27, pp 1-25.

mRPL: Boosting mobility in the Internet of Things CISTER-TR-141103
Hossein Fotouhi, Daniel Moreira, Mário Alves

ABSTRACT Additional Files: http://www.cister.isep.ipp.pt/masqots/sources.htmlSource Code

Journal on Ad Hoc Networks, Elsevier. Mar 2015, Volume 26, pp 17-35.(impact factor 1.943)

SIR performance evaluation of MB-OFDM UWB system with residual timing offset CISTER-TR-150303
S.M. Riazul Islam, Sana Ullah, Jaime Lloret, Niamat Ullah, Kyung-Sup Kwak

Electronics Letters, IET. 26, Feb, 2015, Volume 51, Issue 5, pp 427-429.Impact factor (2013): 1.068

Replication vs Erasure Coding in Data Centric Storage for Wireless Sensor Networks CISTER-TR-141203
Michele Albano, Stefano Chessa

Computer Networks (COMNET), Elsevier. 11, Feb, 2015, Volume 77, pp 42-55.

Convergence of Smart Grid ICT architectures for the last mile CISTER-TR-141204
Michele Albano, Luis Lino Ferreira, Luis Miguel Pinho

Transactions on Industrial Informatics (TII), IEEE. Feb 2015, Volume 11, Issue 1, pp 187-197.

Energy-efficient MAC protocols for WBANs: Opportunities and challenges CISTER-TR-141202
Sana Ullah, Changle Li

Telecommunication Systems, Springer. Feb 2015, Volume 58, Issue 2, pp 109-110.2013 Impact Factor: 1.163

Message-oriented middleware for smart grids CISTER-TR-140803
Michele Albano, Luis Lino Ferreira, Luis Miguel Pinho, Abdel Rahman Alkhawaja

Computer Standards and Interfaces, Elsevier. Feb 2015, Volume 38, pp 133-143.

Logic-based schedulability analysis for compositional hard real-time embedded systems CISTER-TR-150411
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa Pinto

SIGBED Review (SIGBED Rev.), ACM. Feb 2015, Volume 12, Issue 1, pp 56-64.

Passive Fault-Tolerance Management in Component-based Embedded Systems CISTER-TR-150505
Luis Miguel Nogueira, Jorge Coelho

Computing and Informatics (JCAI), Slovak Academy of Sciences. 2015, Volume 35, Issue 1, pp 23-44.

Distributed Forest Fire Monitoring using Wireless Sensor Networks CISTER-TR-150410
Maria Serna, Rafael Casado, Aurelio Bermudez, Nuno Pereira, Stefano Tennina

International Journal of Distributed Sensor Networks (IJDSN), Article ID 964564. 2015, Volume 2015, pp 1-18.In press.

A Microscope for the Data Center CISTER-TR-130501
Nuno Pereira, Stefano Tennina, João Loureiro, Ricardo Severino, Bruno Saraiva, Manuel Santos, Filipe Pacheco, Eduardo Tovar

International Journal of Sensor Networks (IJSNet), Inderscience. 2015, Volume 18, Issue 3/4, pp 193-203.An extended version of a conference publication titled "Building a Microscope for the Data Center" (ref. HURRAY-TR-120704)

Feature Extraction in Densely Sensed Environments: Extensions to Multiple Broadcast Domains CISTER-TR-150704
Maryam Vahabi, Vikram Gupta, Michele Albano, Raghu R., Eduardo Tovar

International Journal of Distributed Sensor Networks (IJDSN), Article ID 457537, Hindawi. 2015, Volume 2015, 21 pages.

Conference or Workshop Papers/Talks

ECG Arrhythmia Classification Using Mahalanobis-Taguchi System in a Body Area Network Environment CISTER-TR-160304
Aftab Ali, Nur Al Hasan Haldar, Farrukh Aslam Khan, Sana Ullah

IEEE Global Communications Conference (Globecom). 6 to 10, Dec, 2015. San Diego, U.S.A..IEEE Flagship Event

Towards realistic core-failure-resilient scheduling and analysis CISTER-TR-151203
Borislav Nikolic, Konstantinos Bletsas

PDF 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

PDF 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

PDF 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 Reineke

23rd 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

PDF 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

PDF Additional Files:

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 Tovar

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems CISTER-TR-151102
José Augusto Santos Jr, George Lima, Konstantinos Bletsas

5th 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 Pinho

13th 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.

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 Goossens

13th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2015). 8 to 9, Oct, 2015. Amsterdam, Netherlands.Best Paper Award

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 Pinho

Embedded Operating System Workshop (EWiLi 2015). 8, Oct, 2015. Amsterdam, Netherlands.

Performance Model for MRC Receivers with Adaptive Modulation and Coding in Rayleigh Fading Correlated Channels with Imperfect CSIT CISTER-TR-151008
Ramiro Robles, Egons Lavendis

RTUWO Advances in Wireless and Optical Communications 2015 (RTUWO2015). 5 to 6, Oct, 2015. Riga, Latvia.An extension of this paper has been invited to be submitted as journal

Monitoring for a decidable fragment of MTLD CISTER-TR-151009
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa Pinto

The 15th International Conference on Runtime Verification (RV'15). 22 to 25, Sep, 2015. Vienna, Austria.

Trade-Off Performance Regions of Slotted ALOHA Protocol using Multi-Objective Optimization CISTER-TR-150715
Ramiro Robles, Atilio Gameiro

The 10th Conference on Telecommunications (Conftele 2015). 17 to 18, Sep, 2015. Aveiro, Portugal.

Response Time Analysis of Slotted WiDOM in Noisy Wireless Channels CISTER-TR-150703
Maryam Vahabi, Stefano Tennina, Eduardo Tovar, Björn Andersson

International 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 Pinho

20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2015). 8 to 11, Sep, 2015. Luxembourg, Luxembourg.

Social Media Integration in Video Games: A Social Overlay for Desktop Games CISTER-TR-150902
Joana Osório, Filipe Pacheco

Simpósio de Informática (INForum 2015). 7 to 8, Sep, 2015. Covilhã, Portugal.Best paper award nominee.

Architecture to Support Quality of Service in Arrowhead Systems CISTER-TR-151201
Michele Albano, Ricardo Garibay-Martínez, Luis Lino Ferreira

INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Covilhã, Portugal.

Real-time Parallel Applications on Many-core Architectures CISTER-TR-151206
Luis Miguel Pinho, Vincent Nélis, Patrick Meumeu Yomsi

INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Run-time Monitoring Architecture for Real-Time Systems CISTER-TR-151207
Geoffrey Nelissen, David Pereira, Luis Miguel Pinho

INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

A Random Access Protocol incorporating Multi-Packet Reception, Retransmission Diversity and Successive Interference Cancellation CISTER-TR-150711
Ramiro Robles, Desmond C. McLernon, Mounir Ghogho

8th International Workshop on Multiple Access Communications (MACOM2015). 3 to 4, Sep, 2015. Helsinki, Finland.

Multi-Objective and Financial Portfolio Optimization of Carrier-Sense Multiple Access Protocols with Cooperative Diversity CISTER-TR-150712
Ramiro Robles, Atilio Gameiro

8th International Workshop on Multiple Access Communications (MACOM2015). 3 to 4, Sep, 2015. Helsinki, Finland.

DEWI - Wirelessly into the Future CISTER-TR-150706
Werner Rom, Ramiro Robles, Peter Priller, Luis Dominguez, Javier Rivilla, Jani Koivusaari, Marjaana Komi, Willem van Driel

Euromicro Conference on Digital System Design (DSD2015). 26 to 28, Aug, 2015, EPDSD - 3rd European Projects in Digital System Design. Funchal, Portugal.

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 Nolte

The Euromicro Conference on Digital System Design (DSD 2015). 26 to 28, Aug, 2015. Funchal, Portugal.

Methodologies for the WCET Analysis of Parallel Applications on Many-core Architectures CISTER-TR-150607
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho

The 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 Pinho

IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2015). 20 to 22, Aug, 2015. Helsinki, Finland.

Hard real-time multiprocessor scheduling resilient to core failures CISTER-TR-151105
Borislav Nikolic, Konstantinos Bletsas, Stefan M. Petters

21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015, pp 122-131. Hong Kong, China.

Distributed Sensing of Fluid Dynamic Phenomena with the XDense Sensor Grid Network CISTER-TR-150602
João Loureiro, Raghu R., Eduardo Tovar

IEEE International Conference on Cyber Physical Systems, Networks and Applications (CPSNA'15). 19 to 21, Aug, 2015. Hong Kong, China.

Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers CISTER-TR-150402
Pedro Souto, Paulo Baltarejo Sousa, Robert Davis, Konstantinos Bletsas, Eduardo Tovar

IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015. Hong Kong, China.

System Level Simulation and Radio Resource Management for Distributed Antenna Systems with Cognitive Radio and Multi-Cell Cooperation CISTER-TR-150710
Ramiro Robles, Atilio Gameiro, Nuno Pereira

4th International Conference on Future Generation Communication Technologies (FGCT 2015). 29 to 31, Jul, 2015. Luton, 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 Pinho

IEEE 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 Pinho

IEEE International Conference on Industrial Informatics (INDIN 2015). 22 to 24, Jul, 2015. Cambridge, United Kingdom.

Online Admission of Parallel Real-Time Tasks CISTER-TR-150701
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho

6th Real-Time Scheduling Open Problems Seminar (RTSOPS 2015). 7, 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 Nolte

The 6th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2015). 7, Jul, 2015. Lund, Sweden.

Analysis of self-interference within DAG tasks CISTER-TR-150604
José Fonseca, Vincent Nélis, Geoffrey Nelissen, Luis Miguel Pinho

6th 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élis

27th 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

PDF 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 Pinho

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.

The CONCERTO methodology for model-based development of avionics SW CISTER-TR-150309
Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.

Performance Analysis of IEEE 802.15.6 Contention-based MAC Protocol CISTER-TR-150205
Sana Ullah, Eduardo Tovar

The IEEE International Conference on Communications (IEEE ICC 2015). 8 to 12, Jun, 2015, IEEE ICC 2015 - Communications QoS, Reliability and Modeling. London, United Kingdom.

Finding the shortest path in huge data traffic networks: A hybrid speed model CISTER-TR-160303
Yulong Duan, Changle Li, Yifeng Guo, Zhe Liu, Lina Zhu, Xiang Fei, Sana Ullah

IEEE International Conference on Communications (ICC 2015). 8 to 12, Jun, 2015. London, United Kingdom.

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 Pinho

11th 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.

XDense: A Dense Grid Sensor Network for Distributed Feature Extraction CISTER-TR-150401
João Loureiro, Raghu R., Eduardo Tovar

PDF Additional Files:

PDFPoster

XXXIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2015). 15 to 19, May, 2015, III Workshop de Comunicação em Sistemas Embarcados Críticos. Vitória, Brasil.

RoutesMobilityModel: easy realistic mobility simulation using external information services CISTER-TR-150302
Tiago Cerqueira, Michele Albano

PDF Additional Files:

PDFPresentation

Workshop on ns-3 (WNS '15). 13, May, 2015. Castelldefels, Spain.

Real-Time Fine-Grained Parallelism in Ada CISTER-TR-150404
Luis Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft

International 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 Souto

Work 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..

A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution CISTER-TR-141207
José Fonseca, Vincent Nélis, Gurulingesh Raravi, Luis Miguel Pinho

The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015). 13 to 17, Apr, 2015, Embedded Systems. Salamanca, Spain.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems CISTER-TR-151011
Geoffrey Nelissen, David Pereira, Luis Miguel Pinho

SEMINAR “ACtion Temps Réel : Infrastructures et Services Systèmes“. 10, Apr, 2015. Brussels, Belgium.

A Visual Programming Framework for Wireless Sensor Networks in Smart Home Applications CISTER-TR-150207
Maria Serna, Cormac J. Sreenan, Szymon Fedor

International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2015). 7 to 9, Apr, 2015. Singapore, Singapore.

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 Pinho

The 28th GI/ITG International Conference on Architecture of Computing Systems 2015 (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.

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

PDF 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.

Bringing Context Awareness to IoT-Based Wireless Sensor Networks CISTER-TR-150106
Shashank Gaur

IEEE International Conference on Pervasive Computing and Communications (PerCom). 23 to 27, Mar, 2015, PhD Forum. Saint Louis, U.S.A..

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs CISTER-TR-141102
Hazem Ali, Benny Åkesson, Luis Miguel Pinho

23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). 4 to 6, Mar, 2015. Turku, Finland.

On the Scalability of Constructive Interference in Low-Power Wireless Networks CISTER-TR-140525
Claro Noda, Carlos Pérez-Penichet, Balint Seeber, Marco Zennaro, Mário Alves, Adriano Moreira

12th European Conference on Wireless Sensor Networks (EWSN 2015). 9 to 11, Feb, 2015. Porto, Portugal.

A system model and stack for the parallelization of time-critical applications on many-core architectures CISTER-TR-141206
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Andrea Marongiu, Paolo Gai, Claudio Scordino

3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.

Conference or Workshop Posters/Demos

Using Quicktrace to collect runtime execution traces easily and automatically CISTER-TR-151208
Vincent Nélis, Luis Miguel Pinho

Demo in RTSS@Word Demo Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. U.S.A..

A module for the FTT-SE protocol in ns-3 CISTER-TR-150407
Fábio Oliveira, Ricardo Garibay-Martínez, Tiago Cerqueira, Michele Albano, Luis Lino Ferreira

PDF Additional Files:

PDFPresentation

Demo in Workshop on ns-3 (WNS3 2015). 13 to 14, May, 2015. Castelldefels, Spain.

A module for Data Centric Storage in ns-3 CISTER-TR-150408
Michele Albano, Tiago Cerqueira, Stefano Chessa

PDF Additional Files:

PDFPresentation

Demo in Workshop on ns-3 (WNS3 2015). 13 to 14, May, 2015. Castelldefels, Spain.

A module for the XDense architecture in ns-3 CISTER-TR-150409
João Loureiro, Michele Albano, Tiago Cerqueira, Raghu R., Eduardo Tovar

PDF Additional Files:

PDFPresentation

Demo in Workshop on ns-3 (WNS3 2015). 13 to 14, May, 2015. Castelldefels, Spain.

Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters CISTER-TR-150301
Dorin Maxim, Liliana Cucu-Grosjean

Poster presented in 12th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2015). 8 to 12, Jun, 2015. La Roche-en-Ardenne, Belgium.Extended abstract

Platform for Smart Car to Car Content Delivery: Results of CISTER Research Centre within CarCoDe project CISTER-TR-150605
Michele Albano, Tiago Cerqueira, Luis Lino Ferreira, Luis Miguel Pinho, Filipe Pacheco

Poster presented in Redes de Veiculos nas sociedades do futuro (RVSF 2015). 3, Jun, 2015. Castelo Branco, Portugal.

A Novel Runtime Monitoring Architecture CISTER-TR-150310
Geoffrey Nelissen, David Pereira, Luis Miguel Pinho

Poster 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 Pinto

Poster 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 Tovar

Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Portugal.

Dependable Embedded Wireless Infrastructure CISTER-TR-151210
Nuno Pereira

Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Portugal.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks CISTER-TR-151103
Cláudio Maia, Luis Miguel Nogueira, Patrick Meumeu Yomsi, Luis Miguel Pinho

PDF Additional Files:

PDFPoster

Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Poster/Demo Session Proceedings of the 12th European Conference on Wireless Sensor Networks (EWSN'15) CISTER-EWSN15P
Ricardo Severino, Vlado Handzisky, Raja Jurdak

Poster presented in 9, Feb, 2015.

Towards the Development of XDense, A Sensor Network for Dense Sensing CISTER-TR-150306
João Loureiro, Raghu R., Eduardo Tovar

Poster presented in 12th European Conference on Wireless Sensor Networks (EWSN 2015). 9 to 11, Feb, 2015, pp 23-24. Porto, Portugal.

A Modular Programming Approach for IoT-Based Wireless Sensor Networks CISTER-TR-150105
Shashank Gaur, Nuno Pereira, Vikram Gupta, Eduardo Tovar

Poster presented in 12th European Conference on Wireless Sensor Network (EWSN 2015). 9 to 11, Feb, 2015. Porto, Portugal.

Technical Reports

Errata for three papers (2004-05) on fixed-priority scheduling with self-suspensions CISTER-TR-150713
Konstantinos Bletsas, Neil Audsley, Wen-Hung Huang, Jian-Jia Chen, Geoffrey Nelissen

Jul 2015.Under submission to Leibniz Transactions on Embedded Systems.

Response time analysis of hard real-time tasks with STM transactions on multi-core platforms CISTER-TR-150501
António Barros, Patrick Meumeu Yomsi, Luis Miguel Pinho

1, May, 2015.

Hard real-time multiprocessor scheduling resilient to core failures CISTER-TR-150405
Borislav Nikolic, Konstantinos Bletsas, Stefan M. Petters

15, Apr, 2015.Technical report as a supplementary material for the rtcsa 2015 submission.

Technical Report: Holistic Analysis for Fork-Join Parallel Distributed Real-Time Tasks using the FTT-SE Protocol CISTER-TR-150102
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luis Miguel Pinho

12, Jan, 2015.

Previous Year Next Year

Short link for this page: www.cister.isep.ipp.pt/docs/Y2015/