Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 83



1
TÍTULO: Statically Checking REST API Consumers
AUTORES: Burnay, N; Lopes, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2020, FONTE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12310
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
2
TÍTULO: HeadREST: A Specification Language for RESTful APIs
AUTORES: Vasco T Vasconcelos ; Francisco Martins; Antónia Lopes ; Nuno Burnay;
PUBLICAÇÃO: 2019, FONTE: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, VOLUME: 11665
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
3
TÍTULO: Logics for Actor Networks: A two-stage constrained-hybridisation approach
AUTORES: Fiadeiro, JL; Tutu, I; Lopes, A ; Pavlovic, D;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXADO EM: WOS CrossRef: 3
NO MEU: ORCID
4
TÍTULO: Planning Workflow Executions when Using Spot Instances in the Cloud
AUTORES: Martinez, RG; Lopes, A ; Rodrigues, L;
PUBLICAÇÃO: 2019, FONTE: 34th ACM/SIGAPP Annual International Symposium on Applied Computing (SAC) in SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, VOLUME: Part F147772
INDEXADO EM: Scopus WOS CrossRef: 8
NO MEU: ORCID
5
TÍTULO: Dynamic networks of heterogeneous timed machines
AUTORES: Fiadeiro, J; Lopes, A ; Delahaye, B; Legay, A;
PUBLICAÇÃO: 2018, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
6
TÍTULO: Learning Non-Deterministic Impact Models for Adaptation
AUTORES: Duarte, F; Gil, R; Romano, P ; Lopes, A ; Rodrigues, L;
PUBLICAÇÃO: 2018, FONTE: 13th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) in 2018 IEEE/ACM 13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS)
INDEXADO EM: Scopus WOS CrossRef: 7
7
TÍTULO: Logics for actor networks: A case study in constrained hybridization: A case study in constrained hybridization
AUTORES: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
INDEXADO EM: Scopus
8
TÍTULO: AUGURE: Proactive Reconfiguration of Cloud Applications using Heterogeneous Resources
AUTORES: Martinez, RG; Li, ZM; Lopes, A ; Rodrigues, L;
PUBLICAÇÃO: 2017, FONTE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January
INDEXADO EM: Scopus WOS CrossRef: 1
9
TÍTULO: Heterogeneous and asynchronous networks of timed systems
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 663
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID
10
TÍTULO: Adaptation impact and environment models for architecture-based self-adaptive systems
AUTORES: Camara, J; Lopes, A ; Garlan, D; Schmerl, B;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 127
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 1 de 9. Total de resultados: 83.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service