28967 articles – 22393 Notices  [english version]
.:. Consultation > Par auteur > Andriamiarina .:.
6 documents classés par :
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
Andriamiarina M. B., Méry D., Singh N. K.
Dans iFM - 10th International Conference on integrated Formal Methods - 2013 (2013) [hal-00819256 - version 1]
fulltext access Formal Verification of Fault Tolerant NoC-based Architecture
Andriamiarina M. B., Daoud H., Belarbi M., Méry D., Tanougast C.
Dans First International Workshop on Mathematics and Computer Science (IWMCS2012) (2012) [hal-00763092 - version 1]
fulltext access Revisiting Snapshot Algorithms by Refinement-based Techniques
Andriamiarina M. B., Méry D., Singh N. K.
Dans PDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies (2012) [hal-00734131 - version 1]
fulltext access Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report)
Andriamiarina M. B., Méry D.
(2011) [inria-00606254 - version 1]
fulltext access Stepwise Development of Distributed Algorithms (Research Abstract)
Andriamiarina M. B.
[inria-00606204 - version 1]
fulltext access Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)
Andriamiarina M. B., Méry D.
[inria-00606201 - version 1]