Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 95



41
TITLE: User involvement in cleaning applications data
AUTHORS: Helena Galhardas ; Antonia Lopes ; Emanuel Santos;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I
INDEXED IN: WOS
42
TITLE: Workshop on assurances for self-adaptive systems (ASAS 2011)
AUTHORS: Camara, J; De Lemos, R; Ghezzi, C; Lopes, A ;
PUBLISHED: 2011, SOURCE: 19th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT/FSE'11 in SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering
INDEXED IN: Scopus CrossRef
IN MY: ORCID
43
TITLE: A Model for Dynamic Reconfiguration in Service-Oriented Architectures  Full Text
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2010, SOURCE: 4th European Conference on Software Architecture in SOFTWARE ARCHITECTURE, VOLUME: 6285
INDEXED IN: Scopus WOS CrossRef: 13
IN MY: ORCID
44
TITLE: Automating the construction of domain-specific modeling languages for object-oriented frameworks  Full Text
AUTHORS: Andre L Santos ; Kai Koskimies; Antonia Lopes ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 83, ISSUE: 7
INDEXED IN: Scopus WOS CrossRef: 9
IN MY: ORCID
45
TITLE: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming  Full Text
AUTHORS: Isabel Nunes; Antonia Lopes ; Vasco T Vasconcelos ;
PUBLISHED: 2009, SOURCE: 9th International Workshop on Runtime Verification in RUNTIME VERIFICATION, VOLUME: 5779
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
46
TITLE: Formal techniques for distributed systems: Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009 lisboa, portugal, june 9-12, 2009 proceedings
AUTHORS: David Lee; Antónia Lopes ; Arnd Poetzsch Heffter;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
INDEXED IN: Scopus
IN MY: ORCID
47
TITLE: From Local Impact Functions to Global Adaptation of Service Compositions
AUTHORS: Liliana Rosa; Luis Rodrigues ; Antonia Lopes ; Matti Hiltimen; Richard Schlichting;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Stabilization, Safety and Security of Distributed Systems in STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, VOLUME: 5873
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
48
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Lee, D; Lopes, A ; Poetzsch Heffter, A;
PUBLISHED: 2009, SOURCE: 11th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009 and 29th International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522 LNCS
INDEXED IN: Scopus
IN MY: ORCID
49
TITLE: Preface
AUTHORS: David Lee; Antónia Lopes ; Arnd Poetzsch Heffter;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
INDEXED IN: Scopus
IN MY: ORCID
50
TITLE: A Use-Case Driven Approach to Formal Service-Oriented Modelling
AUTHORS: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2008, SOURCE: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, VOLUME: 17
INDEXED IN: Scopus WOS
Page 5 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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