Download or read book 2023 IEEE ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning DeepTest written by IEEE Staff and published by . This book was released on 2023-05-15 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: DeepTest is an interdisciplinary workshop targeting research at the intersection of software engineering and deep learning This workshop will explore issues related to Deep Learning applied to Software Engineering (DL4SE) Software Engineering applied to Deep Learning (SE4DL) Although the main focus is on Deep Learning, we also encourage submissions that are more broadly related to Machine Learning, as well as submissions related to (Deep) Reinforcement Learning

Download or read book 2023 IEEE ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning DeepTest written by and published by . This book was released on 2023 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Safety Reliability and Security SAFECOMP 2023 Workshops written by Jérémie Guiochet and published by Springer Nature. This book was released on 2023-10-15 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023. The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023) - - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023) - - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023) - - Second International Workshop on Security and Safety Interactions (SENSEI 2023) - - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

Download or read book Engineering of Computer Based Systems written by Jan Kofroň and published by Springer Nature. This book was released on 2023-11-28 with total page 312 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023. The 11 full papers included in this book were carefully reviewed and selected from 26 submissions and present software, hardware, and communication perspectives of systems engineering through its many facets. The special theme of this year is ”Engineering for Responsible AI“.

Download or read book Artificial Intelligence Application in Networks and Systems written by Radek Silhavy and published by Springer Nature. This book was released on 2023-07-08 with total page 854 pages. Available in PDF, EPUB and Kindle. Book excerpt: The application of artificial intelligence in networks and systems is a rapidly evolving field that has the potential to transform a wide range of industries. The refereed proceedings in this book is from the Artificial Intelligence Application in Networks and Systems session of the Computer Science Online Conference 2023 (CSOC 2023), which was held online in April 2023. The section brings together experts from different fields to present their research and discuss the latest trends and challenges. One of the key themes in this section is the development of intelligent systems that can learn, adapt, and optimize their performance in real time. Researchers are exploring how AI algorithms can be used to create autonomous networks and systems that can make decisions without human intervention. Furthermore, this section highlights the use of AI in improving network performance and efficiency. Researchers are exploring how AI algorithms can be used to optimize network routing, reduce congestion, and improve the quality of service. These efforts can help organizations save costs and improve user experience.

Download or read book Dependable Software Engineering Theories Tools and Applications written by Holger Hermanns and published by Springer Nature. This book was released on 2023-12-14 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023. The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Download or read book Computer Aided Verification written by Constantin Enea and published by Springer Nature. This book was released on 2023-07-17 with total page 473 pages. Available in PDF, EPUB and Kindle. Book excerpt: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

Download or read book 2021 IEEE ACM Third International Workshop on Deep Learning for Testing and Testing for Deep Learning DeepTest written by IEEE Staff and published by . This book was released on 2021-06 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: After running as one of the most successful workshops at ICSE 2020, the International Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest) returns once more as a co located workshop at the ACM IEEE International Conference on Software Engineering (ICSE) in 2021

Download or read book Machine Learning and Principles and Practice of Knowledge Discovery in Databases written by Irena Koprinska and published by Springer Nature. This book was released on 2023-01-30 with total page 499 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the papers of several workshops which were held in conjunction with the International Workshops of ECML PKDD 2022 on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2022, held in Grenoble, France, during September 19–23, 2022. The 73 revised full papers and 6 short papers presented in this book were carefully reviewed and selected from 143 submissions. ECML PKDD 2022 presents the following five workshops: Workshop on Data Science for Social Good (SoGood 2022) Workshop on New Frontiers in Mining Complex Patterns (NFMCP 2022) Workshop on Explainable Knowledge Discovery in Data Mining (XKDD 2022) Workshop on Uplift Modeling (UMOD 2022) Workshop on IoT, Edge and Mobile for Embedded Machine Learning (ITEM 2022) Workshop on Mining Data for Financial Application (MIDAS 2022) Workshop on Machine Learning for Cybersecurity (MLCS 2022) Workshop on Machine Learning for Buildings Energy Management (MLBEM 2022) Workshop on Machine Learning for Pharma and Healthcare Applications (PharML 2022) Workshop on Data Analysis in Life Science (DALS 2022) Workshop on IoT Streams for Predictive Maintenance (IoT-PdM 2022)

