Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
41
TITLE: On local modularity and interpolation in entailment systems Full Text
AUTHORS: Veloso, PAS; Fiadeiro, JL; Veloso, SRM;
PUBLISHED: 2002, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 82, ISSUE: 4
AUTHORS: Veloso, PAS; Fiadeiro, JL; Veloso, SRM;
PUBLISHED: 2002, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 82, ISSUE: 4
42
TITLE: Coordination for orchestration
AUTHORS: Andrade, LF; Fiadeiro, JL; Gouveia, J; Koutsoukos, G; Wermelinger, M;
PUBLISHED: 2002, SOURCE: 5th International Conference on Coordination Models and Languages (COORDINATION 2002) in COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, VOLUME: 2315
AUTHORS: Andrade, LF; Fiadeiro, JL; Gouveia, J; Koutsoukos, G; Wermelinger, M;
PUBLISHED: 2002, SOURCE: 5th International Conference on Coordination Models and Languages (COORDINATION 2002) in COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, VOLUME: 2315
INDEXED IN: 
WOS
WOS43
TITLE: An architectural approach to fault treatment in critical infrastructures
AUTHORS: Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: 4th European Dependable Computing Conference in DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, VOLUME: 2485
AUTHORS: Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: 4th European Dependable Computing Conference in DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, VOLUME: 2485
INDEXED IN: 
Scopus WOS
Scopus WOS44
TITLE: Coordination contracts for Java applications
AUTHORS: Gouveia, J; Koutsoukos, G; Wermelinger, M; Andrade, L; Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: 24th International Conference on Software Engineering in ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
AUTHORS: Gouveia, J; Koutsoukos, G; Wermelinger, M; Andrade, L; Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: 24th International Conference on Software Engineering in ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
INDEXED IN: Scopus WOS
Scopus WOS45
TITLE: An architectural approach to auto-adaptive systems
AUTHORS: Andrade, L; Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS
AUTHORS: Andrade, L; Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS
INDEXED IN: WOS
WOS46
TITLE: Architectural primitives for distribution and mobility
AUTHORS: Lopes, A ; Fiadeiro, JL; Wermelinger, M;
PUBLISHED: 2002, SOURCE: 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
AUTHORS: Lopes, A ; Fiadeiro, JL; Wermelinger, M;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: Scopus
Scopus47
TITLE: An Architectural Support for Self-Adaptive Software for Treating Faults
AUTHORS: De Lemos, R; Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: 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)
AUTHORS: De Lemos, R; Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: 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)
INDEXED IN: Scopus
Scopus48
TITLE: Superposition: Composition vs refinement of non-deterministic, action-based systems
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 70, ISSUE: 3
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 70, ISSUE: 3
INDEXED IN: Scopus
Scopus49
TITLE: Managing evolution in telecommunication systems
AUTHORS: Koutsoukos, G; Gouveia, J; Andrade, L; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 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
AUTHORS: Koutsoukos, G; Gouveia, J; Andrade, L; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: WOS
WOS50
TITLE: A compositional approach to connector construction
AUTHORS: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
AUTHORS: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXED IN: Scopus WOS
Scopus WOS