Ana Petrovska

Orcid: 0000-0001-6280-2461

According to our database1, Ana Petrovska authored at least 21 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
On Engineering Self-Adaptive Cyber-Physical Systems (Über das Engineering selbstadaptiver cyber-physischer Systeme)
PhD thesis, 2023

A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022
Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber-physical systems.
Inf. Softw. Technol., 2022

Realization of adaptive system transitions in self-adaptive autonomous robots.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021
Runtime verification for dynamic architectures.
J. Log. Algebraic Methods Program., 2021

Run-time Reasoning from Uncertain Observations with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Towards a Taxonomy of Autonomous Systems.
Proceedings of the Software Architecture - 15th European Conference, 2021

Bayesian Optimization-Based Analysis and Planning Approach for Self-Adaptive Cyber-Physical Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Self-Awareness as a Prerequisite for Self-Adaptivity in Computing Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Dynamic Safety Certification for Collaborative Embedded Systems at Runtime.
Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

Function Modeling for Collaborative Embedded Systems.
Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020
Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Mining Gender Bias: A Preliminary Study on Implicit Biases and Gender Identity in the Department of Computer Science at the Technical University of Munich.
Proceedings of the Software Architecture - 14th European Conference, 2020

2019
EURECA: epistemic uncertainty classification scheme for runtime information exchange in collaborative system groups.
SICS Softw.-Intensive Cyber Phys. Syst., 2019

Detecting Architectural Erosion using Runtime Verification.
Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

Learning Approach for Smart Self-Adaptive Cyber-Physical Systems.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

2018
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation.
Proceedings of the 2018 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation, 2018

Requirements for Modeling Dynamic Function Networks for Collaborative Embedded Systems.
Proceedings of the Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, 2018

Towards Context Modeling for Dynamic Collaborative Embedded Systems in Open Context.
Proceedings of the Tenth International Workshop Modelling and Reasoning in Context co-located with the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018) and the 23rd European Conference on Artificial Intelligence (ECAI 2018), 2018

2017
An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing.
CoRR, 2017

2016
Nequivack: Assessing Mutation Score Confidence.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016


  Loading...