ASSL Publications

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. ASSL: Autonomic System Specification Language - A Framework for Specification and Code Generation of Autonomic Systems. LAP Lambert Academic Publishing, Germany, November 2009.

1. 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, 2010 (to appear).
2. 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.
3. 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.
4. 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, Lecture Notes in Computer Science, Volume 5060. Springer, 2008, pp.316-330.
5. 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.

1. Emil Vassev and Mike Hinchey. ASSL: A Software Engineering Approach to Autonomic Computing. IEEE Computer, Volume 42 (6), June 2009, pp. 106-109.
2. 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.
3. 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.

1. 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 (to appear).
2. 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 (to appear).
3. Emil Vassev, Mike Hinchey and Paddy Nixon. Prototyping Home Automation Wireless Sensor Networks with ASSL. In: Proceedings of the 7th IEEE International Conference on Autonomic Computing and Communications (ICAC2010). ACM, 2010, pp.71-72.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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 (to appear).
11. Tiziana Margaria, Marco Bakera and Christian Wagner. Component-Oriented Behavior Extraction for Autonomic System Design. In: Proceedings of the 2009 Dagstuhl Seminar on Self-Healing and Self-Adaptive Systems (ed. Artur Andrzejak, Kurt Geihs, Onn Shehory and John Wilkes). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009.
12. Tiziana Margaria, Christian Wagner and Marco Bakera. Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems. In: Proceedings of INFORMATIK 2009 - Im Focus das Leben, Lecture Notes in Informatics (eds. Stefan Fischer, Erik Maehle, Rüdiger Reischuk ), Gesellschaft für Informatik, Bonn, 2009, pp. 3502-3506.
13. 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.
14. 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). Electronic Proceedings in Theoretical Computer Science (EPTCS), Volume 20, 2010, pp. 88-94.
15. 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 (to appear).
16. 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.
17. 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.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. 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.
32. 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.

1. 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.