Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
31
TITLE: Context-awareness in software architectures
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2005, SOURCE: 2nd European Workshop on Software Architecture in SOFTWARE ARCHITECTURE, PROCEEDINGS, VOLUME: 3527
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2005, SOURCE: 2nd European Workshop on Software Architecture in SOFTWARE ARCHITECTURE, PROCEEDINGS, VOLUME: 3527
INDEXED IN: 
Scopus 
WOS
Scopus WOS32
TITLE: Modelling the GSM handover protocol in commUnity
AUTHORS: Oliveira, C; Wermelinger, M; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2005, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 141, ISSUE: 3
AUTHORS: Oliveira, C; Wermelinger, M; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2005, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 141, ISSUE: 3
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef33
TITLE: Superposition: composition vs refinement of non-deterministic, action-based systems Full Text
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2004, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 16, ISSUE: 1
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2004, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 16, ISSUE: 1
34
TITLE: Enhancing dependability through flexible adaptation to changing requirements
AUTHORS: Wermelinger, M; Koutsoukos, G; Lourenco, H; Avillez, R; Gouveia, J; Andrade, L; Fiadeiro, JL;
PUBLISHED: 2004, SOURCE: ARCHITECTING DEPENDABLE SYSTEMS II, VOLUME: 3069
AUTHORS: Wermelinger, M; Koutsoukos, G; Lourenco, H; Avillez, R; Gouveia, J; Andrade, L; Fiadeiro, JL;
PUBLISHED: 2004, SOURCE: ARCHITECTING DEPENDABLE SYSTEMS II, VOLUME: 3069
INDEXED IN: Scopus WOS
Scopus WOS35
TITLE: An architectural approach to mobility - The handover case study
AUTHORS: Oliveira, C; Wermelinger, M; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2004, SOURCE: 4th Working IEEE/IFIP Conference on Software Architecture (WICSA-4) in FOURTH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA 2004), PROCEEDINGS
AUTHORS: Oliveira, C; Wermelinger, M; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2004, SOURCE: 4th Working IEEE/IFIP Conference on Software Architecture (WICSA-4) in FOURTH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA 2004), PROCEEDINGS
36
TITLE: Adding mobility to software architectures
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2004, SOURCE: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003 in Electronic Notes in Theoretical Computer Science, VOLUME: 97
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2004, SOURCE: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003 in Electronic Notes in Theoretical Computer Science, VOLUME: 97
INDEXED IN: Scopus CrossRef
Scopus CrossRef37
TITLE: Higher-order architectural connectors Full Text
AUTHORS: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 2003, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 12, ISSUE: 1
AUTHORS: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 2003, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 12, ISSUE: 1
38
TITLE: Evolving requirements through coordination contracts
AUTHORS: Moreira, A ; Fiadeiro, JL; Andrade, L;
PUBLISHED: 2003, SOURCE: 15th International Conference on Advanced Information Systems Engineering in ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, VOLUME: 2681
AUTHORS: Moreira, A ; Fiadeiro, JL; Andrade, L;
PUBLISHED: 2003, SOURCE: 15th International Conference on Advanced Information Systems Engineering in ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, VOLUME: 2681
39
TITLE: Architecture based evolution of software systems
AUTHORS: Andrade, LF; Fiadeiro, JL;
PUBLISHED: 2003, SOURCE: 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems in FORMAL METHODS FOR SOFTWARE ARCHITECTURES, VOLUME: 2804
AUTHORS: Andrade, LF; Fiadeiro, JL;
PUBLISHED: 2003, SOURCE: 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems in FORMAL METHODS FOR SOFTWARE ARCHITECTURES, VOLUME: 2804
INDEXED IN: Scopus WOS
Scopus WOS40
TITLE: A mathematical semantics for architectural connectors
AUTHORS: Fiadeiro, JL; Lopes, A ; Wermelinger, M;
PUBLISHED: 2003, SOURCE: Summer School on Generic Programming in GENERIC PROGRAMMING, VOLUME: 2793
AUTHORS: Fiadeiro, JL; Lopes, A ; Wermelinger, M;
PUBLISHED: 2003, SOURCE: Summer School on Generic Programming in GENERIC PROGRAMMING, VOLUME: 2793
INDEXED IN: Scopus WOS
Scopus WOS