Publications

Publications by HASLAB

2018

Benchmarking Pub/Sub IoT middleware platforms for smart services

Authors
Pereira, C; Cardoso, J; Aguiar, A; Morla, R;

Publication
Journal of Reliable Intelligent Environments

Abstract

2018

Systems and methods for SPIT detection in VoIP: Survey and future directions

Authors
Azad, MA; Morla, R; Salah, K;

Publication
Computers & Security

Abstract

2018

A Modular Tool for Benchmarking loT Publish-Subscribe Middleware

Authors
Zilhao, L; Morla, R; Aguiar, A;

Publication
19th IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks", WoWMoM 2018, Chania, Greece, June 12-15, 2018

Abstract

2018

Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018

Authors
Oliveira, R; Felber, P; Hu, YC;

Publication
EuroSys

Abstract

2018

K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework

Authors
Alam, MI; Halder, R; Goswami, H; Pinto, JS;

Publication
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018.

Abstract

2018

Runtime verification of autopilot systems using a fragment of MTL-?

Authors
Pedro, AD; Pinto, JS; Pereira, D; Pinho, LM;

Publication
International Journal on Software Tools for Technology Transfer

Abstract
Current real-time embedded systems development frameworks lack support for the verification of properties using explicit time where counting time (i.e., durations) may play an important role in the development process. Focusing on the real-time constraints inherent to these systems, we present a framework that addresses the specification of duration properties for runtime verification by employing a fragment of metric temporal logic with durations. We also provide an overview of the framework, the synthesis tools, and the library to support monitoring properties for real-time systems developed in C++11. The results obtained provide clear evidence of the feasibility and advantages of employing a duration-sensitive formalism to increase the dependability of avionic controller systems such as the PX4 and the Ardupilot flight stacks. © 2017 Springer-Verlag GmbH Germany

CloseRead Abstract