MPG.eBooks - Author Search Results

Tiziana Margaria

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

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

by Margaria, Tiziana
Published 1996

Springer

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice o...

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

3

Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

4

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

by Margaria, Tiziana
Published 1998

Springer Berlin Heidelberg

Cover Image

5

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Margaria, Tiziana...”

Cover Image

6

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2...

Published 2016

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

7

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,...

Published 2016

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

8

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part...

Published 2018

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

9

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, P...

Published 2018

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

10

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceed...

Published 2018

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

11

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceed...

Published 2018

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

12

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 20...

Published 2020

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

13

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...

Published 2020

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

14

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 202...

Published 2020

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

15

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rho...

Published 2021

Springer International Publishing

Other Authors: “...Margaria, Tiziana...”

Cover Image

16

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Margaria, Tiziana...”

Cover Image

17

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Margaria, Tiziana...”

Cover Image

18

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2017

Springer Berlin Heidelberg

Other Authors: “...Margaria, Tiziana...”

Cover Image

19

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2017

Springer Berlin Heidelberg

Other Authors: “...Margaria, Tiziana...”

Cover Image

20

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...

Published 2014

Springer Berlin Heidelberg

Other Authors: “...Margaria, Tiziana...”

1
2