Home - Our People - Tiziana Margaria
Contact Details University of Limerick

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

2025

Margaria, Tiziana, Saay, Salim. 2025. Flipped-classroom Based Teaching Method for Data Structures and Algorithms. In: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC). doi: 10.1109/COMPSAC65507.2025.00026.
De G{"o}tzen, Amalia, Margaria, Tiziana, O'Brien, Sean, Saay, Salim, Singh, Amandeep, Voronova, Viktoria. 2025. Diagrams as Visual Knowledge Communication Tools in Interdisciplinary Postgraduate Education. In: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC). doi: 10.1109/COMPSAC65507.2025.00229.

2024

Brandon, Colm, Guevara, Ivan, Margaria, Tiziana, Ryan, Stephen, Singh, Amandeep. 2024. Edge IoT Prototyping Using Model-Driven Representations: A Use Case for Smart Agriculture. Sensors, 24, 495. doi: 10.3390/s24020495.

2023

Guevara, Ivan Hugo, Margaria, Tiziana. 2023. MazeGen: A Low-Code Framework for Bootstrapping Robotic Navigation Scenarios for Smart Manufacturing Contexts. Electronics, 12, 2058. doi: 10.3390/electronics12092058.

2022

Legay, A, Margaria, T. 2022. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. Int J Softw Tools Technol Transfer. doi: 10.1007/s10009-022-00664-0.
Chaudhary, Hafiz Ahmad Awais, Ghosal, Amrita, Guevara, Ivan, John, Jobish, Margaria, Tiziana, Pesch, Dirk, Singh, Amandeep. 2022. Model-Driven Engineering in~Digital Thread Platforms: A Practical Use Case and~Future Challenges. In: Leveraging Applications of Formal Methods, Verification and Validation. Practice, Springer Nature Switzerland.
Chaudhary, Hafiz Ahmad Awais, Guevara, Ivan, John, Jobish, Margaria, Tiziana, Pesch, Dirk, Singh, Amandeep. 2022. Low-Code Internet of~Things Application Development for~Edge Analytics. In: Internet of Things. IoT through a Multi-disciplinary Perspective, Springer International Publishing.
Margaria, T, Steffen, B. 2022. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. doi: 9783031198489.
Karbus, Florian, Margaria, Tiziana, Petzold, Jette, Sch{"u}rmann, Jonas, Smyth, Steven, Steffen, Bernhard, von Hanxleden, Reinhard. 2022. Executable Documentation: Test-First in~Action. In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, Springer Nature Switzerland.
Fitzgerald, John, Gomes, Cl{'a}udio, Gorm Larsen, Peter, Margaria, Tiziana, Woodcock, Jim. 2022. Engineering of Digital Twins for Cyber-Physical Systems. In: Leveraging Applications of Formal Methods, Verification and Validation. Practice, Springer Nature Switzerland.
Breathnach, Ciara, Khan, Rafflesia, Margaria, Tiziana, Murphy, Rachel, Schieweck, Alexander. 2022. Evolution of the Historian Data Entry Application: Supporting Transcribathons in the Digital Humanities through MDD. In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC). doi: 10.1109/COMPSAC54236.2022.00033.
Bainczyk, Alexander, Busch, Daniel, Margaria, Tiziana, Steffen, Bernhard, Tegeler, Tim, Wirkner, Dominic. 2022. DIME Days (ISoLA 2022 Track Introduction). In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, Springer Nature Switzerland.
Javed, Ibrahim Tariq, Jeon, Gwanggil, Margaria, Tiziana, Qureshi, Kashif Naseer, Rehman, Muhammad. 2022. A Cyber Secure Medical Management System by Using Blockchain. IEEE Transactions on Computational Social Systems, 1-14. doi: 10.1109/TCSS.2022.3215455.
Breathnach, Ciara, Clancy, Stuart, Doherty, Adam J., Margaria, Tiziana, Murphy, Rachel A., Schieweck, Alexander. 2022. CensusIRL: Historical census data preparation with MDD support. In: 2022 IEEE International Conference on Big Data (Big Data). doi: 10.1109/BigData55660.2022.10021106.
Margaria, Tiziana, Schieweck, Alexander. 2022. Active Behavior Mining for Digital Twins Extraction. IT Professional, 24, 74-80. doi: 10.1109/MITP.2022.3193044.