Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 83



31
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
32
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
IN MY: ORCID
33
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
IN MY: ORCID
34
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
IN MY: ORCID
35
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
IN MY: ORCID
36
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
37
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
38
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
IN MY: ORCID
39
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: 4
IN MY: ORCID
40
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
IN MY: ORCID
Page 4 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