Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
41
TÃTULO: On local modularity and interpolation in entailment systems Full Text
AUTORES: Veloso, PAS; Fiadeiro, JL; Veloso, SRM;
PUBLICAÇÃO: 2002, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 82, NÚMERO: 4
AUTORES: Veloso, PAS; Fiadeiro, JL; Veloso, SRM;
PUBLICAÇÃO: 2002, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 82, NÚMERO: 4
42
TÃTULO: Coordination for orchestration
AUTORES: Andrade, LF; Fiadeiro, JL; Gouveia, J; Koutsoukos, G; Wermelinger, M;
PUBLICAÇÃO: 2002, FONTE: 5th International Conference on Coordination Models and Languages (COORDINATION 2002) in COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, VOLUME: 2315
AUTORES: Andrade, LF; Fiadeiro, JL; Gouveia, J; Koutsoukos, G; Wermelinger, M;
PUBLICAÇÃO: 2002, FONTE: 5th International Conference on Coordination Models and Languages (COORDINATION 2002) in COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, VOLUME: 2315
INDEXADO EM: 
WOS
WOS43
TÃTULO: An architectural approach to fault treatment in critical infrastructures
AUTORES: Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: 4th European Dependable Computing Conference in DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, VOLUME: 2485
AUTORES: Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: 4th European Dependable Computing Conference in DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, VOLUME: 2485
INDEXADO EM: 
Scopus WOS
Scopus WOS44
TÃTULO: Coordination contracts for Java applications
AUTORES: Gouveia, J; Koutsoukos, G; Wermelinger, M; Andrade, L; Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: 24th International Conference on Software Engineering in ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
AUTORES: Gouveia, J; Koutsoukos, G; Wermelinger, M; Andrade, L; Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: 24th International Conference on Software Engineering in ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
INDEXADO EM: Scopus WOS
Scopus WOS45
TÃTULO: An architectural approach to auto-adaptive systems
AUTORES: Andrade, L; Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS
AUTORES: Andrade, L; Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS
INDEXADO EM: WOS
WOS46
TÃTULO: Architectural primitives for distribution and mobility
AUTORES: Lopes, A ; Fiadeiro, JL; Wermelinger, M;
PUBLICAÇÃO: 2002, FONTE: Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
AUTORES: Lopes, A ; Fiadeiro, JL; Wermelinger, M;
PUBLICAÇÃO: 2002, FONTE: Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
INDEXADO EM: Scopus
Scopus47
TÃTULO: An Architectural Support for Self-Adaptive Software for Treating Faults
AUTORES: De Lemos, R; Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: Proceedings of the first Workshop on Self-Healing Systems (WOSS'02) in Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02)
AUTORES: De Lemos, R; Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: Proceedings of the first Workshop on Self-Healing Systems (WOSS'02) in Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02)
INDEXADO EM: Scopus
Scopus48
TÃTULO: Superposition: Composition vs refinement of non-deterministic, action-based systems
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 70, NÚMERO: 3
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2002, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 70, NÚMERO: 3
INDEXADO EM: Scopus
Scopus49
TÃTULO: Managing evolution in telecommunication systems
AUTORES: Koutsoukos, G; Gouveia, J; Andrade, L; Fiadeiro, JL;
PUBLICAÇÃO: 2001, FONTE: 3rd IFTIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS'2001) in NEW DEVELOPMENTS IN DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 70
AUTORES: Koutsoukos, G; Gouveia, J; Andrade, L; Fiadeiro, JL;
PUBLICAÇÃO: 2001, FONTE: 3rd IFTIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS'2001) in NEW DEVELOPMENTS IN DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 70
INDEXADO EM: WOS
WOS50
TÃTULO: A compositional approach to connector construction
AUTORES: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 2001, FONTE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
AUTORES: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 2001, FONTE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXADO EM: Scopus WOS
Scopus WOS