Zum Inhalt springen
  • de
  • en
Menü
Technische Universität München
Technische Universität München

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.

ABOUT ME

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.

RESEARCH INTERESTS

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

THESIS TOPICS AND SUPERVISION

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

In progress:

Title Type Name
A Framework for Engineering Self-Adaptive Cyber-Physical Systems Master’s Muhammad Ansab Shohab
Evaluation Framework for a Self-Adaptive Cyber-Physical System on an Example of a Multi-Robot System Master’s Sebastian Bergemann

 

Completed: 

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

TEACHING

Summer semester 2020

Summer semester 2019

Summer semester 2018

Winter semester 2017/18

Summer semester 2017

PROJECTS

VOLUNTARY PROJECTS AND ACTIVITIES

PUBLICATIONS

  • 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 2021, 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Madrid, Spain, 23 - 24 May 2021
  • Virtualisation Committee: SEAMS 2021, 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Madrid, Spain, 23 - 24 May 2021
To top