Publications

My publication record by April 26, 2012

My Author Profile Page at ACM My Author Profile Page at DBLP My Author Profile Page at Microsoft Academic Search

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. ASSL: Autonomic System Specification Language - A Framework for Specification and Code Generation of Autonomic Systems. LAP Lambert Academic Publishing, Germany, November 2009.
  2. Emil Vassev. General Architecture for Demand Migration in Distributed Systems. LAP Lambert Academic Publishing, Germany, August 2009.

Patents

  1. Mike Hinchey and Emil Vassev. Method of Improving System Performance and Survivability through Self-sacrifice. U.S. Patent filed with NASA, Appl. #12569422, EFS ID: 6168795, GSC 15,550-1. NASA, October 15, 2008.

Book Chapters

  1. 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, pp. 129 - 146. Springer, 2012, ISBN 978-1-4471-2349-1.
  2. 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, to appear.
  3. Zdravko Karakehayov, Emil Vassev. Power Management Formalism for Embedded Software. In: P.A. Laplante (ed.), Encyclopedia of Software Engineering. Taylor & Francis, 2012, to appear.
  4. 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, 2012, pp. 181 - 202. IOS Press, ISBN 978-1-60750-817-5.
  5. 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
  6. 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
  7. 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
  8. 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.
  9. 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 Computer Systems: The Grand Challenge for Robotic Software (Monterey2010). Microsoft Research Center, Redmond, USA. Springer Verlag, 2010, pp. 1-16.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.

Journal Papers

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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.
  6. Emil Vassev and Mike Hinchey. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience. John Wiley & Sons, 2011. DOI: 10.1002/cpe.1758.
  7. Emil Vassev and Mike Hinchey. The Challenge of Developing Autonomic Systems. IEEE Computer, Volume 43 (12), December 2010, pp. 93-96.10. DOI:1109/MC.2010.361.
  8. 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.
  9. 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.
  10. 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.
  11. 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.

Conference & Workshop Papers


  1. 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.
  2. Emil Vassev and Mike Hinchey. Representing Knowledge in Robotic Systems with KnowLang. In: Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems. October 17 - 18, 2011 - Vienna University of Technology, to appear.
  3. 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.
  4. 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.
  5. 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.
  6. Mike Hinchey and Emil Vassev. Towards Resilient Space Exploration Systems. In: Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI'11). IEEE Computer Society, 2011, to appear.
  7. 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
  8. 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
  9. 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.
  10. 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, 2010, to appear.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 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.

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 April 26, 2012