Search

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6–7, 2024. The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.

This book constitures selected and revised papers presented at the First International Workshop on Measuring Ontologies for Value Enhancement, MOVE 2020, held as Virtual Event in October 2020. The 7 extended and revised papers presented were thoroughly reviewed and selected from the 13 submissions. Along with them, the volume presents 5 invited papers. The volume articles are arranged in the topical sections on complexity of knowledge-intensive endeavors; ontology modeling; enterprise ontologies; knowledge discovery and innovations.

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. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model verification; data mining and processing related approaches; and other approaches.

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.

This book constitutes the revised post-conference proceedings of the 18th European Conference on Multi-Agent Systems, EUMAS 2021. The conference was held online in June, 2021. 16 full papers are presented in this volume, each of which carefully reviewed and selected from a total of 51 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent systems.

This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The 10 full papers presented were selected from 31 submissions. The papers deal with all aspects on membrane computing and related areas.

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

This book constitutesselected, revised and extended papers of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, held in Heraklion, Crete, Greece, in May 2019.The 19 revised full papers presented were carefully reviewed and selected from 102 submissions. The papers included in this book contribute to the understanding of relevant trends of current research on novel approaches to software engineering for the development and maintenance of systems and applications, specically with relation to: model-driven software engineering, requirements engineering, empirical software engineering, service-oriented software engineering, business process management and engineering, knowledge management and engineering, reverse software engineering, software process improvement, software change and configuration management, software metrics, software patterns and refactoring, application integration, software architecture, cloudcomputing, and formal methods.

This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019.The 16 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 76 submissions. They address some of the most relevant challenges being faced by researchers and practitioners in the field of model-driven engineering and software development and cover topics like language design and tooling; programming support tools; code and text generation from models, behavior modeling and analysis; model transformations and multi-view modeling; as well as applications of MDD and its related techniques to cyber-physical systems, cyber security, IoT, autonomous vehicles and healthcare.

This book constitutes revised selected papers from the 19th International Conference on Membrane Computing (CMC19), CMC 2018, which was held in Dresden, Germany, in September 2018. The 15 papers presented in this volume were carefully reviewed and selected from 20 submissions. The contributions aim to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures.

This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium “From Data to Models and Back'; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in the proceedings were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017 conference, a total of 51 papers was accepted from 75 submissions. The papers were organized in topical sections named as follows:Part I: numerical algorithms and parallel scientific computing; particle methods in simulations; task-based paradigm of parallel computing; GPU computing; parallel non-numerical algorithms; performance evaluation of parallel algorithms and applications; environments and frameworks for parallel/distributed/cloud computing; applications of parallel computing; soft computing with applications; and special session on parallel matrix factorizations.Part II: workshop on models, algorithms and methodologies for hybrid parallelism in new HPC systems; workshop power and energy aspects of computations (PEAC 2017); workshop on scheduling for parallel computing (SPC 2017); workshop on language-based parallel programming models (WLPP 2017); workshop on PGAS programming; minisymposium on HPC applications in physical sciences; minisymposium on high performance computing interval methods; workshop on complex collective systems.

This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.

This book constitutes the revised selected papers from the 11th International Conference on Risk and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016. The 17 full papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover diverse research themes, ranging from classic topics, such as intrusion detection, applied cryptography, formal methods and methodology for risk and security analysis, to emerging issues, such as ransomware and security of software defined networking or virtualization techniques.

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016.The 11 full papers presented were carefully reviewed and selected from 79 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT industry experiences with relation to the evaluation of novel approaches to software engineering. The conference acknowledges necessary changes in systems and software thinking due to contemporary shifts of computing paradigm to e-services, cloud computing, mobile connectivity, business processes, and societal participation.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

This book constitutes the thoroughly refereed post-conference proceedings of the workshops held at the 37th International Symposium on Computer Architecture, ISCA 2010, in Saint-Malo, France, in June 2010. The 28 revised full papers presented were carefully reviewed and selected from the lectures given at 5 of these workshops. The papers address topics ranging from novel memory architectures to emerging application design and performance analysis and encompassed the following workshops: A4MMC, applications for multi- and many-cores; AMAS-BT, 3rd workshop on architectural and micro-architectural support for binary translation; EAMA, the 3rd Workshop for emerging applications and many-core architectures; WEED, 2nd Workshop on energy efficient design, as well as WIOSCA, the annual workshop on the interaction between operating systems and computer architecture.

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing.

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023. The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data-driven and machine-learning systems, case studies, and tool papers. The book also contains the extended abstract of the invited talk from David Parker.

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. 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. ToPNoC contains: – Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences – Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) – Other papers invited for publication in ToPNoC – Papers submitted directly to ToPNoC by their authors The 17th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2022. The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.

This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.

The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2020, and the 20th International Conference on Application of Concurrency to System Design, ACSD 2020.The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

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.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, design and analysis of timed computational systems. The conference aims in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.• The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. •The conference was held in a hybrid format

This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2022, held as part of Evo• 2022, in April 2022, co-located with the Evo• 2022 events, EvoCOP, EvoApplications, and EuroGP. The 20 full papers and 6 short papers presented in this book were carefully reviewed and selected from 66 submissions. They cover a wide range of topics and application areas, including generative approaches to music and visual art, deep learning, and architecture.

This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this volume were carefully reviewed and selected from 15 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.