Dipl.-Inf. Anna Vasileva

Wissenschaftliche Mitarbeiterin

Tel: +49 231 755-7515
Fax: +49 231 755-4768
E-Mail senden

Lehrstuhl für Förder- und Lagerwesen, FLW
TU Dortmund, LogistikCampus
Joseph-v.-Fraunhofer-Str. 2-4
44227 Dortmund, Germany

Raum A 4.06

Zur Person
  • Seit Dez. 2019 Wissenschaftliche Mitarbeiterin am Lehrstuhl für Förder- und Lagerwesen, FLW
  • 2014 – 2019 Wissenschaftliche Mitarbeiterin am Lehrstuhl für Software Engineering, LS14, Technische Universität Dortmund
  • 2013 Dipl.-Inf., Technische Universität Dortmund
Arbeitsgebiete
  • Entwicklung von Simulationen für Logistikszenarien
  • Betreuung von Projekt-, Bachelor- und Masterarbeiten
Projekte
  • AI Arena – Ein realwissenschaftliches Forschungs- und Qualifizierungskonzept für die interdisziplinäre KI-Forschung.
    https://www.aiarena.de/blog/
Veröffentlichungen
  • Jan Bessai; Moritz Roidl and Anna Vasileva
    Experience Report: Towards Moving Things with Types – Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis
    5th F-IDE, Formal Integrated Development Environment, Porto, Portugal, October, 2019
  • Fadil Kallat; Tristan Schäfer; Anna Vasileva
    CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories
    PxTP 2019: Proof eXchange for Theorem Proving, Natal, Brazil, August, 2019
  • Jan Bessai and Anna Vasileva
    User Support for the Combinator Logic Synthesizer Framework
    4th F-IDE, Formal Integrated Development Environment, Oxford, UK, July 2018
  • Doris Schmedding und Anna Vasileva
    Reviews – ein Instrument zur Qualitätsverbesserung von UML-Diagrammen
    SEUH 2017, Software Engineering im Unterricht der Hochschulen, Hannover, Deutschland, Februar 2017
  • A. Vasileva and D. Schmedding
    How to Improve Code Quality by Measurement and Refactoring
    QUATIC 2016, Conference on the Quality of Information and Communications Technology, Lisbon, September 2016
    DOI: 10.1109/QUATIC.2016.034
  • A. Vasileva and D. Schmedding
    Vom Clean Model zum Clean Code
    Modellierung 2016, Karlsruhe, März 2016
  • A. Vasileva and D. Schmedding
    Clean Java — Von Anfang an!
    18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, KPS 2015, Pörtschach am Wörthersee, Österreich
  • A. Vasileva and D. Schmedding
    Integration von Qualitätsaspekten in einen Entwicklungsprozess
    MetriKon 2015, Konferenz zur Software und IT Messung und Bewertung, Köln, November 2015
  • A. Vasileva, D. Schmedding and J. Remmers
    Clean Code – ein neues Ziel im Software-Praktikum
    SEUH 2015, Software Engineering im Unterricht der Hochschulen, Dresden, Februar 2015
  • A. Vasileva
    Diploma Thesis: Synthese von Orchestrationscode für Cloud-basierte Dienste
    Interne Berichte / Universität Dortmund, Fakultät Informatik, 2013