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
  • 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
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.
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.
McInerney C, Lamprecht A-L, Margaria T.  2018.  Computing Camps for Girls – A First-Time Experience at the University of Limerick . WCCE 2017.
Margaria T, Steffen B.  2018.  Simplicity as a Driver for Agile Innovation. Software Technology: 10 Years of Innovation in IEEE Computer.
Margaria T, Lamprecht A-L, Bernhard S.  2018.  Continuous Model-Driven Engineering. Software Technology: 10 Years of Innovation in IEEE Computer.
2017
Boßelmann S., Kühn D., Margaria T.  2017.  A fully model-based approach to the design of the SEcube: community web app. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
Kunnappilly A, Legay A, Margaria T, Seceleanu C, Steffen B, Traonouez L.M.  2017.  Analyzing ambient assisted living solutions: A research perspective. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
Margaria T, LeGay A.  2017.  Proceedings of TACAS _23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017TACAS 2017.
Boßelmann S, Wickert A, Lamprecht A-L, Margaria T.  2017.  Modeling Directly Executable Processes for Healthcare Professionals with XMDD. Service Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, ToolsService Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, Tools.

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
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