Irina B. Virbitskaite
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — head of laboratory
Academic degree: Doctor of Physics and Mathematics
List of Articles:
Gribovskaya N. Virbitskaite I. Transition system semantics for flow event structures // Computer Science. — 2019 . — # 43.  — P. 21–38
Virbitskaite I. Fleischhack H. Dedova A. Real arithmetic based verification of prioritized time Petri nets with parameters // Computer Science. — 2010 . — # 31.  — P. 179-193
Andreeva M. Virbitskaite I. Concurrent testing for timed event structures // Computer Science. — 2002 . — # 18.  — P. 1-14
Virbitskaite I. Tarasyuk I. Equivalence notions and refinement for timed Petri nets // Computer Science. — 1998 . — # 8.  — P. 57-79
Virbitskaite I. Pokozy E. Model checking of time Petri nets // Computer Science. — 1997 . — # 7.  — P. 85-93
Virbitskaite I. Votintseva A. Modelling the semantics of coloured dataflow networks // Computer Science. — 1995 . — # 3.  — P. 101-115
Virbitskaite I. Investigating nondeterministic processes // Computer Science. — 1994 . — # 2.  — P. 79-90
Virbitskaite I. The relative strength of topological properties for event structures // Computer Science. — 1993 . — # 1.  — P. 63-72