Panagiotis Katsaros - Böcker
Visar alla böcker från författaren Panagiotis Katsaros. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
2 440 kr
Skickas inom 5-8 vardagar
Del 11842 - Lecture Notes in Computer Science
Model-Based Safety and Assessment
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
Häftad, Engelska, 2019
551 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. safety assessment in automotive industry;
Runtime Verification
23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
Häftad, Engelska, 2023
769 kr
Skickas inom 10-15 vardagar
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.
Del 15755 - Lecture Notes in Computer Science
Model-Based Safety and Assessment
9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings
Häftad, Engelska, 2025
638 kr
Skickas inom 7-10 vardagar
This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers were carefully reviewed and selected from 39 submissions. The proceedings focus on System Safety Assessment, Cybersecurity Analysis, Safe Machine Learning, Probabilistic Analysis, Model-based Design and Safety Assessment, Machine Learning and Automata Learning for System Safety, Failure Detection Isolation and Recovery Analysis.
520 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.