Irina B. Virbitskaite

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 11

Top Topics

Transition Systems

Top Venues

Program. Comput. Softw.

Fundam. Informaticae

Ershov Memorial Conference

Publications

Nataliya Gribovskaya, Irina B. Virbitskaite
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures. AFL (2023)
Elena N. Bozhenkova, Irina B. Virbitskaite
Extended Future in Testing Semantics for Time Petri Nets. CS&P (Revised Selected Papers) (2021)
Irina B. Virbitskaite, Andrey Yu Zubarev
'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies. Program. Comput. Softw. 47 (5) (2021)
Elena N. Bozhenkova, Irina B. Virbitskaite
On Semantics for Testing in Time Petri Nets. CS&P (2021)
Elena N. Bozhenkova, Irina B. Virbitskaite
Testing Equivalences of Time Petri Nets. Program. Comput. Softw. 46 (4) (2020)
Elena N. Bozhenkova, Irina B. Virbitskaite, Louchka Popova-Zeugmann
Causality-Based Testing in Time Petri Nets. Ershov Informatics Conference (2019)
Irina B. Virbitskaite, Nataliya Gribovskaya
Preserving Behavior in Transition Systems from Event Structure Models. CS&P (2018)
Eike Best, Nataliya Gribovskaya, Irina B. Virbitskaite
From Event-Oriented Models to Transition Systems. Petri Nets (2018)
Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. SOFSEM (2017)
Irina B. Virbitskaite, Dmitriy Bushin, Eike Best
True Concurrent Equivalences in Time Petri Nets. Fundam. Informaticae 149 (4) (2016)
Irina B. Virbitskaite, V. A. Borovlev, Louchka Popova-Zeugmann
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets. Program. Comput. Softw. 42 (4) (2016)
Irina B. Virbitskaite, Elena N. Bozhenkova, Evgeny Erofeev
Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures. CS&P (2015)
Dmitriy Bushin, Irina B. Virbitskaite
Comparative trace semantics of time Petri nets. Program. Comput. Softw. 41 (3) (2015)
Irina B. Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann
Branching Processes of Timed Petri Nets. Ershov Memorial Conference (2015)
Irina B. Virbitskaite, Dmitriy Bushin
Comparing Semantics Under Strong Timing of Petri Nets. Ershov Memorial Conference (2014)
Roman S. Dubtsov, Elena S. Oshevskaya, Irina B. Virbitskaite
A Domain View of Timed Behaviors. Fundam. Informaticae 133 (2-3) (2014)
Dmitriy Bushin, Irina B. Virbitskaite
Time Process Equivalences for Time Petri Nets. CS&P (2014)
Roman S. Dubtsov, Elena S. Oshevskaya, Irina B. Virbitskaite
A Domain View of Timed Behaviors. CS&P (2013)
Elena S. Oshevskaya, Irina B. Virbitskaite, Eike Best
Unifying Equivalences for Higher Dimensional Automata. Fundam. Informaticae 119 (3-4) (2012)
Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best
Unifying Equivalences for Timed Transition Systems. Turing-100 (2012)
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)
Anna Dedova, Irina B. Virbitskaite
Towards Parametric Verification of Prioritized Time Petri Nets. PaCT (2009)
Natalya Gribovskaya, Irina B. Virbitskaite
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems. Fundam. Informaticae 93 (1-3) (2009)
Irina B. Virbitskaite, Roman S. Dubtsov
Semantic domains of timed event structures. Program. Comput. Softw. 34 (3) (2008)
Natalya Gribovskaya, Irina B. Virbitskaite
A Categorical Observation of Timed Testing Equivalence. PaCT (2007)
Irina B. Virbitskaite
Sixth International Conference "Perspectives of System Informatics". Program. Comput. Softw. 33 (3) (2007)
Maria V. Andreeva, Irina B. Virbitskaite
Observational Equivalences for Timed Stable Event Structures. Fundam. Informaticae 72 (1-3) (2006)
Maria V. Andreeva, Irina B. Virbitskaite
Timed Equivalences for Timed Event Structures. PaCT (2005)
Irina B. Virbitskaite
Information Announcement on Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics, " 27-30 June 2006, Novosibirsk, Akademgorodok, Russia. Program. Comput. Softw. 31 (6) (2005)
Irina B. Virbitskaite, Natalya S. Gribovskaja
Open Maps and Observational Equivalences for Timed Partial Order Models. Fundam. Informaticae 60 (1-4) (2004)
Irina B. Virbitskaite, Natalya S. Gribovskaja
Open Maps and Trace Semantics for Timed Partial Order Models. Ershov Memorial Conference (2003)
Irina B. Virbitskaite
Characterizing Timed Net Processes Categorically. PaCT (2001)
Irina B. Virbitskaite
Observational Semantics for Timed Event Structures. Ershov Memorial Conference (2001)
Nataly S. Moskaljova, Irina B. Virbitskaite
On the Category of Event Structures with Dense Time. FCT (2001)
Elena N. Bozhenkova, Irina B. Virbitskaite
Analysis of equivalence relations of event structures with continuous time. Program. Comput. Softw. 26 (5) (2000)
Maria V. Andreeva, Elena N. Bozhenkova, Irina B. Virbitskaite
Analysis of Timed Concurrent Models Based on Testing Equivalence. Fundam. Informaticae 43 (1-4) (2000)
Irina B. Virbitskaite
An Event Structure Model for Dataflow Computing. Comput. Artif. Intell. 18 (1) (1999)
Irina B. Virbitskaite, E. Pokozy
A Partial Order Method for the Verification of Time Petri Nets. FCT (1999)
Irina B. Virbitskaite, E. Pokozy
Parametric Behaviour Analysis for Time Petri Nets. PaCT (1999)
Irina B. Virbitskaite
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics. Electron. Notes Theor. Comput. Sci. 18 (1998)
Irina B. Virbitskaite, Anzhelika Votintseva
Behavioural Characterizations of Partial Order Logics. FCT (1997)
V. E. Kotov, S. A. Starkova, Irina B. Virbitskaite
On Varieties of Density and Crossing Properties for Event Structures. Comput. Artif. Intell. 14 (6) (1995)
Irina B. Virbitskaite
Observing Some Properties of Event Structures. Formal Methods in Programming and Their Applications (1993)
Irina B. Virbitskaite
Some characteristics of Nondeterministic Processes. Parallel Process. Lett. 3 (1993)