Anjelika Votintseva

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 4

Top Topics

Formal Verification

Technological Solutions

Description Languages

Top Venues

Publications

Anjelika Votintseva, Rebecca Johnson, Iva Villa
Emotionally Intelligent Conversational User Interfaces: Bridging Empathy and Technology in Human-Computer Interaction. HCI (1) (2024)
Anjelika Votintseva
Rapid Prototyping Platform for Multi-stakeholder Involvement in the Design of User Interaction. HCI (1) (2023)
Björn Rohles, Anjelika Votintseva, Patrick Schneider, Marcus Stavrakakis
Let's Talk About Strategy: Faktoren beim Etablieren von UX- Strategien. UP (2023)
Anjelika Votintseva, Rebecca Johnson, Maryna Zabigailo, Jaeyoung Cho
Application of Generative Design in Social Manufacturing. HCI (40) (2022)
Andreas Ulrich, Anjelika Votintseva
Experience report: Formal verification and testing in the development of embedded software. ISSRE (2015)
Andreas Ulrich, Sylvia Jell, Anjelika Votintseva, Andres Kull
The ETSI Test Description Language TDL and its Application. MODELSWARD (2014)
Anjelika Votintseva, Petra Witschel, Nikolaus Regnat, Philipp Emanuel Stelzig
Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings. ECMFA (2012)
Axel Reichwein, Christiaan J. J. Paredis, Arquimedes Canedo, Petra Witschel, Philipp Emanuel Stelzig, Anjelika Votintseva, Rainer Wasgint
Maintaining consistency between system architecture and dynamic system models with SysML4Modelica. MPM@MoDELS (2012)
Anjelika Votintseva, Petra Witschel, Andreas Goedecke
Analysis of a Complex System for Electrical Mobility Using a Model-Based Engineering Approach Focusing on Simulation. Complex Adaptive Systems (2011)
Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein
Supporting UML-based development of embedded systems by formal techniques. Softw. Syst. Model. 7 (2) (2008)
Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva
A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55 (1-3) (2005)
Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO (2002)