Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
11
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
12
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
13
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 CrossRef14
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
15
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
16
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
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
17
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
AUTHORS: Fladeiro, JL; Lopes, A ;
PUBLISHED: 2007, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, ISSUE: 5
18
TITLE: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTHORS: 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; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6
AUTHORS: 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; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus 
WOS
Scopus WOS19
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
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
Scopus WOS20
TITLE: Specifying and composing interaction protocols for service-oriented system modelling
AUTHORS: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2007, SOURCE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
AUTHORS: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2007, SOURCE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
INDEXED IN: Scopus WOS
Scopus WOS