Ana Petrovska

28 papers B 2C 2Misc 2Journal 6Unranked 13
YearRankTypeTitle / Venue / Authors
2025 B conf
An Optimized Framework for DSPG Synthesis and Trust Network Analysis with Subjective Logic.
RuleML+RR
Koffi Ismael Ouattara, Ana Petrovska, Ioannis Krontiris, Theo Dimitrakos, Frank Kargl
2025 J jnl
Defining Self-adaptive Systems: A Systematic Literature Review.
CoRR
Ana Petrovska, Guan Erjiage, Stefan Kugele
2024 J jnl
Generation of Tailored and Confined Datasets for IDS Evaluation in Cyber-Physical Systems.
IEEE Trans. Dependable Secur. Comput.
Thomas Hutzelmann, Dominik Mauksch, Ana Petrovska, Alexander Pretschner
2024 C conf
Obligation Management Framework for Usage Control.
SACMAT
Hussein Joumaa, Ali Hariri, Ana Petrovska, Oleksii Osliak, Theo Dimitrakos, Bruno Crispo
2024 C conf
On Subjective Logic Trust Discount for Referral Paths.
FUSION
Koffi Ismael Ouattara, Ana Petrovska, Artur Hermann, Natasa Trkulja, Theo Dimitrakos, Frank Kargl
2023 Misc conf
A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications.
SAC
Ana Petrovska, Thomas Hutzelmann, Stefan Kugele
2023 — conf
Continuous Authorization Architecture for Dynamic Trust Evaluation.
IFIPTM
Hussein Joumaa, Ana Petrovska, Ali Hariri, Theo Dimitrakos, Bruno Crispo
2023 — —
On Engineering Self-Adaptive Cyber-Physical Systems (Über das Engineering selbstadaptiver cyber-physischer Systeme)
Ana Petrovska
2023 — conf
Trust Level Evaluation Engine for Dynamic Trust Assessment with Reference to Subjective Logic.
IFIPTM
Ana Petrovska, Gabriele Gelardi, Hüseyin Demirci, Emre Kocyigit, Gabriele Lenzini, Artur Hermann, Natasa Trkulja, Frank Kargl, Ioannis Krontiris, Theo Dimitrakos
2022 J jnl
Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber-physical systems.
Inf. Softw. Technol.
Ana Petrovska, Stefan Kugele, Thomas Hutzelmann, Theo Beffart, Sebastian Bergemann, Alexander Pretschner
2022 Misc conf
Realization of adaptive system transitions in self-adaptive autonomous robots.
SAC
Ana Petrovska, Julian Weick
2021 — conf
Bayesian Optimization-Based Analysis and Planning Approach for Self-Adaptive Cyber-Physical Systems.
ACSOS-C
Ana Petrovska, Julian Weick
2021 — ch.
Dynamic Safety Certification for Collaborative Embedded Systems at Runtime.
Model-Based Engineering of Collaborative Embedded Systems
David Santiago Velasco Moncada, Daniel Schneider, Ana Petrovska, Nishanth Laxman, Felix Möhrle, Stefan Rothbauer, Marc Zeller, Chee Hung Koo, Samira Safdari
2021 — ch.
Function Modeling for Collaborative Embedded Systems.
Model-Based Engineering of Collaborative Embedded Systems
Alexander Hayward, Marian Daun, Ana Petrovska, Wolfgang Böhm, Lisa Krajinski, Alexander Fay
2021 — conf
Run-time Reasoning from Uncertain Observations with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems.
SEAMS@ICSE
Ana Petrovska, Malte Neuss, Ilias Gerostathopoulos, Alexander Pretschner
2021 J jnl
Runtime verification for dynamic architectures.
J. Log. Algebraic Methods Program.
Diego Marmsoler, Ana Petrovska
2021 — conf
Self-Awareness as a Prerequisite for Self-Adaptivity in Computing Systems.
ACSOS-C
Ana Petrovska
2021 B conf
Towards a Taxonomy of Autonomous Systems.
ECSA
Stefan Kugele, Ana Petrovska, Ilias Gerostathopoulos
2020 — conf
Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems.
SEAMS@ICSE
Ana Petrovska, Sergio Quijano, Ilias Gerostathopoulos, Alexander Pretschner
2020 — conf
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
Ana Petrovska, Patricia Goldberg, Anne Brüggemann-Klein, Anne Nyokabi
2019 — conf
Detecting Architectural Erosion using Runtime Verification.
ICE
Diego Marmsoler, Ana Petrovska
2019 J jnl
EURECA: epistemic uncertainty classification scheme for runtime information exchange in collaborative system groups.
SICS Softw.-Intensive Cyber Phys. Syst.
Constantin Hildebrandt, Torsten Bandyszak, Ana Petrovska, Nishanth Laxman, Emilia Cioroaica, Sebastian Törsleff
2019 — conf
Learning Approach for Smart Self-Adaptive Cyber-Physical Systems.
FAS*W@SASO/ICAC
Ana Petrovska, Alexander Pretschner
2018 — conf
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation.
MaLTeSQuE
Fabian Huch, Mojdeh Golagha, Ana Petrovska, Alexander Krauss
2018 — conf
Requirements for Modeling Dynamic Function Networks for Collaborative Embedded Systems.
Modellierung (Workshops)
Alexander Ludewig, Marian Daun, Ana Petrovska, Wolfgang Böhm, Alexander Fay
2018 — conf
Towards Context Modeling for Dynamic Collaborative Embedded Systems in Open Context.
MRC@IJCAI
Ana Petrovska, Florian Grigoleit
2017 J jnl
An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing.
CoRR
Saahil Ognawala, Ana Petrovska, Kristian Beckers
2016 — conf
Nequivack: Assessing Mutation Score Confidence.
ICST Workshops
Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner