Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (eds.)
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Edmund M. Clarke, Paolo Zuliani (auth.), Tevfik Bultan, Pao-Ann Hsiung (eds.)
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao (auth.), Marlon Dumas, Reiko Heckel (eds.)
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao (auth.), Marlon Dumas, Reiko Heckel (eds.)
String Analysis for Software Verification and Security
  • PDF
  • English
  • Year: 2017
  • Author: Tevfik Bultan,Fang Yu,Muath Alkhalaf,Abdulbaki Aydin (auth.)
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.)
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
  • PDF
  • English
  • Year: 2012
  • Author: Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
  • PDF
  • English
  • Year: 2012
  • Author: Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
search