Anila Mjeda

According to our database, Anila Mjeda authored at least 18 papers between 2006 and 2025.

Collaborative distances:

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

2025

On the Feasibility of Quantum Unit Testing.

Andriy V. Miranskyy, José Campos, Anila Mjeda, Lei Zhang, Ignacio García Rodríguez de Guzmán

CoRR, July, 2025

Quantum Computing and Post-Quantum Cryptography: Preparing for the Next Era of Cybersecurity.

Hazel Murray, George O'Mahony, Anila Mjeda

Proceedings of the 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

2024

Quantum Computing Education for Computer Science Students: Bridging the Gap with Layered Learning and Intuitive Analogies.

Anila Mjeda, Hazel Murray

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

2021

Preface.

Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, Stefan Naujokat

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2021

What is in a Name? An Analysis of Associations Among Java Packaging and Artifact Names.

Farshad Ghassemi Toosi, Anila Mjeda

Proceedings of the ECSA 2021 Companion Volume, 2021

Cost-Aware Migration to Functions-as-a-Service Architecture.

Adam Stafford, Farshad Ghassemi Toosi, Anila Mjeda

Proceedings of the ECSA 2021 Companion Volume, 2021

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, Barbara Russo, Xiaofeng Wang

Int. J. Syst. Softw. Secur. Prot., 2020

Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems.

Anila Mjeda, Götz Botterweck

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020

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

2019

Preface.

Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019

Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges.

Anila Mjeda, Goetz Botterweck

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019

Business Process Modeling Flexibility: A Formal Interpretation.

Anila Mjeda, Andrew Butterfield, John Noll

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

2017

Preface.

Anila Mjeda

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017

Decision spaces in product lines, decision analysis, and design exploration: an interdisciplinary exploratory study.

Anila Mjeda, Asanka Wasala, Goetz Botterweck

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

2016

UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models.

Andrew Butterfield, Anila Mjeda, John Noll

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

Requirement-centric Reactive Testing for Safety-Related Automotive Software.

Anila Mjeda, Mike Hinchey

Proceedings of the 2nd IEEE/ACM International Workshop on Requirements Engineering and Testing, 2015

2013

CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software.

Anila Mjeda, Mike Hinchey

Proceedings of the SAFECOMP 2013, 2013

2006

A proposed framework for fine-tuning/training a fuzzy controller.

Anila Mjeda, Brendan Jackman, Gabriel Leen

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006