Emil Vassev

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 12

Top Topics

Formal Specification

Adaptive Systems

Requirements Engineering

Top Venues

Mob. Networks Appl.

Publications

Mike Hinchey, Emil Vassev
KnowLang - A Formal Specification Model for Self-adaptive Systems. Theories of Programming and Formal Methods (2023)
Emil Vassev, Mike Hinchey
The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta (2018)
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). Mob. Networks Appl. 23 (1) (2018)
Emil Vassev, Mike Hinchey
Stability Analysis for Adaptive Behavior - (Position Paper). VEHITS (2018)
Emil Vassev
Autonomy Requirements for Smart Vehicles. VEHITS (2017)
Phan Cong Vinh, Leonard Barolli, Emil Vassev
Editorial: Context-Aware Systems and Applications (ICCASA 2015). Mob. Networks Appl. 22 (2) (2017)
Emil Vassev
Modeling Self-adaptation - A Possible Endeavour? ICCASA/ICTCC (2017)
Emil Vassev, Mike Hinchey
Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper). VEHITS (2017)
Emil Vassev
Safe Artificial Intelligence and Formal Methods - (Position Paper). ISoLA (1) (2016)
Phan Cong Vinh, Emil Vassev
Nature-inspired computation and communication: A formal approach. Future Gener. Comput. Syst. 56 (2016)
Emil Vassev, Mike Hinchey
Integration and Promotion of Autonomy with the ARE Framework. ISoLA (1) (2016)
Emil Vassev, Mike Hinchey
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innov. Syst. Softw. Eng. 12 (2) (2016)
Emil Vassev
Welcome Message from the Editor-in-Chief. EAI Endorsed Trans. Self Adapt. Syst. 1 (1) (2015)
Emil Vassev, Mike Hinchey
KnowLang: Knowledge Representation for Self-Adaptive Systems. Computer 48 (2) (2015)
Emil Vassev
Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang. EAI Endorsed Trans. Self Adapt. Syst. 1 (1) (2015)
Emil Vassev, Mike Hinchey
The KnowLang Approach to Self-adaptation. Software, Services, and Systems (2015)
Emil Vassev, Nicklas Hoch, Henry-Paul Bensler, Mike Hinchey
Formalizing eMobility with KnowLang. C3S2E (2014)
Emil Vassev, Vangalur S. Alagar
Context-Aware Systems and Applications. Mob. Networks Appl. 19 (5) (2014)
Carlos C. Insaurralde, Emil Vassev
Software Specification and Automatic Code Generation to Realize Homeostatic Adaptation in Unmanned Spacecraft. C3S2E (2014)
Emil Vassev, Mike Hinchey, Philip Mayer
Formalizing Self-adaptive Clouds with KnowLang. ISoLA (1) (2014)
Emil Vassev, Son Vuong
Context-Aware Systems and Applications. Mob. Networks Appl. 19 (2) (2014)
Emil Vassev, Mike Hinchey
Modeling Swarm Robotics with KnowLang. ICTCC (2014)
Emil Vassev, Mike Hinchey
Autonomy Requirements Engineering for Self-Adaptive Science Clouds. IPDPS Workshops (2014)
Nicola Bicocchi, Emil Vassev, Franco Zambonelli, Mike Hinchey
Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems. ICTCC (2014)
Carlos C. Insaurralde, Emil Vassev
Autonomic Computing Software for Autonomous Space Vehicles. ICTCC (2014)
Emil Vassev, Mike Hinchey
Autonomy Requirements Engineering. Computer 46 (8) (2013)
Emil Vassev, Mike Hinchey
Implementing artificial awareness with KnowLang. SysCon (2013)
Emil Vassev, Mike Hinchey
Autonomy requirements engineering. IRI (2013)
Emil Vassev, Mike Hinchey
On the autonomy requirements for space missions. ISORC (2013)
Emil Vassev, Mike Hinchey
Autonomy requirements engineering: a case study on the BepiColombo mission. C3S2E (2013)
Emil Vassev, Roy Sterritt, Christopher A. Rouff, Mike Hinchey
Swarm Technology at NASA: Building Resilient Systems. IT Prof. 14 (2) (2012)
Ugo Montanari, Emil Vassev
Soft constraints for KnowLang. C3S2E (2012)
Emil Vassev, Mike Hinchey
Efficient Space Exploration through Laziness. ICCASA (2012)
Emil Vassev, Mike Hinchey, Benoit Gaudin
Knowledge representation for self-adaptive behavior. C3S2E (2012)
Emil Vassev, Serguei A. Mokhov
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL - A Distributed MARF Case Study. Trans. Comput. Sci. 15 (2012)
Emil Vassev, Mike Hinchey
Awareness in Software-Intensive Systems. Computer 45 (12) (2012)
Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, João Coelho Garcia, Walid Maalej
FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Comput. Pract. Exp. 13 (1) (2012)
Emil Vassev, Mike Hinchey
Efficient Reasoning with Ambient Trees for Space Exploration. ICCASA (2012)
Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher A. Rouff, Richard W. Buskens
Verification of Adaptive Systems. Infotech@Aerospace (2012)
Emil Vassev, Mike Hinchey
The ASSL approach to specifying self-managing embedded systems. Concurr. Comput. Pract. Exp. 24 (16) (2012)
Emil Vassev, Mike Hinchey
Knowledge Representation for Cognitive Robotic Systems. ISORC Workshops (2012)
Emil Vassev, Mike Hinchey
Self-Awareness in Autonomous Nano-Technology Swarm Missions. SASO Workshops (2011)
Emil Vassev, Mike Hinchey
Knowledge Representation and Reasoning for Intelligent Software Systems. Computer 44 (8) (2011)
Emil Vassev, Mike Hinchey
Fundamentals of Designing Complex Aerospace Software Systems. CSDM (2011)
Benoit Gaudin, Emil Vassev, Patrick Nixon, Michael G. Hinchey
A control theory based approach for self-healing of un-handled runtime exceptions. ICAC (2011)
Zdravko Karakehayov, Emil Vassev
Energy Efficiency with Runtime Models for Energy-aware Embedded Systems. SEW (2011)
Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. SEW (2011)
Emil Vassev, Mike Hinchey, Benoit Gaudin, Paddy Nixon
Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles. C3S2E (2011)
Emil Vassev, Mike Hinchey
Representing Knowledge in Robotic Systems with KnowLang. ISoLA Workshops (2011)
Emil Vassev, Mike Hinchey
Developing Model-Checking Mechanisms for ASSL: An Experience Report. SEFM (2011)
Emil Vassev, Serguei A. Mokhov
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study CoRR (2011)
Emil Vassev, Mike Hinchey
Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. ISORC Workshops (2011)
Emil Vassev, Paddy Nixon
Engineering intelligent sensor networks with ASSL and DMF. CTS (2010)
Emil Vassev, Mike Hinchey, Paddy Nixon
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. TASE (2010)
Mike Hinchey, Emil Vassev
The Art of Developing Autonomic Systems - The ASSL Approach. TASE (2010)
Emil Vassev, Mike Hinchey, Paddy Nixon
A formal approach to self-configurable swarm-based space-exploration systems. AHS (2010)
Emil Vassev
LXG Compiler - Design and Implementation CoRR (2010)
Emil Vassev
Code Generation for Autonomic Systems with ASSL. SERA (selected papers) (2010)
Emil Vassev, Mike Hinchey
Developing Self-Managing Embedded Systems with ASSL. ISORC Workshops (2010)
Emil Vassev, Mike Hinchey
The Challenge of Developing Autonomic Systems. Computer 43 (12) (2010)
Emil Vassev
An Operational Semantics for ASSL. SERA (2010)
Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi
Towards a self-forensics property in the ASSL toolset. C3S2E (2010)
Emil Vassev, Mike Hinchey
Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. C3S2E (2010)
Emil Vassev, Serguei A. Mokhov
Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing. SERA (selected papers) (2010)
Emil Vassev, Mike Hinchey, Paddy Nixon
Developing intelligent sensor networks: a technological convergence approach. SESENA@ICSE (2010)
Emil Vassev, Mike Hinchey, Paddy Nixon
Prototyping home automation wireless sensor networks with ASSL. ICAC (2010)
Emil Vassev, Mike Hinchey
Software Verification of Autonomic Systems Developed with ASSL. Monterey Workshop (2010)
Serguei A. Mokhov, Emil Vassev
Self-Forensics Through Case Studies of Small-to-Medium Software Systems. IMF (2009)
Emil Vassev, Que Thu Dung Nguyen, Heng Kuang
Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers CoRR (2009)
Serguei A. Mokhov, Emil Vassev
Autonomic specification of self-protection for distributed MARF with ASSL. C3S2E (2009)
Emil Vassev
Enterprise Multi-Branch Database Synchronization with MSMQ CoRR (2009)
Emil Vassev, Serguei A. Mokhov
An ASSL-generated architecture for autonomic systems. C3S2E (2009)
Serguei A. Mokhov, Emil Vassev
Leveraging MARF for the Simulation of the Securing Maritime Borders Intelligent Systems Challenge. HSC (2009)
Emil Vassev, Mike Hinchey, Aaron J. Quigley
Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. ICSOFT (1) (2009)
Emil Vassev, Mike Hinchey, Aaron J. Quigley
A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) (2009)
Emil Vassev, Mike Hinchey, Aaron J. Quigley
Model Checking for Autonomic Systems Specified with ASSL. NASA Formal Methods (2009)
Serguei A. Mokhov, Emil Vassev
Leveraging MARF for the Simulation of Securing Maritime Borders Intelligent Systems (IS) Challenge (abstract). HSC (2009)
Emil Vassev, Mike Hinchey
Complexity Reduction in Developing Autonomic Systems with ASSL. SEW (2009)
Emil Vassev, Serguei A. Mokhov
Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL. ICSOFT (1) (2009)
Emil Vassev, Mike Hinchey
Developing Experimental Models for NASA Missions with ASSL FMA (2009)
Emil Vassev, Mike Hinchey
ASSL: A Software Engineering Approach to Autonomic Computing. Computer 42 (6) (2009)
Emil Vassev
Process Description of COM Object Life Cycle CoRR (2009)
Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen
Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods (2009)
Emil Vassev, Mike Hinchey
ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. SASO Workshops (2008)
Emil Vassev, Mike Hinchey, Joey Paquet
Towards an ASSL specification model for NASA swarm-based exploration missions. SAC (2008)
Emil Vassev, Mike Hinchey
An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO (2008)
Mike Hinchey, Emil Vassev
An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC (2008)
Amir Hossein Pourteymour, Emil Vassev, Joey Paquet
Design and Implementation of Demand Migration Systems in GIPSY. PDPTA (2008)
Amir Hossein Pourteymour, Emil Vassev, Joey Paquet
Towards a new Demand-Driven Message-Oriented Middleware in GIPSY. PDPTA (2007)
Emil Vassev, Joey Paquet
Towards an Autonomic Element Architecture for ASSL. SEAMS (2007)
Emil Vassev, Olga Ormandjieva, Joey Paquet
Assl Specification of Reliability Self-Assessment in the As-Trm. ICSOFT (SE) (2007)
Emil Vassev, Joey Paquet
ASSL - Autonomic System Specification Language. SEW (2007)
Emil Vassev, Joey Paquet
Aspects of Memory Management in Java and C++. Software Engineering Research and Practice (2006)
Emil Vassev, Joey Paquet
Evaluation Issues in Generic Programming with Inheritance and Templates in C++. Software Engineering Research and Practice (2006)
Olga Ormandjieva, Heng Kuang, Emil Vassev
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach. Int. Trans. Syst. Sci. Appl. 2 (1) (2006)
Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet
Reactive, distributed and autonomic computing aspects of AS-TRM. ICSOFT (1) (2006)
Emil Vassev, Joey Paquet
A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine. PLC (2005)
Emil Vassev, Joey Paquet
A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment. CNSR (2005)