Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 96



21
TITLE: A timed component algebra for services
AUTHORS: Delahaye, B; Fiadeiro, JL; Legay, A; Lopes, A ;
PUBLISHED: 2013, SOURCE: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7892 LNCS
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
22
TITLE: An interface theory for service-oriented design  Full Text
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2013, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 503
INDEXED IN: Scopus WOS CrossRef: 11
IN MY: ORCID | CIÊNCIAVITAE
23
TITLE: Assurances for Self-Adaptive Systems
AUTHORS: Javier Cámara; Rogério de Lemos; Carlo Ghezzi; Antónia Lopes ;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 15
IN MY: ORCID | CIÊNCIAVITAE
24
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Camara, J; De Lemos, R; Ghezzi, C; Lopes, A ;
PUBLISHED: 2013, SOURCE: ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems, ASAS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7740 LNCS
INDEXED IN: Scopus
25
TITLE: Self-Management of Adaptable Component-Based Applications  Full Text
AUTHORS: Liliana Rosa; Luis Rodrigues ; Antonia Lopes ; Matti Hiltunen; Richard Schlichting;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 39, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 28
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: Self-management of distributed systems using high-level goal policies
AUTHORS: Rosa, L; Rodrigues, L ; Lopes, A ;
PUBLISHED: 2013, SOURCE: International Seminar on Software Engineering for Self-Adaptive Systems II in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7475 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
27
TITLE: Software engineering for self-adaptive systems: A second research roadmap
AUTHORS: De Lemos, R; Giese, H; Muller, HA; Shaw, M; Andersson, J; Litoiu, M; Schmerl, B; Tamura, G; Villegas, NM; Vogel, T; Weyns, D; Baresi, L; Becker, B; Bencomo, N; Brun, Y; Cukic, B; Desmarais, R; Dustdar, S; Engels, G; Geihs, K; Goschka, KM; Gorla, A; Grassi, V; Inverardi, P; Karsai, G; Kramer, J; Lopes, A ; Magee, J; Malek, S; Mankovskii, S; Mirandola, R; Mylopoulos, J; Nierstrasz, O; Pezze, M; Prehofer, C; Schafer, W; Schlichting, R; Smith, DB; Sousa, JP; Tahvildari, L; Wong, K; Wuttke, J; ...More
PUBLISHED: 2013, SOURCE: International Seminar on Software Engineering for Self-Adaptive Systems II in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7475 LNCS
INDEXED IN: Scopus CrossRef: 276
IN MY: ORCID | CIÊNCIAVITAE
28
TITLE: A formal model for service-oriented interactions  Full Text
AUTHORS: Jose Fiadeiro; Antonia Lopes ; Joao Abreu;
PUBLISHED: 2012, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: A graph-based design framework for services
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2012, SOURCE: 6th International Conference on Graph Transformations, ICGT 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7562 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
30
TITLE: A Problem-Solving Environment for reinforcement distribution characterization in composites using tomographic images
AUTHORS: Velhinho, A; Lopes, A ; Preto, B; Birra, F; Encarnacao, M; Oliveira, N; Quaresma, P; Medeiros, P; Ferreira, S;
PUBLISHED: 2012, SOURCE: Ciencia e Tecnologia dos Materiais, VOLUME: 24, ISSUE: 3-4
INDEXED IN: Scopus
Page 3 of 10. Total results: 96.

footer slogan

Useful Links

Get Help

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