Comparative performance study of DOA algorithm applied on linear antenna array in smart antenna systems. - Luka Lazovic; Ana Jovanovic (MECO, 2013)

Time-frequency representation-based identification of chaos in erbium-doped fiber ring laser. - Vesna Rubezic; Ana Jovanovic; Igor Djurovic (MECO, 2014)

Chaos based optimization of LMS algorithm applied on circular antenna arrays. - Luka Lazovic; Ana Jovanovic; Vesna Rubezic (MECO, 2015)

REACH: Refining Alloy Scenarios by Scope. - Ana Jovanovic; Allison Sullivan (CoRR, 2021)

Towards Automated Input Generation for Sketching Alloy Models. - Ana Jovanovic; Allison Sullivan (FormaliSE@ICSE, 2022)

REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track). - Ana Jovanovic; Allison Sullivan (ISSRE, 2022)

Mutation Testing for Temporal Alloy Models. - Ana Jovanovic; Allison Sullivan (MODELS, 2023)

Right or Wrong - Understanding How Users Write Software Models in Alloy. - Ana Jovanovic; Allison Sullivan (SEFM, 2024)

Empirically Exploring How Novices Write Software Models in Alloy. - Ana Jovanovic; Allison Sullivan (CoRR, 2024)

Structure Editor for Building Software Models. - Mohammad Nurullah Patwary; Ana Jovanovic; Allison Sullivan (CoRR, 2024)

Refining Alloy-Based Mutation Operators to Reflect Common Mistakes. - Ana Jovanovic; Mohammad Nurullah Patwary; Allison Sullivan (FormaliSE, 2025)