Research Lines •
|Behavioral Next Generation in Wireless Networks for Cyber Security
|A holistic design of secure vehicular networks: communications, data caching and blockchain services
|Self Assessment Towards Optimization of Building Energy
|Connecting Education and Research Communities for an Innovative Resource Aware Society
|Smartness to existing Buildings
|Very Efficient Deep Learning IoT platform
|Adaptive, dynamically morphing, mission and safety-critical CPS
|Dependable Monitoring with Wireless Sensor Networks in Water Environments
|Robust hardwarE-based Defences against Buffer Overflows and Other cybersecurity attacKs
|Decentralization and Optimization of IoT aware business processes
|Autonomic Byzantine Fault-Tolerant Systems
|Non-intrusive Observation and RunTime verification of cyber-pHysical systems
|Runtime Verification beyond Monitoring
|Ecological Mapping is a mobile application that is used by experts and scientists to better understand the ecological landscape of urban parks and gardens.
|VisuaLeague III - Visual Analytics of Multiple Games
|Prototype for analyzing League of Legend games of professional teams using visualization and clustering techniques.
|Play JBT – Mobile Application for the Tropical Botanical Garden of Lisbon
|Mobile application (Android and iOS), which acts mainly as a helping guide for visitors of the Lisbon Tropical Botanical Garden.
|This work aims to continue ARWithMaps, which implements techniques of visualization of points of interest in Augmented Reality including clues to points of interest outside the field of view and using maps.
|RoseTrajVis - is a system for analyzing trajectories using graphics inspired in wind roses
|A broadcast algorithm for mobile ad hoc networks
|Produces bonnmotion traces from the eduroam records collected by the Instituto Politécnico de Lisboa
|KeyManager: admins management tool
|A software package that facilitates the management of individual logins for system administrators of Linux servers
|An extensible interoperable object-oriented n-Level hierarchical scheduling simulator
|A framework for automatic and dependable adaptation in dynamic environments
|A layered communication toolkit