Emil Vassev

According to our database1, Emil Vassev authored at least 104 papers between 2005 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017).
MONET, 2018

Stability Analysis for Adaptive Behavior - (Position Paper).
Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems, 2018

2017
Editorial: Context-Aware Systems and Applications (ICCASA 2015).
MONET, 2017

Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper).
Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, 2017

Autonomy Requirements for Smart Vehicles.
Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, 2017

2016
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach.
ISSE, 2016

Nature-inspired computation and communication: A formal approach.
Future Generation Comp. Syst., 2016

Integration and Promotion of Autonomy with the ARE Framework.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Safe Artificial Intelligence and Formal Methods - (Position Paper).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015
Engineering Requirements for Autonomy Features.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Knowledge Representation for Adaptive and Self-aware Systems.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015


Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang.
EAI Endorsed Trans. Self-Adaptive Systems, 2015

Welcome Message from the Editor-in-Chief.
EAI Endorsed Trans. Self-Adaptive Systems, 2015

KnowLang: Knowledge Representation for Self-Adaptive Systems.
IEEE Computer, 2015

The KnowLang Approach to Self-adaptation.
Proceedings of the Software, 2015

2014
Context-Aware Systems and Applications.
MONET, 2014

Context-Aware Systems and Applications.
MONET, 2014

Formalizing Self-adaptive Clouds with KnowLang.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Autonomy Requirements Engineering for Self-Adaptive Science Clouds.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Modeling Swarm Robotics with KnowLang.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

Autonomic Computing Software for Autonomous Space Vehicles.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

Formalizing eMobility with KnowLang.
Proceedings of the International C* Conference on Computer Science & Software Engineering, 2014

Software Specification and Automatic Code Generation to Realize Homeostatic Adaptation in Unmanned Spacecraft.
Proceedings of the International C* Conference on Computer Science & Software Engineering, 2014

Autonomy Requirements Engineering for Space Missions
NASA Monographs in Systems and Software Engineering, Springer, ISBN: 978-3-319-09816-6, 2014

2013
Autonomy Requirements Engineering.
IEEE Computer, 2013

Implementing artificial awareness with KnowLang.
Proceedings of the IEEE International Systems Conference, 2013

On the autonomy requirements for space missions.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Autonomy requirements engineering.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Autonomy requirements engineering: a case study on the BepiColombo mission.
Proceedings of the International C* Conference on Computer Science & Software Engineering, 2013

2012
Multi-Agent Systems - Theory, Approaches and NASA Applications.
Proceedings of the Software Agents, Agent Systems and Their Applications, 2012

Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL - A Distributed MARF Case Study.
Trans. Computational Science, 2012

FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance.
Scalable Computing: Practice and Experience, 2012

Swarm Technology at NASA: Building Resilient Systems.
IT Professional, 2012

The ASSL approach to specifying self-managing embedded systems.
Concurrency and Computation: Practice and Experience, 2012

Awareness in Software-Intensive Systems.
IEEE Computer, 2012

Verification of Adaptive Systems.
Proceedings of the Infotech@Aerospace 2012, 2012

Knowledge Representation for Cognitive Robotic Systems.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Efficient Reasoning with Ambient Trees for Space Exploration.
Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Efficient Space Exploration through Laziness.
Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Knowledge representation for self-adaptive behavior.
Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012

Soft constraints for KnowLang.
Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012

2011
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study
CoRR, 2011

Knowledge Representation and Reasoning for Intelligent Software Systems.
IEEE Computer, 2011

An ASSL Approach to Handling Uncertainty in Self-adaptive Systems.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Energy Efficiency with Runtime Models for Energy-aware Embedded Systems.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Developing Model-Checking Mechanisms for ASSL: An Experience Report.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Self-Awareness in Autonomous Nano-Technology Swarm Missions.
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Representing Knowledge in Robotic Systems with KnowLang.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

A control theory based approach for self-healing of un-handled runtime exceptions.
Proceedings of the 8th International Conference on Autonomic Computing, 2011

