 | 2009 |
|---|
| 11 |       | Fernando Luís Dotti,
Alexei Iliasov,
Leila Ribeiro,
Alexander Romanovsky:
Modal Systems: Specification, Refinement and Realisation.
ICFEM 2009: 601-619 |
| 10 | | Alexei Iliasov,
Budi Arief,
Alexander Romanovsky:
Step-Wise Development of Resilient Ambient Campus Scenarios.
Methods, Models and Tools for Fault Tolerance 2009: 297-323 |
| 2008 |
|---|
| 9 | | Alexei Iliasov,
Alexander Romanovsky:
Refinement Patterns for Fault Tolerant Systems.
EDCC 2008: 167-176 |
| 2007 |
|---|
| 8 | | Alexei Iliasov,
Alexander Romanovsky,
Budi Arief:
A Framework for Open Distributed System Design.
COMPSAC (2) 2007: 658-674 |
| 7 | | Alexei Iliasov:
Refinement patterns for rapid development of dependable systems.
EFTS 2007: 10 |
| 6 | | Alexei Iliasov,
Alexander Romanovsky,
Budi Arief,
Linas Laibinis,
Elena Troubitsyna:
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.
ISORC 2007: 141-145 |
| 2006 |
|---|
| 5 | | Alexei Iliasov,
Alexander Romanovsky:
Structured Coordination Spaces for Fault Tolerant Mobile Agents.
Advanced Topics in Exception Handling Techniques 2006: 181-199 |
| 4 | | Alexei Iliasov,
Victor Khomenko,
Maciej Koutny,
Alexander Romanovsky:
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.
RODIN Book 2006: 168-188 |
| 3 | | Linas Laibinis,
Elena Troubitsyna,
Alexei Iliasov,
Alexander Romanovsky:
Rigorous Development of Fault-Tolerant Agent Systems.
RODIN Book 2006: 241-260 |
| 2 | | Budi Arief,
Alexei Iliasov,
Alexander Romanovsky:
On Developing Open Mobile Fault Tolerant Agent Systems.
SELMAS 2006: 21-40 |
| 2005 |
|---|
| 1 | | Alexei Iliasov,
Alexander B. Romanovsky:
Exception Handling in Coordination-Based Mobile Environments.
COMPSAC (1) 2005: 341-350 |
