Filters: First Letter Of Title is M [Clear All Filters]
"Maintaining invariant traceability through bidirectional transformations", 34th International Conference on Software Engineering, 2012.
"Managing Changes with Legacy Security Engineering Processes", ISI: Springer-Verlag, 2011.
"Managing Evolution of Service Centric Systems by Test Models", The Tenth IASTED International Conference on Software Engineering, Innsbruck, Austria, ACTA Press, 02/2011.
"Miki: a wiki for synchronous modeling of software requirements", 4th FlexiTools workshop ? ICSE 2011, 2011.
"Mining Java class naming conventions", 27th IEEE International Conference on Software Maintenance: IEEE, 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.
"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 Security Engineering for Evolving Systems", 11th School on Formal Methods (SFM 2011), Bertinoro (Italy) 13-18 June 2011, Springer, 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 Verification and Testing for Smart-cards", 6th Intl. Conf. on Availability, Reliability and Security (ARES 2011), Vienna, Austria, 2011.
"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%
"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.
"Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications (invited lecture)", 11th School on Formal Methods (SFM 2011), Bertinoro, Italy, 2011.
"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.