Anila Mjeda

Academic

Munster Technical University

Contact Details

OFFICE: T2-027

I am an academic in the computer science department of the Munster Technical University and a member of Lero - The Irish Software Research Centre.

Previously I was an academic at the University of Limerick, a Postdoctoral Researcher and a Research Fellow at Lero in the University Limerick and School of Computer Science and Statistics at Trinity College Dublin, Ireland; and, worked in industry as a software engineer.

I obtained my PhD Degree in 2013 from the University of Limerick with the thesis “Standard Compliant Testing for Safety-Related Automotive Software”.

My work focuses on safety-critical software and model-driven engineering with a focus on testing and verification of large and complex software systems. I have a particular interest in using formal methods in an industrial context and especially in lowering the barrier of using formal approaches in real-world projects.

Publications

2019

Mjeda A, Butterfield A, Noll J. 2019. Business Process Modeling Flexibility: A Formal Interpretation.

Mjeda A, Botterweck G. 2019. Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges . Electronic Communications of the EASST. 77

2017

Mjeda A, Wasala A, Botterweck G. 2017. Decision Spaces in Product Lines, Decision Analysis, and Design Exploration: An Interdisciplinary Exploratory Study. Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems.

2016

Butterfield A, Mjeda A, Noll J.. 2016. UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

2015

Mjeda A, Hinchey M. 2015. Requirement-Centric Reactive Testing for Safety-Related Automotive Software. Proceedings of the 2nd International Workshop on Requirements Engineering and Testing (RET’15), co-located with ICSE’15.

2013

Mjeda A, Hinchey M. 2013. CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software. 2nd International Workshop on Critical Automotive Applications: Robustness and Safety (CARS) co-located with International Conference on Computer Safety, Reliability and Security Conference (SAFECOMP2013).

2009

Mjeda A, McElligott P, Ryan K, Thiel S. 2009. Model-Based Testing Design for Embedded Automotive Software. SAE 2009 World Congress, Model-Based Design of Embedded SystemsSAE 2009 World Congress, Model-Based Design of Embedded Systems.

2008

Mjeda A, Leen G, Walsh E. 2008. The AUTOSAR standard – the experience of appling Simulink according to its requirements. SAE 2007 Transactions Journal of Passenger Cars: Electronic and Electrical SystemsSAE 2007 Transactions Journal of Passenger Cars: Electronic and Electrical Systems. 116

McElligott P, Mjeda A, Thiel S. 2008. Can Formal Methods Make Automotive Business Sense? – A Classification of Formal Methods SAE 2008 World Congress, Safety-Critical Systems (SP-2173)SAE 2008 World Congress, Safety-Critical Systems (SP-2173).

2007

Leen G, Mjeda A, Walsh E. 2007. The AUTOSAR standard – the experience of applying Simulink according to its requirements. SAE International World CongressSAE International World Congress.

Anila Mjeda

Academic

Contact Details

Pages

For further information

Search form

Anila Mjeda

Academic

You are here

Contact Details

Pages

For further information