Foto von Ana Petrovska

M.Sc. Ana Petrovska

Technische Universität München

Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)

Office hours: Thursdays from 16:00 - 17:00.


Since February 2017 I am a doctoral candidate at the Chair of Software and Systems Engineering led by Prof. Alexander Pretschner at the Technical University Munich. I have also completed my master studies at TUM Department of Informatics in December 2016. The title of my M.Sc. thesis was "Impact of contention parameters on fair coexistence of Unlicensed-LTE and Wi-Fi in 5GHz ISM Band" and was done in collaboration with Intel Corporation. In 2014 I completed my B.Sc. with thesis titled "An embedded system for access control with a Bluetooth module" at the Faculty of Computer and Information Science, University of Ljubljana in Slovenia.

I am extremely passionate and active in the field of gender equality, especially when it comes to the representation of women in STEM. Since 2015 I am an Officer at Women in CS @ TUM group (also known as Informatik Forum Frauen - IFF), and since 2019 I am appointed as an official president of the group. Additionally, on the departmental level, I have been elected as IN.TUM Gender Equality Officer for two terms, since 2017.


  • Self-adaptive cyber-physical systems in dynamic context
  • Reasoning under uncertanties
  • Multi-agent systems


If you are interested in writing a thesis related to my research interests, please contact me by email.

In progress:



Title Type Name Year
Bayes-Adaptive Multi-Agent Partially Observable Markov Decision Processes for Planning and Learning in Multi-Robot Self-Adaptive Cyber-Physical Systems Master’s Dmitrij Boschko 2020
Run-time Reasoning and Solving Conflicting Observations with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems Master’s Malte Neuss 2020
Realization of Adaptive System Transitions for Smart Self-Adaptive Cyber-Physical Systems using a Modular Approach with Learned Parameters on an Example of Multi-Robot Collaboration Master’s Julian Weick 2020
Logical Architecture for Engineering Smart Self-Adaptive Cyber- Physical Systems Guided research Theo Beffart 2020
Multi-Agent Partially Observable Markov Decision Processes for Planning in Multi-Robot Self-Adaptive Cyber-Physical Systems Guided research Dmitrij Boschko 2020
Anomaly Detection in Self-Adaptive Cyber-Physical Systems Bachelor’s Andreas Mütter 2020
Multi-Source Knowledge Aggregation in Subjective Logic Master’s Sergio Quijano 2019

From simulation to a real system—A ROS-Based Multi-Robot System

Bachelor’s Adrian Endlicher 2019
Mining the unconscious bias in TUM Application project Patricia Goldberg 2019
Design and Implementation of ROS-Based Simulated Multi-Robot Systems for Data Collection Master’s Shahin Yousfi 2018
Runtime Verification of Dynamic Architectures Master’s Keshav Kumar 2018
Self-adaptive cyber-physical systems utilizing different machine learning techniques Guided research Naum Gjorgjeski 2018
Anomaly detection and prediction in distributed software systems using machine learning Bachelor’s Fabian Huch 2017



  • Diego Marmsoler, Ana Petrovska: Runtime Verification for Dynamic Architectures. Journal of Logical and Algebraic Methods in Programming, 2020 mehr…
  • Hayward, Alexander; Daun, Marian; Petrovska, Ana; Böhm, Wolfgang; Krajinski, Lisa; Fay, Alexander: Function Modeling for Collaborative Embedded Systems. In: Model-Based Engineering of Collaborative Embedded Systems. Springer International Publishing, 2020 mehr…
  • Moncada, David Santiago Velasco; Schneider, Daniel; Petrovska, Ana; Laxman, Nishanth; Möhrle, Felix; Rothbauer, Stefan; Zeller, Marc; Koo, Chee Hung; Safdari, Samira: Dynamic Safety Certification for Collaborative Embedded Systems at Runtime. In: Model-Based Engineering of Collaborative Embedded Systems. Springer International Publishing, 2020 mehr…
  • Ana Petrovska, Patricia Goldberg, Anne Brüggemann-Klein, and Anne Nyokabi: Mining Gender Bias: A Preliminary Study on Implicit Biases and Gender Identity in the Department of Computer Science at the Technical University of Munich. European Conference on Software Architecture, 2020 mehr…
  • Alexander Hayward, Marian Daun, Wolfgang Böhm, Ana Petrovska, Lisa Krajinski, Alexander Fay: Modellierung von Funktionen in der Modellbasierten Entwicklung von Systemverbünden Kollaborierender Cyber-Physischer Systeme. EKA 2020 - Entwurf komplexer Automatisierungssysteme, 2020 mehr…
  • Ana Petrovska, Sergio Quijano, Ilias Gerostathopoulos, Alexander Pretschner: Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems. 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2020 mehr…
  • Hildebrandt, Constantin; Bandyszak, Torsten; Petrovska, Ana; Laxman, Nishanth; Cioroaica, Emilia; Toersleff, Sebastian: EURECA: Epistemic Uncertainty Classification Scheme for Runtime Information Exchange in Collaborative System Groups. SICS Software-Intensive Cyber-Physical Systems, 2019 mehr…
  • Petrovska, Ana: Learning Approach for Smart Self-Adaptive Cyber-Physical Systems. 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), IEEE, 2019 mehr…
  • Marmsoler, Diego; Petrovska, Ana: Detecting Architectural Erosion using Runtime Verification. 12th Interaction and Concurrency Experience (ICE 2019), 2019 mehr…
  • Petrovska, Ana;Grigoleit, Florian: Towards Context Modeling for Dynamic Collaborative Embedded Systems in Open Context. , Tenth International Workshop Modelling and Reasoning in Context (MRC). , 2018 mehr…
  • Alexander Ludewig, Marian Daun, Ana Petrovska, Wolfgang Böhm, Alexander Fay: Requirements for modeling dynamic function networks for collaborative embedded systems. Workshops at Modellierung 2018, Modellierung in der Entwicklung von kollaborativen eingebetteten Systemen (MEKES), 2018 mehr…
  • Huch, Fabian; Golagha, Mojdeh; Petrovska, Ana; Krauss, Alexander: Machine learning-based run-time anomaly detection in software systems: An industrial evaluation. 2018 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE), IEEE, 2018 mehr…
  • D. Holling and S. Banescu and M. Probst and A. Petrovska and A. Pretschner: Nequivack: Assessing Mutation Score Confidence. 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2016, 152-161 mehr…

Some more links

Program Committees & Organization

  • Software Engineering Track Program Committee: vGHC 2020, Grace Hopper Conference, 29 September - 03 October 2020
  • Artifact Program Committee: SEAMS 202116th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Madrid, Spain, 23 - 24 May 2021
  • Virtualisation Committee: SEAMS 202116th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Madrid, Spain, 23 - 24 May 2021