Filters: First Letter Of Last Name is F [Clear All Filters]
"Guest Editors' Introduction: Evolving Critical Systems", IEEE Computer , vol. 43, issue 5, pp. 6, 2010.
"Security Testing by Telling TestStories", Modellierung 2010, Klagenfurt, Austria, 03/2010.
Combining Formal Methods and Testing: A Case Study on FreeRTOS, , 2011.
Invited talk at the 10th International Conference on Software QA and Testing on Embedded Systems (QA&Test 2011), Bilbao, Spain.
"Computer-Aided Threat Identification", CEC 2011, New Orleans, IEEE, 2011.
"Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution", 23rd International Conference on Advanced Information Systems Engineering (CAiSE'11), London, Sringer-Verlag , 2011.
"Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011.
"Living Models - Ten Principles for Change-Driven Software Engineering", Int. J. Software and Informatics, vol. 5, no. 1-2, pp. 267-290, 2011.
"Managing Changes with Legacy Security Engineering Processes", ISI: Springer-Verlag, 2011.
"Model-Based Security Verification and Testing for Smart-cards", 6th Intl. Conf. on Availability, Reliability and Security (ARES 2011), Vienna, Austria, 2011.
"On-Device Control Flow Verification for Java Programs", Proc. of ESSoS’11, ACM/IEEE 3rd International Symposium on Engineering Secure Software and Systems, 2011.
"Orchestrating Security and System Engineering for Evolving Systems", ServiceWave, pp. 134-143, 2011.
"Selective Test Generation Method for Evolving Critical Systems", REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011, Berlin, Germany, IEEE Computer Society Press, pp. 125–134, 2011.
"UML/OCL based impact analysis to test evolvin critical software", ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf., Ohrid, Macedonia, 2011.
"Verifying FreeRTOS: from requirements to binary code", Proceedings of the International Workshop Automated Verification of Critical Systems (AVOCS'11), vol. CS-TR-1272, 2011.
"Evolution of Security Requirements Tests for Service-Centric Systems", International Symposium on Engineering Secure Software and Systems, Madrid, Spain, Springer-Verlag, 02/2011.
"Managing Evolution of Service Centric Systems by Test Models", The Tenth IASTED International Conference on Software Engineering, Innsbruck, Austria, ACTA Press, 02/2011.
"SecureChange al via L’Università di Trento è in prima linea", Sole 24 ore, 03/2011.
"Evolutionary risk analysis: Expert judgement", Computer safety, reliability, and security (SAFECOMP), Italy, Springer, 09/2011.
"OpenArgue: supporting argumentation to evolve secure software systems", 2011 IEEE 19th International Requirements Engineering Conference, Trento, Italy, IEEE, pp. 351–352, August 2011.
"Risk and argument: A risk-based argumentation method for practical security", 19th IEEE International Requirements Engineering Conference, Trento, Italy, IEEE, pp. 239-248, August 29 2011.
"Verifiable control flow properties for Java bytecode", FAST 2011: Springer Berlin / Heidelberg, to appear, 2011.
"An Idea of an Independent Validation of Vulnerability Discovery Models", International Symposium on Engineering Secure Software and Systems (ESSoS), Eindhoven, 2012.
"State-based Evolution Management of Risk-based System Tests for Service-centric Systems.", Emerging Technologies for the Evolution and Maintenance of Software Models.: IGI Global, pp. 298-318., 2012.
"Vérification et Test pour des systèmes évolutifs", AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, pp. 150–164, 2012.