Home Advanced Search

Advanced Search - Page 1

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.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Lectures on Runtime Verification: Introductory and Advanced Topics
  • EPUB
  • English
  • Year: 2018
  • Author: Bartocci, Ezio.;Falcone, Yliès
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.)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
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
search