Anna Dedova

According to our database, Anna Dedova authored at least 4 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Modelling and Formal Verification of the NEO Protocol.

Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef

Trans. Petri Nets Other Model. Concurr., 2012

From Code to Coloured Petri Nets: Modelling Guidelines.

Anna Dedova, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2010

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.

Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

Towards Parametric Verification of Prioritized Time Petri Nets.

Anna Dedova, Irina B. Virbitskaite

Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009