Anila Mjeda

21 papers C 2Misc 2Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Software Testing in the Quantum World.
Computer
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy V. Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2026 J jnl
Software Testing in the Quantum World.
CoRR
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2025 J jnl
On the Feasibility of Quantum Unit Testing.
CoRR
Andriy V. Miranskyy, José Campos, Anila Mjeda, Lei Zhang, Ignacio García Rodríguez de Guzmán
2025 — conf
Quantum Computing and Post-Quantum Cryptography: Preparing for the Next Era of Cybersecurity.
DSN-S
Hazel Murray, George O'Mahony, Anila Mjeda
2024 Misc conf
Quantum Computing Education for Computer Science Students: Bridging the Gap with Layered Learning and Intuitive Analogies.
QCE
Anila Mjeda, Hazel Murray
2024 J jnl
Quantum Computing Education for Computer Science Students: Bridging the Gap with Layered Learning and Intuitive Analogies.
CoRR
Anila Mjeda, Hazel Murray
2021 — conf
Cost-Aware Migration to Functions-as-a-Service Architecture.
ECSA (Companion)
Adam Stafford, Farshad Ghassemi Toosi, Anila Mjeda
2021 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, Stefan Naujokat
2021 — conf
What is in a Name? An Analysis of Associations Among Java Packaging and Artifact Names.
ECSA (Companion)
Farshad Ghassemi Toosi, Anila Mjeda
2020 J jnl
Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Stylianos Basagiannis, Anila Mjeda, Götz Botterweck
2020 J jnl
Towards a Secure DevOps Approach for Cyber-Physical Systems: An Industrial Perspective.
Int. J. Syst. Softw. Secur. Prot.
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
2020 J jnl
Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Anila Mjeda, Götz Botterweck
2019 C conf
Business Process Modeling Flexibility: A Formal Interpretation.
MODELSWARD
Anila Mjeda, Andrew Butterfield, John Noll
2019 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck
2019 J jnl
Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Anila Mjeda, Goetz Botterweck
2017 — conf
Decision spaces in product lines, decision analysis, and design exploration: an interdisciplinary exploratory study.
VaMoS
Anila Mjeda, Asanka Wasala, Goetz Botterweck
2017 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Anila Mjeda
2016 Misc conf
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models.
TASE
Andrew Butterfield, Anila Mjeda, John Noll
2015 — conf
Requirement-centric Reactive Testing for Safety-Related Automotive Software.
RET@ICSE
Anila Mjeda, Mike Hinchey
2013 — conf
CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software.
CARS@SAFECOMP
Anila Mjeda, Mike Hinchey
2006 C conf
A proposed framework for fine-tuning/training a fuzzy controller.
ETFA
Anila Mjeda, Brendan Jackman, Gabriel Leen