Ezio Bartocci

No bio available. Add one in Open Library.

Books by Ezio Bartocci (50 max)

+ shelf+ list

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

2013

Ezio Bartocci, C. R. Ramakrishnan

+ shelf+ list

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2015

Ezio Bartocci, Rupak Majumdar

+ shelf+ list

Lectures on Runtime Verification : Introductory and Advanced Topics

2018

Ezio Bartocci, Yliès Falcone

+ shelf+ list

Organicittà

1981

Ezio Bartocci

+ shelf+ list

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2016

Ezio Bartocci, Pietro Liò, Nicola Paoletti

+ shelf+ list

From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

2019

Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky

+ shelf+ list

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

2021

Ezio Bartocci, Yliès Falcone, Martin Leucker