Search

This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality criteria, the ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends, and propose new directions for consideration by researchers and practitioners involved in large-scale software development and integration.

This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected from the total of 65 submissions. This volume also contains the 4 accepted papers from the DETECT 2022 workshop, held at MEDI 2022. The volume focuses on advances in data management and modelling, including topics such as data models, data processing, database theory, database systems technology, and advanced database applications.

This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.

This book constitutes the refereed proceedings of the European Design Science Symposium, EDSS 2011, held in Leixlip, Ireland, in October 2011 held in conjunction with the Intel European Research and Innovation Conference, ERIC 2011. The 15 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on design science and processes; evaluation and utility; and applying design science.

This book contains a collection of thoroughly refereed papers presented at the 5th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2010, held in Athens, Greece, in July 2010. The 19 revised and extended full papers were carefully selected from 70 submissions. They cover a wide range of topics, such as quality and metrics; service and Web engineering; process engineering; patterns, reuse and open source; process improvement; aspect-oriented engineering; and requirements engineering.

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 volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023 The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.

This volume constitutes the papers of the 4th International Workshop on Active Inference, IWAI 2023, held in Ghent, Belgium on September 2023.The 17 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: active inference and robotics; decision-making and control; active inference and psychology; from theory to implementation; learning representations for active inference; and theory of learning and inference.

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19–20, 2023.The 21 full papers included in this book were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections as follows: Hardware for High-Performance Computing and Signal Processing; Information Technologies and Computer Simulation of Physical Phenomena; Computing Technologies in Data Analysis and Decision Making; Information and Computing Technologies in Automation and Control Science; Computing Technologies in Information Security Applications.

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.

This book constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.The 18 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: image analysis and method; network model and function analysis of mobile network; system security estimation and analysis of data network; and AI-based system model and algorithm.

This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Château de Villebrumier, France, during January 23-25, 2023. The Editorial and the 8 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover the main topics of the workshop: education in technology and technology for education; new (and fearless) ideas on education; adjustments in teaching during pandemic: experience reports; models for class development; how to design learning objectives and outcomes; labs and practical sessions: how to conduct them; curriculum development; course design; quality course assessment; long-life studies in education; empirical research in SE education; experiences in starting-up new educational systems; blended education. FISEE 2023 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France.

This book includes the refereed Selected Papers of the 20th International Conference on Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries, CAAD Futures 2023, held in Delft, The Netherlands, in July 5–7, 2023. The 43 full papers included in this book were carefully reviewed and selected from 144 submissions. They were organized in topical sections as follows: ​algorithmic architectural design; AI-powered architectural ideation; performance-based design, urban models and analysis; urban design; digital design, materials and fabrication; spatial information, data and semantics; building data analysis, visualisation, interaction; and building massing and layouts.

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022.The 25 revised full papers presented in this book were carefully reviewed and selected from 31 submissions.

This book constitutes the extended and revised versions of a set of selected papers from the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, on October 25–27, 2021. The conference was held virtually due to the COVID-19 crisis.The 9 full papers included in this book were carefully reviewed and selected from 103 submissions. The purpose of the IC3K is to bring together researchers, engineers and practitioners on the areas of Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K is composed of three co-located conferences, each specialized in at least one of the aforementioned main knowledge areas.

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 thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 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 the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually.

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.

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 presented at the 5th International Workshop on Software Foundations for Data Interoperability, SFDI 2021, held in Copenhagen, Denmark, in August 2021. The 4 full papers and one short paper were thorougly reviewed and selected from 8 submissions. They present discussions in research and development in software foundations for data interoperability as well as the applications in real-world systems such as data markets.

This book constitutes selected papers of the 19th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2021, held in Los Angeles, CA, USA, in July 2021.The 33 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on ​past futures and present futures: research and pedagogy; past futures and present futures: aesthetics and ethics of space; architectural automations and augmentations: design; architectural automations and augmentations: fabrication; architectural automations and augmentations: environment; architectural automations and augmentations: spatial computing.

This volume constitutes selected papers presented at the First International Conference on Informatics and Intelligent Applications, ICIIA 2021, held in Ota, Nigeria, in November 2021. The 22 full papers were thoroughly reviewed and selected from 108 submissions. The papers are organized in the following topical sections: AI applications; information security; emerging technologies in informatics.

