Emil Vassev

Emil Vassev, Mike Hinchey: Awareness in Software-Intensive Systems. IEEE Computer 45(12): 84-87 (2012)

Emil Vassev, Mike Hinchey: The ASSL approach to specifying self-managing embedded systems. Concurrency and Computation: Practice and Experience 24(16): 1860-1878 (2012)

Emil Vassev, Roy Sterritt, Christopher Rouff, Mike Hinchey: Swarm Technology at NASA: Building Resilient Systems. IT Professional 14(2): 36-42 (2012)

Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, Jog Coelho Garcia, Walid Maalej: FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Computing: Practice and Experience 13(1) (2012)

Emil Vassev, Serguei A. Mokhov: Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL - A Distributed MARF Case Study. Transactions on Computational Science 15: 130-157 (2012)

Ugo Montanari, Emil Vassev: Soft constraints for KnowLang. C3S2E 2012: 99-103

Emil Vassev, Mike Hinchey, Benoit Gaudin: Knowledge representation for self-adaptive behavior. C3S2E 2012: 113-117

Emil Vassev, Mike Hinchey: Efficient Space Exploration through Laziness. ICCASA 2012: 168-175

Emil Vassev, Mike Hinchey: Efficient Reasoning with Ambient Trees for Space Exploration. ICCASA 2012: 176-182

Emil Vassev, Mike Hinchey: Knowledge Representation for Cognitive Robotic Systems. ISORC Workshops 2012: 156-163

Mike Hinchey, Emil Vassev: Multi-Agent Systems - Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their Applications 2012: 181-202

Bipin C. Desai, Emil Vassev, Sudhir P. Mudur, Bipin C. Desai (Eds.): Fifth International C* Conference on Computer Science & Software Engineering, C3S2E '12, Montreal, QC, Canada, June 27-29, 2012. ACM 2012, isbn 978-1-4503-1084-0

Emil Vassev, Mike Hinchey: Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer 44(8): 96-99 (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: 35-42

Emil Vassev, Mike Hinchey: Fundamentals of Designing Complex Aerospace Software Systems. CSDM 2011: 65-80

Benoit Gaudin, Emil Vassev, Patrick Nixon, Michael G. Hinchey: A control theory based approach for self-healing of un-handled runtime exceptions. ICAC 2011: 217-220

Emil Vassev, Mike Hinchey: Self-Awareness in Autonomous Nano-Technology Swarm Missions. SASO Workshops 2011: 133-136

Emil Vassev, Mike Hinchey: Developing Model-Checking Mechanisms for ASSL: An Experience Report. SEFM 2011: 19-34

Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson: An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. SEW 2011: 11-18

Zdravko Karakehayov, Emil Vassev: Energy Efficiency with Runtime Models for Energy-aware Embedded Systems. SEW 2011: 106-111

Emil Vassev, Serguei A. Mokhov: Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study. CoRR abs/1112.3972 (2011)

Emil Vassev, Mike Hinchey: The Challenge of Developing Autonomic Systems. IEEE Computer 43(12): 93-96 (2010)

Emil Vassev, Mike Hinchey, Paddy Nixon: A formal approach to self-configurable swarm-based space-exploration systems. AHS 2010: 83-90

Emil Vassev, Mike Hinchey: Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. C3S2E 2010: 75-83

Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi: Towards a self-forensics property in the ASSL toolset. C3S2E 2010: 108-113

Emil Vassev, Paddy Nixon: Engineering intelligent sensor networks with ASSL and DMF. CTS 2010: 94-102

Emil Vassev, Mike Hinchey, Paddy Nixon: Prototyping home automation wireless sensor networks with ASSL. ICAC 2010: 71-72

Emil Vassev, Mike Hinchey: Software Verification of Autonomic Systems Developed with ASSL. Monterey Workshop 2010: 1-16

Emil Vassev, Serguei A. Mokhov: Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing. SERA (selected papers) 2010: 1-15

Emil Vassev: Code Generation for Autonomic Systems with ASSL. SERA (selected papers) 2010: 69-85

Emil Vassev: An Operational Semantics for ASSL. SERA 2010: 77-84

Emil Vassev, Mike Hinchey, Paddy Nixon: Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. TASE 2010: 3-8

Mike Hinchey, Emil Vassev: The Art of Developing Autonomic Systems - The ASSL Approach. TASE 2010: 9-12

Mike Hinchey, Jonathan P. Bowen, Emil Vassev: Formal Methods. Encyclopedia of Software Engineering 2010: 308-320

Jonathan P. Bowen, Mike Hinchey, Emil Vassev: Formal Requirements Specification. Encyclopedia of Software Engineering 2010: 321-332

Roy Sterritt, Mike Hinchey, Emil Vassev: Self-Managing Software. Encyclopedia of Software Engineering 2010: 1072-1081

Emil Vassev: Use Cases. Encyclopedia of Software Engineering 2010: 1289-1301

Emil Vassev: LXG Compiler - Design and Implementation. CoRR abs/1001.1022 (2010)

Emil Vassev, Mike Hinchey: ASSL: A Software Engineering Approach to Autonomic Computing. IEEE Computer 42(6): 90-93 (2009)

Emil Vassev, Serguei A. Mokhov: An ASSL-generated architecture for autonomic systems. C3S2E 2009: 121-126

Serguei A. Mokhov, Emil Vassev: Autonomic specification of self-protection for distributed MARF with ASSL. C3S2E 2009: 175-183

Serguei A. Mokhov, Emil Vassev: Leveraging MARF for the Simulation of Securing Maritime Borders Intelligent Systems (IS) Challenge (abstract). HSC 2009: 46

Serguei A. Mokhov, Emil Vassev: Leveraging MARF for the Simulation of the Securing Maritime Borders Intelligent Systems Challenge. HSC 2009: 342-349

Emil Vassev, Mike Hinchey, Aaron J. Quigley: A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) 2009: 163-168

