Analysis of Timed Concurrent Models Based on Testing Equivalence. - Maria V. Andreeva; Elena N. Bozhenkova; Irina B. Virbitskaite (Fundam. Informaticae, 2000)

Analysis of equivalence relations of event structures with continuous time. - Elena N. Bozhenkova; Irina B. Virbitskaite (Program. Comput. Softw., 2000)

Compositional Methods in Characterization of Timed Event Structures. - Elena N. Bozhenkova (Ershov Memorial Conference, 2011)

Composition methods for constructing characteristic formulas for dense-time models. - Elena N. Bozhenkova (Program. Comput. Softw., 2012)

Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures. - Irina B. Virbitskaite; Elena N. Bozhenkova; Evgeny Erofeev (CS&P, 2015)

Causality-Based Testing in Time Petri Nets. - Elena N. Bozhenkova; Irina B. Virbitskaite; Louchka Popova-Zeugmann (Ershov Informatics Conference, 2019)

Testing Equivalences of Time Petri Nets. - Elena N. Bozhenkova; Irina B. Virbitskaite (Program. Comput. Softw., 2020)

On Semantics for Testing in Time Petri Nets. - Elena N. Bozhenkova; Irina B. Virbitskaite (CS&P, 2021)

Extended Future in Testing Semantics for Time Petri Nets. - Elena N. Bozhenkova; Irina B. Virbitskaite (CS&P (Revised Selected Papers), 2021)