Michel Wermelinger
AuthID: R-006-975
1
TITLE: Run-time generation, transformation, and verification of access control models for self-protection
AUTHORS: Bailey, C; Montrieux, L; De Lemos, R; Yu, Y; Wermelinger, M;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Bailey, C; Montrieux, L; De Lemos, R; Yu, Y; Wermelinger, M;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2
TITLE: Quality evolution track at QUATIC 2010 Full Text
AUTHORS: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLISHED: 2011, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, ISSUE: 1
AUTHORS: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLISHED: 2011, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, ISSUE: 1
3
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
4
TITLE: A Prolog toolkit for formal languages and automata
AUTHORS: Wermelinger, M; Dias, AM;
PUBLISHED: 2005, SOURCE: 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
AUTHORS: Wermelinger, M; Dias, AM;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus CrossRef
Scopus CrossRef5
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 WOS6
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
7
TITLE: A survey of self-management in dynamic software architecture specifications
AUTHORS: Bradbury, JS; Cordy, JR; Dingel, J; Wermelinger, M;
PUBLISHED: 2004, SOURCE: 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
AUTHORS: Bradbury, JS; Cordy, JR; Dingel, J; Wermelinger, M;
PUBLISHED: 2004, SOURCE: 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
INDEXED IN: Scopus CrossRef
Scopus CrossRef8
TITLE: 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
AUTHORS: Michel Wermelinger; Tiziana Margaria;
PUBLISHED: 2004, SOURCE: FASE, VOLUME: 2984
AUTHORS: Michel Wermelinger; Tiziana Margaria;
PUBLISHED: 2004, SOURCE: FASE, VOLUME: 2984
INDEXED IN: 
DBLP
DBLP9
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
10
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