Anjelika Votintseva

According to our database, Anjelika Votintseva authored at least 11 papers between 2002 and 2023.

Collaborative distances:

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

2023

Rapid Prototyping Platform for Multi-stakeholder Involvement in the Design of User Interaction.

Anjelika Votintseva

Proceedings of the Human-Computer Interaction, 2023

Let's Talk About Strategy: Faktoren beim Etablieren von UX- Strategien.

Björn Rohles, Anjelika Votintseva, Patrick Schneider, Marcus Stavrakakis

Proceedings of the Usability Professionals 2023, Rapperswil, Schweiz, September 3-6, 2023, 2023

2022

Application of Generative Design in Social Manufacturing.

Anjelika Votintseva, Rebecca Johnson, Maryna Zabigailo, Jaeyoung Cho

Proceedings of the HCI International 2022 Posters, 2022

2015

Experience report: Formal verification and testing in the development of embedded software.

Andreas Ulrich, Anjelika Votintseva

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014

The ETSI Test Description Language TDL and its Application.

Andreas Ulrich, Sylvia Jell, Anjelika Votintseva, Andres Kull

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2012

Maintaining consistency between system architecture and dynamic system models with SysML4Modelica.

Axel Reichwein, Christiaan J. J. Paredis, Arquimedes Canedo, Petra Witschel, Philipp Emanuel Stelzig, Anjelika Votintseva, Rainer Wasgint

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings.

Anjelika Votintseva, Petra Witschel, Nikolaus Regnat, Philipp Emanuel Stelzig

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

Analysis of a Complex System for Electrical Mobility Using a Model-Based Engineering Approach Focusing on Simulation.

Anjelika Votintseva, Petra Witschel, Andreas Goedecke

Proceedings of the Complex Adaptive Systems 2011 Conference, 2011

2008

Supporting UML-based development of embedded systems by formal techniques.

Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein

Softw. Syst. Model., 2008

2005

A discrete-time UML semantics for concurrency and communication in safety-critical applications.

Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva

Sci. Comput. Program., 2005

2002

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.

Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva

Proceedings of the Formal Methods for Components and Objects, 2002