Follow
Ana Petrovska
Ana Petrovska
Senior Researcher at Huawei Munich Research Center, TTE Lab
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation
F Huch, M Golagha, A Petrovska, A Krauss
2018 IEEE Workshop on Machine Learning Techniques for Software Quality …, 2018
252018
Nequivack: Assessing mutation score confidence
D Holling, S Banescu, M Probst, A Petrovska, A Pretschner
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
162016
Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems
A Petrovska, S Quijano, I Gerostathopoulos, A Pretschner
SEAMS '20: Proceedings of the IEEE/ACM 15th International Symposium on …, 2020
152020
Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber–physical systems
A Petrovska, S Kugele, T Hutzelmann, T Beffart, S Bergemann, ...
Information and Software Technology 147, 106866, 2022
122022
Run-time reasoning from uncertain observations with subjective logic in multi-agent self-adaptive cyber-physical systems
A Petrovska, M Neuss, I Gerostathopoulos, A Pretschner
2021 International Symposium on Software Engineering for Adaptive and Self …, 2021
112021
Towards a taxonomy of autonomous systems
S Kugele, A Petrovska, I Gerostathopoulos
European Conference on Software Architecture, 37-45, 2021
92021
EURECA: epistemic uncertainty classification scheme for runtime information exchange in collaborative system groups
C Hildebrandt, T Bandyszak, A Petrovska, N Laxman, E Cioroaica, ...
SICS Software-Intensive Cyber-Physical Systems 34, 177-190, 2019
82019
An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing
S Ognawala, A Petrovska, K Beckers
arXiv preprint arXiv:1712.06843, 2017
82017
Learning Approach for Smart Self-Adaptive Cyber-Physical Systems
A Petrovska, A Pretschner
2019 IEEE 4th International Workshops on Foundations and Applications of …, 2019
62019
Self-Awareness as a Prerequisite for Self-Adaptivity in Computing Systems
A Petrovska
2021 IEEE International Conference on Autonomic Computing and Self …, 2021
52021
Dynamic safety certification for collaborative embedded systems at runtime
DSV Moncada, D Schneider, A Petrovska, N Laxman, F Möhrle, ...
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the …, 2021
52021
Function Modeling for Collaborative Embedded Systems
A Hayward, M Daun, A Petrovska, W Böhm, L Krajinski, A Fay
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the …, 2021
32021
Runtime verification for dynamic architectures
D Marmsoler, A Petrovska
Journal of Logical and Algebraic Methods in Programming 118, 100618, 2021
32021
Mining Gender Bias: A Preliminary Study on Implicit Biases and Gender Identity in the Department of Computer Science at the Technical University of Munich
A Petrovska, P Goldberg, A Brüggemann-Klein, A Nyokabi
Software Architecture: 14th European Conference, ECSA 2020 Tracks and …, 2020
32020
Requirements for Modeling Dynamic Function Networks for Collaborative Embedded Systems.
A Ludewig, M Daun, A Petrovska, W Böhm, A Fay
Modellierung (Workshops), 79-89, 2018
32018
Detecting Architectural Erosion using Runtime Verification
D Marmsoler, A Petrovska
arXiv preprint arXiv:1909.05973, 2019
22019
Towards Context Modeling for Dynamic Collaborative Embedded Systems in Open Context.
A Petrovska, F Grigoleit
MRC@ IJCAI, 41-45, 2018
22018
In-vehicle trust assessment framework
N Trkulja, A Hermann, A Petrovska, A Kiening, AR Ferraz de Lucena, ...
12023
Modellierung von Funktionen in der modellbasierten Entwicklung von Systemverbünden kollaborierender cyber-physischer Systeme
A Hayward, M Daun, W Böhm, A Petrovska, L Krajinski, A Fay
EKA 2020-Entwurf komplexer Automatisierungssysteme, 2020
12020
Generation of Tailored and Confined Datasets for IDS Evaluation in Cyber-Physical Systems
T Hutzelmann, D Mauksch, A Petrovska, A Pretschner
IEEE Transactions on Dependable and Secure Computing, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20