Cover Image

QR Code

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions....

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	D'Souza, Deepak. (Editor, http://id.loc.gov/vocabulary/relators/edt), Narayan Kumar, K. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Programming and Software Engineering ; 10482
Subjects:	Software engineering. Programming languages (Electronic computers). Computer organization. Computers. Artificial intelligence. Software Engineering. Programming Languages, Compilers, Interpreters. Computer Systems Organization and Communication Networks. Computing Milieux. Theory of Computation. Artificial Intelligence.
Online Access:	https://doi.org/10.1007/978-3-319-68167-2

Similar Items

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková.
Published: (2019)

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings / edited by Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño.
Published: (2019)

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings / edited by Stephan Wong, Antonio Carlos Beck, Koen Bertels, Luigi Carro.
Published: (2017)

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang.
Published: (2015)

Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / edited by Alexey Gotsman, Ana Sokolova.
Published: (2020)

Language, Music and Computing Second International Workshop, LMAC 2017, St. Petersburg, Russia, April 17–19, 2017, Revised Selected Papers / edited by Polina Eismont, Olga Mitrenina, Asya Pereltsvaig.
Published: (2019)

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2018)

Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich.
Published: (2020)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos.
Published: (2013)

Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers / edited by Qiaohong Zu, Bo Hu.
Published: (2018)

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers / edited by Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa.
Published: (2019)

Coordination Models and Languages 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / edited by Simon Bliudze, Laura Bocchi.
Published: (2020)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran.
Published: (2019)

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / edited by Ofer Strichman, Rachel Tzoref-Brill.
Published: (2017)

Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings / edited by Mobyen Uddin Ahmed, Shahina Begum, Jean-Baptiste Fasquel.
Published: (2018)

HCI International 2020 - Posters 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / edited by Constantine Stephanidis, Margherita Antona.
Published: (2020)

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf.
Published: (2013)

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2008)

Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings / edited by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Luis Villa-Ramírez, Roberto Ferro-Escobar.
Published: (2017)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings / edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
Published: (2018)

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch.
Published: (2018)

High Performance Computing 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings / edited by Ponnuswamy Sadayappan, Bradford L. Chamberlain, Guido Juckeland, Hatem Ltaief.
Published: (2020)

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers / edited by Vladimir Jordan, Nikolay Filimonov, Ilya Tarasov, Vladimir Faerman.
Published: (2020)

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled.
Published: (2016)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2018)

Deductive Software Verification – The KeY Book From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.
Published: (2016)

Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part III / edited by C. V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler.
Published: (2019)

Agent Technology and e-Health edited by Roberta Annicchiarico, Ulises Cortes Garcia, Cristina Urdiales.
Published: (2008)

Intelligent Transport Systems. From Research and Development to the Market Uptake Third EAI International Conference, INTSYS 2019, Braga, Portugal, December 4–6, 2019 / edited by Ana Lúcia Martins, Joao Carlos Ferreira, Alexander Kocian.
Published: (2020)

High Performance Computing First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings / edited by Gonzalo Hernandez, Carlos Jaime Barrios Hernandez, Gilberto Díaz, Carlos García Garino, Sergio Nesmachnow, Tomas Pérez-Acle, Mario Storti, Mariano Vázquez.
Published: (2014)

Logic-Based Program Synthesis and Transformation 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / edited by Maribel Fernández.
Published: (2021)

Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / edited by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada.
Published: (2020)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff.
Published: (2013)

Algorithmic Aspects of Cloud Computing 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers / edited by Ivona Brandic, Thiago A. L. Genez, Ilia Pietri, Rizos Sakellariou.
Published: (2020)

Augmented Reality, Virtual Reality, and Computer Graphics 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I / edited by Lucio Tommaso De Paolis, Patrick Bourdot.
Published: (2020)

Augmented Reality, Virtual Reality, and Computer Graphics 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part II / edited by Lucio Tommaso De Paolis, Patrick Bourdot.
Published: (2020)