This volume constitutes selected papers from the Second International Conference on Information Systems and Design, ICID 2021, held as virtual event in September 2021. The 24 full papers and 4 short papers presented were thoroughly reviewed and selected from 51 submissions. They are organized in topical sections on ​digital transformation of enterprises based on analysis and management tools: practical-focused research; methodological support of analysis and management tools: theoretical-focused research; young scientists research in the areas of enterprise digitalization.

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 revised and selected papers of the First International Conference on Computational Sciences - Modelling, Computing and Soft Computing, held in Kozhikode, Kerala, India, in September 2020. The 15 full papers and 6 short papers presented were thoroughly reviewed and selected from the 150 submissions. They are organized in the topical secions on computing; soft computing; general computing; modelling.

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 proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020. The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches.

This book constitutes the revised selected papers of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019, held in Vienna, Austria, in September 2019.The 25 full papers presented were carefully reviewed and selected from 220 submissions. The papers are organized in topical sections on knowledge discovery and information retrieval; knowledge engineering and ontology development; and knowledge management and information systems.

This book constitutes the refereed proceedings of the 23rd International Conference on Distributed and Computer and Communication Networks, DCCN 2020, held in Moscow, Russia, in September 2020. Due to the COVID-19 pandemic the conference was held online. The 43 papers were carefully reviewed and selected from 167 submissions.The papers are organized in the following topical sections: computer and communication networks and technologies; analytical modeling of distributed systems, and distributed systems applications.

This book constitutes selected and revised papers from the 20th International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2020, held in Nizhny Novgorod, Russia, in November 2020. Due to the COVID-19 pandemic the conference was held online. The 25 full papers and 8 short papers presented in the volume were thoroughly reviewed and selected from the 106 submissions. They are organized in topical secions on ​computational methods for mathematical models analysis; computation in optimization and optimal control; supercomputer simulation.

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 thoroughly refereed conference proceedings of the First International Workshop on the Foundation of Trustworthy AI - Integrating Learning, Optimization and Reasoning, TAILOR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 11 revised full papers presented together with 6 short papers and 6 position papers were reviewed and selected from 52 submissions. The contributions address various issues for Trustworthiness, Learning, reasoning, and optimization, Deciding and Learning How to Act, AutoAI, and Reasoning and Learning in Social Contexts.

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 volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems. Due to the Corona pandemic this event was held virtually.

This book constitutes selected revised and extended papers from the 10th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2020, Barnaul, Russia, in May 2020. Due to the COVID-19 pancemic the conference was partly held in virtual mode. The 14 full papers presented in this volume were thoroughly reviewed and selected form 51 submissions. The papers are organized in topical sections on hardware for high-performance computing and its applications; information technologies and computer simulation of physical phenomena.

This two-volume set presents selected and revised papers from the 10th International Conference of Production Research - Americas, ICPR-Americas 2020, held in Bahía Blanca, Argentina, in December 2020. Due to the COVID-19 pandemic the conference was held in a fully virtual format. The 41 full papers and 11 short papers were thoroughly reviewed and selected from 275 submissions. They are organized in topical sections on optimization; metaheuristics and algorithms; industry 4.0 and cyber-physical systems; smart city; intelligent systems and decision sciences; simulation; machine learning and big data.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 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 the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019. The 12 full papers presented together with 2 invited papers were carefully reviewed and selected from 19 submissions. The selected papers are devoted to topics such as cooperation; single player games; mathematical approaches; nonogram: general and specific approaches; and deep learning.

This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France. The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems in teaching software engineering and are organized in the following sections: Course experience; lessons learnt; curriculum and course design; competitions and workshops; empirical studies, tools and automation; globalization of education; and learning by doing. The final part'TOOLS Workshop: Artificial and Natural Tools (ANT)'contains submissions presented at a different, but related, workshop run at Innopolis University (Russia) in the context of the TOOLS 2019 conference. FISEE 2019 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France.

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

This book contains extended versions of the best papers presented at the 15th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2019, held in Kherson, Ukraine, in June 2019.The 19 revised full papers included in this volume were carefully reviewed and selected from 416 initial submissions. The papers are organized in the following topical sections: ​advances in ICT and IS research; ICT in teaching, learning, and education management; applications of ICT in industrial and public practice.

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.