Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 83



1
TITLE: Statically Checking REST API Consumers
AUTHORS: Burnay, N; Lopes, A ; Vasconcelos, VT ;
PUBLISHED: 2020, SOURCE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12310
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
2
TITLE: HeadREST: A Specification Language for RESTful APIs
AUTHORS: Vasco T Vasconcelos ; Francisco Martins; Antónia Lopes ; Nuno Burnay;
PUBLISHED: 2019, SOURCE: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, VOLUME: 11665
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
3
TITLE: Logics for Actor Networks: A two-stage constrained-hybridisation approach
AUTHORS: Fiadeiro, JL; Tutu, I; Lopes, A ; Pavlovic, D;
PUBLISHED: 2019, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXED IN: WOS CrossRef: 3
IN MY: ORCID
4
TITLE: Planning Workflow Executions when Using Spot Instances in the Cloud
AUTHORS: Martinez, RG; Lopes, A ; Rodrigues, L;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef: 8
IN MY: ORCID
5
TITLE: Dynamic networks of heterogeneous timed machines
AUTHORS: Fiadeiro, J; Lopes, A ; Delahaye, B; Legay, A;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
6
TITLE: Learning Non-Deterministic Impact Models for Adaptation
AUTHORS: Duarte, F; Gil, R; Romano, P ; Lopes, A ; Rodrigues, L;
PUBLISHED: 2018, SOURCE: 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)
INDEXED IN: Scopus WOS CrossRef: 7
7
TITLE: Logics for actor networks: A case study in constrained hybridization: A case study in constrained hybridization
AUTHORS: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus
8
TITLE: AUGURE: Proactive Reconfiguration of Cloud Applications using Heterogeneous Resources
AUTHORS: Martinez, RG; Li, ZM; Lopes, A ; Rodrigues, L;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef: 1
9
TITLE: Heterogeneous and asynchronous networks of timed systems
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 663
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID
10
TITLE: Adaptation impact and environment models for architecture-based self-adaptive systems
AUTHORS: Camara, J; Lopes, A ; Garlan, D; Schmerl, B;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 127
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 1 of 9. Total results: 83.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service