Panagiotis Katsaros – författare & böcker

Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros, Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros - Approaches and Processes for Managing the Economics of Information Systems, Inbunden

Approaches and Processes for Managing the Economics of Information Systems

AvTheodosios Tsiakis,Theodoros Kargidism. fl.

Inbunden, Engelska, 2014

2 492 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

AvYiannis Papadopoulos,Koorosh Aslansefatm. fl.

Häftad, Engelska, 2019

561 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. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment.

Model-Based Safety and Assessment

6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

AvMarco Bozzano,Panagiotis Katsarosm. fl.

E-bok

Engelska, 2019

734 kr

Läs direkt efter köp

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. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment.

Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

AvPanagiotis Katsaros,Laura Nenzi

Häftad, Engelska, 2023

782 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.

Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

AvLaura Nenzi,Panagiotis Katsaros

E-bok

Engelska, 2023

978 kr

Läs direkt efter köp

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

AvPanagiotis Katsaros

Häftad, Engelska, 2025

650 kr

Skickas inom 5-8 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.

Model-Based Safety and Assessment

9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings

AvPanagiotis Katsaros

E-bok

Engelska, 2025

815 kr

Läs direkt efter köp

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.

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos - Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, Häftad

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

AvAntonio Cerone,Donatella Persicom. fl.

Häftad, Engelska, 2014

529 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.

Ioannis Stamelos, Siraj Ahmed Shaikh, Panagiotis Katsaros, Alexeis Garcia-Perez, Sara Fernandes, Donatella Persico, Antonio Cerone - Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, E-bok

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

AvIoannis Stamelos,Siraj Ahmed Shaikhm. fl.

E-bok

PDF, Engelska, 2014

692 kr

Läs direkt efter köp

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.

Företag, bibliotek eller offentlig verksamhet?

Panagiotis Katsaros – författare

Approaches and Processes for Managing the Economics of Information Systems

Model-Based Safety and Assessment

Model-Based Safety and Assessment

Runtime Verification

Runtime Verification

Model-Based Safety and Assessment

Model-Based Safety and Assessment

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration