 | 2010 |
|---|
| 7 |       | Heng Kuang,
Olga Ormandjieva,
Stan Klasa,
Jamal Bentahar:
A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework.
ASAP 2010: 99-106 |
| 6 | | Heng Kuang,
Jamal Bentahar,
Olga Ormandjieva,
Nassir Shafieidizaji,
Stan Klasa:
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems.
SoMeT 2010: 357-380 |
| 2009 |
|---|
| 5 |  | Olga Ormandjieva,
Heng Kuang,
Stan Klasa:
Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory.
ICSOFT (1) 2009: 325-330 |
| 4 | | Heng Kuang,
Olga Ormandjieva,
Stan Klasa,
Noorulain Khurshid,
Jamal Bentahar:
Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study.
SERA (selected papers) 2009: 119-134 |
| 3 | | 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) |
| 2006 |
|---|
| 2 | | Emil Vassev,
Heng Kuang,
Olga Ormandjieva,
Joey Paquet:
Reactive, distributed and autonomic computing aspects of AS-TRM.
ICSOFT (1) 2006: 196-202 |
| 1 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page