Emil Vassev

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