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

Dynamic Logic. New Trends and Applications

Posted By: AvaxGenius
Dynamic Logic. New Trends and Applications

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers by Nina Gierasimczuk, Fernando R. Velázquez-Quesada
English | PDF (True) | 2024 | 147 Pages | ISBN : 3031517768 | 3.9 MB

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

From Data to Models and Back

Posted By: AvaxGenius
From Data to Models and Back

From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
English | PDF | 2022 | 199 Pages | ISBN : 303116010X | 16.9 MB

This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.

Quantitative Evaluation of Systems

Posted By: AvaxGenius
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings by Erika Ábrahám, Marco Paolieri
English | PDF,EPUB | 2022 | 406 Pages | ISBN : 3031163354 | 47.4 MB

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.

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.

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.

Quantitative Evaluation of Systems

Posted By: AvaxGenius
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings by Alessandro Abate
English | PDF | 2021 | 469 Pages | ISBN : 3030851710 | 24.4 MB

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.

Programming Languages and Systems

Posted By: AvaxGenius
Programming Languages and Systems

Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings
English | PDF | 2021 | 328 Pages | ISBN : 3030890503 | 14.2 MB

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*

Tools and Algorithms for the Construction and Analysis of Systems

Posted By: AvaxGenius
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 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, Part II by Jan Friso Groote
English | PDF | 2021 | 476 Pages | ISBN : 3030720128 | 13.2 MB

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – 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.

Transactions on Petri Nets and Other Models of Concurrency XV

Posted By: AvaxGenius
Transactions on Petri Nets and Other Models of Concurrency XV

Transactions on Petri Nets and Other Models of Concurrency XV by Maciej Koutny
English | EPUB | 2021 | 199 Pages | ISBN : 3662630788 | 24.8 MB

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process.

Transactions on Petri Nets and Other Models of Concurrency XV

Posted By: AvaxGenius
Transactions on Petri Nets and Other Models of Concurrency XV

Transactions on Petri Nets and Other Models of Concurrency XV by Maciej Koutny
English | PDF | 2021 | 199 Pages | ISBN : 3662630788 | 9.5 MB

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process.

Runtime Verification

Posted By: AvaxGenius
Runtime Verification

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings by Jyotirmoy Deshmukh
English | PDF | 2020 | 546 Pages | ISBN : 3030605078 | 32.8 MB

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.

Algorithmic Aspects in Information and Management (Repost)

Posted By: AvaxGenius
Algorithmic Aspects in Information and Management (Repost)

Algorithmic Aspects in Information and Management: 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings by Shaojie Tang
English | PDF | 2018 | 329 Pages | ISBN : 3030046176 | 12.16 MB

This volume constitutes the proceedings of the 12th International Conference on Algorithmic Aspects in Information and Management, AAIM 2018, held in Dallas, Texas, USA, in December 2018.