Anjelika Votintseva

According to our database1, Anjelika Votintseva authored at least 12 papers between 2002 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Emotionally Intelligent Conversational User Interfaces: Bridging Empathy and Technology in Human-Computer Interaction.
Proceedings of the Human-Computer Interaction, 2024

2023
Rapid Prototyping Platform for Multi-stakeholder Involvement in the Design of User Interaction.
Proceedings of the Human-Computer Interaction, 2023

Let's Talk About Strategy: Faktoren beim Etablieren von UX- Strategien.
Proceedings of the Usability Professionals 2023, Rapperswil, Schweiz, September 3-6, 2023, 2023

2022
Application of Generative Design in Social Manufacturing.
Proceedings of the HCI International 2022 Posters, 2022

2015
Experience report: Formal verification and testing in the development of embedded software.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014
The ETSI Test Description Language TDL and its Application.
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.
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.
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.
Proceedings of the Complex Adaptive Systems 2011 Conference, 2011

2008
Supporting UML-based development of embedded systems by formal techniques.
Softw. Syst. Model., 2008

2005
A discrete-time UML semantics for concurrency and communication in safety-critical applications.
Sci. Comput. Program., 2005

2002
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.
Proceedings of the Formal Methods for Components and Objects, 2002


  Loading...