33842 articles – 26700 Notices  [english version]
.:. Consultation > Par auteur > Andriamiarina .:.
9 documents classés par :

Analysis of Self-* and P2P Systems using Refinement
Andriamiarina M. B., Méry D., Singh N. K.
Dans ABZ 2014 - 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z 8477 (2014) 117-123 [hal-01018125 - version 1]
fulltext access Analysis of Self-* and P2P Systems using Refinement (Full Report)
Andriamiarina M. B., Méry D., Singh N. K.
(2014) [hal-01018162 - version 1]
Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
Andriamiarina M. B., Méry D., Singh N. K.
Computer Science and Information Systems (2014) [hal-00924525 - version 1]
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]