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
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)
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.)
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Jeff Kramer, Jeff Magee (auth.), W. Rance Cleaveland (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.)
Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Cindy Eisner (auth.), Oleg Sokolsky, Serdar Taşıran (eds.)
search