„Software Verification“

Suchergebnisse

1.196 Treffer

• Principles of Security and Trust – Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Abadi, Martín ; Kremer, Steve 2014 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
  Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
• Evaluation of Novel Approaches to Software Engineering – 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
• Evaluation of Novel Approaches to Software Engineering – 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
  Maciaszek, Leszek A. ; Filipe, Joaquim 2013 Springer Berlin Heidelberg
• Runtime Verification – 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
  Legay, Axel ; Bensalem, Saddek 2013 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Formal Methods for Industrial Critical Systems – 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Software Engineering for Resilient Systems – 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Formal Methods: Foundations and Applications – 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
  2013 Springer Berlin Heidelberg
• Structured Object-Oriented Formal Language and Method – Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
  Liu, Shaoying 2013 Springer Berlin Heidelberg
• Hardware and Software: Verification and Testing – 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Software Architecture – 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
  Drira, Khalil 2013 Springer Berlin Heidelberg
• Software Composition – 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
  Binder, Walter ; Bodden, Eric ; Löwe, Welf 2013 Springer Berlin Heidelberg
• Open Source Software: Quality Verification – 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings
  Petrinja, Etiel ; Succi, Giancarlo ; Ioini, Nabil el ; Sillitti, Alberto 2013 Springer Berlin Heidelberg
• NASA Formal Methods – 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
  Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer Berlin Heidelberg
• Engineering Secure Software and Systems – 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
  Jürjens, Jan ; Livshits, Ben ; Scandariato, Riccardo 2013 Springer Berlin Heidelberg
• Tools and Algorithms for the Construction and Analysis of Systems – 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Piterman, Nir ; Smolka, Scott 2013 Springer Berlin Heidelberg
• Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg