Ana Petrovska

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Embedded Systems

Anomaly Detection

Confidence Scores

Subjective Logic

Top Venues

J. Log. Algebraic Methods Program.

Publications

Hussein Joumaa, Ali Hariri, Ana Petrovska, Oleksii Osliak, Theo Dimitrakos, Bruno Crispo
Obligation Management Framework for Usage Control. SACMAT (2024)
Ana Petrovska, Thomas Hutzelmann, Stefan Kugele
A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications. SAC (2023)
Ana Petrovska, Stefan Kugele, Thomas Hutzelmann, Theo Beffart, Sebastian Bergemann, Alexander Pretschner
Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber-physical systems. Inf. Softw. Technol. 147 (2022)
Ana Petrovska, Julian Weick
Realization of adaptive system transitions in self-adaptive autonomous robots. SAC (2022)
Diego Marmsoler, Ana Petrovska
Runtime verification for dynamic architectures. J. Log. Algebraic Methods Program. 118 (2021)
Ana Petrovska, Malte Neuss, Ilias Gerostathopoulos, Alexander Pretschner
Run-time Reasoning from Uncertain Observations with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems. SEAMS@ICSE (2021)
Stefan Kugele, Ana Petrovska, Ilias Gerostathopoulos
Towards a Taxonomy of Autonomous Systems. ECSA (2021)
Ana Petrovska
Self-Awareness as a Prerequisite for Self-Adaptivity in Computing Systems. ACSOS-C (2021)
Ana Petrovska, Julian Weick
Bayesian Optimization-Based Analysis and Planning Approach for Self-Adaptive Cyber-Physical Systems. ACSOS-C (2021)
Ana Petrovska, Sergio Quijano, Ilias Gerostathopoulos, Alexander Pretschner
Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems. SEAMS@ICSE (2020)
Ana Petrovska, Patricia Goldberg, Anne Brüggemann-Klein, 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. ECSA Companion (2020)
Diego Marmsoler, Ana Petrovska
Detecting Architectural Erosion using Runtime Verification. ICE (2019)
Constantin Hildebrandt, Torsten Bandyszak, Ana Petrovska, Nishanth Laxman, Emilia Cioroaica, Sebastian Törsleff
EURECA: epistemic uncertainty classification scheme for runtime information exchange in collaborative system groups. SICS Softw.-Intensive Cyber Phys. Syst. 34 (4) (2019)
Ana Petrovska, Alexander Pretschner
Learning Approach for Smart Self-Adaptive Cyber-Physical Systems. FAS*W@SASO/ICAC (2019)
Ana Petrovska, Florian Grigoleit
Towards Context Modeling for Dynamic Collaborative Embedded Systems in Open Context. MRC@IJCAI (2018)
Fabian Huch, Mojdeh Golagha, Ana Petrovska, Alexander Krauss
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation. MaLTeSQuE@SANER (2018)
Alexander Ludewig, Marian Daun, Ana Petrovska, Wolfgang Böhm, Alexander Fay
Requirements for Modeling Dynamic Function Networks for Collaborative Embedded Systems. Modellierung (Workshops) (2018)
Saahil Ognawala, Ana Petrovska, Kristian Beckers
An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing. CoRR (2017)
Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner
Nequivack: Assessing Mutation Score Confidence. ICST Workshops (2016)