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
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
3
TITLE: Logics for Actor Networks: A two-stage constrained-hybridisation approach
AUTHORS: Jose Luiz Fiadeiro; Ionut Tutu; Antonia Lopes ; Dusko Pavlovic;
PUBLISHED: 2019, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXED IN: WOS
4
TITLE: Planning Workflow Executions when Using Spot Instances in the Cloud
AUTHORS: Richard Gil Martinez; Antonia Lopes ; Luis Rodrigues;
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
5
TITLE: Dynamic networks of heterogeneous timed machines
AUTHORS: Jose Fiadeiro; Antonia Lopes ; Benoit Delahaye; Axel Legay;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 6
INDEXED IN: WOS
6
TITLE: Learning Non-Deterministic Impact Models for Adaptation
AUTHORS: Francisco Duarte; Richard Gil; Paolo Romano ; Antonia Lopes ; Luis Rodrigues;
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
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
9
TITLE: Heterogeneous and asynchronous networks of timed systems  Full Text
AUTHORS: Jose L Fiadeiro; Antonia Lopes ;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 663
INDEXED IN: WOS
10
TITLE: Adaptation impact and environment models for architecture-based self-adaptive systems  Full Text
AUTHORS: Camara, J; Lopes, A ; Garlan, D; Schmerl, B;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 127
INDEXED IN: WOS CrossRef
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