Michel Wermelinger
AuthID: R-006-975
1
TÃTULO: Run-time generation, transformation, and verification of access control models for self-protection
AUTORES: Bailey, C; Montrieux, L; De Lemos, R; Yu, Y; Wermelinger, M;
PUBLICAÇÃO: 2014, FONTE: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 in 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings
AUTORES: Bailey, C; Montrieux, L; De Lemos, R; Yu, Y; Wermelinger, M;
PUBLICAÇÃO: 2014, FONTE: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 in 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef2
TÃTULO: Quality evolution track at QUATIC 2010 Full Text
AUTORES: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2011, FONTE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, NÚMERO: 1
AUTORES: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2011, FONTE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, NÚMERO: 1
3
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
4
TÃTULO: A Prolog toolkit for formal languages and automata
AUTORES: Wermelinger, M; Dias, AM;
PUBLICAÇÃO: 2005, FONTE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
AUTORES: Wermelinger, M; Dias, AM;
PUBLICAÇÃO: 2005, FONTE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
INDEXADO EM: Scopus CrossRef
Scopus CrossRef5
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 WOS6
TÃTULO: An architectural approach to mobility - The handover case study
AUTORES: Oliveira, C; Wermelinger, M; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2004, FONTE: 4th Working IEEE/IFIP Conference on Software Architecture (WICSA-4) in FOURTH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA 2004), PROCEEDINGS
AUTORES: Oliveira, C; Wermelinger, M; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2004, FONTE: 4th Working IEEE/IFIP Conference on Software Architecture (WICSA-4) in FOURTH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA 2004), PROCEEDINGS
7
TÃTULO: A survey of self-management in dynamic software architecture specifications
AUTORES: Bradbury, JS; Cordy, JR; Dingel, J; Wermelinger, M;
PUBLICAÇÃO: 2004, FONTE: 1st ACM SIGSOFT Workshop on Self-Managing Systems, WOSS '04, Co-located with the 12th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE-12 in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
AUTORES: Bradbury, JS; Cordy, JR; Dingel, J; Wermelinger, M;
PUBLICAÇÃO: 2004, FONTE: 1st ACM SIGSOFT Workshop on Self-Managing Systems, WOSS '04, Co-located with the 12th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE-12 in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
INDEXADO EM: Scopus CrossRef
Scopus CrossRef8
TÃTULO: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings
AUTORES: Michel Wermelinger; Tiziana Margaria;
PUBLICAÇÃO: 2004, FONTE: FASE, VOLUME: 2984
AUTORES: Michel Wermelinger; Tiziana Margaria;
PUBLICAÇÃO: 2004, FONTE: FASE, VOLUME: 2984
INDEXADO EM: 
DBLP
DBLP9
TÃTULO: Higher-order architectural connectors Full Text
AUTORES: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 2003, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 12, NÚMERO: 1
AUTORES: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLICAÇÃO: 2003, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 12, NÚMERO: 1
10
TÃTULO: A mathematical semantics for architectural connectors
AUTORES: Fiadeiro, JL; Lopes, A ; Wermelinger, M;
PUBLICAÇÃO: 2003, FONTE: Summer School on Generic Programming in GENERIC PROGRAMMING, VOLUME: 2793
AUTORES: Fiadeiro, JL; Lopes, A ; Wermelinger, M;
PUBLICAÇÃO: 2003, FONTE: Summer School on Generic Programming in GENERIC PROGRAMMING, VOLUME: 2793
INDEXADO EM: Scopus WOS
Scopus WOS