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
2022
Chaudhary HAhmad Awai, Margaria T.  2022.  DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread. Electronic Communications of the EASST.
Abbasi F, Muzammal M, Qureshi KNaseer, Javed ITariq, Margaria T, Crespi N.  2022.  Exploiting optimised communities in directed weighted graphs for link prediction. Online Social Networks and Media. 31:100222.
Qureshi KNaseer, Sandila MArslan Sal, Javed ITariq, Margaria T, Aslam L.  2022.  Authentication scheme for Unmanned Aerial Vehicles based Internet of Vehicles networks. Egyptian Informatics Journal. 23:83-93.
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
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).
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.
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.

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