Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
11
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
AUTHORS: Jose Fiadeiro; Antonia Lopes ; Joao Abreu;
PUBLISHED: 2012, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, ISSUE: 5
12
TITLE: Consistency of Service Composition
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, VOLUME: 7212
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, VOLUME: 7212
13
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
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
Scopus CrossRef14
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
AUTHORS: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLISHED: 2011, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 23, ISSUE: 4
15
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
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
16
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
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
Scopus CrossRef17
TITLE: Analysing time-related properties of service-oriented systems
AUTHORS: Bocchi, L; Fiadeiro, J; Solanki, M; Gilmore, S; Abreu, J; Vankayala, V;
PUBLISHED: 2011, SOURCE: Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions
AUTHORS: Bocchi, L; Fiadeiro, J; Solanki, M; Gilmore, S; Abreu, J; Vankayala, V;
PUBLISHED: 2011, SOURCE: Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions
INDEXED IN: Scopus CrossRef
Scopus CrossRef18
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
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2010, SOURCE: 4th European Conference on Software Architecture in SOFTWARE ARCHITECTURE, VOLUME: 6285
19
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
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
Scopus WOS20
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
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
