Publications

My publication record by December 1, 2019

My Author Profile Page at Research Gate My Author Profile Page at DBLP My Author Profile Page at Google Scholar

Theses
  1. Emil Vassev. Towards a Framework for Specification and Code Generation of Autonomic Systems. PhD Thesis, Computer Science and Software Engineering Department, Concordia University, Quebec, Canada, 2008.
  2. Emil Vassev. General Architecture for Demand Migration in the GIPSY Demand-Driven Execution Engine. Masters Thesis, Computer Science and Software Engineering Department, Concordia University, Quebec, Canada, 2005.

Books
  1. Emil Vassev and Mike Hinchey. Autonomy Requirements Engineering for Space Missions. NASA Monographs in Systems and Software Engineering. Springer, August 2014. ISBN: 978-3-319-09815-9. DOI: 10.1007/978-3-319-09816-6 and the book at Amazon.com
  2. Emil Vassev. ASSL: Autonomic System Specification Language - A Framework for Specification and Code Generation of Autonomic Systems. LAP Lambert Academic Publishing, Germany, November 2009. the book at Amazon.com
  3. Emil Vassev. General Architecture for Demand Migration in Distributed Systems. LAP Lambert Academic Publishing, Germany, August 2009. the book at Amazon.com

Patents
  1. Mike Hinchey and Emil Vassev. Method of Improving System Performance and Survivability through Changing Function. US-Patent-8,275,724, US-Patent-Appl-SN-12/569,422, NASA. Patent Publication Date: September 25, 2012. URL: NASA Technical Reports Server (NTRS)
  2. Mike Hinchey, Emil Vassev, Bridget Hinchey and Roy Sterritt. Power Provision Based on Self-Sacrificing Craft. US-Patent-9,171,266, US-Patent-Appl-SN-13/606,174, NASA. Patent Publication Date: October 27, 2015. URL: NASA Technical Reports Server (NTRS)

Editorial
  1. Phan Cong Vinh, Ha Huy Cuong Nguyen, Emil Vassev. Editorial: Context-Aware Systems and Applications, and Nature of Computation and Communication. 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam (2017). Lecture Notes of the Institute for Computer Sciences. Social Informatics and Telecommunications Engineering 217. Springer (2018). ISBN 978-3-319-77817-4
  2. Phan Cong Vinh, Leonard Barolli, Emil Vassev. Editorial: Context-Aware Systems and Applications (ICCASA 2015). MONET 22(2). pp. 287-288 (2017).
  3. Phan Cong Vinh, Leonard Barolli, Giacomo Cabri, Emil Vassev. Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017), Mobile Networks and Applications. pp. 1-3 (2017)
  4. Emil Vassev. Guest Editorial Preface of Special Issue of "Nature-inspired Computation and Communication: A Formal Approach". Future Generation Computer Systems. Elsevier. Available online 14 November 2015 (in press). DOI: 10.1016/j.future.2015.10.011
  5. Emil Vassev. Welcome Message from the Editor-in-Chief. EAI Endorsed Transactions on Self-Adaptive Systems. Volume 15 (1), pp. e1. ICST, January 2015. ISSN 2410-4051. DOI: 10.4108/sas.1.1.e1
  6. Phan Cong Vinh, Emil Vassev and Mike Hinchey. Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Volume 144. Springer, 2015. ISBN 978-3-319-15392-6. the book at Springer
  7. Emil Vassev and Vangalur Alagar. Context-Aware Systems and Applications. Mobile Networks and Applications. Volume 19 (5), pp. 583-584. Springer, October 2014. DOI: 10.1007/s11036-014-0531-x
  8. Emil Vassev and Son Vuong. Context-Aware Systems and Applications. Mobile Networks and Applications. Volume 19 (2), pp. 210-211. Springer, April 2014. DOI: 10.1007/s11036-014-0502-2
  9. Phan Cong Vinh, Vangalur Alagar, Emil Vassev and Ashish Khare. Context-Aware Systems and Applications: Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Volume 128. Springer, 2014. ISBN 978-3-319-14227-2. the book at Springer
  10. Bipin C. Desai, Emil Vassev and Sudhir P. Mudur. Fifth International C* Conference on Computer Science & Software Engineering, C3S2E '12, Montreal, QC, Canada, June 27-29, 2012. ACM 2012, 2014. ISBN 978-1-4503-1084-0. the book at ACM Digital Library

