Linkedin

Member

Antónia Lopes

Profile Picture of Antónia Lopes

ONGOING

Acronym Title Funding Entity Start Date End Date
DACOMICO Data Consistency in Microservices Compositions FCT 15/01/2022 14/01/2025
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 29/02/2024
RAP Resource Aware Programming FCT 13/01/2022 12/07/2023
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/01/2023

PAST

Acronym Title Funding Entity Start Date End Date
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020
Abyss Autonomic Byzantine Fault-Tolerant Systems FCT 01/07/2016 31/12/2019
CONFIDENT Communication Contracts for Distributed Systems Development FCT 01/05/2016 31/10/2019
NORTH Non-intrusive Observation and RunTime verification of cyber-pHysical systems FCT 01/01/2017 31/12/2018
SANS Self-Adaptating NoSQL Stores FCT 02/01/2015 01/01/2016
ARTS ARTS - Towards Autonomic Road Transport Support Systems COST ACTION 22/09/2011 31/10/2015
ADAAS ADAAS - Assuring Dependability in Architecture-based Adaptive Systems FCT 01/10/2010 31/03/2014
QUEST A Quest for Reliability in Generic Software Components FCT 01/01/2010 31/12/2012
AssertionTypes Assertion Types for Object-Oriented Programming FCT 01/01/2010 31/12/2011
REDICO Dynamic Reconfiguration of Communication Protocols FCT 01/10/2007 30/09/2010
SENSORIA SENSORIA - Software Engineering for Service-Oriented Overlay Computers EU FP6 01/09/2005 28/02/2010
to