A digital service from FCT Publication
Towards Continuous Certification of Software Systems for Aerospace
| Subject: | Engenharia electrotécnica, electrónica e informática Electrical engineering, Electronic engineering, Information engineering |
|---|---|
| Year: | 2028 |
| Country: | Portugal |
| Document type: | doctoral thesis |
| Access type: | Restricted |
| Associated institution: | Repositório Aberto da Universidade do Porto |
| Language: | English |
| Origin: | Repositório Aberto da Universidade do Porto |
Similar Items
A testing and certification methodology for an open Ambient-Assisted Living ecosystem
Towards Timing Analysis of Multi-core Platforms for Hard Real-Time Systems
Serious Game for learning about Software Architecture and Design
Towards Interpretable Unbiased Behavioral Pattern Recognition
Towards Automated Server-side Video Game Cheat Detection
Towards DevOps: Practices and Patterns from the Portuguese Startup Scene
Towards Reproducible and Privacy-preserving Analyses Across Federated Repositories for Omics data
Digitizing Patient Preferences in Palliative Care: A Step towards Personalized Care
Published: (2026)
Published: (2026)
Intelligent Transportation Systems
Optimization and Simulation of Manufacturing Systems
Subthreshold SRAM for IoT Systems
Development of an Open-Source Data-to-Text System
Automatic Marker Labelling For MoCap Systems
A recongurable computing system for an autonomous sailboat
Self-Quantification Web and Mobile System for Parkinson Patients
Management system for photovoltaic plants in a DBOX environment
Published: (2027)
Published: (2027)
A Collaborative Approach to Fault Tolerance in Cyber-Physical Systems
Dissecting Fact-Checking Systems: The Impact of Evidence Extraction Methods
Designing and Building A Microservices-Based Time Series Forecasting System
Monitoring a Mobile Ticketing System Based on NFC and BLE Beacons
Using fuzzy sets to evaluate the performance of complex system when parameters are uncertain
An Embedded System Exploiting Multi-Domain Urban Maps to Support Safer Cycling
A Decision Support System for Online Pricing and Fleet Management in Car Rental Companies
Assessment of frequency stability behaviour regarding inertia reduction due to high renewable integration in the Iberian system
UPWIND - Converter connecting the DC bus to a single-phase power grid of an Airborne Wind Energy System
Smart Home Energy Management considering Electric Vehicles, Renewable Energy Sources, Energy Storage Systems and Demand Response
Published: (2027)
Published: (2027)
A Quality-of-Service (QoS) based approach for the communication support in network-based control systems: an on-going project
A market based active/reactive dispatch including transformer taps and reactor and capacitor banks using simulated annealing
Static transmission expansion planning using Heuristic and metaheuristic techniques
FPGA architectures for reconfigurable computing
A design and simulation of a Brazilian bid based short-term electricity market
Using Causal Inference to Measure Residential Consumers Demand Response Elasticity
Bidirectional DC-DC converter with high frequency isolation for V2G applications
Remote Boundary-Scan Testbench with Extended SFV Commands
Development of a chat-bot based on Generative AI for Fleet Management
Published: (2028)
Published: (2028)
A Gamified Approach to Training Caregivers of Stroke Survivors
Published: (2028)
Published: (2028)
desenvolvimento de mecanismos de biofeedback num ambiente procedimental através de sensores biométricos
An Approach of a Research Tool based in a Shamanic Interface
Optical Character Recognition of Alphanumeric Codes of Ceramic Bowls used in Lost-wax Casting
Carotid Lumen Segmentation using a Neural Network Approach