Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 83



41
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
IN MY: ORCID
42
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
43
TITLE: A use-case driven approach to formal service-oriented modelling
AUTHORS: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2008, SOURCE: Communications in Computer and Information Science, VOLUME: 17 CCIS
INDEXED IN: Scopus
44
TITLE: A Use-Case Driven Approach to Formal Service-Oriented Modelling
AUTHORS: Laura Bocchi; Jose Luiz Fiadeiro; Antonia Lopes ;
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
IN MY: ORCID
45
TITLE: Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications
AUTHORS: Andre L Santos ; Kai Koskimies; Antonia Lopes ;
PUBLISHED: 2008, SOURCE: 12th International Software Product Line Conference in SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID
46
TITLE: From BPEL to SRML: A formal transformational approach
AUTHORS: Bocchi, L; Hong, Y; Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2008, SOURCE: 4th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4937
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
47
TITLE: Modelling Adaptive Services for Distributed Systems
AUTHORS: Liliana Rosa; Antonia Lopes ; Luis Rodrigues ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
48
TITLE: Service-oriented modelling of automotive systems  Full Text
AUTHORS: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2008, SOURCE: 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 in Proceedings - International Computer Software and Applications Conference
INDEXED IN: Scopus CrossRef
IN MY: ORCID
49
TITLE: Algebraic semantics of service component modules
AUTHORS: Fiadeiro, JL; Lopes, A ; Bocchi, L;
PUBLISHED: 2007, SOURCE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXED IN: Scopus WOS
IN MY: ORCID
50
TITLE: An algebraic semantics of event-based architectures
AUTHORS: Fladeiro, JL; Lopes, A ;
PUBLISHED: 2007, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
Page 5 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