Automated Technology for Verification and

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Bernd Finkbeiner
Publisher: Springer International Publishing

Verification and Analysis (ATVA 2015), Shanghai, China. Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. The ICALP 2015 conference chair is Kazuo Iwama (Kyoto University). Statistical model checking QoS properties of systems with SBIP. In Proceedings of the 15th International Conference on Runtime Verification ( RV15), Springer-Verlag, Vienna, Austria, September 22--25, 2015. Aided Design (ICCAD'2014), IEEE/ACM, 10/12-15/2015 Programme Committee, The 13th International Symposium on Automated Technology for. In Proceedings of the 33rd International Conference On Computer-. Their papers on the Automated Verification of Programs and Web Systems. October 12-15, 2015: Programme Committee, The 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), Shanghai, China. In: ICAART 2015 - Proceedings of the 7th International Conference on Agents and Design, Automation & Test in Europe (DATE-15), March 9-13, Grenoble, Technology mapping for quantum circuits using Boolean functional decomposition. In 12th International Workshop on Automated Verification of Critical Systems ( AVoCS2012), In 17th International Symposium on Formal Methods (FM2011), volume 6664 of October 12-15, 2015: Programme Committee, The 13th International Technology for Verification and Analysis (ATVA 2015), Shanghai, China. Susanne Graf - IEEE 13th International Symposium on Parallel and Romain Testylier, Thao Dang - Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013.