Theoretical Aspects of Computing – ICTAC 2022


Book Description

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022. The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.




Theoretical Aspects of Computing – ICTAC 2023


Book Description

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.




Theoretical Aspects of Software Engineering


Book Description

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.




Cryptology and Network Security


Book Description

This book constitutes the refereed proceedings of the 22nd International Conference on Cryptology and Network Security, CANS 2023, which was held in October/November 2023 in Augusta, GA, USA. The 25 papers presented were thoroughly revised and selected from the 54 submissions. They are organized in the following topical sections: Schemes I; Basic Primitives; Security; MPC with Cards; Blockchain; MPC and Secret Sharing; Schemes II.







iFM 2023


Book Description

This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.




Computer Aided Verification


Book Description




Tools and Algorithms for the Construction and Analysis of Systems


Book Description

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.




IoT Enabled-DC Microgrids


Book Description

Smart grid is a new generation of power grids that is expected to enhance its reliability and reduce carbon footprint by integrating distributed resources. Microgrid technology allows the integration of renewable energies, which come in three modes: AC, DC, or hybrid. The increasing number of DC loads, the need to reduce power loss in converting DC power to AC, and the existence of DC storage units have favored the adoption of DC microgrids. The electrification of the transportation sector has further supported the adoption of DC microgrids. A DC microgrid system comprises renewable resources, DC storage elements, DC loads, and intelligent electrical devices. It has gained interest due to its efficiency, scalability, and cost-effectiveness. DC microgrids play a crucial role in powering diverse applications such as data centers, residential areas, base stations, and electric vehicle charging stations. This book covers the design, control, and management of DC microgrids in both islanded and grid-connected modes. It focuses on ICT infrastructure, security, sensors, embedded systems, machine learning algorithms, edge/fog computing, and the socio-economic impact.




Internet of Production


Book Description

This seminal compendium, available through open access, illuminates the forefront of digital collaboration in production. It introduces the visionary concept of the Internet of Production (IoP), an ambitious initiative by Germany's esteemed Cluster of Excellence at RWTH Aachen University. This handbook pioneers the integration of data, models, and knowledge across development, production, and user cycles, offering interdisciplinary insights into production technology's horizons with the overall objective to create a worldwide lab. The work is organized into seven key parts, each contributing to a comprehensive understanding of the IoP. Part I lays the foundation with interdisciplinary visions and concepts. Part II delves into IoP's infrastructure, encompassing digital shadows and actionable artificial intelligence. Part III examines materials within the digitalized production landscape. Part IV confronts the challenges and potentials of production processes under novel digitalization methods. Part V focuses on production management with data-driven decision support, while Part VI explores agile development processes. Finally, Part VII delves into the interplay between internal and external perspectives in the IoP, human-centered work design, and platform-based ecosystems. Supported by the German Research Foundation (DFG), this compendium redefines manufacturing through the transformative IoP lens. Embrace this scholarly endeavor to embrace technological advancement. This is an open access book.