Anna Vasileva

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 10

Top Topics

Satisfiability Modulo Theories

Unified Modeling Language

Autonomous Systems

Top Venues

Publications

Alexandru Rinciog, Jakob Pfrommer, Hardik Rathod, Anne Meyer, Natalia Ogorelysheva, Anna Vasileva
CROSSStacks: A Dataset and a Simulative Study of Storage Allocation Strategies for Cross-Docking Block-Stacking Warehouses. WSC (2023)
Natalia Ogorelysheva, Anna Vasileva, Jannik Stadtler, Moritz Roidl, Falk Howar
Mitigating Emergency Stop Collisions in AGV Fleets in Case of Control Failure. IRC (2023)
Natalia Ogorelysheva, Anna Vasileva, Nils Gramse
On Troubleshooting in AGV-based Autonomous Systems. ICCAD (2023)
Jan Bessai, Moritz Roidl, Anna Vasileva
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis. F-IDE@FM (2019)
Fadil Kallat, Tristan Schäfer, Anna Vasileva
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories. PxTP (2019)
Jan Bessai, Anna Vasileva
User Support for the Combinator Logic Synthesizer Framework. F-IDE@FLoC (2018)
Doris Schmedding, Anna Vasileva
Reviews - ein Instrument zur Qualitätsverbesserung von UML-Diagrammen. SEUH (2017)
Anna Vasileva, Doris Schmedding
Vom Clean Model zum Clean Code. Modellierung (2016)
Anna Vasileva, Doris Schmedding
How to Improve Code Quality by Measurement and Refactoring. QUATIC (2016)
Doris Schmedding, Anna Vasileva, Julian Remmers
Clean Code - ein neues Ziel im Software-Praktikum. SEUH (2015)