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

Tiziana Margaria

Academic

You are here

  • Home
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
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).
Al-Areqi S, Lamprecht A-L, Margaria T.  2015.  Improving the Reuse of Services in Geospatial Applications with XMDD Technology. Improving the Reuse of Services in Geospatial Applications with XMDD TechnologyImproving the Reuse of Services in Geospatial Applications with XMDD Technology.
Lamprecht A-L, Margaria T.  2015.  Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education. Workshop on Teaching Computational Science at the 15th International Conference on Computational Science (ICCS 2015).
Margaria T, Lamprecht A-L.  2015.  On the Use of XMDD in Software Development Education: Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual. 39th Annual IEEE Computer Software and Applications Conference (COMPSAC)39th Annual IEEE Computer Software and Applications Conference (COMPSAC).
2010
Bakera M, Wagner C, Margaria T, Vassev E, Hinchey M, Steffen B.  2010.  Extracting Component-oriented Behavior for Self-healing Enabling. Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe’10).
Hinchey M, Margaria T, Rash JL, Rouff C, Steffen B.  2010.  Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation. # 7,668,796
2009
Bakera M, Wagner C, Margaria T, Vassev E, Hinchey M, Bernhard S.  2009.  Component-Oriented Behavior Extraction for Autonomic System Design. Proceedings of the First NASA Formal Methods Symposium (NFM 2009).
2008
Hinchey M, Jackson M, Cousot P, Cook B, Bowen JP, Margaria T.  2008.  Software Engineering and Formal Methods. Communications of the ACM. 51

Pages

  • ‹ previous
  • 1
  • 2
  • 3
  • 4

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