Anna Vasileva

According to our database, Anna Vasileva authored at least 11 papers between 2015 and 2023.

Collaborative distances:

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

2023

CROSSStacks: A Dataset and a Simulative Study of Storage Allocation Strategies for Cross-Docking Block-Stacking Warehouses.

Alexandru Rinciog, Jakob Pfrommer, Hardik Rathod, Anne Meyer, Natalia Ogorelysheva, Anna Vasileva

Proceedings of the Winter Simulation Conference, 2023

Mitigating Emergency Stop Collisions in AGV Fleets in Case of Control Failure.

Natalia Ogorelysheva, Anna Vasileva, Jannik Stadtler, Moritz Roidl, Falk Howar

Proceedings of the Seventh IEEE International Conference on Robotic Computing, 2023

On Troubleshooting in AGV-based Autonomous Systems.

Natalia Ogorelysheva, Anna Vasileva, Nils Gramse

Proceedings of the International Conference on Control, Automation and Diagnosis, 2023

2022

User support for software development technologies

Anna Vasileva

PhD thesis, 2022

2019

Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis.

Jan Bessai, Moritz Roidl, Anna Vasileva

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories.

Fadil Kallat, Tristan Schäfer, Anna Vasileva

Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019

2018

User Support for the Combinator Logic Synthesizer Framework.

Jan Bessai, Anna Vasileva

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

2017

Reviews - ein Instrument zur Qualitätsverbesserung von UML-Diagrammen.

Doris Schmedding, Anna Vasileva

Proceedings of the Tagungsband des 15. Workshops "Software Engineering im Unterricht der Hochschulen" 2017, Hannover, Deutschland, 22., 2017

2016

How to Improve Code Quality by Measurement and Refactoring.

Anna Vasileva, Doris Schmedding

Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Vom Clean Model zum Clean Code.

Anna Vasileva, Doris Schmedding

Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

2015

Clean Code - ein neues Ziel im Software-Praktikum.

Doris Schmedding, Anna Vasileva, Julian Remmers

Proceedings of the Tagungsband des 14. Workshops "Software Engineering im Unterricht der Hochschulen" 2015, Dresden, Deutschland, 26., 2015