Tiziana Margaria-Steffen
AuthID: R-00G-DJS
1
TITLE: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2022, SOURCE: ISoLA (1), VOLUME: 13701
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2022, SOURCE: ISoLA (1), VOLUME: 13701
INDEXED IN: 
DBLP
DBLP2
TITLE: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2018, SOURCE: ISoLA (4), VOLUME: 11247
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2018, SOURCE: ISoLA (4), VOLUME: 11247
INDEXED IN: DBLP
DBLP3
TITLE: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2018, SOURCE: ISoLA (3), VOLUME: 11246
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2018, SOURCE: ISoLA (3), VOLUME: 11246
INDEXED IN: DBLP
DBLP4
TITLE: 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 of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
AUTHORS: Axel Legay; Tiziana Margaria;
PUBLISHED: 2017, SOURCE: TACAS (1), VOLUME: 10205
AUTHORS: Axel Legay; Tiziana Margaria;
PUBLISHED: 2017, SOURCE: TACAS (1), VOLUME: 10205
INDEXED IN: DBLP
DBLP5
TITLE: 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
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2016, SOURCE: ISoLA (2), VOLUME: 9953
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2016, SOURCE: ISoLA (2), VOLUME: 9953
INDEXED IN: DBLP
DBLP6
TITLE: SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings
AUTHORS: Giuseppe F Italiano; Tiziana Margaria Steffen; Jaroslav Pokorný; Jean Jacques Quisquater; Roger Wattenhofer;
PUBLISHED: 2015, SOURCE: SOFSEM, VOLUME: 8939
AUTHORS: Giuseppe F Italiano; Tiziana Margaria Steffen; Jaroslav Pokorný; Jean Jacques Quisquater; Roger Wattenhofer;
PUBLISHED: 2015, SOURCE: SOFSEM, VOLUME: 8939
INDEXED IN: DBLP
DBLP7
TITLE: SOFSEM 2015: Theory and Practice of Computer Science
AUTHORS: Giuseppe F Italiano; Tiziana Margaria-Steffen; Jaroslav Pokorný; Jean-Jacques Quisquater; Roger Wattenhofer;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
AUTHORS: Giuseppe F Italiano; Tiziana Margaria-Steffen; Jaroslav Pokorný; Jean-Jacques Quisquater; Roger Wattenhofer;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef8
TITLE: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China
AUTHORS: Tiziana Margaria; Zongyan Qiu; Hongli Yang;
PUBLISHED: 2012, SOURCE: TASE
AUTHORS: Tiziana Margaria; Zongyan Qiu; Hongli Yang;
PUBLISHED: 2012, SOURCE: TASE
INDEXED IN: DBLP
DBLP9
TITLE: 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
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2010, SOURCE: ISoLA (1), VOLUME: 6415
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2010, SOURCE: ISoLA (1), VOLUME: 6415
INDEXED IN: DBLP
DBLP10
TITLE: 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
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2010, SOURCE: ISoLA (2), VOLUME: 6416
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2010, SOURCE: ISoLA (2), VOLUME: 6416
INDEXED IN: DBLP
DBLP