Publications

  1. Emil Vassev and Mike Hinchey. KnowLang: Knowledge Representation for Self-Adaptive Systems. IEEE Computer, Volume 48 (2), February 2015, pp. 81-84. DOI: 10.1109/MC.2015.50
  2. Emil Vassev. Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang. EAI Endorsed Transactions on Self-Adaptive Systems, Volume 1 (8), 2015, pp. e6. ICST, ISSN 2410-4051. DOI: 10.4108/sas.1.1.e6
  3. Emil Vassev and Mike Hinchey. Knowledge Representation for Adaptive and Self-Aware Systems. In: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Lecture Notes in Computer Science, Volume 8998. Springer-Verlag, Heidelberg, 2015, to appear.
  4. Emil Vassev and Mike Hinchey. Engineering Requirements for Autonomy Features. In: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Lecture Notes in Computer Science, Volume 8998. Springer-Verlag, Heidelberg, 2015, to appear.
  5. Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horky, Jaroslav Keznik, Jan Kofron, Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, and Emil Vassev. Tools for Ensemble Design and Runtime. In: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Lecture Notes in Computer Science, Volume 8998. Springer-Verlag, Heidelberg, 2015, to appear.
  6. Emil Vassev and Mike Hinchey. The KnowLang Approach to Self-Adaptation. In: Wirsing Festschrift. Lecture Notes in Computer Science, Volume 8950, Springer-Verlag, 2015, to appear.
  7. Emil Vassev and Mike Hinchey. Modeling Swarm Robotics with KnowLang. In: Nature of Computation and Communication. Lecture Notes of the Institute for Computer Sciences, Volume 144, pp. 13-22. Springer, 2014. ISBN 978-3-319-15391-9. DOI: 10.1007/978-3-319-15392-6_2
  8. Nicola Bicocchi, Emil Vassev, Franco Zambonelli and Mike Hinchey. Reasoning on Data Streams: an Approach to Adaptation in Pervasive Systems. In: Nature of Computation and Communication. Lecture Notes of the Institute for Computer Sciences, Volume 144, pp. 23-32. Springer, 2014. ISBN 978-3-319-15391-9. DOI: 10.1007/978-3-319-15392-6_3
  9. Emil Vassev, Mike Hinchey and Philip Mayer. Formalizing Self-Adaptive Clouds with KnowLang. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Lecture Notes in Computer Science, Volume 8802, pp. 117-130. Springer, 2014. ISBN: 978-3-662-45233-2. DOI: 10.1007/978-3-662-45234-9_9
  10. Emil Vassev, Nicklas Hoch, Henry Bensler, and Mike Hinchey. Formalizing eMobility with KnowLang. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E ’14). ACM, 2014, pp. 27-34.
  11. Emil Vassev and Mike Hinchey. Capturing Requirements for Autonomous Spacecraft with Autonomy Requirements Engineering. In: Programme and Abstracts Book of the DASIA 2014 Conference, Warsaw, Poland, 3-5 June 2014.
  12. 6. Emil Vassev and Mike Hinchey. Autonomy Requirements Engineering for Self-adaptive Science Clouds. In: Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops. IEEE Computer Society, Phoenix, Ariozna, USA, 2014, pp. 1344-1353. DOI: 10.1109/IPDPSW.2014.151
  13. Emil Vassev and Mike Hinchey. Autonomy Requirements Engineering.            IEEE Computer, Volume 46 (8), August 2013, pp. 82-84. DOI: 10.1109/MC.2013.267
  14. Emil Vassev and Mike Hinchey. Awareness in Software-intesive Systems.            IEEE Computer, Volume 45 (12), December 2012, pp. 84-87. DOI: 10.1109/MC.2012.401
  15. Emil Vassev. Building the Pyramid of Awareness. Awareness Magazine – Self-awareness in Autonomic Systems.    July, 2012. DOI: 10.2417/3201207.004320
  16. Emil Vassev and Mike Hinchey. Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer, Volume 44 (8), August 2011, pp. 96-99. DOI: 10.1109/MC.2011.247
  17. Emil Vassev. Knowledge Representation for Autonomous Systems – the “ASCENS” Case Study [Organic Computing – Design of Self-Organizing Systems (Dagstuhl Seminar 11181)]. Dagstuhl Reports, Volume 1(5), May 2011, pp. 16–17. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. DOI: 10.4230/DagRep.1.5.1.
  18. Emil Vassev and Mike Hinchey. Autonomy Requirements Engineering.            In: Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI ’13). IEEE Computer Society, 2013, pp. 175-184.
  19. Emil Vassev and Mike Hinchey. Autonomy Requirements Engineering: A Case Study on the BepiColombo Mission.            In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E ’13). ACM, 2013, pp. 31-41.
  20. Emil Vassev and Michael Hinchey. 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). IEEE Computer Society, Paderborn, Germany, June 19-21, 2013, to appear.
  21. Emil Vassev and Michael Hinchey. Implementing Artificial Awareness with KnowLang.            In: Proceedings of the IEEE International Systems Conference is Engineering of Complex Systems (SysCon 2013).    IEEE, Orlando, Florida, USA, April 15-18, 2013, pp. 580-586.
  22. Emil Vassev and Michael Hinchey. Knowledge-Based Self-Adaptation.            In: Proceedings of the 6th Latin-American Symposium on Dependable Computing (LADC 2013).    SBC – Brazilian Computer Society Press, Rio de Janeiro, Brazil, April 02-05, 2013, pp. 11-18.
  23. Emil Vassev and Michael Hinchey. Knowledge Representation with KnowLang – The marXbot Case Study.            In: Proceedings of the 11th IEEE International Conference on Cybernetic Intelligent Systems (CIS 2012).    IEEE, Limerick, Ireland, August 23-24, 2012, pp. 18-23.
  24. Emil Vassev, Michael Hinchey and Benoit Gaudin. Knowledge Representation for Self-Adaptive Behavior.            In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E ’12). ACM, 2012, pp. 113-117.
  25. Ugo Montanari and Emil Vassev. Soft Constraints for KnowLang.            In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E ’12). ACM, 2012, pp. 99-103.
  26. Laura Pullum, Xiaohui Cui, Emil Vassev, Mike Hinchey, Christopher Rouff and Richard Buskens. Verification of Adaptive Systems.            In: Proceedings of Infotech@Aerospace Conference 2012. AIAA, Garden Grove, California, USA, June 19 – 21, 2012, AIAA 2012-2478.
  27. Emil Vassev and Michael Hinchey. Knowledge Representation for Cognitive Robotic Systems.            In: Proceedings of the 15th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2012).    IEEE Computer Society, 2012, pp. 156-163.
  28. Emil Vassev and Mike Hinchey. Towards a Formal Language for Knowledge Representation in Autonomic Service-Component Ensembles. In: Proceedings of the 3rd International Conference on Data Mining and Intelligent Information Technology Applications (ICMIA2011).    AICIT, IEEE Xplore, 2011, pp. 228-235.
  29. Emil Vassev and Mike Hinchey. Self-Awareness in Autonomous Nano-Technology Swarm Missions. In: Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011).    IEEE Computer Society, 2011, pp. 133-136.
  30. Emil Vassev, Michael Hinchey, Benoit Gaudin and Patrick Nixon.     Requirements and Initial Model for KnowLang – a Language for Knowledge Representation in Autonomic Service-Component Ensembles.            In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E’11). ACM, 2011, pp. 35-42.
  31. Emil Vassev and Michael Hinchey. Knowledge Representation and Awareness in Autonomic Service-Component Ensembles – State of the Art.            In: Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2011).    IEEE Computer Society, 2011, pp.110-119.