Irina B. Virbitskaite E-mail virb@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — head of laboratory Academic degree Doctor of Physics and Mathematics
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
