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 Bachelor or Master thesis which is related to my research interests, please contact me by email.

In progress:

Completed: 

VOLUNTARY PROJECTS AND ACTIVITIES

PUBLICATIONS

  • Diego Marmsoler, Ana Petrovska: Runtime Verification for Dynamic Architectures. Journal of Logical and Algebraic Methods in Programming, 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