Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 95



31
TITLE: Specification-driven unit test generation for java generic classes
AUTHORS: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
32
TITLE: An abstract model of service discovery and binding  Full Text
AUTHORS: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLISHED: 2011, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 23, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef: 20
IN MY: ORCID
33
TITLE: An Interface Theory for Service-Oriented Design  Full Text
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
34
TITLE: ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems: Foreword
AUTHORS: Camara, J; Lopes, A ; De Lemos, R; Ghezzi, C;
PUBLISHED: 2011, SOURCE: 8th Workshop on Assurances for Self-Adaptive Systems, ASAS'11 in ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems
INDEXED IN: Scopus
IN MY: ORCID
35
TITLE: Extending data cleaning graphs for supporting user involvement
AUTHORS: Galhardas, H ; Lopes, A ; Santos, E;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: Scopus
IN MY: ORCID
36
TITLE: Formal Modelling of Service-Oriented Systems
AUTHORS: Antonia Lopes ;
PUBLISHED: 2011, SOURCE: 1st International Conference on Model and Data Engineering (MEDI 2011) in MODEL AND DATA ENGINEERING, VOLUME: 6918
INDEXED IN: WOS
37
TITLE: Goal-oriented self-management of in-memory distributed data grid platforms
AUTHORS: Rosa, L; Rodrigues, L ; Lopes, A ;
PUBLISHED: 2011, SOURCE: 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011 in Proceedings - 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
38
TITLE: Runtime Verification for Generic Classes with CONGU2  Full Text
AUTHORS: Crispim, P; Lopes, A ; Vasconcelos, VT ;
PUBLISHED: 2011, SOURCE: 13th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, VOLUME: 6527
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
39
TITLE: Support for User Involvement in Data Cleaning
AUTHORS: Helena Galhardas ; Antónia Lopes ; Emanuel Santos;
PUBLISHED: 2011, SOURCE: 13th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2011 in Data Warehousing and Knowledge Discovery - 13th International Conference, DaWaK 2011, Toulouse, France, August 29-September 2,2011. Proceedings, VOLUME: 6862
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
40
TITLE: The sensoria reference modelling language
AUTHORS: Fiadeiro, J; Lopes, A ; Bocchi, L; Abreu, J;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus CrossRef: 11
IN MY: ORCID
Page 4 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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