Irina B. Virbitskaite

52 papers B 10C 1Journal 20Unranked 15
YearRankTypeTitle / Venue / Authors
2023 — conf
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures.
AFL
Nataliya Gribovskaya, Irina B. Virbitskaite
2021 J jnl
'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies.
Program. Comput. Softw.
Irina B. Virbitskaite, Andrey Yu Zubarev
2021 — conf
Extended Future in Testing Semantics for Time Petri Nets.
CS&P (Revised Selected Papers)
Elena N. Bozhenkova, Irina B. Virbitskaite
2021 — conf
On Semantics for Testing in Time Petri Nets.
CS&P
Elena N. Bozhenkova, Irina B. Virbitskaite
2020 J jnl
Testing Equivalences of Time Petri Nets.
Program. Comput. Softw.
Elena N. Bozhenkova, Irina B. Virbitskaite
2019 — conf
Causality-Based Testing in Time Petri Nets.
Ershov Informatics Conference
Elena N. Bozhenkova, Irina B. Virbitskaite, Louchka Popova-Zeugmann
2019 — ed.
Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Ershov Informatics Conference
Nikolaj S. Bjørner, Irina B. Virbitskaite, Andrei Voronkov
2018 B conf
From Event-Oriented Models to Transition Systems.
Petri Nets
Eike Best, Nataliya Gribovskaya, Irina B. Virbitskaite
2018 — conf
Preserving Behavior in Transition Systems from Event Structure Models.
CS&P
Irina B. Virbitskaite, Nataliya Gribovskaya
2017 B conf
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict.
SOFSEM
Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite
2016 J jnl
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets.
Program. Comput. Softw.
Irina B. Virbitskaite, V. A. Borovlev, Louchka Popova-Zeugmann
2016 J jnl
True Concurrent Equivalences in Time Petri Nets.
Fundam. Informaticae
Irina B. Virbitskaite, Dmitriy Bushin, Eike Best
2015 — conf
Branching Processes of Timed Petri Nets.
Ershov Memorial Conference
Irina B. Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann
2015 J jnl
Comparative trace semantics of time Petri nets.
Program. Comput. Softw.
Dmitriy Bushin, Irina B. Virbitskaite
2015 — ed.
Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Ershov Memorial Conference
Andrei Voronkov, Irina B. Virbitskaite
2015 — conf
Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures.
CS&P
Irina B. Virbitskaite, Elena N. Bozhenkova, Evgeny Erofeev
2014 J jnl
A Domain View of Timed Behaviors.
Fundam. Informaticae
Roman S. Dubtsov, Elena S. Oshevskaya, Irina B. Virbitskaite
2014 — conf
Comparing Semantics Under Strong Timing of Petri Nets.
Ershov Memorial Conference
Irina B. Virbitskaite, Dmitriy Bushin
2014 — ed.
PSI 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations
Ershov Memorial Conference (Posters)
Irina B. Virbitskaite, Andrei Voronkov
2014 — conf
Time Process Equivalences for Time Petri Nets.
CS&P
Dmitriy Bushin, Irina B. Virbitskaite
2013 — conf
A Domain View of Timed Behaviors.
CS&P
Roman S. Dubtsov, Elena S. Oshevskaya, Irina B. Virbitskaite
2012 — ed.
Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Ershov Memorial Conference
Edmund M. Clarke, Irina B. Virbitskaite, Andrei Voronkov
2012 J jnl
Unifying Equivalences for Higher Dimensional Automata.
Fundam. Informaticae
Elena S. Oshevskaya, Irina B. Virbitskaite, Eike Best
2012 — conf
Unifying Equivalences for Timed Transition Systems.
Turing-100
Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best
2010 J jnl
A Categorical View of Timed Behaviours.
Fundam. Informaticae
Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best
2010 C conf
A Categorical View of Timed Weak Bisimulation.
TAMC
Natalya Gribovskaya, Irina B. Virbitskaite
2010 — ed.
Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Ershov Memorial Conference
Amir Pnueli, Irina B. Virbitskaite, Andrei Voronkov
2010 J jnl
Unifying behavioral equivalences of timed transition systems.
Program. Comput. Softw.
Irina B. Virbitskaite, Natalya Gribovskaya
2009 J jnl
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.
Fundam. Informaticae
Natalya Gribovskaya, Irina B. Virbitskaite
2009 B conf
Towards Parametric Verification of Prioritized Time Petri Nets.
PaCT
Anna Dedova, Irina B. Virbitskaite
2008 J jnl
Semantic domains of timed event structures.
Program. Comput. Softw.
Irina B. Virbitskaite, Roman S. Dubtsov
2007 B conf
A Categorical Observation of Timed Testing Equivalence.
PaCT
Natalya Gribovskaya, Irina B. Virbitskaite
2007 — ed.
Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Ershov Memorial Conference
Irina B. Virbitskaite, Andrei Voronkov
2007 J jnl
Sixth International Conference "Perspectives of System Informatics".
Program. Comput. Softw.
Irina B. Virbitskaite
2006 J jnl
Observational Equivalences for Timed Stable Event Structures.
Fundam. Informaticae
Maria V. Andreeva, Irina B. Virbitskaite
2005 J jnl
Information Announcement on Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics, " 27-30 June 2006, Novosibirsk, Akademgorodok, Russia.
Program. Comput. Softw.
Irina B. Virbitskaite
2005 B conf
Timed Equivalences for Timed Event Structures.
PaCT
Maria V. Andreeva, Irina B. Virbitskaite
2004 J jnl
Open Maps and Observational Equivalences for Timed Partial Order Models.
Fundam. Informaticae
Irina B. Virbitskaite, Natalya S. Gribovskaja
2003 — conf
Open Maps and Trace Semantics for Timed Partial Order Models.
Ershov Memorial Conference
Irina B. Virbitskaite, Natalya S. Gribovskaja
2001 B conf
Characterizing Timed Net Processes Categorically.
PaCT
Irina B. Virbitskaite
2001 — conf
Observational Semantics for Timed Event Structures.
Ershov Memorial Conference
Irina B. Virbitskaite
2001 B conf
On the Category of Event Structures with Dense Time.
FCT
Nataly S. Moskaljova, Irina B. Virbitskaite
2000 J jnl
Analysis of Timed Concurrent Models Based on Testing Equivalence.
Fundam. Informaticae
Maria V. Andreeva, Elena N. Bozhenkova, Irina B. Virbitskaite
2000 J jnl
Analysis of equivalence relations of event structures with continuous time.
Program. Comput. Softw.
Elena N. Bozhenkova, Irina B. Virbitskaite
1999 B conf
A Partial Order Method for the Verification of Time Petri Nets.
FCT
Irina B. Virbitskaite, E. Pokozy
1999 J jnl
An Event Structure Model for Dataflow Computing.
Comput. Artif. Intell.
Irina B. Virbitskaite
1999 B conf
Parametric Behaviour Analysis for Time Petri Nets.
PaCT
Irina B. Virbitskaite, E. Pokozy
1998 — conf
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics.
MFCS Workshop on Concurrency
Irina B. Virbitskaite
1997 B conf
Behavioural Characterizations of Partial Order Logics.
FCT
Irina B. Virbitskaite, Anzhelika Votintseva
1995 J jnl
On Varieties of Density and Crossing Properties for Event Structures.
Comput. Artif. Intell.
V. E. Kotov, S. A. Starkova, Irina B. Virbitskaite
1993 — conf
Observing Some Properties of Event Structures.
Formal Methods in Programming and Their Applications
Irina B. Virbitskaite
1993 J jnl
Some characteristics of Nondeterministic Processes.
Parallel Process. Lett.
Irina B. Virbitskaite