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 Esport 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 Website
  • 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
2016
Giannini P, Lamprecht A-L, Margaria T.  2016.  Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development.
Woodcock J, Foster S, Butterfield A.  2016.  Heterogeneous Semantics and Unifying Theories. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}.
Vassev E, Hinchey M.  2016.  Integration and Promotion of Autonomy with the ARE Framework. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
Vassev E.  2016.  Safe Artificial Intelligence and Formal Methods. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
Lamprecht A-L, Steffen B, Margaria T.  2016.  Scientific workflows with the jABC framework. International Journal on Software Tools for Technology Transfer.
Lamprecht A-L, Steffen B, Margaria T.  2016.  Scientific workflows with the jABC framework. International Journal on Software Tools for Technology Transfer.
Varriale A, Prinetto P, Di Natale G, Steffen B, Margaria T.  2016.  SEcube(TM): an Open Security Platform - General Approach and Strategies. International Conference on Security and Management (SAM)International Conference on Security and Management (SAM).
Lamprecht A.L, Margaria T, McInerney C.  2016.  A Summer Computing Camp Using ChainReaction and jABC. 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
2015
Lamprecht A-L, Margaria T.  2015.  Automatic Synthesis of Bioconductor Pipelines: A Domain Modeling Challenge.. SWAT4LS.
Margaria T, Lamprecht A-L.  2015.  Foundations of Semantics and Model Checking in a Software Engineering Course. First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T '15), co-located with 20th International Symposium on Formal Methods (FM 2015).

Pages

  • ‹ previous
  • 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
Funded By

footer logo

Quick links
  • Disclaimer
  • Privacy statement
  • Contact us
  • Careers
Stay In Touch
Subscribe to our
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

Copyright 2021  Lero