Anna Dedova

PhD student in LIPN (team LCR, axis specif-verif), Université Paris 13

 

Contacts

99 avenue Jean-Baptiste Clément,
Villetaneuse 93430 France
Institute Galilee
office B307

 

tel :[+33/0] 1 49 40 28 26

 

e-mail : anna.dedova [@] lipn.univ-paris13.fr

 

PhD Supervisor

Laure Petrucci

 

Currently working on NEOPPOD project. In a few words, modelisation and parametrical
verification of the protocol, which deals with a very distributed database.

 

       Publications   

*      Anna Dedova, Irina Virbitskaite. “Towards Parametric Verification of Prioritized Time Petri Nets”, LNCS Volume 5698/2009, pp. 19-25.

*      Christine Choppy,  Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai and Laure Petrucci. “The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification”. ATPN 2010, LNCS Volume 6128, pp. 145-164.

 

Background

 

Master thesis on subject “Parametric Verification of Parallel Models with Real Time” defended in Novosibirsk State University (Russia) under supervision of Irina Virbitskaite. This work was reworded by a medal of Russian Ministry of Education and Science.