Emil Vassev, Mike Hinchey, Aaron J. Quigley: Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. ICSOFT (1) 2009: 251-256

Emil Vassev, Serguei A. Mokhov: Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL. ICSOFT (1) 2009: 331-335

Serguei A. Mokhov, Emil Vassev: Self-Forensics Through Case Studies of Small-to-Medium Software Systems. IMF 2009: 128-141

Emil Vassev, Mike Hinchey, Aaron J. Quigley: Model Checking for Autonomic Systems Specified with ASSL. NASA Formal Methods 2009: 16-25

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: 66-75

Emil Vassev, Mike Hinchey: Complexity Reduction in Developing Autonomic Systems with ASSL. SEW 2009: 87-93

Emil Vassev, Mike Hinchey: Developing Experimental Models for NASA Missions with ASSL. FMA 2009: 88

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 abs/0911.3092 (2009)

Emil Vassev: Enterprise Multi-Branch Database Synchronization with MSMQ. CoRR abs/0912.2134 (2009)

Emil Vassev: Process Description of COM Object Life Cycle. CoRR abs/0912.4062 (2009)

Mike Hinchey, Emil Vassev: An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC 2008: 316-330

Amir Hossein Pourteymour, Emil Vassev, Joey Paquet: Design and Implementation of Demand Migration Systems in GIPSY. PDPTA 2008: 900-907

Emil Vassev, Mike Hinchey, Joey Paquet: Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657

Emil Vassev, Mike Hinchey: ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. SASO Workshops 2008: 13-18

Emil Vassev, Mike Hinchey: An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO 2008: 473-474

Emil Vassev, Joey Paquet: Towards an Autonomic Element Architecture for ASSL. SEAMS 2007: 4

Emil Vassev, Olga Ormandjieva, Joey Paquet: Assl Specification of Reliability Self-Assessment in the As-Trm. ICSOFT (SE) 2007: 198-206

Amir Hossein Pourteymour, Emil Vassev, Joey Paquet: Towards a new Demand-Driven Message-Oriented Middleware in GIPSY. PDPTA 2007: 91-97

Emil Vassev, Joey Paquet: ASSL - Autonomic System Specification Language. SEW 2007: 300-309

Olga Ormandjieva, Heng Kuang, Emil Vassev: Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach. ITSSA 2(1): 99-104 (2006)

Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet: Reactive, distributed and autonomic computing aspects of AS-TRM. ICSOFT (1) 2006: 196-202

Emil Vassev, Joey Paquet: Evaluation Issues in Generic Programming with Inheritance and Templates in C++. Software Engineering Research and Practice 2006: 940-944

Emil Vassev, Joey Paquet: Aspects of Memory Management in Java and C++. Software Engineering Research and Practice 2006: 952-958

Emil Vassev, Joey Paquet: A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment. CNSR 2005: 176-182

Emil Vassev, Joey Paquet: A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine. PLC 2005: 29-35