default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEmil Vassev
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c74]Mike Hinchey, Emil Vassev:
KnowLang - A Formal Specification Model for Self-adaptive Systems. Theories of Programming and Formal Methods 2023: 367-392
2010 – 2019
- 2018
- [j19]Phan Cong Vinh, Leonard Barolli, Giacomo Cabri, Emil Vassev:
Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017). Mob. Networks Appl. 23(1): 1-3 (2018) - [c73]Emil Vassev, Mike Hinchey:
The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta 2018: 268-296 - [c72]Emil Vassev, Mike Hinchey:
Stability Analysis for Adaptive Behavior - (Position Paper). VEHITS 2018: 481-487 - [e4]Phan Cong Vinh, Nguyen Ha Huy Cuong, Emil Vassev:
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. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 217, Springer 2018, ISBN 978-3-319-77817-4 [contents] - 2017
- [j18]Phan Cong Vinh, Leonard Barolli, Emil Vassev:
Editorial: Context-Aware Systems and Applications (ICCASA 2015). Mob. Networks Appl. 22(2): 287-288 (2017) - [c71]Emil Vassev:
Modeling Self-adaptation - A Possible Endeavour? ICCASA/ICTCC 2017: 60-68 - [c70]Emil Vassev:
Autonomy Requirements for Smart Vehicles. VEHITS 2017: 9 - [c69]Emil Vassev, Mike Hinchey:
Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper). VEHITS 2017: 366-372 - 2016
- [j17]Phan Cong Vinh, Emil Vassev:
Nature-inspired computation and communication: A formal approach. Future Gener. Comput. Syst. 56: 121-123 (2016) - [j16]Emil Vassev
, Mike Hinchey:
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innov. Syst. Softw. Eng. 12(2): 95-107 (2016) - [c68]Emil Vassev, Mike Hinchey:
Integration and Promotion of Autonomy with the ARE Framework. ISoLA (1) 2016: 689-703 - [c67]Emil Vassev:
Safe Artificial Intelligence and Formal Methods - (Position Paper). ISoLA (1) 2016: 704-713 - 2015
- [j15]Emil Vassev, Mike Hinchey:
KnowLang: Knowledge Representation for Self-Adaptive Systems. Computer 48(2): 81-84 (2015) - [j14]Emil Vassev:
Welcome Message from the Editor-in-Chief. EAI Endorsed Trans. Self Adapt. Syst. 1(1): e1 (2015) - [j13]Emil Vassev:
Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang. EAI Endorsed Trans. Self Adapt. Syst. 1(1): e6 (2015) - [c66]Emil Vassev, Mike Hinchey:
The KnowLang Approach to Self-adaptation. Software, Services, and Systems 2015: 676-692 - [p4]Emil Vassev, Mike Hinchey:
Knowledge Representation for Adaptive and Self-aware Systems. The ASCENS Approach 2015: 221-247 - [p3]Emil Vassev, Mike Hinchey:
Engineering Requirements for Autonomy Features. The ASCENS Approach 2015: 379-403 - [p2]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:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448 - [e3]Phan Cong Vinh, Emil Vassev, Mike Hinchey:
Nature of Computation and Communication - International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 144, Springer 2015, ISBN 978-3-319-15391-9 [contents] - 2014
- [b1]Emil Vassev, Mike Hinchey:
Autonomy Requirements Engineering for Space Missions. NASA Monographs in Systems and Software Engineering, Springer 2014, ISBN 978-3-319-09815-9, pp. 1-187 - [j12]Emil Vassev, Son Vuong:
Context-Aware Systems and Applications. Mob. Networks Appl. 19(2): 210-211 (2014) - [j11]Emil Vassev, Vangalur S. Alagar:
Context-Aware Systems and Applications. Mob. Networks Appl. 19(5): 583-584 (2014) - [c65]Emil Vassev, Nicklas Hoch, Henry-Paul Bensler, Mike Hinchey:
Formalizing eMobility with KnowLang. C3S2E 2014: 4:1-4:8 - [c64]Carlos C. Insaurralde, Emil Vassev:
Software Specification and Automatic Code Generation to Realize Homeostatic Adaptation in Unmanned Spacecraft. C3S2E 2014: 5:1-5:10 - [c63]Emil Vassev, Mike Hinchey:
Modeling Swarm Robotics with KnowLang. ICTCC 2014: 13-22 - [c62]Nicola Bicocchi, Emil Vassev, Franco Zambonelli, Mike Hinchey:
Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems. ICTCC 2014: 23-32 - [c61]Carlos C. Insaurralde, Emil Vassev:
Autonomic Computing Software for Autonomous Space Vehicles. ICTCC 2014: 33-41 - [c60]Emil Vassev, Mike Hinchey:
Autonomy Requirements Engineering for Self-Adaptive Science Clouds. IPDPS Workshops 2014: 1344-1353 - [c59]Emil Vassev, Mike Hinchey, Philip Mayer:
Formalizing Self-adaptive Clouds with KnowLang. ISoLA (1) 2014: 117-130 - [e2]Phan Cong Vinh, Vangalur S. Alagar, Emil Vassev, Ashish Khare:
Context-Aware Systems and Applications - Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 128, Springer 2014, ISBN 978-3-319-05938-9 [contents] - 2013
- [j10]Emil Vassev, Mike Hinchey:
Autonomy Requirements Engineering. Computer 46(8): 82-84 (2013) - [c58]Emil Vassev, Mike Hinchey:
Autonomy requirements engineering: a case study on the BepiColombo mission. C3S2E 2013: 31-41 - [c57]Emil Vassev, Mike Hinchey:
Autonomy requirements engineering. IRI 2013: 175-184 - [c56]Emil Vassev, Mike Hinchey:
On the autonomy requirements for space missions. ISORC 2013: 1-10 - [c55]Emil Vassev, Mike Hinchey:
Implementing artificial awareness with KnowLang. SysCon 2013: 580-586 - 2012
- [j9]Emil Vassev, Mike Hinchey:
Awareness in Software-Intensive Systems. Computer 45(12): 84-87 (2012) - [j8]Emil Vassev, Mike Hinchey:
The ASSL approach to specifying self-managing embedded systems. Concurr. Comput. Pract. Exp. 24(16): 1860-1878 (2012) - [j7]Emil Vassev, Roy Sterritt, Christopher A. Rouff, Mike Hinchey:
Swarm Technology at NASA: Building Resilient Systems. IT Prof. 14(2): 36-42 (2012) - [j6]Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, João Coelho Garcia, Walid Maalej:
FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. Scalable Comput. Pract. Exp. 13(1) (2012) - [j5]Emil Vassev, Serguei A. Mokhov:
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL - A Distributed MARF Case Study. Trans. Comput. Sci. 15: 130-157 (2012) - [c54]Ugo Montanari, Emil Vassev:
Soft constraints for KnowLang. C3S2E 2012: 99-103 - [c53]Emil Vassev, Mike Hinchey, Benoit Gaudin:
Knowledge representation for self-adaptive behavior. C3S2E 2012: 113-117 - [c52]Emil Vassev, Mike Hinchey:
Efficient Space Exploration through Laziness. ICCASA 2012: 168-175 - [c51]Emil Vassev, Mike Hinchey:
Efficient Reasoning with Ambient Trees for Space Exploration. ICCASA 2012: 176-182 - [c50]Emil Vassev, Mike Hinchey:
Knowledge Representation for Cognitive Robotic Systems. ISORC Workshops 2012: 156-163 - [c49]Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher A. Rouff, Richard W. Buskens:
Verification of Adaptive Systems. Infotech@Aerospace 2012 - [p1]Mike Hinchey, Emil Vassev:
Multi-Agent Systems - Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their Applications 2012: 181-202 - [e1]Bipin C. Desai, Emil Vassev, Sudhir P. Mudur:
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 [contents] - 2011
- [j4]Emil Vassev, Mike Hinchey:
Knowledge Representation and Reasoning for Intelligent Software Systems. Computer 44(8): 96-99 (2011) - [c48]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 - [c47]Emil Vassev, Mike Hinchey:
Fundamentals of Designing Complex Aerospace Software Systems. CSDM 2011: 65-80 - [c46]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 - [c45]Emil Vassev, Mike Hinchey:
Representing Knowledge in Robotic Systems with KnowLang. ISoLA Workshops 2011: 91-105 - [c44]Emil Vassev, Mike Hinchey:
Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. ISORC Workshops 2011: 110-119 - [c43]Emil Vassev, Mike Hinchey:
Self-Awareness in Autonomous Nano-Technology Swarm Missions. SASO Workshops 2011: 133-136 - [c42]Emil Vassev, Mike Hinchey:
Developing Model-Checking Mechanisms for ASSL: An Experience Report. SEFM 2011: 19-34 - [c41]Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson:
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. SEW 2011: 11-18 - [c40]Zdravko Karakehayov, Emil Vassev:
Energy Efficiency with Runtime Models for Energy-aware Embedded Systems. SEW 2011: 106-111 - [i5]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) - 2010
- [j3]Emil Vassev, Mike Hinchey:
The Challenge of Developing Autonomic Systems. Computer 43(12): 93-96 (2010) - [c39]Emil Vassev, Mike Hinchey, Paddy Nixon:
A formal approach to self-configurable swarm-based space-exploration systems. AHS 2010: 83-90 - [c38]Emil Vassev, Mike Hinchey:
Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. C3S2E 2010: 75-83 - [c37]Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi:
Towards a self-forensics property in the ASSL toolset. C3S2E 2010: 108-113 - [c36]Emil Vassev, Paddy Nixon:
Engineering intelligent sensor networks with ASSL and DMF. CTS 2010: 94-102 - [c35]Emil Vassev, Mike Hinchey, Paddy Nixon:
Prototyping home automation wireless sensor networks with ASSL. ICAC 2010: 71-72 - [c34]Emil Vassev, Mike Hinchey, Paddy Nixon:
Developing intelligent sensor networks: a technological convergence approach. SESENA@ICSE 2010: 66-71 - [c33]Emil Vassev, Mike Hinchey:
Developing Self-Managing Embedded Systems with ASSL. ISORC Workshops 2010: 81-89 - [c32]Emil Vassev, Mike Hinchey:
Software Verification of Autonomic Systems Developed with ASSL. Monterey Workshop 2010: 1-16 - [c31]Emil Vassev, Serguei A. Mokhov:
Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing. SERA (selected papers) 2010: 1-15 - [c30]Emil Vassev:
Code Generation for Autonomic Systems with ASSL. SERA (selected papers) 2010: 69-85 - [c29]Emil Vassev:
An Operational Semantics for ASSL. SERA 2010: 77-84 - [c28]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 - [c27]Mike Hinchey, Emil Vassev:
The Art of Developing Autonomic Systems - The ASSL Approach. TASE 2010: 9-12 - [r4]Mike Hinchey, Jonathan P. Bowen, Emil Vassev:
Formal Methods. Encyclopedia of Software Engineering 2010: 308-320 - [r3]Jonathan P. Bowen, Mike Hinchey, Emil Vassev:
Formal Requirements Specification. Encyclopedia of Software Engineering 2010: 321-332 - [r2]Roy Sterritt, Mike Hinchey, Emil Vassev:
Self-Managing Software. Encyclopedia of Software Engineering 2010: 1072-1081 - [r1]Emil Vassev:
Use Cases. Encyclopedia of Software Engineering 2010: 1289-1301 - [i4]Emil Vassev:
LXG Compiler - Design and Implementation. CoRR abs/1001.1022 (2010)
2000 – 2009
- 2009
- [j2]Emil Vassev, Mike Hinchey:
ASSL: A Software Engineering Approach to Autonomic Computing. Computer 42(6): 90-93 (2009) - [c26]Emil Vassev, Serguei A. Mokhov:
An ASSL-generated architecture for autonomic systems. C3S2E 2009: 121-126 - [c25]Serguei A. Mokhov, Emil Vassev:
Autonomic specification of self-protection for distributed MARF with ASSL. C3S2E 2009: 175-183 - [c24]Serguei A. Mokhov, Emil Vassev:
Leveraging MARF for the Simulation of Securing Maritime Borders Intelligent Systems (IS) Challenge (abstract). HSC 2009: 46 - [c23]Serguei A. Mokhov, Emil Vassev:
Leveraging MARF for the Simulation of the Securing Maritime Borders Intelligent Systems Challenge. HSC 2009: 342-349 - [c22]Emil Vassev, Mike Hinchey, Aaron J. Quigley:
A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) 2009: 163-168 - [c21]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 - [c20]Emil Vassev, Serguei A. Mokhov:
Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL. ICSOFT (1) 2009: 331-335 - [c19]Serguei A. Mokhov, Emil Vassev:
Self-Forensics Through Case Studies of Small-to-Medium Software Systems. IMF 2009: 128-141 - [c18]Emil Vassev, Mike Hinchey, Aaron J. Quigley:
Model Checking for Autonomic Systems Specified with ASSL. NASA Formal Methods 2009: 16-25 - [c17]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 - [c16]Emil Vassev, Mike Hinchey:
Complexity Reduction in Developing Autonomic Systems with ASSL. SEW 2009: 87-93 - [c15]Emil Vassev, Mike Hinchey:
Developing Experimental Models for NASA Missions with ASSL. FMA 2009: 88 - [i3]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) - [i2]Emil Vassev:
Enterprise Multi-Branch Database Synchronization with MSMQ. CoRR abs/0912.2134 (2009) - [i1]Emil Vassev:
Process Description of COM Object Life Cycle. CoRR abs/0912.4062 (2009) - 2008
- [c14]Mike Hinchey, Emil Vassev:
An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC 2008: 316-330 - [c13]Amir Hossein Pourteymour, Emil Vassev, Joey Paquet:
Design and Implementation of Demand Migration Systems in GIPSY. PDPTA 2008: 900-907 - [c12]Emil Vassev, Mike Hinchey, Joey Paquet:
Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657 - [c11]Emil Vassev, Mike Hinchey:
ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. SASO Workshops 2008: 13-18 - [c10]Emil Vassev, Mike Hinchey:
An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO 2008: 473-474 - 2007
- [c9]Emil Vassev, Joey Paquet:
Towards an Autonomic Element Architecture for ASSL. SEAMS 2007: 4 - [c8]Emil Vassev, Olga Ormandjieva, Joey Paquet:
Assl Specification of Reliability Self-Assessment in the As-Trm. ICSOFT (SE) 2007: 198-206 - [c7]Amir Hossein Pourteymour, Emil Vassev, Joey Paquet:
Towards a new Demand-Driven Message-Oriented Middleware in GIPSY. PDPTA 2007: 91-97 - [c6]Emil Vassev, Joey Paquet:
ASSL - Autonomic System Specification Language. SEW 2007: 300-309 - 2006
- [j1]Olga Ormandjieva, Heng Kuang, Emil Vassev:
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach. Int. Trans. Syst. Sci. Appl. 2(1): 99-104 (2006) - [c5]Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet:
Reactive, distributed and autonomic computing aspects of AS-TRM. ICSOFT (1) 2006: 196-202 - [c4]Emil Vassev, Joey Paquet:
Evaluation Issues in Generic Programming with Inheritance and Templates in C++. Software Engineering Research and Practice 2006: 940-944 - [c3]Emil Vassev, Joey Paquet:
Aspects of Memory Management in Java and C++. Software Engineering Research and Practice 2006: 952-958 - 2005
- [c2]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 - [c1]Emil Vassev, Joey Paquet:
A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine. PLC 2005: 29-35
Coauthor Index
Michael G. Hinchey
aka: Mike Hinchey
aka: Mike Hinchey
[c74] [c73] [c72] [c69] [j16] [c68] [j15] [c66] [p4] [p3] [e3] [b1] [c65] [c63] [c62] [c60] [c59] [j10] [c58] [c57] [c56] [c55] [j9] [j8] [j7] [j6] [c53] [c52] [c51] [c50] [c49] [p1] [j4] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [j3] [c39] [c38] [c35] [c34] [c33] [c32] [c28] [c27] [r4] [r3] [r2] [j2] [c22] [c21] [c18] [c17] [c16] [c15] [c14] [c12] [c11] [c10]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
