Emil Vassev
.
2012. Knowledge Representation for Cognitive Robotic Systems. Proceedings of the 15th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2012).
.
2012. Swarm Technology at NASA: Building Resilient Systems. IT Professional.
.
2012. Automatic Repair of Software Systems. Encyclopedia of Software Engineering.
.
2012. Multi-Agent Systems – Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their Applications. 32:pp181-202.
.
2011. Fundamentals of Designing Complex Aerospace Software Systems. Proceedings of Complex Systems Design & Management (CSDM2011).
.
2011. Developing Model-Checking Mechanisms for ASSL: An Experience Report. Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011).
.
2011. Representing Knowledge in Robotic Systems with KnowLang. Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems.
.
2011. Self-Awareness in Autonomous Nano-Technology Swarm Missions. Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011).
.
2011. Towards a Formal Language for Knowledge Representation in Autonomic Service-Component Ensembles. Proceedings of the 3rd International Conference on Data Mining and Intelligent Information Technology Applications (ICMIA2011).
.
2011. Smart Health Management for Swarm-based Space Exploration Systems. Proceedings of the 2nd International Workshop on Software Health Management(SHM'11).
.
2011. An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.
.
2011. A Control Theory Based Approach for Self-Healing of Un-handled Runtime Exceptions. 8th International Conference on Autonomic Computing (ICAC 2011).
.
2011. Energy Efficiency with Runtime Models for Energy-Aware Embedded Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.
.
2011. Requirements and Initial Model for KnowLang - a Language for Knowledge Representation in Autonomic Service-Component Ensembles. Proceedings the Fourth International C* Conference on Computer Science & Software Engineering (C3S2E 2011).
.
2011. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience.
.
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 (ISCORC 2011).
.
2011. Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL. Transactions on Computational Science. Springer Verlag(LNCS)
.
2011. Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer. 44(8):pp96-99.
.
2011. Knowledge Representation for Intelligent Systems. Encyclopedia of Software Engineering. :pp1-13.
.
2011. Software Verification of Autonomic Systems Developed with ASSL. Proceedings of the 16th Monterey Workshop on Modeling - Monterey Workshops 2010.
.
2010. Developing Intelligent Sensor Networks - A Technological Convergence Approach. Proceedings of the Workshop on Software Engineering for Sensor Network Applications (SESENA2010) - In conjunction with the ACM/IEEE International Conference on Software Engineering (ICSE2010).
.
2010. A Formal Approach to Self-configurable Swarm-based Space-exploration Systems. Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010).
.
2010. Prototyping Home Automation Wireless Sensor Networks with ASSL. Proceedings of the 7th IEEE International Conference on Autonomic Computing and Communications (ICAC2010).
.
2010. Extracting Component-oriented Behavior for Self-healing Enabling. Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'10).
Printer-friendly version