Natalya Gribovskaya

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Formal Verification

Transition Systems

Top Venues

Publications

Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best
Unifying Equivalences for Timed Transition Systems. Turing-100 (2012)
Natalya Gribovskaya
A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences. Ershov Memorial Conference (2011)
Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best
A Categorical View of Timed Behaviours. Fundam. Informaticae 102 (1) (2010)
Natalya Gribovskaya, Irina B. Virbitskaite
A Categorical View of Timed Weak Bisimulation. TAMC (2010)
Irina B. Virbitskaite, Natalya Gribovskaya
Unifying behavioral equivalences of timed transition systems. Program. Comput. Softw. 36 (3) (2010)
Natalya Gribovskaya, Irina B. Virbitskaite
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems. Fundam. Informaticae 93 (1-3) (2009)
Natalya Gribovskaya, Irina B. Virbitskaite
A Categorical Observation of Timed Testing Equivalence. PaCT (2007)