A proposed framework for fine-tuning/training a fuzzy controller. - Anila Mjeda; Brendan Jackman; Gabriel Leen (ETFA, 2006)

CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software. - Anila Mjeda; Mike Hinchey (CARS@SAFECOMP, 2013)

Requirement-centric Reactive Testing for Safety-Related Automotive Software. - Anila Mjeda; Mike Hinchey (RET@ICSE, 2015)

UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. - Andrew Butterfield; Anila Mjeda; John Noll (TASE, 2016)

Decision spaces in product lines, decision analysis, and design exploration: an interdisciplinary exploratory study. - Anila Mjeda; Asanka Wasala; Goetz Botterweck (VaMoS, 2017)

Preface. - Anila Mjeda (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017)

Business Process Modeling Flexibility: A Formal Interpretation. - Anila Mjeda; Andrew Butterfield; John Noll (MODELSWARD, 2019)

Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges. - Anila Mjeda; Goetz Botterweck (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019)

Preface. - Anila Mjeda; Stylianos Basagiannis; Goetz Botterweck (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019)

Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020). - Stylianos Basagiannis; Anila Mjeda; Götz Botterweck (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020)

Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems. - Anila Mjeda; Götz Botterweck (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020)

Towards a Secure DevOps Approach for Cyber-Physical Systems: An Industrial Perspective. - Pekka Abrahamsson; Goetz Botterweck; Hadi Ghanbari; Martin Gilje Jaatun; Petri Kettunen; Tommi J. Mikkonen; Anila Mjeda; Jürgen Münch; Anh Nguyen Duc 001; Barbara Russo; Xiaofeng Wang 001 (Int. J. Syst. Softw. Secur. Prot., 2020)

Cost-Aware Migration to Functions-as-a-Service Architecture. - Adam Stafford; Farshad Ghassemi Toosi; Anila Mjeda (ECSA (Companion), 2021)

What is in a Name? An Analysis of Associations Among Java Packaging and Artifact Names. - Farshad Ghassemi Toosi; Anila Mjeda (ECSA (Companion), 2021)

Preface. - Sven Jörges; Anna-Lena Lamprecht; Anila Mjeda; Stefan Naujokat (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2021)

Quantum Computing Education for Computer Science Students: Bridging the Gap with Layered Learning and Intuitive Analogies. - Anila Mjeda; Hazel Murray (QCE, 2024)

Quantum Computing and Post-Quantum Cryptography: Preparing for the Next Era of Cybersecurity. - Hazel Murray; George O'Mahony; Anila Mjeda (DSN-S, 2025)

On the Feasibility of Quantum Unit Testing. - Andriy V. Miranskyy; José Campos; Anila Mjeda; Lei Zhang 078; Ignacio García Rodríguez de Guzmán (CoRR, 2025)