M.Sc. Ana Petrovska
Technische Universität München
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
- Tel.: +49 (89) 289 - 17830
- Raum: 5611.01.061
- ana.petrovska@tum.de
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:
TEACHING
Summer semester 2020
Summer semester 2019
- Systems Engineering (MSE) (IN8015)
- Practical course: Smart Self-Adaptive Cyber-Physical Systems–A Road towards Autonomous Systems (IN0012, IN2106)
Summer semester 2018
Winter semester 2017/18
Summer semester 2017
VOLUNTARY PROJECTS AND ACTIVITIES


- IFF Officer at Women in CS @ TUM (Informatik Forum Frauen - IFF) (2015 - present)
- IN.TUM Gender Equality Officer (July 2017 - present)
- President at Women in CS @ TUM (Informatik Forum Frauen - IFF) (2019 - present)
PUBLICATIONS
- Runtime Verification for Dynamic Architectures. Journal of Logical and Algebraic Methods in Programming, 2020 mehr…
- Function Modeling for Collaborative Embedded Systems. In: Model-Based Engineering of Collaborative Embedded Systems. Springer International Publishing, 2020 mehr…
- Dynamic Safety Certification for Collaborative Embedded Systems at Runtime. In: Model-Based Engineering of Collaborative Embedded Systems. Springer International Publishing, 2020 mehr…
- 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…
- Modellierung von Funktionen in der Modellbasierten Entwicklung von Systemverbünden Kollaborierender Cyber-Physischer Systeme. EKA 2020 - Entwurf komplexer Automatisierungssysteme, 2020 mehr…
- 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…
- EURECA: Epistemic Uncertainty Classification Scheme for Runtime Information Exchange in Collaborative System Groups. SICS Software-Intensive Cyber-Physical Systems, 2019 mehr…
- 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…
- Detecting Architectural Erosion using Runtime Verification. 12th Interaction and Concurrency Experience (ICE 2019), 2019 mehr…
- Towards Context Modeling for Dynamic Collaborative Embedded Systems in Open Context. , Tenth International Workshop Modelling and Reasoning in Context (MRC). , 2018 mehr…
- 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…
- 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…
- 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