Search

Showing total 4 results
Start Over Topic computer science Topic software engineering Publication Year Range This year Category computers / networking / general
4 results

1. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers

Author

Nina Gierasimczuk, Fernando R. Velázquez-Quesada, Nina Gierasimczuk, and Fernando R. Velázquez-Quesada

Subjects
Computer science, Mathematical logic, Logic programming, Software engineering, Computer networks
Abstract

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.

Published
2024

2. Search-Based Software Engineering : 16th International Symposium, SSBSE 2024, Porto De Galinhas, Brazil, July 15, 2024, Proceedings

Author

Gunel Jahangirova, Foutse Khomh, Gunel Jahangirova, and Foutse Khomh

Subjects
Software engineering, Operating systems (Computers), Computer networks, Computer science, Artificial intelligence
Abstract

This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024. The 8 papers included in these proceedings were carefully reviewed and selected from 19 submissions. The papers deal with various aspects 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.

Published
2024

3. Formal Techniques for Distributed Objects, Components, and Systems : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held As Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings

Author

Valentina Castiglioni, Adrian Francalanza, Valentina Castiglioni, and Adrian Francalanza

Subjects
Software engineering, Operating systems (Computers), Computer networks, Computer science, Artificial intelligence
Abstract

This book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 during June 17–21, 2024. The 11 full papers and 2 short papers included in this book were carefully reviewed and selected from 33 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed systems.

Published
2024

4. Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops : DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

Author

Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch, Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, and Friedemann Bitsch

Subjects
Computer networks, Image processing—Digital techniques, Computer vision, Information technology—Management, Software engineering, Computer science, Data protection
Abstract

This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence, Italy, during September 2024. The 36 papers included in this book were carefully reviewed and selected from a total of 64 submissions to the following workshops: DECSoS 2024 – 19th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2024 - 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems TOASTS 2024 – Towards A Safer Systems'Architecture Through Security WAISE 2024 – 7th International Workshop on Artificial Intelligence Safety Engineering

Published
2024