Home Advanced Search

Advanced Search - Page 1

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

PDF
English
Year: 2019
Author: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky

Lectures on Runtime Verification: Introductory and Advanced Topics

EPUB
English
Year: 2018
Author: Bartocci, Ezio.;Falcone, Yliès

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

PDF
English
Year: 2020
Author: Dang Van Hung, Oleg Sokolsky

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

PDF
English
Year: 2015
Author: Ezio Bartocci, Rupak Majumdar (eds.)

Lectures on Runtime Verification: Introductory and Advanced Topics

PDF
English
Year: 2018
Author: Ezio Bartocci,Yliès Falcone (eds.)

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

PDF
English
Year: 2017
Author: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)

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

PDF
English
Year: 2021
Author: Ezio Bartocci (editor), Yliès Falcone (editor), Martin Leucker (editor)

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

PDF
English
Year: 2010
Author: Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)

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

PDF
English
Year: 2013
Author: Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.)

Capire la scienza. Gauss, Riemann, Poincaré e Hilbert. La matematica diventa scienza

PDF
Italian
Year: 2012
Author: Claudio Bartocci