Elena N. Bozhenkova

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 4

Top Topics

Process Algebra

Top Venues

Ershov Informatics Conference

CS&P (Revised Selected Papers)

Program. Comput. Softw.

Publications

Elena N. Bozhenkova, Irina B. Virbitskaite
Extended Future in Testing Semantics for Time Petri Nets. CS&P (Revised Selected Papers) (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, Elena N. Bozhenkova, Evgeny Erofeev
Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures. CS&P (2015)
Elena N. Bozhenkova
Composition methods for constructing characteristic formulas for dense-time models. Program. Comput. Softw. 38 (6) (2012)
Elena N. Bozhenkova
Compositional Methods in Characterization of Timed Event Structures. Ershov Memorial Conference (2011)
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)