Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 26 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is F  [Clear All Filters]
Submitted
Franqueira, V. N. L., T. T. Tun, Y. Yu, R. Wieringa, and B. Nuseibeh, "Enhancing Argumentation with Risk Assessment for Achieving Good-Enough Security", Requirements Engineering Journal , Submitted.
2012
V.H.Nguyen, and F.Massacci, "An Idea of an Independent Validation of Vulnerability Discovery Models", International Symposium on Engineering Secure Software and Systems (ESSoS), Eindhoven, 2012.
Felderer, M., B. Agreiter, and R. Breu, "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.
Fourneret, E., F. Bouquet, M. Ochoa, J. Jürjens, and S. Wenzel, "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.
2011
Fontaine, A., S. Hym, and I. Simplot-Ryl, "Verifiable control flow properties for Java bytecode", FAST 2011: Springer Berlin / Heidelberg, to appear, 2011.
Franqueira, V. N. L., T. T. Tun, Y. Yu, R. Wieringa, and B. Nuseibeh, "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. Abstract
Yu, Y., T. Tun, A. Tedeschi, V. N. L. Franqueira, and B. Nuseibeh, "OpenArgue: supporting argumentation to evolve secure software systems", 2011 IEEE 19th International Requirements Engineering Conference, Trento, Italy, IEEE, pp. 351–352, August 2011. Abstract

ISBN: 978-1-4577-0924-1

Felici, M., V. Meduri, B. Solhaug, and A. Tedeschi, "Evolutionary risk analysis: Expert judgement", Computer safety, reliability, and security (SAFECOMP), Italy, Springer, 09/2011.
F.Massacci, "SecureChange al via L’Università di Trento è in prima linea", Sole 24 ore, 03/2011.
Felderer, M., B. Agreiter, and R. Breu, "Evolution of Security Requirements Tests for Service-Centric Systems", International Symposium on Engineering Secure Software and Systems, Madrid, Spain, Springer-Verlag, 02/2011. Abstract
Felderer, M., B. Agreiter, and R. Breu, "Managing Evolution of Service Centric Systems by Test Models", The Tenth IASTED International Conference on Software Engineering, Innsbruck, Austria, ACTA Press, 02/2011. Abstract
Mühlberg, J. T., and L. Freitas, 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.

Asnar, Y., T. Li, F.Massacci, and F.Paci, "Computer-Aided Threat Identification", CEC 2011, New Orleans, IEEE, 2011.
L.M.S.Tran, and F.Massacci, "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.
Bergmann, G., A. Horváth, I. Ráth, and D. Varró, "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. Abstract
Breu, R., B. Agreiter, M. Farwick, M. Felderer, M. Hafner, and F. Innerhofer-Oberperfler, "Living Models - Ten Principles for Change-Driven Software Engineering", Int. J. Software and Informatics, vol. 5, no. 1-2, pp. 267-290, 2011.
E.Felix, O.Delande, F.Massacci, and F.Paci, "Managing Changes with Legacy Security Engineering Processes", ISI: Springer-Verlag, 2011.
Fourneret, E., M. Ochoa, F. Bouquet, J. Botella, J. Jürjens, and P. Yousefi, "Model-Based Security Verification and Testing for Smart-cards", 6th Intl. Conf. on Availability, Reliability and Security (ARES 2011), Vienna, Austria, 2011.
Fontaine, A., S. Hym, and I. Simplot-Ryl, "On-Device Control Flow Verification for Java Programs", Proc. of ESSoS’11, ACM/IEEE 3rd International Symposium on Engineering Secure Software and Systems, 2011.
Massacci, F., F. Bouquet, E. Fourneret, J. Jürjens, M. S. Lund, S. Madelénat, J. T. Muehlberg, F. Paci, S. Paul, F. Piessens, et al., "Orchestrating Security and System Engineering for Evolving Systems", ServiceWave, pp. 134-143, 2011.
Fourneret, E., F. Bouquet, F. Dadeau, and S. Debricon, "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.
Fourneret, E., and F. Bouquet, "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.
Mühlberg, J. T., and L. Freitas, "Verifying FreeRTOS: from requirements to binary code", Proceedings of the International Workshop Automated Verification of Critical Systems (AVOCS'11), vol. CS-TR-1272, 2011.

Short paper

2010
Felderer, M., B. Agreiter, R. Breu, and A. Armenteros, "Security Testing by Telling TestStories", Modellierung 2010, Klagenfurt, Austria, 03/2010.
Coyle, L., M. Hinchey, B. Nuseibeh, and J. L. Fiadeiro, "Guest Editors' Introduction: Evolving Critical Systems", IEEE Computer , vol. 43, issue 5, pp. 6, 2010.