Tiziana Margaria

Tiziana Margaria, 2014 Tiziana Margaria (born 1964) is a computer scientist and software engineer whose research topics include formal methods and model-driven engineering. Educated in Italy, she has worked in Italy, Germany, Sweden, and Ireland, and currently works in Ireland as Chair of Software Systems in the University of Limerick's Department of Computer Science and Information Systems. Provided by Wikipedia
Showing 1 - 20 results of 55 for search 'Margaria, Tiziana', query time: 0.05s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    First-order theories for the verification of complex FSMs

    First-order theories for the verification of complex FSMs by Margaria, Tiziana

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Verification of systolic arrays in M2L(Str)

    Verification of systolic arrays in M2L(Str) by Margaria, Tiziana

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Semantic extraction for the automatic verification of VHDL descriptions

    Semantic extraction for the automatic verification of VHDL descriptions by Margaria, Tiziana, Griva, Maurizio, Tesio, Riccardo

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A pragmatic approach to software synthesis

    A pragmatic approach to software synthesis by Freitag, Burkhard 1953-, Margaria, Tiziana

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Module configuration by minimal model construction

    Module configuration by minimal model construction by Steffen, Bernhard, Margaria, Tiziana, Freitag, Burkhard 1953-

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Proceedings of the 10th international workshop on Formal methods for industrial critical systems

    Proceedings of the 10th international workshop on Formal methods for industrial critical systems by Margaria, Tiziana

    Published 2005
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  7. 7
    Automatic synthesis of design plans in METAFrame

    Automatic synthesis of design plans in METAFrame by Margaria, Tiziana, Steffen, Bernhard

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Heterogeneous analysis and verification for distributed systems

    Heterogeneous analysis and verification for distributed systems by Steffen, Bernhard, Margaria, Tiziana, Claßen, Andreas

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Distinguishing formulas for free

    Distinguishing formulas for free by Margaria, Tiziana, Steffen, Bernhard

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2...

    Published 2025
    Other Authors: “…Margaria, Tiziana…”

    Get full text Get full text
    Electronic eBook


    Saved in:
  11. 11
    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, Octob...

    Published 2025
    Other Authors: “…Margaria, Tiziana…”

    Get full text Get full text
    Electronic eBook


    Saved in:
  12. 12
    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece,...

    Published 2025
    Other Authors: “…Margaria, Tiziana…”

    Get full text Get full text
    Electronic eBook


    Saved in:
  13. 13
    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024,...

    Published 2025
    Other Authors: “…Margaria, Tiziana…”

    Get full text Get full text
    Electronic eBook


    Saved in:
  14. 14
    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings,...

    Published 2025
    Other Authors: “…Margaria, Tiziana…”

    Get full text Get full text
    Electronic eBook


    Saved in:
  15. 15
    Leveraging applications of formal methods, verification and validation engineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part II

    Leveraging applications of formal methods, verification and validation engineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020...

    Published 2020
    Other Authors: “…Margaria, Tiziana 1964-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  16. 16
    Leveraging applications of formal methods, verification and validation verification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part I

    Leveraging applications of formal methods, verification and validation verification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 202...

    Published 2020
    Other Authors: “…Margaria, Tiziana 1964-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  17. 17
    Leveraging applications of formal methods, verification and validation applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part III

    Leveraging applications of formal methods, verification and validation applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...

    Published 2020
    Other Authors: “…Margaria, Tiziana 1964-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  18. 18
    Leveraging applications of formal methods, verification and validation practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part IV

    Leveraging applications of formal methods, verification and validation practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part...

    Published 2022
    Other Authors: “…Margaria, Tiziana 1964-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  19. 19
    Leveraging applications of formal methods, verification and validation verification principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part I

    Leveraging applications of formal methods, verification and validation verification principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : pro...

    Published 2022
    Other Authors: “…Margaria, Tiziana 1964-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  20. 20
    Leveraging applications of formal methods, verification and validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings

    Leveraging applications of formal methods, verification and validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octobe...

    Published 2021
    Other Authors: “…Margaria, Tiziana 1964-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:

Search Tools: