The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexei Iliasov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexei Iliasov, Alexander B. Romanovsky
    Exception Handling in Coordination-Based Mobile Environments. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:341-350 [Conf]
  2. Alexei Iliasov, Alexander Romanovsky
    Structured Coordination Spaces for Fault Tolerant Mobile Agents. [Citation Graph (0, 0)][DBLP]
    Advanced Topics in Exception Handling Techniques, 2006, pp:181-199 [Conf]
  3. Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky
    On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:168-188 [Conf]
  4. Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky
    Rigorous Development of Fault-Tolerant Agent Systems. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:241-260 [Conf]
  5. Alexei Iliasov, Alexander Romanovsky, Budi Arief
    A Framework for Open Distributed System Design. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:658-674 [Conf]
  6. Budi Arief, Alexei Iliasov, Alexander Romanovsky
    On Developing Open Mobile Fault Tolerant Agent Systems. [Citation Graph (0, 0)][DBLP]
    SELMAS, 2006, pp:21-40 [Conf]

  7. Supporting Reuse in Event B Development: Modularisation Approach. [Citation Graph (, )][DBLP]


  8. Refinement Patterns for Fault Tolerant Systems. [Citation Graph (, )][DBLP]


  9. Modal Systems: Specification, Refinement and Realisation. [Citation Graph (, )][DBLP]


  10. On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. [Citation Graph (, )][DBLP]


  11. Verifying Mode Consistency for On-Board Satellite Software. [Citation Graph (, )][DBLP]


  12. Refinement patterns for rapid development of dependable systems. [Citation Graph (, )][DBLP]


  13. Developing Mode-Rich Satellite Software by Refinement in Event B. [Citation Graph (, )][DBLP]


Search in 0.034secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002