Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

The Logic of Software. A Tasting Menu of Formal Methods

Posted By: AvaxGenius
The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday by Wolfgang Ahrendt
English | PDF,EPUB | 2022 | 531 Pages | ISBN : 303108165X | 80.6 MB

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations.

Computer Science – CACIC 2021

Posted By: AvaxGenius
Computer Science – CACIC 2021

Computer Science – CACIC 2021: 27th Argentine Congress, CACIC 2021, Salta, Argentina, October 4–8, 2021, Revised Selected Papers by Patricia Pesado
English | EPUB | 2022 | 321 Pages | ISBN : 3031059026 | 35.1 MB

This book constitutes revised selected papers from the 27th Argentine Congress on Computer Science, CACIC 2021, held in Salta, Argentina in October 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode.

Verification, Model Checking, and Abstract Interpretation (Repost)

Posted By: AvaxGenius
Verification, Model Checking, and Abstract Interpretation (Repost)

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings by Dirk Beyer
English | PDF | 2020 | 484 Pages | ISBN : 3030393216 | 14.8 MB

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

NASA Formal Methods

Posted By: AvaxGenius
NASA Formal Methods

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings by Aaron Dutle
English | PDF | 2021 | 416 Pages | ISBN : 3030763838 | 20.6 MB

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.
The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

Computer Science – CACIC 2021

Posted By: AvaxGenius
Computer Science – CACIC 2021

Computer Science – CACIC 2021: 27th Argentine Congress, CACIC 2021, Salta, Argentina, October 4–8, 2021, Revised Selected Papers by Patricia Pesado
English | PDF | 2022 | 321 Pages | ISBN : 3031059026 | 27.1 MB

This book constitutes revised selected papers from the 27th Argentine Congress on Computer Science, CACIC 2021, held in Salta, Argentina in October 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode.

Computer Safety, Reliability, and Security

Posted By: AvaxGenius
Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security: 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings by Ibrahim Habli
English | EPUB | 2021 | 283 Pages | ISBN : 3030839028 | 28.7 MB

This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021.

Functional and Logic Programming

Posted By: AvaxGenius
Functional and Logic Programming

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings by Michael Hanus
English | PDF | 2022 | 298 Pages | ISBN : 3030994600 | 8 MB

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.

Computer Safety, Reliability, and Security

Posted By: AvaxGenius
Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security: 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings by Ibrahim Habli
English | PDF | 2021 | 283 Pages | ISBN : 3030839028 | 19.5 MB

This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021.

Static Analysis

Posted By: AvaxGenius
Static Analysis

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings by Cezara Drăgoi
English | PDF | 2021 | 494 Pages | ISBN : 3030888053 | 18.5 MB

This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.

Practical Aspects of Declarative Languages

Posted By: AvaxGenius
Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings by José F. Morales
English | EPuB | 2021 | 183 Pages | ISBN : 3030674371 | 8 MB

This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021.

Practical Aspects of Declarative Languages

Posted By: AvaxGenius
Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings by José F. Morales
English | PDF | 2021 | 183 Pages | ISBN : 3030674371 | 6.2 MB

This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021.

Programming Languages and Systems

Posted By: AvaxGenius
Programming Languages and Systems

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings by Nobuko Yoshida
English | PDF | 2021 | 705 Pages | ISBN : 3030720187 | 11.2 MB

This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.

Logic-Based Program Synthesis and Transformation

Posted By: AvaxGenius
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings by Maribel Fernández
English | EPUB | 2021 | 348 Pages | ISBN : 3030684458 | 24.8 MB

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

Logic-Based Program Synthesis and Transformation

Posted By: AvaxGenius
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings by Maribel Fernández
English | PDF | 2021 | 348 Pages | ISBN : 3030684458 | 9 MB

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

Essential Spectrum-based Fault Localization

Posted By: AvaxGenius
Essential Spectrum-based Fault Localization

Essential Spectrum-based Fault Localization by Xiaoyuan Xie
English | PDF,EPUB | 2021 | 178 Pages | ISBN : 9813361786 | 16.2 MB

Program debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques. While it’s not particularly difficult to learn about the process and empirical performance of a particular SBFL technique from the available literature, researchers and practitioners aren’t always familiar with the underlying theories.