Ana Jovanovic

According to our database, Ana Jovanovic authored at least 8 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Empirically Exploring How Novices Write Software Models in Alloy.

Ana Jovanovic, Allison Sullivan

CoRR, 2024

2023

Mutation Testing for Temporal Alloy Models.

Ana Jovanovic, Allison Sullivan

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track).

Ana Jovanovic, Allison Sullivan

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Towards Automated Input Generation for Sketching Alloy Models.

Ana Jovanovic, Allison Sullivan

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

REACH: Refining Alloy Scenarios by Scope.

Ana Jovanovic, Allison Sullivan

CoRR, 2021

2015

Chaos based optimization of LMS algorithm applied on circular antenna arrays.

Luka Lazovic, Ana Jovanovic, Vesna Rubezic

Proceedings of the 4th Mediterranean Conference on Embedded Computing, 2015

2014

Time-frequency representation-based identification of chaos in erbium-doped fiber ring laser.

Vesna Rubezic, Ana Jovanovic, Igor Djurovic

Proceedings of the 3rd Mediterranean Conference on Embedded Computing, 2014

2013

Comparative performance study of DOA algorithm applied on linear antenna array in smart antenna systems.

Luka Lazovic, Ana Jovanovic

Proceedings of the 2nd Mediterranean Conference on Embedded Computing, 2013