Login / Signup
Anna Dedova
Publication Activity (10 Years)
Years Active: 2009-2013
Publications (10 Years): 0
Top Topics
Formal Verification
Coloured Petri Nets
Bounded Model Checking
Formal Methods
Top Venues
Trans. Petri Nets Other Model. Concurr.
PNSE
</>
Publications
</>
Anna Dedova
,
Laure Petrucci
From Code to Coloured Petri Nets: Modelling Guidelines.
Trans. Petri Nets Other Model. Concurr.
8 (2013)
Christine Choppy
,
Anna Dedova
,
Sami Evangelista
,
Kais Klai
,
Laure Petrucci
,
Samir Youcef
Modelling and Formal Verification of the NEO Protocol.
Trans. Petri Nets Other Model. Concurr.
6 (2012)
Anna Dedova
,
Laure Petrucci
From Code to Coloured Petri Nets: Modelling Guidelines.
PNSE
(2012)
Christine Choppy
,
Anna Dedova
,
Sami Evangelista
,
Silien Hong
,
Kais Klai
,
Laure Petrucci
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.
Petri Nets
(2010)
Anna Dedova
,
Irina B. Virbitskaite
Towards Parametric Verification of Prioritized Time Petri Nets.
PaCT
(2009)