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
1
Engineering of Computer-Based Systems [E-Book] : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
2
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
3
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
4
Leveraging Applications of Formal Methods, Verification and Validation. Practice [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
5
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
6
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
7
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [E-Book] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
8
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
9
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
10
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
11
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
12
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
13
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
14
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
15
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
16
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
17
Semantic Web Services Challenge [E-Book] : Results from the First Year /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
18
Software Process Improvement : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings [E-Book] /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
19
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
20
Correct Hardware Design and Verification Methods [E-Book] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in: