Cover Image

Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings /

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and s...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hung, Dang Van (Editor), Sokolsky, Oleg (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:	1st ed. 2020.
Series:	Programming and Software Engineering ; 12302
Subjects:	Artificial intelligence. Special purpose computers. Architecture, Computer. Natural language processing (Computer science). Data structures (Computer science). Artificial Intelligence. Special Purpose and Application-Based Systems. Computer System Implementation. Natural Language Processing (NLP). Data Structures and Information Theory. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I /
Published: (2020)

Dynamic Data Driven Applications Systems : Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings /
Published: (2020)

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /
Published: (2020)

Artificial Intelligence in Education : 21st International Conference, AIED 2020, Ifrane, Morocco, July 6-10, 2020, Proceedings, Part I /
Published: (2020)

Artificial Intelligence in Education : 21st International Conference, AIED 2020, Ifrane, Morocco, July 6-10, 2020, Proceedings, Part II /
Published: (2020)

Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI : 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers /
Published: (2020)

Optimization, Learning Algorithms and Applications : First International Conference, OL2A 2021, Bragança, Portugal, July 19-21, 2021, Revised Selected Papers /
Published: (2021)

Passive and Active Measurement : 22nd International Conference, PAM 2021, Virtual Event, March 29 - April 1, 2021, Proceedings /
Published: (2021)

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I /
Published: (2020)

Advances in Swarm Intelligence : 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part II /
Published: (2021)

Progress in Artificial Intelligence : 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Virtual Event, September 7-9, 2021, Proceedings /
Published: (2021)

Advances in Swarm Intelligence : 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part I /
Published: (2021)

Universal Access in Human-Computer Interaction. Design Methods and User Experience : 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I /
Published: (2021)

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II /
Published: (2020)

Financial Cryptography and Data Security : 24th International Conference, FC 2020 , Kota Kinabalu, Malaysia, February 10-14, 2020 Revised Selected Papers /
Published: (2020)

Applications of Evolutionary Computation : 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings /
Published: (2021)

Mathematical Software - ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings /
Published: (2020)

MultiMedia Modeling : 27th International Conference, MMM 2021, Prague, Czech Republic, June 22-24, 2021, Proceedings, Part II /
Published: (2021)

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 /
Published: (2020)

The Impact of Digital Technologies on Public Health in Developed and Developing Countries : 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings /
Published: (2020)

Modelling and Simulation for Autonomous Systems : 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers /
Published: (2021)

Data Science : 6th International Conference, ICDS 2019, Ningbo, China, May 15-20, 2019, Revised Selected Papers /
Published: (2020)

Real-time Linked Dataspaces : Enabling Data Ecosystems for Intelligent Systems /
by: Curry, Edward
Published: (2020)

Enabling Machine Learning Applications in Data Science : Proceedings of Arab Conference for Emerging Technologies 2020 /
Published: (2021)

Smart Technologies for Precision Assembly : 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers /
Published: (2021)

Proceedings of Second Doctoral Symposium on Computational Intelligence : DoSCI 2021 /
Published: (2022)

Social Informatics : 12th International Conference, SocInfo 2020, Pisa, Italy, October 6-9, 2020, Proceedings /
Published: (2020)

Sentimental Analysis and Deep Learning : Proceedings of ICSADL 2021 /
Published: (2022)

Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II /
Published: (2020)

Entertainment Computing - ICEC 2020 : 19th IFIP TC 14 International Conference, ICEC 2020, Xi'an, China, November 10-13, 2020, Proceedings /
Published: (2020)

Human-Computer Interaction. Design and User Experience : Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I /
Published: (2020)

Systems Engineering and Artificial Intelligence /
Published: (2021)

Intelligent Equipment, Robots, and Vehicles : 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 - November 1, 2021, Proceedings, Part III /
Published: (2021)

Social Robotics : 12th International Conference, ICSR 2020, Golden, CO, USA, November 14-18, 2020, Proceedings /
Published: (2020)

Advances in Information Retrieval : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part II /
Published: (2021)

ECML PKDD 2020 Workshops : Workshops of the European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2020): SoGood 2020, PDFL 2020, MLCS 2020, NFMCP 2020, DINA 2020, EDML 2020, XKDD 2020 and INRA 2020, Ghent, Belgium, September 14-18, 2020, Proceedings /
Published: (2020)

Combinatorial Optimization and Applications : 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021, Proceedings /
Published: (2021)

Computers Helping People with Special Needs : 17th International Conference, ICCHP 2020, Lecco, Italy, September 9-11, 2020, Proceedings, Part II /
Published: (2020)

Computers Helping People with Special Needs : 17th International Conference, ICCHP 2020, Lecco, Italy, September 9-11, 2020, Proceedings, Part I /
Published: (2020)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Communication, Organization and Work : 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II /
Published: (2020)