Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers [1st ed.] 9783030636173, 9783030636180

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers 3030636178, 9783030636173

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, an

390 78 14MB Read more

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings [1st ed.] 9783030605070, 9783030605087

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, he

515 79 33MB Read more

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II [1st ed.] 9783030532901, 9783030532918

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Confe

340 78 22MB Read more

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I [1st ed.] 9783030532871, 9783030532888

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Confe

652 105 28MB Read more

First Conference, SVCC 2020, San Jose, CA, USA, December 17–19, 2020, Revised Selected Papers 9783030727253, 9783030727246

312 3 19MB Read more

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers [1st ed.] 9783030635947, 9783030635954

This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA

421 100 6MB Read more

Engineering Dependable and Secure Machine Learning Systems: Third International Workshop, EDSMLS 2020, New York City, NY, USA, February 7, 2020, Revised Selected Papers [1st ed.] 9783030621438, 9783030621445

This book constitutes the revised selected papers of the Third International Workshop on Engineering Dependable and Secu

426 67 15MB Read more

Software Technologies: 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers (Communications in Computer and Information Science) 3030830063, 9783030830069

This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies,

101 94 23MB Read more

Mathematical Optimization Theory and Operations Research: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Revised Selected Papers [1st ed.] 9783030586560, 9783030586577

This book constitutes refereed proceedings of the 19th International Conference on Mathematical Optimization Theory and

486 86 17MB Read more

Job Scheduling Strategies for Parallel Processing: 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers [1st ed.] 9783030631703, 9783030631710

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Workshop on Job Sche

291 97 17MB Read more