Journal Papers
  1. Phan Cong Vinh and Emil Vassev and Mike Hinchey. Nature-Inspired Computation and Communication: A Formal Approach. Future Generation Computer Systems, Volume 56, March 2016, pp. 121-123. DOI: 10.1016/j.future.2015.10.011
  2. Emil Vassev and Mike Hinchey. The ins and outs of Autonomy Requirements Engineering. The Engineers Journal (EngineersJournal.ie), 27 October 2015. the article at EngineersJournal.ie
  3. Emil Vassev and Mike Hinchey. Capturing Autonomy Features for Unmanned Spacecraft with ARE, the Autonomy Requirements Engineering Approach. Innovations in Systems and Software Engineering - a NASA Journal. Springer London. First online: 05 September 2015, pp. 1-13. DOI: 10.1007/s11334-015-0257-3
  4. 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
  5. Emil Vassev. Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang. EAI Endorsed Transactions on Self-Adaptive Systems, Volume 15 (1), 2015, pp. e6. ICST, ISSN 2410-4051. DOI: 10.4108/sas.1.1.e6
  6. Emil Vassev. Emil Vassev on Formal Verification. MIRI - Machine Intelligence Research Institute: Luke Muehlhauser Conversations, January 30, 2014. the article at MIRI.
  7. Emil Vassev and Mike Hinchey. Engineering Requirements for Unmanned Space Exploration. The Engineers Journal (EngineersJournal.ie), 14 November 2013. the article at EngineersJournal.ie
  8. Emil Vassev and Mike Hinchey. Autonomy Requirements Engineering. IEEE Computer, Volume 46 (8), August 2013, pp. 82-84. DOI: 10.1109/MC.2013.267
  9. Emil Vassev and Mike Hinchey. Awareness in Software-Intensive Systems. IEEE Computer, Volume 45 (12), December 2012, pp. 84-87. DOI: 10.1109/MC.2012.401
  10. Emil Vassev and Mike Hinchey. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience, John Wiley & Sons, Volume 24(16), November 2012, pp.1860–1878. DOI: 10.1002/cpe.1758.
  11. Emil Vassev. Building the Pyramid of Awareness. Awareness Magazine - Self-awareness in Autonomic Systems. July, 2012. DOI: 10.2417/3201207.004320
  12. Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, João C. Garcia, and Walid Maalej. FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Computing: Practice and Experience, Volume 13 (1), April 2012, pp. 5-20. ISSN 1895-1767
  13. Emil Vassev, Roy Sterritt, Christopher Rouff, and Mike Hinchey. Swarm Technology at NASA: Building Resilient Systems. IT Professional, Volume 14 (2), March/April 2012, pp. 36-42. DOI: 10.1109/MITP.2012.18
  14. Emil Vassev and Serguei A. Mokhov. Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study. Transactions on Computational Science - Volume XV, LNCS, Volume 7050, March 2012, pp. 130-157. DOI: 10.1007/978-3-642-28525-7_5
  15. 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
  16. 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.
  17. Emil Vassev and Mike Hinchey. The Challenge of Developing Autonomic Systems. IEEE Computer, Volume 43 (12), December 2010, pp. 93-96. DOI: 10.1109/MC.2010.361.
  18. Emil Vassev and Mike Hinchey. ASSL: A Software Engineering Approach to Autonomic Computing. IEEE Computer, Volume 42 (6), June 2009, pp. 106-109. DOI: 10.1109/MC.2009.174.
  19. Olga Ormandjieva and Emil Vassev. ASSL Specification of a Self-Scheduling Modeling and Monitoring in Reactive Autonomic Systems: Team-Robotics Case Study. International Transactions on Systems Science and Applications, Volume 4 (3), October 2008, pp. 277-286.
  20. Olga Ormandjieva and Emil Vassev. ASSL Specification of a Self-Scheduling Mechanism in Team-Robotics Modeled with the AS-TRM. Communications of SIWN (formerly: System and Information Sciences Notes), Volume 2 (1), September 2007, pp. 132-137.
  21. Olga Ormandjieva, Heng Kuang, and Emil Vassev. Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach. International Transactions on Systems Science and Applications, Volume 2 (1), 2006, pp. 99-104.

