Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
11
TÃTULO: An Interface Theory for Service-Oriented Design Full Text
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2011, FONTE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2011, FONTE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603
12
TÃTULO: The sensoria reference modelling language
AUTORES: Fiadeiro, J; Lopes, A ; Bocchi, L; Abreu, J;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
AUTORES: Fiadeiro, J; Lopes, A ; Bocchi, L; Abreu, J;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef13
TÃTULO: Analysing time-related properties of service-oriented systems
AUTORES: Bocchi, L; Fiadeiro, J; Solanki, M; Gilmore, S; Abreu, J; Vankayala, V;
PUBLICAÇÃO: 2011, FONTE: Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions
AUTORES: Bocchi, L; Fiadeiro, J; Solanki, M; Gilmore, S; Abreu, J; Vankayala, V;
PUBLICAÇÃO: 2011, FONTE: Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions
INDEXADO EM: Scopus CrossRef
Scopus CrossRef14
TÃTULO: A Model for Dynamic Reconfiguration in Service-Oriented Architectures Full Text
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2010, FONTE: 4th European Conference on Software Architecture in SOFTWARE ARCHITECTURE, VOLUME: 6285
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2010, FONTE: 4th European Conference on Software Architecture in SOFTWARE ARCHITECTURE, VOLUME: 6285
15
TÃTULO: A Use-Case Driven Approach to Formal Service-Oriented Modelling
AUTORES: Laura Bocchi; Jose Luiz Fiadeiro; Antonia Lopes ;
PUBLICAÇÃO: 2008, FONTE: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, VOLUME: 17
AUTORES: Laura Bocchi; Jose Luiz Fiadeiro; Antonia Lopes ;
PUBLICAÇÃO: 2008, FONTE: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, VOLUME: 17
INDEXADO EM: Scopus 
WOS
Scopus WOS16
TÃTULO: From BPEL to SRML: A formal transformational approach
AUTORES: Bocchi, L; Hong, Y; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2008, FONTE: 4th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4937
AUTORES: Bocchi, L; Hong, Y; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2008, FONTE: 4th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4937
17
TÃTULO: Service-oriented modelling of automotive systems Full Text
AUTORES: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2008, FONTE: 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 in Proceedings - International Computer Software and Applications Conference
AUTORES: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2008, FONTE: 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 in Proceedings - International Computer Software and Applications Conference
INDEXADO EM: Scopus CrossRef
Scopus CrossRef18
TÃTULO: A use-case driven approach to formal service-oriented modelling
AUTORES: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2008, FONTE: Communications in Computer and Information Science, VOLUME: 17 CCIS
AUTORES: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2008, FONTE: Communications in Computer and Information Science, VOLUME: 17 CCIS
INDEXADO EM: Scopus
Scopus19
TÃTULO: An algebraic semantics of event-based architectures
AUTORES: Fladeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, NÚMERO: 5
AUTORES: Fladeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, NÚMERO: 5
20
TÃTULO: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTORES: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; ...Mais
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6
AUTORES: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; ...Mais
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6
INDEXADO EM: Scopus WOS
Scopus WOS