ERDF
CONTACT US TODAY: +353 61 213 028

Emil Vassev

Primary tabs

2016
Vassev E, Hinchey M. Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innovations in Systems and Software Engineering [Internet]. 2016 ;12:95–107. Available from: http://dx.doi.org/10.1007/s11334-015-0257-3
Vassev E, Hinchey M. Integration and Promotion of Autonomy with the ARE Framework. In: Margaria T, Steffen B Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Cham: Springer International Publishing; 2016. pp. 689–703. Available from: http://dx.doi.org/10.1007/978-3-319-47166-2_48
Vassev E. Safe Artificial Intelligence and Formal Methods. In: Margaria T, Steffen B Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Cham: Springer International Publishing; 2016. pp. 704–713. Available from: http://dx.doi.org/10.1007/978-3-319-47166-2_49
2015
Insaurralde CC, Vassev E. Autonomic Computing Software for Autonomous Space Vehicles. In: Nature of Computation and Communication. Vol. 144. Nature of Computation and Communication. Springer International Publishing; 2015. pp. pp 33-41.
Vassev E, Hinchey M. Capturing Autonomy Features for Unmanned Spacecraft with ARE, the Autonomy Requirements Engineering Approach . Innovations in Systems and Software Engineering - a NASA Journal [Internet]. 2015 ;11. Available from: http://link.springer.com/article/10.1007%2Fs11334-015-0257-3#/page-1
Vassev E, Hinchey M. Engineering Requirements for Autonomy Features. In: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Heidelberg: Springer-Verlag, ; 2015. pp. 379-403.
Vassev E, Hinchey M. KnowLang: Knowledge Representation for Self-Adaptive Systems. IEEE Computer. 2015 ;48(2).
Vinh PCong, Vassev E, Hinchey M. Nature of Computation and Communication. International Conference on Nature of Computation and Communication. 2015 ;LNICST 144.
Bicocchi N, Vassev E, Zambonelli F, Hinchey M. Reasoning On Data Streams: An Approach To Adaptation In Pervasive Systems. In: Nature of Computation and Communication. Vol. 144. Nature of Computation and Communication. Springer International Publishing; 2015. pp. pp 23-32.
Vassev E. Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang. EAI Endorsed Transactions on Self-Adaptive Systems. 2015 ;1(8).
2013
Vassev E, Hinchey M. The ASSL Formalism for Real-Time Autonomic Systems. In: Self-Organization in Embedded Real-Time Systems. M. T. Higuera-Toledano, U. Brinkschulte, A. Rettberg. Self-Organization in Embedded Real-Time Systems. Springer; 2013. pp. pp 151 - 177.
Vassev E, Hinchey M. Autonomy Requirements Engineering. In: Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013). Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013). San Francisco, California, United States; 2013. Available from: http://hdl.handle.net/10344/3447
Vassev E, Hinchey M. Autonomy Requirements Engineering: A Case Study on the BepiColombo Mission. Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013) [Internet]. 2013 . Available from: http://hdl.handle.net/10344/3306
Vassev E, Hinchey M. Autonomy Requirements Engineering: A Case Study on the BepiColombo Mission. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013). Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013). Porto, Portugal: ACM; 2013. Available from: http://orel1.ul.ie/files/ARE_BepiColombo.pdf
Vassev E, Hinchey M. On the Autonomy Requirements for Space Missions. Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013). 2013 .
Vassev E, Hinchey M. On the Autonomy Requirements for Space Missions. In: Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013). Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013). Paderborn, Germany; 2013. Available from: http://hdl.handle.net/10344/3356
Vassev E, Hinchey M. Implementing Artificial Awareness with KnowLang. In: Proceedings of the IEEE International Systems Conference (SysCon2013). Proceedings of the IEEE International Systems Conference (SysCon2013). Orlando, Florida, USA; 2013. Available from: http://hdl.handle.net/10344/3123
Vassev E, Hinchey M. Knowledge-Based Self-Adaption. In: Sixth Latin-American Symposium on Dependable Computing (LADC 2013). Sixth Latin-American Symposium on Dependable Computing (LADC 2013). Rio de Janeiro, Brazil; 2013. Available from: http://hdl.handle.net/10344/3122
2012
Vassev E, Gaudin B, Hinchey M, Nixon P. Automatic Repair of Software Systems. In: Encyclopedia of Software Engineering. Encyclopedia of Software Engineering. Taylor & Francis; 2012. Available from: https://sharepoint.lero.ie/Publications/2012/Journal%20Papers/2012-Vassev-Automatic%20Repair%20of%20Software%20Sytems.pdf
Vassev E, Hinchey M. Awareness in Software-intensive Systems. IEEE Computer [Internet]. 2012 ;45:pp 84-87. Available from: http://hdl.handle.net/10344/2930
Vassev E. Building the Pyramid of Awareness. Awareness Magazine - Self-awareness in Autonomic Systems [Internet]. 2012 . Available from: http://ulir.ul.ie/handle/10344/2521
Vassev E. Developing Autonomic Systems with ASSL - Theory and Practice. In: Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification. IGI Global; 2012. pp. pp 38-64.
Vassev E, Hinchey M. Efficient Reasoning with Ambient Trees for Space Exploration. In: Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012). Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012). Ho Chi Minh City, Vietnam: Lecture Notes of ICST (LNICST); 2012. Available from: http://ulir.ul.ie/handle/10344/2702
Vassev E, Hinchey M. Efficient Space Exploration through Laziness. In: Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012). Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012). Ho Chi Minh City, Vietnam: Lecture Notes of ICST (LNICST); 2012. Available from: http://ulir.ul.ie/handle/10344/2703
Gaudin B, Hinchey M, Vassev E, Nixon P, Garcia JC, Maalej W. FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Computing: Practice and Experience [Internet]. 2012 ;13:pp 5-20. Available from: http://ulir.ul.ie/handle/10344/2328

Pages