Anila Mjeda

According to our database, Anila Mjeda authored at least 16 papers between 2006 and 2024.

Collaborative distances:

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

2024

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

Anila Mjeda, Hazel Murray

CoRR, 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