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
  • Meet the Team
    • People Directory
    • Operations Team
    • Executive Committee
  • Industry
    • Overview
    • Our Partners
    • 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

Tiziana Margaria

Academic

You are here

  • Home
  • Our People
  • Tiziana Margaria
Tiziana Margaria's picture
University of Limerick

Contact Details

office : T2-030

tel : +353-(0)61-202783

send email

Professor Tiziana Margaria has broad experience in the use of formal methods for high assurance systems, in particular concerning functional verification, reliability, and compliance of complex heterogeneous systems.

She is currently Vice President of the European Association of Software Science and Technology (EASST); President of FMICS (the ERCIM Working Group on Formal Methods for Industrial Critical Systems); steering committee member of ETAPS, the European joint Conferences on Theory and Practice of Software; managing editor of STTT, the Springer Journal on Software Tools for Technology Transfer; and co-founder of the TACAS and ISoLA series of conferences. Tiziana is a Fellow of the Irish Computer Society and of SDPS, the Society for Design and Process Science.

In EuSEM (European Society for Emergency Medicine), she co-chairs the Special Interest Group on Technology and Processes of Care in the Emergency Care (SIG-TPCEC).

In Lero, she heads research projects on Scientific Workflows, in particular for data analytics, on model-driven service-oriented Software design for evolving systems, and on holistic HW/SW Cybersecurity. Current application domains are to embedded systems, healthcare, and smart advanced manufacturing. The aforementioned are Tiziana’s research topics and application domains most relevant to ALECS.

  • Publications
2021
Javed ITariq, Alharbi F, Margaria T, Crespi N, Qureshi KNaseer.  2021.  PETchain: A Blockchain-Based Privacy Enhancing Technology. IEEE Access. 9:41129-41143.
Alamri B, Javed ITariq, Margaria T.  2021.  A GDPR-Compliant Framework for IoT-Based Personal Health Records Using Blockchain. 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
2020
Gossen F, Margaria T, Steffen B.  2020.  Towards Explainability in Machine Learning: The Formal Methods Way. IT Professional. 22:8-12.
Saay S, Margaria T.  2020.  XMDD as Key Enabling Technology for Integration of Large scale eLearning Based on NRENs. 2020 IEEE 20th International Conference on Advanced Learning Technologies (ICALT).
Alamri B, Javed ITariq, Margaria T.  2020.  Preserving Patients' Privacy in Medical IoT Using Blockchain. Edge Computing – EDGE 2020.
Saay S., Margaria T.  2020.  Model-Driven-Design of NREn Bridging Application: Case Study AfgREN. 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC).
2019
Vassev E, Hinchey M.  2019.  The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. :268–296.
Neto GTorres G, Santos WB, Fagundes RAA, Margaria T.  2019.  Towards an Understanding of Value Creation in Agile Software Development. Proceedings of the XV Brazilian Symposium on Information Systems.
2018
Santos WB, Cunha JAdson OG, Moura H, Margaria T.  2018.  Towards a Definition of Simplicity in Agile Software Development: A Focus Group Study. Agile Methods.
McInerney C, Lamprecht A-L, Margaria T.  2018.  Computing Camps for Girls – A First-Time Experience at the University of Limerick . WCCE 2017.

Pages

  • 1
  • 2
  • 3
  • 4
  • 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
  • View our recent newsletter
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 2023  Lero