Fundamentals of Designing Complex Aerospace Software Systems.
Proceedings of the Complex Systems Design & Management, 2011

Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles.
Proceedings of the Fourth International C* Conference on Computer Science & Software Engineering, 2011

2010
Use Cases.
Proceedings of the Encyclopedia of Software Engineering, 2010

Self-Managing Software.
Proceedings of the Encyclopedia of Software Engineering, 2010

Formal Methods.
Proceedings of the Encyclopedia of Software Engineering, 2010

Formal Requirements Specification.
Proceedings of the Encyclopedia of Software Engineering, 2010

LXG Compiler - Design and Implementation
CoRR, 2010

The Challenge of Developing Autonomic Systems.
IEEE Computer, 2010

Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

The Art of Developing Autonomic Systems - The ASSL Approach.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing.
Proceedings of the Software Engineering Research, 2010

Code Generation for Autonomic Systems with ASSL.
Proceedings of the Software Engineering Research, 2010

An Operational Semantics for ASSL.
Proceedings of the Eighth ACIS International Conference on Software Engineering Research, 2010

Software Verification of Autonomic Systems Developed with ASSL.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Developing Self-Managing Embedded Systems with ASSL.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Developing intelligent sensor networks: a technological convergence approach.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

Prototyping home automation wireless sensor networks with ASSL.
Proceedings of the 7th International Conference on Autonomic Computing, 2010

Engineering intelligent sensor networks with ASSL and DMF.
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010

Rapid prototyping and development of intelligent sensor networks with ASSL and DMF.
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2010

Towards a self-forensics property in the ASSL toolset.
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2010

A formal approach to self-configurable swarm-based space-exploration systems.
Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010

2009
Developing Experimental Models for NASA Missions with ASSL
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Process Description of COM Object Life Cycle
CoRR, 2009

Enterprise Multi-Branch Database Synchronization with MSMQ
CoRR, 2009

Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers
CoRR, 2009

ASSL: A Software Engineering Approach to Autonomic Computing.
IEEE Computer, 2009

Complexity Reduction in Developing Autonomic Systems with ASSL.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Model Checking for Autonomic Systems Specified with ASSL.
Proceedings of the First NASA Formal Methods Symposium, 2009

Component-Oriented Behavior Extraction for Autonomic System Design.
Proceedings of the First NASA Formal Methods Symposium, 2009

Self-Forensics Through Case Studies of Small-to-Medium Software Systems.
Proceedings of the IMF 2009, 2009

Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL.
Proceedings of the ICSOFT 2009, 2009

Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL.
Proceedings of the ICSOFT 2009, 2009

A Self-adaptive Architecture for Autonomic Systems Developed with ASSL.
Proceedings of the ICSOFT 2009, 2009

Leveraging MARF for the Simulation of the Securing Maritime Borders Intelligent Systems Challenge.
Proceedings of the Huntsville Simulation Conference, 2009

Leveraging MARF for the Simulation of Securing Maritime Borders Intelligent Systems (IS) Challenge (abstract).
Proceedings of the Huntsville Simulation Conference, 2009

An ASSL-generated architecture for autonomic systems.
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2009

Autonomic specification of self-protection for distributed MARF with ASSL.
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2009

2008
ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Towards an ASSL specification model for NASA swarm-based exploration missions.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Design and Implementation of Demand Migration Systems in GIPSY.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL.
Proceedings of the Autonomic and Trusted Computing, 5th International Conference, 2008

2007
ASSL - Autonomic System Specification Language.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Towards a new Demand-Driven Message-Oriented Middleware in GIPSY.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

Assl Specification of Reliability Self-Assessment in the As-Trm.
Proceedings of the ICSOFT 2007, 2007

Towards an Autonomic Element Architecture for ASSL.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

2006
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach.
ITSSA, 2006

Aspects of Memory Management in Java and C++.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Evaluation Issues in Generic Programming with Inheritance and Templates in C++.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Reactive, distributed and autonomic computing aspects of AS-TRM.
Proceedings of the ICSOFT 2006, 2006

2005
A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment.
Proceedings of the Third Annual Conference on Communication Networks and Services Research (CNSR 2005), 2005


  Loading...