Elena N. Bozhenkova

According to our database, Elena N. Bozhenkova authored at least 9 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Extended Future in Testing Semantics for Time Petri Nets.

Elena N. Bozhenkova, Irina B. Virbitskaite

Proceedings of the Concurrency, Specification and Programming, 2021

On Semantics for Testing in Time Petri Nets.

Elena N. Bozhenkova, Irina B. Virbitskaite

Proceedings of the 29th International Workshop on Concurrency, 2021

2020

Testing Equivalences of Time Petri Nets.

Elena N. Bozhenkova, Irina B. Virbitskaite

Program. Comput. Softw., 2020

2019

Causality-Based Testing in Time Petri Nets.

Elena N. Bozhenkova, Irina B. Virbitskaite, Louchka Popova-Zeugmann

Proceedings of the Perspectives of System Informatics, 2019

2015

Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures.

Irina B. Virbitskaite, Elena N. Bozhenkova, Evgeny Erofeev

Proceedings of the 24th International Workshop on Concurrency, 2015

2012

Composition methods for constructing characteristic formulas for dense-time models.

Elena N. Bozhenkova

Program. Comput. Softw., 2012

2011

Compositional Methods in Characterization of Timed Event Structures.

Elena N. Bozhenkova

Proceedings of the Perspectives of Systems Informatics, 2011

2000

Analysis of equivalence relations of event structures with continuous time.

Elena N. Bozhenkova, Irina B. Virbitskaite

Program. Comput. Softw., 2000

Analysis of Timed Concurrent Models Based on Testing Equivalence.

Maria V. Andreeva, Elena N. Bozhenkova, Irina B. Virbitskaite

Fundam. Informaticae, 2000