Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
21
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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef22
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
AUTHORS: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2008, SOURCE: Communications in Computer and Information Science, VOLUME: 17 CCIS
INDEXED IN: Scopus
Scopus23
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
24
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 WOS25
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 WOS26
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 WOS27
TITLE: Adding mobility to software architectures Full Text
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2006, SOURCE: 2nd International Workshop on Foundations-of-Coordination-Languages-and-Software-Architectures (FOCLASA 03) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 61, ISSUE: 2
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2006, SOURCE: 2nd International Workshop on Foundations-of-Coordination-Languages-and-Software-Architectures (FOCLASA 03) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 61, ISSUE: 2
28
TITLE: A formal approach to event-based architectures
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Fundamental Approaches to Software Engineering in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3922
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Fundamental Approaches to Software Engineering in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3922
29
TITLE: A formal approach to service component architecture
AUTHORS: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLISHED: 2006, SOURCE: 3rd International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4184
AUTHORS: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLISHED: 2006, SOURCE: 3rd International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4184
INDEXED IN: Scopus WOS
Scopus WOS30
TITLE: Algebraic semantics of design abstractions for context-awareness
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2005, SOURCE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2005, SOURCE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
INDEXED IN: Scopus WOS
Scopus WOS