Applying Model Transformation and Event-B for Specifying an Industrial DSL. - Ulyana Tikhonova; Maarten Manders; Mark van den Brand; Suzana Andova; Tom Verhoeff (MoDeVVa@MoDELS, 2013)

A framework for defining the dynamic semantics of DSLs. - Ulyana Tikhonova (ESEC/SIGSOFT FSE, 2013)

Designing and Describing QVTo Model Transformations. - Ulyana Tikhonova; Tim A. C. Willemse (ICSOFT-EA, 2015)

Documenting and Designing QVTo Model Transformations Through Mathematics. - Ulyana Tikhonova; Tim A. C. Willemse (ICSOFT (Selected Papers), 2015)

Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL. - Ulyana Tikhonova; Maarten Manders; Rimco Boudewijns (STAF Workshops, 2016)

Constraint-based run-time state migration for live modeling. - Ulyana Tikhonova; Jouke Stoel; Tijs van der Storm; Thomas Degueule (SLE, 2018)

Reusable specification templates for defining dynamic semantics of DSLs. - Ulyana Tikhonova (Softw. Syst. Model., 2019)

Leveraging composability in model-based testing for microservices. - Bas van den Brink; Tannaz Zameni; Ulyana Tikhonova; Lammert Vinke; Ana-Maria Oprescu (BENEVOL, 2022)

Transforming an Internal Textual DSL into a Blended Modelling Environment. - Aleandro Mifsud; Georgia Samaritaki; Ulyana Tikhonova; Jouke Stoel (PAINT@SPLASH, 2023)