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 31/08/2024

PAST

Acronym Title Funding Entity Start Date End Date
RAP Resource Aware Programming FCT 13/01/2022 12/01/2024
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/01/2023
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
Nuno BurnayAntónia LopesVasco T. VasconcelosStatically Checking REST API Consumers. In Software Engineering and Formal Methods,Lecture Notes in Computer Science, pages 265-283. Springer International Publishing, 2020 [Biblios]
José Luiz FiadeiroIonu? ?u?uAntónia LopesDusko PavlovicLogics for Actor Networks: A two-stage constrained-hybridisation approach. Journal of Logical and Algebraic Methods in Programming, 106, Elsevier BV, 2019 [Biblios]
Vasco T. VasconcelosFrancisco MartinsAntónia LopesNuno BurnayHeadREST: A Specification Language for RESTful APIs, In Models, Languages, and Tools for Concurrent and Distributed Programming,Lecture Notes in Computer Science, pages 428 - 434. Springer International Publishing, 2019 [Biblios]
Ionut TutuClaudia Elena ChiritaAntónia LopesJosé Luiz FiadeiroLogical Support for Bike-Sharing System Design, In From Software Engineering to Formal Methods and Tools, and Back,Lecture Notes in Computer Science, pages 152 - 171. Springer International Publishing, 2019 [Biblios]
Richard Gil MartinezAntónia LopesLuís RodriguesPlanning workflow executions when using spot instances in the cloud. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19. ACM Press, 2019 [Biblios]
Vasco T. VasconcelosFrancisco MartinsAntónia LopesNuno BurnayHeadREST: A Specification Language for RESTful APIs, In Models, Languages, and Tools for Concurrent and Distributed Programming,Lecture Notes in Computer Science, pages 428 - 434. Springer International Publishing, 2019 [Biblios]
Francisco DuarteRichard GilPaolo RomanoAntónia LopesLuís RodriguesLearning non-deterministic impact models for adaptation. In Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '18. ACM Press, 2018 [Biblios]
José FiadeiroIonu? ?u?uAntónia LopesDusko PavlovicLogics for Actor Networks: A Case Study in Constrained Hybridization, In Lecture Notes in Computer Science, pages 98 - 114. Springer International Publishing, 2018 [Biblios]
Richard Gil MartinezZhongmiao LiAntonia LopesLuis RodriguesAugure: Proactive reconfiguration of cloud applications using heterogeneous resources. In 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA). IEEE, 2017 [Biblios]
JOSÉ FIADEIROANTÓNIA LOPESBENOÎT DELAHAYEAXEL LEGAYDynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science, 28(06):800-855, Cambridge University Press (CUP), 2017 [Biblios]
José L. FiadeiroAntónia LopesHeterogeneous and asynchronous networks of timed systems. Theoretical Computer Science, 663, Elsevier BV, 2017 [Biblios]
Richard Gil MartinezAntónia LopesLuís RodriguesAutomated generation of policies to support elastic scaling in cloud environments. In Proceedings of the Symposium on Applied Computing - SAC '17. ACM Press, 2017 [Biblios]
Benoît DelahayeJosé Luiz FiadeiroAxel LegayAntónia LopesHeterogeneous Timed Machines. In 11th International Colloquium om Theoretical Aspects of Computing (ICTAC), pages 115-132, 2014 [Biblios]
José Luiz FiadeiroAntónia LopesAn interface theory for service-oriented design. Theoretical Computer Science, 503, Elsevier BV, 2013 [Biblios]
Y.BrunR.DesmaraisK.GeihsM.LitoiuAntónia LopesM. ShawM. SmithA Design Space for Adaptive Systems, In Software Engineering for Self-Adaptive Systems II. Springer-Verlag Berlin Heidelberg, 2013 [Biblios]
J.L.FiadeiroA.LopesJ.AbreuA Formal Model for Service-Oriented Interactions. SCIENCE OF COMPUTER PROGRAMMING, 77, 2012 [Biblios]
José Luiz FiadeiroAntónia LopesModel for Dynamic Reconfiguration in Service-oriented Architectures. In Proceedings of 4th European Conference on Software Architectures (ECSA 2010), 2010 [Biblios]
L.RosaL.RodriguesAntónia LopesM. HiltunenR.SchlichtFrom Local Impact Functions to Global Adaptations of Service Compositions. In 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), 2009 [Biblios]
Isabel NunesAntónia LopesVasco T. VasconcelosBridging the Gap between Algebraic Specification and Object-oriented Generic Programming. In 9th International Workshop on Runtime Verification, pages 115-131(5779). Springer Berlin Heidelberg, 2009 [Biblios]
Vasco T. VasconcelosIsabel NunesAntónia LopesNuno RamiroPedro CrispimRuntime checking Java code using ConGu. In International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008 [Biblios]
Vasco T. VasconcelosIsabel NunesAntonia LopesMonitoring Java code using ConGu. In 19th International Workshop on Algebraic Development Techniques, 2008 [Biblios]
Liliana RosaAntónia LopesLuís RodriguesModelling Adaptive Services for Distributed Systems. In ACM Symposium on Applied Computing (SAC 2008), 2008 [Biblios]
Laura BocchiJosé Luiz FiadeiroAntónia LopesService-Oriented Modelling of Automotive Systems. In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), pages 1059-1064, 2008 [Biblios]
Carreira P.H. GalhardasA. LopesJ. PereiraOne-to-many transformation through data mappers. DATA & KNOWLEDGE ENGINEERING, 62(3):483-503, 2007 [Biblios]
Liliana RosaLuís RodriguesAntónia LopesA Framework to Support Multiple Reconfiguration Strategies. In First International Conference on Autonomic Computing and Communication Systems, 2007 [Biblios]
Liliana RosaLuís RodriguesAntónia LopesBuilding Adaptive Systems with Service Composition Frameworks. In International Conference on Distributed Objects and Applications, 2007 [Biblios]
André Leal SantosAntónia LopesKai KoskimiesFramework Specialization Aspects. In 6th International Conference on Aspect-Oriented Software Development, 2007 [Biblios]
J. L. FiadeiroAntónia LopesA Categorical Semantics of Event-based Architectures. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 17(5):1029-1073, 2007 [Biblios]
José MocitoLiliana RosaNuno AlmeidaHugo MirandaLuís RodriguesAntónia LopesContext Adaptation of the Communication Stack. INTERNATIONAL JOURNAL OF PARALLEL, EMERGENT AND DISTRIBUTED SYSTEMS, 21(3):169-181, Informa UK Limited, 2006 [Biblios]
Isabel NunesAntónia LopesVasco VasconcelosJoão AbreuLuís S. ReisChecking the Conformance of Java Classes Against Algebraic Specifications, In Formal Methods and Software Engineering,Lecture Notes in Computer Science, pages 494 - 513. Springer Berlin Heidelberg, 2006 [Biblios]
José MocitoLiliana RosaNuno AlmeidaHugo MirandaLuís RodriguesAntónia LopesContext Adaptation of the Communication Stack. In Third International Workshop on Mobile Distributed Computing (MDC'05), in conjunction with the 25th International Conference on Distributed Computing Systems (ICDCS-25). IEEE, 2005 [Biblios]