Ulyana Tikhonova

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 8

Top Topics

Specification Languages

Software Components

Schema Mappings

High Level Declarative

Top Venues

Publications

Aleandro Mifsud, Georgia Samaritaki, Ulyana Tikhonova, Jouke Stoel
Transforming an Internal Textual DSL into a Blended Modelling Environment. PAINT@SPLASH (2023)
Bas van den Brink, Tannaz Zameni, Ulyana Tikhonova, Lammert Vinke, Ana-Maria Oprescu
Leveraging composability in model-based testing for microservices. BENEVOL (2022)
Ulyana Tikhonova
Reusable specification templates for defining dynamic semantics of DSLs. Softw. Syst. Model. 18 (1) (2019)
Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, Thomas Degueule
Constraint-based run-time state migration for live modeling. SLE (2018)
Ulyana Tikhonova
Reusable Specification Templates for Defining Dynamic Semantics of DSLs. MoDELS (2017)
Ulyana Tikhonova, Maarten Manders, Rimco Boudewijns
Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL. STAF Workshops (2016)
Ulyana Tikhonova, Tim A. C. Willemse
Documenting and Designing QVTo Model Transformations Through Mathematics. ICSOFT (Selected Papers) (2015)
Ulyana Tikhonova, Tim A. C. Willemse
Designing and Describing QVTo Model Transformations. ICSOFT-EA (2015)
Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff
Applying Model Transformation and Event-B for Specifying an Industrial DSL. MoDeVVa@MoDELS (2013)
Ulyana Tikhonova
A framework for defining the dynamic semantics of DSLs. ESEC/SIGSOFT FSE (2013)