Emil Vassev
Orcid: 0000-0002-6574-7645
According to our database1,
Emil Vassev
authored at least 105 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on vassev.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2018
Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017).
Mob. Networks Appl., 2018
Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems, 2018
Proceedings of the Models, Mindsets, 2018
2017
Mob. Networks Appl., 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
Proceedings of the Context-Aware Systems and Applications, 2017
2016
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach.
Innov. Syst. Softw. Eng., 2016
Future Gener. Comput. Syst., 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
EAI Endorsed Trans. Self Adapt. Syst., 2015
EAI Endorsed Trans. Self Adapt. Syst., 2015
2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014
Proceedings of the Nature of Computation and Communication - International Conference, 2014
Proceedings of the Nature of Computation and Communication - International Conference, 2014
Proceedings of the Nature of Computation and Communication - International Conference, 2014
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
NASA Monographs in Systems and Software Engineering, Springer, ISBN: 978-3-319-09816-6, 2014
2013
Proceedings of the IEEE International Systems Conference, 2013
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
Proceedings of the International C* Conference on Computer Science & Software Engineering, 2013
2012
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. Comput. Sci., 2012
FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance.
Scalable Comput. Pract. Exp., 2012
Concurr. Comput. Pract. Exp., 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012
Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012
Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012
Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012
Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012
2011
Computer, 2011
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
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
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011
Proceedings of the 8th International Conference on Autonomic Computing, 2011
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
Proceedings of the Encyclopedia of Software Engineering, 2010
Proceedings of the Encyclopedia of Software Engineering, 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
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Proceedings of the Software Engineering Research, 2010
Proceedings of the Software Engineering Research, 2010
Proceedings of the Eighth ACIS International Conference on Software Engineering Research, 2010
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010
Proceedings of the 7th International Conference on Autonomic Computing, 2010
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2010
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2010
Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010
2009
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009
Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers
CoRR, 2009
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
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
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2009
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
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
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
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
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.
Int. Trans. Syst. Sci. Appl., 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