Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
21
TÃTULO: Algebraic semantics of service component modules
AUTORES: Fiadeiro, JL; Lopes, A ; Bocchi, L;
PUBLICAÇÃO: 2007, FONTE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
AUTORES: Fiadeiro, JL; Lopes, A ; Bocchi, L;
PUBLICAÇÃO: 2007, FONTE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXADO EM: 
Scopus 
WOS
Scopus WOS22
TÃTULO: Specifying and composing interaction protocols for service-oriented system modelling
AUTORES: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
AUTORES: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
INDEXADO EM: Scopus WOS
Scopus WOS23
TÃTULO: Adding mobility to software architectures Full Text
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2006, FONTE: 2nd International Workshop on Foundations-of-Coordination-Languages-and-Software-Architectures (FOCLASA 03) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 61, NÚMERO: 2
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2006, FONTE: 2nd International Workshop on Foundations-of-Coordination-Languages-and-Software-Architectures (FOCLASA 03) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 61, NÚMERO: 2
24
TÃTULO: A formal approach to event-based architectures
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Fundamental Approaches to Software Engineering in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3922
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Fundamental Approaches to Software Engineering in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3922
25
TÃTULO: A formal approach to service component architecture
AUTORES: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLICAÇÃO: 2006, FONTE: 3rd International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4184
AUTORES: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLICAÇÃO: 2006, FONTE: 3rd International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4184
INDEXADO EM: Scopus WOS
Scopus WOS26
TÃTULO: Algebraic semantics of design abstractions for context-awareness
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2005, FONTE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2005, FONTE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
INDEXADO EM: Scopus WOS
Scopus WOS27
TÃTULO: Context-awareness in software architectures
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2005, FONTE: 2nd European Workshop on Software Architecture in SOFTWARE ARCHITECTURE, PROCEEDINGS, VOLUME: 3527
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2005, FONTE: 2nd European Workshop on Software Architecture in SOFTWARE ARCHITECTURE, PROCEEDINGS, VOLUME: 3527
INDEXADO EM: Scopus WOS
Scopus WOS28
TÃTULO: Modelling the GSM handover protocol in commUnity
AUTORES: Oliveira, C; Wermelinger, M; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2005, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 141, NÚMERO: 3
AUTORES: Oliveira, C; Wermelinger, M; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2005, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 141, NÚMERO: 3
INDEXADO EM: Scopus 
CrossRef
Scopus CrossRef29
TÃTULO: Superposition: composition vs refinement of non-deterministic, action-based systems Full Text
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2004, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 16, NÚMERO: 1
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2004, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 16, NÚMERO: 1
30
TÃTULO: Enhancing dependability through flexible adaptation to changing requirements
AUTORES: Wermelinger, M; Koutsoukos, G; Lourenco, H; Avillez, R; Gouveia, J; Andrade, L; Fiadeiro, JL;
PUBLICAÇÃO: 2004, FONTE: ARCHITECTING DEPENDABLE SYSTEMS II, VOLUME: 3069
AUTORES: Wermelinger, M; Koutsoukos, G; Lourenco, H; Avillez, R; Gouveia, J; Andrade, L; Fiadeiro, JL;
PUBLICAÇÃO: 2004, FONTE: ARCHITECTING DEPENDABLE SYSTEMS II, VOLUME: 3069
INDEXADO EM: Scopus WOS
Scopus WOS