Download or read book 2023 IEEE ACM International Workshop on Interpretability and Robustness in Neural Software Engineering InteNSE written by IEEE Staff and published by . This book was released on 2023-05-14 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Code is the most recent modality of interest in the Machine Learning (ML) domain Learning based techniques have been shown to improve and revolutionize software engineering and analysis tasks, including code completion and synthesis, code captioning and documentation, code search and clone detection, recovering variable names and types, and software testing, verification, and debugging Recent studies have even shown the great potential of neural models of code for decomposing the natural language reasoning problem into programmatic steps and solving it by executing the generated programs

Download or read book Security and Quality in Cyber Physical Systems Engineering written by Stefan Biffl and published by Springer Nature. This book was released on 2019-11-09 with total page 507 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book examines the requirements, risks, and solutions to improve the security and quality of complex cyber-physical systems (C-CPS), such as production systems, power plants, and airplanes, in order to ascertain whether it is possible to protect engineering organizations against cyber threats and to ensure engineering project quality. The book consists of three parts that logically build upon each other. Part I "Product Engineering of Complex Cyber-Physical Systems" discusses the structure and behavior of engineering organizations producing complex cyber-physical systems, providing insights into processes and engineering activities, and highlighting the requirements and border conditions for secure and high-quality engineering. Part II "Engineering Quality Improvement" addresses quality improvements with a focus on engineering data generation, exchange, aggregation, and use within an engineering organization, and the need for proper data modeling and engineering-result validation. Lastly, Part III "Engineering Security Improvement" considers security aspects concerning C-CPS engineering, including engineering organizations’ security assessments and engineering data management, security concepts and technologies that may be leveraged to mitigate the manipulation of engineering data, as well as design and run-time aspects of secure complex cyber-physical systems. The book is intended for several target groups: it enables computer scientists to identify research issues related to the development of new methods, architectures, and technologies for improving quality and security in multi-disciplinary engineering, pushing forward the current state of the art. It also allows researchers involved in the engineering of C-CPS to gain a better understanding of the challenges and requirements of multi-disciplinary engineering that will guide them in their future research and development activities. Lastly, it offers practicing engineers and managers with engineering backgrounds insights into the benefits and limitations of applicable methods, architectures, and technologies for selected use cases.

Download or read book Bridging the Gap Between AI and Reality written by Bernhard Steffen and published by Springer Nature. This book was released on 2023-12-13 with total page 454 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.

Download or read book Runtime Verification written by Panagiotis Katsaros and published by Springer Nature. This book was released on 2023-11-04 with total page 494 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.

Download or read book Applied Intelligence written by De-Shuang Huang and published by Springer Nature. This book was released on with total page 403 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Proceedings of the 2023 7th International Conference on Deep Learning Technologies written by and published by . This book was released on 2023 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2023 IEEE International Conference on Artificial Intelligence Testing AITest written by IEEE Staff and published by . This book was released on 2023-07-17 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Topics of interest include (but are not limited to) the following A Testing AI applications, include (1) Methodologies for testing, verification and validation of AI applications, (2) Techniques for testing AI applications, (3) Tools and environment for automated and semi automated software testing AI applications for various testing activities and management of testing resources, (4) Specific concerns of software testing with various specific types of AI technologies, such as machine learning and data mining, genetic algorithms, multi agent systems, automatic reasoning and theorem proving, etc (5) Specific concerns of software testing for various types of AI applications B Applications of AI techniques to software testing, include (1) Machine learning applications to software testing, such as test case generation, test effectiveness prediction and optimization, test adequacy improvement, test cost reduction, etc C Data quality checking for AI applications

Download or read book Model Based Machine Learning written by John Winn and published by CRC Press. This book was released on 2023-11-30 with total page 469 pages. Available in PDF, EPUB and Kindle. Book excerpt: Today, machine learning is being applied to a growing variety of problems in a bewildering variety of domains. A fundamental challenge when using machine learning is connecting the abstract mathematics of a machine learning technique to a concrete, real world problem. This book tackles this challenge through model-based machine learning which focuses on understanding the assumptions encoded in a machine learning system and their corresponding impact on the behaviour of the system. The key ideas of model-based machine learning are introduced through a series of case studies involving real-world applications. Case studies play a central role because it is only in the context of applications that it makes sense to discuss modelling assumptions. Each chapter introduces one case study and works through step-by-step to solve it using a model-based approach. The aim is not just to explain machine learning methods, but also showcase how to create, debug, and evolve them to solve a problem. Features: Explores the assumptions being made by machine learning systems and the effect these assumptions have when the system is applied to concrete problems. Explains machine learning concepts as they arise in real-world case studies. Shows how to diagnose, understand and address problems with machine learning systems. Full source code available, allowing models and results to be reproduced and explored. Includes optional deep-dive sections with more mathematical details on inference algorithms for the interested reader.