| 2018 | VEHITS | Stability Analysis for Adaptive Behavior - (Position Paper). | Emil Vassev, Mike Hinchey |
| 2017 | VEHITS | Autonomy Requirements for Smart Vehicles. | Emil Vassev |
| 2017 | VEHITS | Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper). | Emil Vassev, Mike Hinchey |
| 2016 | ISoLA | Safe Artificial Intelligence and Formal Methods - (Position Paper). | Emil Vassev |
| 2016 | ISoLA | Integration and Promotion of Autonomy with the ARE Framework. | Emil Vassev, Mike Hinchey |
| 2014 | ISoLA | Formalizing Self-adaptive Clouds with KnowLang. | Emil Vassev, Mike Hinchey, Philip Mayer |
| 2013 | IRI | Autonomy requirements engineering. | Emil Vassev, Mike Hinchey |
| 2013 | ISORC | On the autonomy requirements for space missions. | Emil Vassev, Mike Hinchey |
| 2012 | ISORC | Knowledge Representation for Cognitive Robotic Systems. | Emil Vassev, Mike Hinchey |
| 2011 | ISoLA | Representing Knowledge in Robotic Systems with KnowLang. | Emil Vassev, Mike Hinchey |
| 2011 | ISORC | Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. | Emil Vassev, Mike Hinchey |
| 2011 | SEFM | Developing Model-Checking Mechanisms for ASSL: An Experience Report. | Emil Vassev, Mike Hinchey |
| 2011 | SEW | Energy Efficiency with Runtime Models for Energy-aware Embedded Systems. | Zdravko Karakehayov, Emil Vassev |
| 2011 | SEW | An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. | Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson |
| 2010 | ICSE | Developing intelligent sensor networks: a technological convergence approach. | Emil Vassev, Mike Hinchey, Paddy Nixon |
| 2010 | ISORC | Developing Self-Managing Embedded Systems with ASSL. | Emil Vassev, Mike Hinchey |
| 2010 | SERA | An Operational Semantics for ASSL. | Emil Vassev |
| 2010 | SERA | Code Generation for Autonomic Systems with ASSL. | Emil Vassev |
| 2010 | SERA | Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing. | Emil Vassev, Serguei A. Mokhov |
| 2010 | TASE | The Art of Developing Autonomic Systems - The ASSL Approach. | Mike Hinchey, Emil Vassev |
| 2010 | TASE | Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. | Emil Vassev, Mike Hinchey, Paddy Nixon |
| 2009 | ICSoft | A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. | Emil Vassev, Mike Hinchey, Aaron J. Quigley |
| 2009 | ICSoft | Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. | Emil Vassev, Mike Hinchey, Aaron J. Quigley |
| 2009 | ICSoft | Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL. | Emil Vassev, Serguei A. Mokhov |
| 2009 | SEW | Complexity Reduction in Developing Autonomic Systems with ASSL. | Emil Vassev, Mike Hinchey |
| 2008 | ATC | An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. | Mike Hinchey, Emil Vassev |
| 2008 | PDPTA | Design and Implementation of Demand Migration Systems in GIPSY. | Amir Hossein Pourteymour, Emil Vassev, Joey Paquet |
| 2008 | SAC | Towards an ASSL specification model for NASA swarm-based exploration missions. | Emil Vassev, Mike Hinchey, Joey Paquet |
| 2007 | ICSE | Towards an Autonomic Element Architecture for ASSL. | Emil Vassev, Joey Paquet |
| 2007 | ICSoft | Assl Specification of Reliability Self-Assessment in the As-Trm. | Emil Vassev, Olga Ormandjieva, Joey Paquet |
| 2007 | PDPTA | Towards a new Demand-Driven Message-Oriented Middleware in GIPSY. | Amir Hossein Pourteymour, Emil Vassev, Joey Paquet |
| 2007 | SEW | ASSL - Autonomic System Specification Language. | Emil Vassev, Joey Paquet |
| 2006 | ICSoft | Reactive, distributed and autonomic computing aspects of AS-TRM. | Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet |