University of Limerick Institutional Repository

Browsing by Author "Vassev, Emil"

DSpace Repository

Browsing by Author "Vassev, Emil"

Sort by: Order: Results:

  • Vassev, Emil; Hinchey, Mike; Balasubramaniam, Dharini; Dobson, Simon (IEEE Computer Society, 2011)
    Both modularity and loose-­coupling properties inherent to the self-­adaptive systems offer the opportunity for adhoc service compositions, dynamic change and adaptation. To provide such a dynamic and self-­adapting ...
  • Vassev, Emil; Hinchey, Mike (John Wiley & Sons Ltd, 2011)
    The increasing complexity of contemporary embedded computing systems requires the use of selfmanagement in order to handle unforeseen changes in both hardware and control software. The idea behind computer systems capable ...
  • Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2009)
    The Autonomic System Specification Language (ASSL) is a framework for formally specifying, validating and generating autonomic systems. This paper presents concrete results on the use of ASSL to specify a self-healing ...
  • Hinchey, Mike; Vassev, Emil (IEEE Computer Society, 2009)
    ASSL provides a framework for formal specification, validation, and code generation of autonomic systems.
  • Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2013)
    Contemporary robotics relies on the most recent advances in automation and robotic technologies to promote autonomy and autonomic computing principles to robotized systems. However, it appears that the design and implementation ...
  • Vassev, Emil; Hinchey, Mike (Association for Computing Machinery, 2013)
    The development of unmanned space exploration missions is closely related to integration and promotion of autonomy in robotic spacecraft. Elicitation and expression of autonomy requirements is one of the most significant ...
  • Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2012)
    Closely related to artificial Intelligence, awareness depends on the knowledge transferred to software-intensive systems so they can use it to exhibit intelligence.
  • Vassev, Emil (Edinburgh Napier University School of Computing, 2012)
    Awareness for computerized systems is possible by chaining functions in a control loop that monitors sensors, recognizes objects, predicts problems and, ultimately, learns.
  • Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard (NASA, 2009)
    Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has ...
  • Gaudin, Benoit; Vassev, Emil; Hinchey, Mike; Nixon, Paddy (Association for Computing Machinery, 2011)
    This work presents an approach to self-healing that deals with un-handled exceptions within an executing program. More precisely, we propose an approach based on control theory that automatically disables system functionalities ...
  • Vassev, Emil; Mokhov, Serguei A. (Springer-Verlag, 2011)
    In this paper, we discuss our research towards developing special properties that introduce autonomic behavior in pattern-recognition systems. In our approach we use ASSL (Autonomic System Speci cation Language) to formally ...
  • Vassev, Emil; Hinchey, Mike; Nixon, Paddy (Association for Computing Machinery, 2010)
    We present a technological convergence approach to developing sensor networks capable of self-management. We use ASSL (Autonomic System Specification Language) to formally develop autonomous intelligent sensor nodes and ...
  • Vassev, Emil; Hinchey, Mike (Springer-Verlag, 2011)
    The Autonomic System Specification Language (ASSL) is a formal method dedicated to autonomic computing, and as such, assists developers with formal specification, validation and code generation of autonomic systems. Due ...
  • Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2009)
    We present a new formal approach to the implementation of embedded systems, arrived at by introducing self-management capabilities to the same. We use the ASSL (Autonomic System Specification Language) framework to approach ...
  • Vassev, Emil; Hinchey, Mike (Springer, 2012)
    Modern reasoning is based on inference techniques such as induction, deduction, abduction, subsumption, classification and recognition. These inference techniques are very inefficient when applied to large amounts of ...
  • Vassev, Emil; Hinchey, Mike (Springer, 2012)
    Autonomous behavior and onboard decision making is the backbone of robotic space exploration. The enormous distance and communication latency make such missions hardly controllable from Earth and external decision making ...
  • Karakehayov, Z.; Vassev, Emil (IEEE Computer Society, 2011)
    Reducing power consumption is an important design objective in energy-constrained embedded and mobile systems. Such systems must be designed to meet functional and often timing requirements facing the challenge of energy ...
  • Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard (IEEE Computer Society, 2010)
    Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has ...
  • Gaudin, Benoit; Vassev, Emil; Hinchey, Mike; Nixon, Paddy; Coelho, Garcia J.; Maalej, Walid (Szkoła Wyższa Psychologii Społecznej (SWPS), 2012)
    One of the main objectives of self-adaptive systems is to reduce maintenance costs through automatic adaptation. Self-healing is a self-adapting property that helps systems return to a normal state after a fault or ...
  • Vassev, Emil; Hinchey, Mike; Nixon, Paddy (IEEE Computer Society, 2010)
    Intelligent swarms draw their inspiration from biology where many simple entities act independently, but when grouped, they appear to be highly organized. NASA is currently investigating swarm-based technologies for the ...

Search DSpace

Browse

My Account

Statistics