World's Best Scientists 2026 revealed!
Tiziana Margaria

Tiziana Margaria

D-Index & Metrics

Computer Science

D-Index
44
Citations
6623
World Ranking
7676
National Ranking
25

Overview

Tiziana Margaria is affiliated with the University of Limerick in Ireland. Their research spans multiple fields, primarily within computer science and engineering, with significant contributions in decision sciences as well.

The main fields of study for Margaria include:

  • Computer Science
  • Engineering
  • Decision Sciences

Subfields of study reflect a focus on technology and software systems:

  • Artificial Intelligence
  • Information Systems
  • Computer Networks and Communications
  • Industrial and Manufacturing Engineering
  • Information Systems and Management

Key research topics tackled by Margaria cover a broad set of contemporary issues:

  • Scientific Computing and Data Management
  • Model-Driven Software Engineering Techniques
  • Digital Transformation in Industry
  • IoT and Edge/Fog Computing
  • Software Testing and Debugging Techniques
  • Software System Performance and Reliability
  • Blockchain Technology Applications and Security

Margaria's publication record includes recent journal articles organized by title, year, and venue:

  • Health-ID: A Blockchain-Based Decentralized Identity Management for Remote Healthcare, 2021, Healthcare
  • PETchain: A Blockchain-Based Privacy Enhancing Technology, 2021, IEEE Access
  • A Cyber Secure Medical Management System by Using Blockchain, 2022, IEEE Transactions on Computational Social Systems
  • Authentication scheme for Unmanned Aerial Vehicles based Internet of Vehicles networks, 2021, Egyptian Informatics Journal
  • Towards Explainability in Machine Learning: The Formal Methods Way, 2020, IT Professional

Frequent coauthors associated with Margaria include:

  • Bernhard Steffen
  • Alexander Schieweck
  • Amandeep Singh
  • Ibrahim Tariq Javed
  • Hafiz Ahmad Awais Chaudhary

Margaria has also contributed to book publications, notably with Springer Science+Business Media, producing eight titles focused on formal methods, verification, validation, and engineering principles in software systems:

  • Leveraging Applications of Formal Methods, Verification and Validation (2021)
  • Leveraging Applications of Formal Methods, Verification and Validation. Practice (2022)
  • Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (2020)
  • Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (2020)
  • Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (2021)
  • Leveraging Applications of Formal Methods, Verification and Validation: Applications (2020)
  • Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022)
  • Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

Among the frequently chosen publication venues are:

  • IT Professional
  • Proceedings of the Institute for System Programming of RAS
  • Electronics
  • Technische Universität Berlin - Universitätsbibliothek
  • International Journal on Software Tools for Technology Transfer

Best Publications

  • Model-driven development with the jABC

    Bernhard Steffen;Tiziana Margaria;Ralf Nagel;Sven Jörges

  • Service-Oriented Computing – ICSOC 2008

    Athman Bouguettaya;Ingolf Krueger;Tiziana Margaria

  • LearnLib: a framework for extrapolating behavioral models

    Harald Raffelt;Bernhard Steffen;Therese Berg;Tiziana Margaria

  • Business Process Modeling in the jABC: The One-Thing Approach

    Tiziana Margaria;Bernhard Steffen

  • Agile IT: Thinking in User-Centric Models

    Tiziana Margaria;Bernhard Steffen

  • Dynamic testing via automata learning

    Harald Raffelt;Maik Merten;Bernhard Steffen;Tiziana Margaria

  • The Electronic Tool Integration platform: concepts and design

    Bernhard Steffen;Tiziana Margaria;Volker Braun

  • Service-Orientation: Conquering Complexity with XMDD

    Tiziana Margaria;Bernhard Steffen

  • Service Engineering: Linking Business and IT

    T. Margaria;B. Steffen

  • jETI : A tool for remote tool integration

    Tiziana Margaria;Ralf Nagel;Bernhard Steffen

  • Simplicity as a Driver for Agile Innovation

    Tiziana Margaria;Bernhard Steffen

  • Lightweight coarse-grained coordination: a scalable system-level approach

    Tiziana Margaria;Bernhard Steffen

  • Service-Oriented design: the roots

    Tiziana Margaria;Bernhard Steffen;Manfred Reitenspieß

  • Next generation learnlib

    Maik Merten;Bernhard Steffen;Falk Howar;Tiziana Margaria

  • Health-id: A blockchain-based decentralized identity management for remote healthcare

    Ibrahim Tariq Javed;Fares Alharbi;Badr Bellaj;Tiziana Margaria;Tiziana Margaria

  • Bio-jETI: a framework for semantics-based service composition

    Anna-Lena Lamprecht;Tiziana Margaria;Bernhard Steffen

  • Efficient test-based model generation for legacy reactive systems

    T. Margaria;O. Niese;H. Raffelt;B. Steffen

  • Remote integration and coordination of verification tools in jETI

    T. Margaria;R. Nagel;B. Steffen

  • Continuous Model-Driven Engineering

    T. Margaria;B. Steffen

  • METAFrame in Practice: Design of Intelligent Network Services

    Bernhard Steffen;Tiziana Margaria

  • Dynamic testing via automata learning

    Harald Raffelt;Bernhard Steffen;Tiziana Margaria

  • Tools and Algorithms for the Construction and Analysis of Systems

    Hendrik Brinksma;W.R. Cleaveland;T. Margaria;B. Steffen

  • Service-oriented computing - ICSOC 2008 : 6th international conference Sydney, Australia, December 1-5, 2008 proceedings

    Athman Bouguettaya;Ingolf Krueger;Tiziana Margaria

  • Service-oriented design : The roots

    Tiziana Margaria;Bernhard Steffen;Manfred Reitenspiess

Frequent Co-Authors

Bernhard Steffen
Bernhard Steffen TU Dortmund University
Ina Schaefer
Ina Schaefer Technische Universität Braunschweig
Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Wang Yi
Wang Yi Uppsala University
Athman Bouguettaya
Athman Bouguettaya University of Sydney
Pekka Abrahamsson
Pekka Abrahamsson Tampere University
Christel Baier
Christel Baier TU Dresden
Axel Legay
Axel Legay Université Catholique de Louvain
Reiko Heckel
Reiko Heckel University of Leicester

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens many doors to online degrees and flexible career options. If you're just beginning your educational journey, you might consider one of the associates degree programs. These are ideal for quick entry into the tech field, offering foundational skills that can lead to entry-level positions or further study.

For those interested in leadership or education, pursuing an ed.d educational leadership can be pivotal. This degree prepares you for influential roles in academic settings, policy development, or administration, making a real difference in how technology is taught and implemented.

When considering your options, it's crucial to choose online degree programs accredited by respected organizations. Accreditation ensures your qualifications are recognized by both employers and further education institutions.

If you're passionate about creativity and technology, the booming field of game development might appeal to you. Look into a masters in game design online. This path can lead to exciting careers in the gaming industry, blending artistry with hands-on coding and design.

Best Scientists Citing Tiziana Margaria

Trending Scientists

Recently Published Articles