Book Chapters
  1. Emil Vassev and Mike Hinchey. The ASSL Approach to Formal Specification of Self-managing Systems. In: Models, Mindsets, Meta: The What, the How, and the Why Not?, pp. 268-296. Springer, Cham. 2019. URL: The ASSL Approach to Formal Specification of Self-managing Systems
  2. Emil Vassev and Mike Hinchey. Requirements Engineering for Adaptive and Self-Adaptive Systems. In: Software Technology: 10 Years of Innovation in IEEE Computer.John Wiley & Sons, 2018.
  3. Emil Vassev and Mike Hinchey. Toward Artificial Intelligence through Knowledge Representation for Awareness. In: Software Technology: 10 Years of Innovation in IEEE Computer.John Wiley & Sons, 2018.
  4. Emil Vassev and Mike Hinchey. Knowledge Representation for Adaptive and Self-Aware Systems. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science, Volume 8998, pp. 221-247. Springer-Verlag, Heidelberg, 2015. ISBN 978-3-319-16309-3. DOI: 10.1007/978-3-319-16310-9_6
  5. Emil Vassev and Mike Hinchey. Engineering Requirements for Autonomy Features. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science, Volume 8998, pp. 379-403. Springer-Verlag, Heidelberg, 2015. ISBN 978-3-319-16309-3. DOI: 10.1007/978-3-319-16310-9_11
  6. 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. Lecture Notes in Computer Science, Volume 8998, pp. 429-448. Springer-Verlag, Heidelberg, 2015. ISBN 978-3-319-16309-3. DOI: 10.1007/978-3-319-16310-9_13
  7. Emil Vassev and Mike Hinchey. The KnowLang Approach to Self-Adaptation. In: Software, Services, and Systems. Lecture Notes in Computer Science, Volume 8950, pp. 676-692. Springer-Verlag, 2015. ISBN 978-3-319-15544-9. DOI: 10.1007/978-3-319-15545-6_38
  8. 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
  9. 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
  10. Carlos C. Insaurralde and Emil Vassev. Autonomic Computing Software for Autonomous Space Vehicles. In: Nature of Computation and Communication. Lecture Notes of the Institute for Computer Sciences, Volume 144, pp 33-41. Springer, 2014. ISBN 978-3-319-15391-9. DOI: 10.1007/978-3-319-15392-6_4
  11. 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
  12. Emil Vassev and Mike Hinchey. The ASSL Formalism for Real-Time Autonomic Systems. In: Self-Organization in Embedded Real-Time Systems. Springer New York, 2013, pp. 151-177. ISBN 978-1-4614-1968-6. DOI: 10.1007/978-1-4614-1969-3.
  13. Emil Vassev and Michael Hinchey. Efficient Space Exploration through Laziness. In: Context-Aware Systems and Applications. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Volume 109, Springer, 2013, pp. 168-175. DOI: 10.1007/978-3-642-36642-0_17.
  14. Emil Vassev and Michael Hinchey. Efficient Reasoning with Ambient Trees for Space Exploration. In: Context-Aware Systems and Applications. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Volume 109, Springer, 2013, pp. 176-182. DOI: 10.1007/978-3-642-36642-0_18.
  15. Emil Vassev and Mike Hinchey. Representing Knowledge in Robotic Systems with KnowLang. In: Leveraging Applications of Formal Methods, Verification, and Validation. Communications in Computer and Information Science. Springer Berlin Heidelberg, 2012, pp. 91-105. ISBN 978-3-642-34781-8. DOI: 10.1007/978-3-642-34781-8_7.
  16. Emil Vassev and Mike Hinchey. Formal Specification as High-Level Programming: The ASSL Approach.. In: K. K. Breitman, R. N. Horspool (Eds.), Patterns, Programming and Everything. Springer, 2012, pp. 129 - 146. ISBN 978-1-4471-2349-1. DOI: 10.1007/978-1-4471-2350-7_9.
  17. Emil Vassev, Benoit Gaudin, Mike Hinchey, Paddy Nixon. Automatic Repair of Software Systems. In: P.A. Laplante (ed.), Encyclopedia of Software Engineering. Taylor & Francis, 2012, pp. 1-11. DOI: 10.1081/E-ESE-120048375.
  18. Zdravko Karakehayov, Emil Vassev. Power Management Formalism for Embedded Software. In: P.A. Laplante (ed.), Encyclopedia of Software Engineering. Taylor & Francis, 2012, pp. 1-9. DOI: 10.1081/E-ESE-120048262.
  19. Mike Hinchey, Emil Vassev. Multi-Agent Systems – Theory, Approaches and NASA Applications. In: M. Essaaidi, M. Ganzha, M. Paprzycki (ed.), Software Agents, Agent Systems and Their Applications. NATO Science for Peace and Security Series - D: Information and Communication Security, Volume 32. IOS Press, 2012, pp. 181 - 202. ISBN 978-1-60750-817-5. DOI: 10.3233/978-1-60750-818-2-181.
  20. Emil Vassev. Knowledge Representation for Intelligent Systems. In: P.A. Laplante (ed.), Encyclopedia of Software Engineering. Taylor & Francis, 2012, pp. 1-13. DOI: 10.1081/E-ESE-120047419.
  21. Emil Vassev and Mike Hinchey. Fundamentals of Designing Complex Aerospace Software Systems. In: Complex Systems Design & Management (Proceedings of the Second International Conference on Complex Systems Design & Management (CSDM2011)). Springer, 2012, pp. 65-80. DOI: 10.1007/978-3-642-25203-7_4.
  22. Emil Vassev and Mike Hinchey. Developing Model-Checking Mechanisms for ASSL: An Experience Report. In: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011). Book series: Lecture Notes in Computer Science, Volume 7041. Springer-Verlag, 2011, pp. 19-34. DOI: 10.1007/978-3-642-24690-6_3.
  23. Emil Vassev. Developing Autonomic Systems with ASSL – Theory and Practices. In: Phan Cong-Vinh (ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification. IGI Global, 2011, pp. 38-64. DOI: 10.4018/978-1-60960-845-3.
  24. Emil Vassev and Mike Hinchey. Software Verification of Autonomic Systems Developed with ASSL. In: Foundations of Computer Software - Modeling, Development, and Verification of Adaptive Systems (16th Monterey Workshop 2010 - Revised Selected Papers). Lecture Notes in Computer Science, Volume 6662, Springer Verlag, 2011, pp. 1-16.
  25. Emil Vassev. Use Cases. In: P.A. Laplante (ed.), Encyclopedia of Software Engineering. Taylor & Francis, 2010, pp. 1289-1301. DOI: 10.1081/E-ESE-120044199.
  26. Roy Sterritt, Mike Hinchey, and Emil Vassev. Self-managing Software. In: P.A. Laplante (ed.), Encyclopedia of Software Engineering. Taylor & Francis, 2010, pp. 1072-1081. DOI: 10.1081/E-ESE-120044199.
  27. Mike Hinchey, Jonathan P. Bowen, and Emil Vassev. Formal Methods. In: P.A. Laplante (ed.), Encyclopedia of Software Engineering. Taylor & Francis, 2010, pp. 308-320. DOI: 10.1081/E-ESE-120044199.
  28. Jonathan P. Bowen, Mike Hinchey, and Emil Vassev. Formal Requirements Specification. In: P.A. Laplante (ed.), Encyclopedia of Software Engineering. Taylor & Francis, 2010, pp. 321-332. DOI: 10.1081/E-ESE-120044199.
  29. Emil Vassev. Code Generation for Autonomic Systems with ASSL. In: Software Engineering Research, Management and Applications 2010, Management and Applications; Book series: Studies in Computational Intelligence, Volume 296. Springer Berlin / Heidelberg, 2010, pp. 1-15.
  30. Emil Vassev and Serguei A. Mokhov. Towards Autonomic Specification of Distributed MARF with ASSL: Self-Healing. In: Software Engineering Research, Management and Applications 2010, Management and Applications; Book series: Studies in Computational Intelligence, Volume 296. Springer Berlin / Heidelberg, 2010, pp. 69-85.
  31. Mike Hinchey and Emil Vassev. An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. In: Autonomic and Trusted Computing; Book series: Lecture Notes in Computer Science, Volume 5060. Springer-Verlag, 2008, pp.316-330.
  32. Olga Ormandjieva and Emil Vassev. Towards ASSL Specification of Self-Scheduling Design and Monitoring in Team-Robotics Modeled with AS-TRM. In: Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics. Springer, 2008, pp. 68-76.

Conference & Workshop Papers

  1. Emil Vassev, Mike Hinchey. Stability Analysis for Adaptive Behavior. In: Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2018), Funchal, Madeira, Portugal, 16-18 March, 2018. SciTePress 2018. to appear.
  2. Saivignesh Sridhar Eswari, Juha-Pekka Tolvanen, Emil Vassev. Visual Modeling of Self-Adaptive Systems. In: Proceedings of the embedded world Conference 2018. February 27 - March 1, 2018, Nuremberg, Germany. to appear.
  3. Emil Vassev. Modeling Self-Adaptation - A Possible Endeavour? (Invited Paper). In: Proceedings of the 6th EAI International Conference on Context-Aware Systems and Application (ICCASA 2017). November 23-24, 2017, Tam Ky, Vietnam. to appear.
  4. Emil Vassev. Autonomy Requirements for Smart Vehicles (Invited Paper). In: Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2017), pp. 9. SciTePress 2017. ISBN 978-989-758-242-4.
  5. Emil Vassev, Mike Hinchey. Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper). In: Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2017), pp. 366-372. SciTePress 2017. ISBN 978-989-758-242-4.
  6. Emil Vassev, Mike Hinchey. Integration and Promotion of Autonomy with the ARE Framework. The 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016). Lecture Notes in Computer Science 9952, Springer 2016, pp. 689-703. ISBN 978-3-319-47165-5.
  7. Emil Vassev. Safe Artificial Intelligence and Formal Methods (Position Paper). The 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016). Lecture Notes in Computer Science 9952, Springer 2016, pp. 704-713. ISBN 978-3-319-47165-5.
  8. Jorge Lopez, Emil Vassev, Daniel Hellstrom, Daniel Cederman. An LLVM Backend for LEON Processors. In: Proceedings of the 2015 DAta Systems in Aerospace (DASIA 2015). ESA-SP Volume 732, id.42, 2015. DOI: 2015ESASP.732E..42L
  9. Carlos C. Insaurralde and Emil Vassev. Autonomic Control Architecture for Avionics Software of Unmanned Space Vehicles. In: Proceedings of the 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC). IEEE, 2014, pp. 8B3-1-8B3-10. ISBN: 978-1-4799-5002-7. DOI: 10.1109/DASC.2014.6979537
  10. Emil Vassev and Mike Hinchey. Capturing Autonomy Features for Unmanned Spacecraft with ARE, the Autonomy Requirements Engineering Approach. In: Proceedings of NASA's 2014 International Independent Verification and Validation (IV&V) Workshop, pp. 23, NASA. NASA’s IV&V Facility, Fairmont, W. Va., USA, September 9-11, 2014. Proceedings at NASA IV&V
  11. 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.
  12. Carlos C. Insaurralde and Emil Vassev. Software Specification and Automatic Code Generation to Realize Homeostatic Adaptation in Unmanned Spacecraft. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E '14). ACM, 2014, pp. 35-44.
  13. 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.
  14. 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
  15. Carlos C. Insaurralde and Emil Vassev. Artificial Homeostasis for Vehicle Control Architecture of Unmanned Spacecraft. In: Proceedings of the 2014 IEEE Aerospace Conference. IEEE, Big Sky, Montana, USA, 2014, pp. 1-9. DOI: 10.1109/AERO.2014.6836431
  16. Emil Vassev and Mike Hinchey. Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL. In: Proceedings of NASA's 2013 Annual Workshop on Independent Verification and Validation of Software, pp. 57-82, NASA. Robert H. Mollohan Research Center, Fairmont, W. Va., USA, 2013. Proceedings at NASA IV&V
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. Mike Hinchey and Emil Vassev. Smart Health Management for Swarm-based Space Exploration Systems. In: Proceedings of the 2nd International Workshop on Software Health Management(SHM'11). Palo Alto, California, USA, August 2, 2011.
  30. Emil Vassev, Mike Hinchey, Dharini Balasubramaniam and Simon Dobson. An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. In: Proceedings of the 34th annual IEEE Software Engineering Workshop (SEW34). IEEE Computer Society, 2011, pp. 11-18. DOI: 10.1109/SEW.2011.8
  31. Zdravko Karakehayov and Emil Vassev. Energy Efficiency with Runtime Models for Energy-Aware Embedded Systems. In: Proceedings of the 34th annual IEEE Software Engineering Workshop (SEW34). IEEE Computer Society, 2011, pp. 106-111. DOI: 10.1109/SEW.2011.21
  32. 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.
  33. Benoit Gaudin, Emil Vassev, Michael Hinchey and Patrick Nixon. A Control Theory Based Approach for Self-Healing of Un-handled Runtime Exceptions. In: Proceedings of the 8th International Conference on Autonomic Computing and Communications (ICAC2011). ACM, 2011, pp. pp. 217-220.
  34. 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.
  35. Emil Vassev, Mike Hinchey and Paddy Nixon. Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL (invited paper). In: Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE2010). IEEE Computer Society, 2010, pp. 3-8.
  36. Mike Hinchey and Emil Vassev. The Art of Developing Autonomic Systems — The ASSL Approach (keynote). In: Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE2010). IEEE Computer Society, 2010, pp.9-12.
  37. Emil Vassev, Mike Hinchey and Paddy Nixon. A Formal Approach to Self-configurable Swarm-based Space-exploration Systems. In: Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010). IEEE Computer Society, 2010, pp. 89-96.
  38. Emil Vassev, Mike Hinchey and Paddy Nixon. Prototyping Home Automation Wireless Sensor Networks with ASSL. In: Proceedings of the 7th International Conference on Autonomic Computing and Communications (ICAC2010). ACM, 2010, pp. 71-72.
  39. Emil Vassev. An Operational Semantics for ASSL. In: Proceedings of the 8th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2010). IEEE Computer Society, 2010, pp.77-84.
  40. Emil Vassev and Mike Hinchey. Rapid Prototyping and Development of Intelligent Sensor Networks with ASSL and DMF. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E '10). ACM, 2010, pp. 75-83.
  41. Serguei A. Mokhov, Emil Vassev, Joey Paquet, and Mourad Debbabi. Towards a Self-Forensics Property in the ASSL Toolset. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E '10). ACM, 2010, pp. 108-113.
  42. Emil Vassev and Mike Hinchey. Developing Self-Managing Embedded Systems with ASSL. In: Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW’2010). IEEE Computer Society, 2010, pp. 81-89.
  43. Emil Vassev, Mike Hinchey and Paddy Nixon. Developing Intelligent Sensor Networks - A Technological Convergence Approach. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications (SESENA2010). ACM, 2010, pp. 66-71.
  44. Emil Vassev and Mike Hinchey. Software Verification of Autonomic Systems Developed with ASSL. In: Proceedings of the 16th Monterey Workshop on Modeling, Development, and Verification of Adaptive Systems. Monterey Workshops, Microsoft Research Center, Redmond, USA, 2010, pp.7-15.
  45. Emil Vassev and Paddy Nixon. Engineering Intelligent Sensor Networks with ASSL and DMF. In: Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010). IEEE Computer Society, 2010, pp.94-102.
  46. Marco Bakera, Christian Wagner, Tiziana Margaria, Emil Vassev, Mike Hinchey, and Bernhard Steffen. Extracting Component-oriented Behavior for Self-healing Enabling. In: Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'10). IEEE Computer Society, 2009, pp. 152-161.
  47. Emil Vassev and Mike Hinchey. Developing Experimental Models for NASA Missions with ASSL. In: Proceedings of the Formal Methods for Aerospace Workshop (FMA'09) - Affiliated with Formal Methods Week (FM2009). Also published in: Electronic Proceedings in Theoretical Computer Science (EPTCS), Volume 20, 2010, pp. 88-94.
  48. Serguei A. Mokhov and Emil Vassev. Leveraging Modular Audio Recognition Framework (MARF) for the Simulation of Securing Maritime Borders Intelligent Systems Challenge. In: Proceedings of The Huntsville Simulation Conference 2009 (HSC’09). Society for Modeling & Simulation International (SCS), Huntsville, Alabama, USA, October, 2009, pp. 342-349.
  49. Emil Vassev and Mike Hinchey. Complexity Reduction in Developing Autonomic Systems with ASSL. In: Proceedings of the 33rd Annual IEEE Software Engineering Workshop SEW-33 (SEW'09), Skövde, Sweden, IEEE Computer Society, 2009, pp. 87-93.
  50. Emil Vassev and Mike Hinchey. Developing Self-Managing Embedded Systems with ASSL. In: Proceedings of the IMCSIT 2009 - WRTP/RTS'09, Polish Information Processing Society, Poland, 2009, pp. 187-194.
  51. Serguei A. Mokhov and Emil Vassev. Self-Forensics through Case Studies of Small-to-Medium Software Systems. In: Proceedings of the 5th International Conference on IT Security Incident Management & IT Forensics (IMF 2009), Stuttgart, Germany. IEEE Computer Society, 2009, pp. 128-141.
  52. Emil Vassev, Mike Hinchey, and Aaron Quigley. A Self-Adaptive Architecture for Autonomic Systems Specified with ASSL. In: Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT 2009), Sofia, Bulgaria. INSTICC, Volume 1, 2009, pp. 163-168.
  53. Emil Vassev, Mike Hinchey, and Aaron Quigley. Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. In: Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT 2009), Sofia, Bulgaria. INSTICC, Volume 1, 2009, pp. 251-256.
  54. Emil Vassev and Mike Hinchey. Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL. In: Proceedings of the 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09). IEEE Computer Society, 2009, pp. 246-253.
  55. Emil Vassev and Serguei A. Mokhov. Self-Optimization Property in Autonomic Specification of Distributed MARF with ASSL. In: Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT 2009), Sofia, Bulgaria. INSTICC, Volume 1, 2009, pp. 331-335.
  56. Emil Vassev and Serguei A. Mokhov. An ASSL-Generated Architecture for Autonomic Systems. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E '09). ACM, 2009, pp.121-126.
  57. Serguei A. Mokhov and Emil Vassev. Autonomic Specification of Self-Protection for Distributed MARF with ASSL. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E '09). ACM, 2009, pp. 175-183.
  58. Emil Vassev, Mike Hinchey, and Aaron Quigley. Model Checking for Autonomic Systems Specified with ASSL. In: Proceedings of the First NASA Formal Methods Symposium (NFM 2009). NASA, 2009, pp.16-25.
  59. Marco Bakera, Christian Wagner, Tiziana Margaria, Emil Vassev, Mike Hinchey, and Bernhard Steffen. Component-Oriented Behavior Extraction for Autonomic System Design. In: Proceedings of the First NASA Formal Methods Symposium (NFM 2009). NASA, 2009, pp. 66-75.
  60. Emil Vassev and Mike Hinchey. ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems. In: Proceedings of the 6th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe’09). IEEE Computer Society, 2009, pp. 77-86.
  61. Amir Pourteymour, Emil Vassev, and Joey Paquet. Design and Implementation of Demand Migration Systems in GIPSY. In: Proceedings of the 2008 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'08), Las Vegas, USA. CSREA Press, 2008, pp. 900-907.
  62. Emil Vassev and Mike Hinchey. ASSL Specification of Emergent Self-Adapting for NASA Swarm-Based Exploration Missions. In: Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2008), Venice, Italy. IEEE Computer Society, 2008, pp. 13-18.
  63. Emil Vassev and Mike Hinchey. An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. In: Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), Venice, Italy. IEEE Computer Society, 2008, pp. 473-474.
  64. Emil Vassev, Mike Hinchey, and Joey Paquet. A Self-Scheduling Model for NASA Swarm-Based Exploration Missions using ASSL. In: Proceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'08), Belfast, Northern Ireland, UK. IEEE Computer Society, 2008, pp. 54-64.
  65. Emil Vassev and Joey Paquet. Towards Autonomic GIPSY. In: Proceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'08), Belfast, Northern Ireland. IEEE Computer Society, 2008, pp. 25-34.
  66. Emil Vassev, Mike Hinchey, and Joey Paquet. Towards an ASSL Specification Model for NASA Swarm-Based Exploration Missions. In: Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008) - AC Track, Fortaleza, Ceara, Brazil. ACM, 2008, pp.1652-1657.
  67. Emil Vassev, Olga Ormandjieva, and Joey Paquet. ASSL Specification of Reliability Self-Assessment in the AS-TRM. In: Proceedings of the 2nd International Conference on Software and Data Technologies (ICSOFT 2007), Barcelona, Spain. INSTICC, 2007, pp. 198-206.
  68. Amir Pourteymour, Emil Vassev, Joey Paquet. Towards a New Demand-Driven Message-Oriented Middleware in GIPSY. In: Proceedings of The 2007 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'07), Las Vegas, USA. CSREA Press, 2007, pp. 91-97.
  69. Emil Vassev and Joey Paquet. Towards an Autonomic Element Architecture for ASSL. In: Proceedings of International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07), Minneapolis, MN, USA. IEEE Computer Society, 2007, p. 4.
  70. Emil Vassev and Joey Paquet. ASSL - Autonomic System Specification Language. In: Proceedings of the 31th Annual IEEE/NASA Software Engineering Workshop SEW-31 (SEW'07), Baltimore, MD, USA. IEEE Computer Society, 2007, pp. 300-309.
  71. Emil Vassev, Heng Kuang, Olga Ormandjieva, and Joey Paquet. Reactive, Distributed and Autonomic Computing Aspects of AS-TRM. In: Proceedings of The First International Conference on Software and Data Technologies (ICSOFT 2006), Setubal, Portugal. INSTICC, 2006, pp. 196-202.
  72. Emil Vassev and Joey Paquet. Evaluation Issues in Generic Programming with Inheritance and Templates in C++. In: Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers (SERP 2006), Las Vegas, Nevada, USA. CSREA Press, 2006, pp. 940-944.
  73. Emil Vassev and Joey Paquet. Aspects of Memory Management in Java and C++. In: Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers (SERP 2006), Las Vegas, Nevada, USA. CSREA Press, 2006, pp. 952-958.
  74. Emil Vassev and Joey Paquet. A Generic Framework for Migrating Demands in the GIPSY’ Demand-Driven Execution Engine. In: Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, Nevada, USA. CSREA Press, 2005, pp. 29-35.
  75. Emil Vassev and Joey Paquet. A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment. In: Proceedings of the 3rd Annual Communication Networks and Services Research Conference (CNSR'05), Halifax, Nova Scotia. IEEE Computer Society, 2005, pp. 176-182.

Some Reports and White Papers

  1. Emil Vassev. LXG Compiler - Design and Implementation. Project Report at the Department of Computer Science and Software Engineering, Concordia University, Quebec, Canada (December 2003). Published Online at arXiv.org, Article-id: 1001.1022, January 2010.
  2. Emil Vassev. Process Description of COM Object Life Cycle. Technical Article (March 2002). Published Online at arXiv.org, Article-id: 0912.4062, December 2009.
  3. Emil Vassev. Enterprise Multi-Branch Database Synchronization with MSMQ. Technical Article (April 2001). Published Online at arXiv.org, Article-id: 0912.2134, December 2009.
  4. Emil Vassev, Que Thu Dung Nguyen, and Heng Kuang. Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers. Project Report at the Department of Computer Science and Software Engineering, Concordia University, Quebec, Canada (2006). Published Online at arXiv.org, Article-id: 0911.3092, November 2009.
  5. Emil Vassev and Mike Hinchey. ASSL Specification Model for the Image-processing Behavior in the NASA Voyager Mission. Technical Report at Lero (the Irish Software Engineering Research Centre), January 2009.


Last modified on December 1, 2019