Filters: First Letter Of Title is M [Clear All Filters]
"MoVEing Forward: Towards an Architecture and Processes for a Living Models Infrastructure", International Journal On Advances in Life Sciences, vol. 3, no. 1 and 2, pp. 12–22, 2011.
"Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications (invited lecture)", 11th School on Formal Methods (SFM 2011), Bertinoro, Italy, 2011.
"Modeling and Managing System Evolution Description of EternalS Task Force 2", Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion, Greece, 10/2010.
"A Model-driven Framework for Guided Design Space Exploration", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.
ACM Distinguished Paper Award, Acceptance rate: 15%
"Model-Based Security Verification and Testing for Smart-cards", 6th Intl. Conf. on Availability, Reliability and Security (ARES 2011), Vienna, Austria, 2011.
"Model-based Security Engineering with UML", 26th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010), Madrid, 21-25 Sep. 2010, 2010.
"Model-Based Security Engineering for Evolving Systems", 11th School on Formal Methods (SFM 2011), Bertinoro (Italy) 13-18 June 2011, Springer, 2011.
"Model-Based Secure Software Development", 8th International Workshop on Security in Information Systems (WOSIS 2011), 13th International Conference on Enterprise Information Systems (ICEIS 2011), Beijing, June 2011, 2011.
"Model-Based Argument Analysis for Evolving Security Requirements", Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, IEEE Computer Society, pp. 88-97, 06/10, 2010.
"Mining Java class naming conventions", 27th IEEE International Conference on Software Maintenance: IEEE, 2011.
"Miki: a wiki for synchronous modeling of software requirements", 4th FlexiTools workshop ? ICSE 2011, 2011.
"Managing Evolution of Service Centric Systems by Test Models", The Tenth IASTED International Conference on Software Engineering, Innsbruck, Austria, ACTA Press, 02/2011.
"Managing Changes with Legacy Security Engineering Processes", ISI: Springer-Verlag, 2011.
"Maintaining invariant traceability through bidirectional transformations", 34th International Conference on Software Engineering, 2012.