Software and Systems Engineering Projects
Ongoing Projects
- AESOP - Autonomic Service Operation
- AI4EU - A European AI On Demand Platform and Ecosystem
- ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
- FireLoc - Where’s the Fire? - Identification, positioning and monitoring forest fires with crowdsourced data
- BASE - Biofeedback Augmented Software Engineering
- METRICS: Monitoring and Measuring the Trustworthiness of Critical Cloud Systems
- PoSeID-on, EU H2020 IA – Protection and control of Secured Information by means of a privacy enhanced Dashboard
- NanoSen-AQM - Development and field validation of a low-cost nano-sensor system for real-time monitoring of ambient air quality (PI: Bernardete Ribeiro; co-PI: Alberto Cardoso)
- 5G - Components and Services for 5G Networks (5G - Componentes e Serviços para Redes 5G)
- ATMOSPHERE Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud Computing
- ATMOSPHERE: Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud Computing.
- Focusing Education on Composability, Comprehensibility and Correctness of Working Software
- MobiWise: from mobile sensing to mobility advising
- ALIOT: Internet of Things: Emerging Curriculum for Industry and Human Applications
- GreenSoftwareLab: Towards an Engineering Discipline for Green Software
- DataScience4NP: Data Science for Non-Programmers
- H2020 ATENA (Advanced Tools to assEss and mitigate the criticality of ICT compoNents and their dependencies over Critical InfrAstructures)
- FCT/ CAPES - SORTS: Supporting the Orchestration of Resilient and Trustworthy Fog Services
Past Projects
- URBY.SENSE - Urban mobility analysis and prediction for non-routine scenarios using digital footprints. PTDC/ECM-TRA/6803/2014
- EUBrasilCloudFORUM: Fostering an International dialogue between Europe & Brazil
- EUBra-BIGSEA: Europe – Brazil Collaboration of BIG Data Scientific Research through Cloud-Centric Applications
- COST Action IC1402: Runtime Verification beyond Monitoring (ARVI)
- DECAF - An Exploratory Study of Distributed Cloud Application Failures
- DEVASSES: DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS
- CABRIOLET – Model-Oriented Approach and Intelligent Knowledge-Based System for Evolvable Academia-Industry Cooperation in Electronic and Computer Engineering
- V-SIS – Validação de Sistemas Críticos
- FEED - Free Energy Data
- iCIS - Intelligent Computing in the Internet of Services
- CECRIS – CErtification of CRItical Systems
- REUSE
- Menon@WS - Methodologies for the Development of Non-Vulnerable Web Services
- ADAAS: Assuring Dependability in Architecture-based Adaptive Systems
- TRONE: Trustworthy and Resilient Operations in a Network Environment (CMU-PT/RNQ/0015/2009)
- AFFIDAVIT - Automating the Proof of Quality Attributes for Large Scale Software Architectures
- A Modular and Hierarchical Approach to Software Reuse
- EDGI - European Desktop Grid Initiative
- HPCoLSI Project - High Performance Computing over the Large-Scale Internet
- TICE.MOBILIDADE - Sistemas de Mobilidade Centrado no Utilizador
- CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP)
- Critical-Step - Designing Large-Scale Safety-Critical Systems by using Off-The-Shelf software components
- AEMINIUM - Freeing Programmers from the Shackles of Sequentiality
- VIGILIS
- ICT FP7 GINSENG - Performance Control in Wireless Sensor Networks
- AMBER - Assessing, Measuring, and Benchmarking Resilience
- EPILEPSIAE- Evolving Platform for Improving Living Expectation of Patients
- EDGeS - Enabling Desktop Grids for e-Science
- Grid PFound - Distributed Data Warehouse for Protein Folding Experiments
- BiCEP - Benchmarking Complex Event Processing systems
- REVVIS – Rede de Especialistas em Verificação e Validação de Software
- ECA3RL - Sistema de Análise e Detecção de Fraude em Telecomunicações
- SOAM - Sistema de Optimização Automática de Modelos de Dados Multidimensionais
- ADW - Affordable Data Warehouses
- ADW - Affordable Data Warehouses
- SAID - Sistema de Análise Inteligente de Dados
- MATER
- WebBench - Dependability benchmarking for web-servers focusing on availability and security
- Data Warehousing using Open Source Technology: high performance at low infrastructure cost
- TACID - Timely ACID Transactions in DBMS
- AdaptDB: Auto-Adaptability of Database Server for QoS in Heterogeneous Environments
- ADAPT-DWPA: Auto-Adjustable Data Warehousing Parallel Architecture
- VAL-COTS-RT - Validation of Real-Time COTS products
- mCrash - Dependability Evaluation of Mobile Devices' System Software
- Dependability Benchmarking for Software Components
- Intelligent Data Processing for Dependability
- CoreGRID: the European Research Network on Foundations, Software Infrastructures and Applications for Large Scale Distributed, GRID and Peer-to-Peer Technologies
- RAIL - Runtime Assembly Instrumentation Library
- DWS Data Warehouse Striping
- DBench - Dependability Benchmarking
- M&M - Middleware Components for Mobile Agent Based Network Management