Ulyana Tikhonova

According to our database, Ulyana Tikhonova authored at least 9 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Transforming an Internal Textual DSL into a Blended Modelling Environment.

Aleandro Mifsud, Georgia Samaritaki, Ulyana Tikhonova, Jouke Stoel

Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, 2023

2022

Leveraging composability in model-based testing for microservices.

Bas van den Brink, Tannaz Zameni, Ulyana Tikhonova, Lammert Vinke, Ana-Maria Oprescu

Proceedings of the Belgium-Netherlands Software Evolution Workshop, 2022

2019

Reusable specification templates for defining dynamic semantics of DSLs.

Ulyana Tikhonova

Softw. Syst. Model., 2019

2018

Constraint-based run-time state migration for live modeling.

Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, Thomas Degueule

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

2016

Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL.

Ulyana Tikhonova, Maarten Manders, Rimco Boudewijns

Proceedings of the Software Technologies: Applications and Foundations, 2016

2015

Documenting and Designing QVTo Model Transformations Through Mathematics.

Ulyana Tikhonova, Tim A. C. Willemse

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Designing and Describing QVTo Model Transformations.

Ulyana Tikhonova, Tim A. C. Willemse

Proceedings of the ICSOFT-EA 2015, 2015

2013

A framework for defining the dynamic semantics of DSLs.

Ulyana Tikhonova

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Applying Model Transformation and Event-B for Specifying an Industrial DSL.

Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013