Tiziana Margaria-Steffen

10 published titles

Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers

(Contributor)

1 edition

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 of Software, ETAPS 2

(Contributor)

1 edition

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

(Contributor)

1 edition

Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spai

(Contributor)

1 edition

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 : revised selected papers

(Contributor)

1 edition

Leveraging applications of formal methods, verification and validation : 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18 2012 : proceedings

(Contributor)

1 edition

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, 201

(Contributor)

1 edition

Formal methods for industrial critical systems : a survey of applications

(Contributor)

1 edition

Process design for natural scientists : an agile model-driven approach

(Contributor)

1 edition

Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings

(Contributor)

1 edition