Skip recommendations

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 - 14 results of 14 for search 'Margaria, Tiziana', query time: 0.05s Refine Results
Search Tools: Suscríbete a esta búsqueda
  1. 1
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I /
    Published 2016
    Other Authors: “…Margaria, Tiziana…”
    Texto Completo
    Electronic eBook
  2. 2
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
    Published 2016
    Other Authors: “…Margaria, Tiziana…”
    Texto Completo
    Electronic eBook
  3. 3
    Process Design for Natural Scientists An Agile Model-Driven Approach /
    Published 2014
    Other Authors:
    Texto Completo
    Electronic eBook
  4. 4
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Published 2014
    Other Authors: “…Margaria, Tiziana…”
    Texto Completo
    Electronic eBook
  5. 5
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
    Published 2014
    Other Authors: “…Margaria, Tiziana…”
    Texto Completo
    Electronic eBook
  6. 6
    Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
    Published 2012
    Other Authors: “…Margaria, Tiziana…”
    Texto Completo
    Electronic eBook
  7. 7
    Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
    Published 2012
    Other Authors: “…Margaria, Tiziana…”
    Texto Completo
    Electronic eBook
  8. 8
    Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /
    Published 2012
    Other Authors:
    Texto Completo
    Electronic eBook
  9. 9
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
    Published 2010
    Other Authors: “…Margaria, Tiziana…”
    Texto Completo
    Electronic eBook
  10. 10
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
    Published 2010
    Other Authors: “…Margaria, Tiziana…”
    Texto Completo
    Electronic eBook
  11. 11
    Semantic Web Services Challenge Results from the First Year /
    Published 2009
    Other Authors:
    Texto Completo
    Electronic eBook
  12. 12
    Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /
    Published 2008
    Other Authors: “…Margaria, Tiziana…”
    Texto Completo
    Electronic eBook
  13. 13
    Service-Oriented Computing - ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings /
    Published 2008
    Other Authors:
    Texto Completo
    Electronic eBook
  14. 14
    Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings /
    Published 2007
    Other Authors:
    Texto Completo
    Electronic eBook