Home
  • Home
  • About Us
    • About Us
    • Management and Governance
      • Overview
      • Advisory Board
      • Executive Committee
      • Governance Committee
      • Operations Team
    • Lero Stories
    • Diversity
    • Careers
    • Logos and Guidelines
  • Research
    • Introduction
    • Blended Autonomous Vehicles
    • Empower
    • Publications
      • All Publications
      • Technical Reports
      • Public Reports
    • Lero Esports Science Research Lab
    • International Projects
    • Lero Research Activities
    • Parnas Fellowship
  • Meet the Team
    • People Directory
    • Operations Team
    • Executive Committee
  • Industry
    • Overview
    • Our Partners
    • Logitech Case Study
    • Testimonials
  • Impact & Excellence
    • Overview
    • Economic Impact
    • Spinout Companies
  • Education & Public Engagement
    • Overview
    • Education
    • Engaged Research
    • Software for All
  • News & Events
  • Open Science
    • Open Source Programme Office
    • Open Science Charter
    • Open Science Calendar of Events
  • Contact

Search form

Anila Mjeda

Academic

You are here

  • Home
  • Our People
  • Anila Mjeda
Anila Mjeda's picture
Munster Technical University

Contact Details

OFFICE: T2-027

send email

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.

Pages

  • 1
  • 2
  • next ›

For further information

To find out more information about Lero or if you are interested in engaging with us.
Contact Us
Quick links
  • Disclaimer
  • Privacy statement
  • Contact us
  • Careers
Stay In Touch
Subscribe to our
newsletter
View our latest
newsletter
Follow us



Contact
Tierney Building
University of Limerick
Ireland
Postcode : V94 NYD3
Tel: +353 61 213028 Fax: +353 61 213036 Email: info@lero.ie
euro
euro
euro

Copyright 2024  Lero