Model-Based Safety and Assessment

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

AvPanagiotis Katsaros

Häftad, Engelska, 2025

Del 15755 i serien Lecture Notes in Computer Science

662 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

572 kr

741 kr

628 kr

572 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2025-09-21
Mått:155 x 235 x 27 mm
Vikt:692 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:446
Förlag:Springer Nature Switzerland AG
ISBN:9783032050724

Utforska kategorier

Hårdvara inom Data och IT
Systemvetenskap och AI inom Data och IT

Innehållsförteckning

System Safety Assessment.- Failure and defect detection of safety critical 3D printed goods.- Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study.- Multi-approach based Safety Analysis of a Wastewater Treatment System.- Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service).- Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA.- Cybersecurity Analysis.- MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems.- Cybersecurity Threat Detection through Business Process Log Analysis.- Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML.- Safe Machine Learning.- Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance.- Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML.- CODIF: Counterfactual data-augmentations for estimating perception influencing factors.- The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems.- RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs.- Probabilistic Analysis.- Variance-based Sensitivity Analysis for Probabilistic Risk Assessment.- Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems.- Model-based Design and Safety Assessment.- From Natural Language Requirement Specifications to Logic Properties.- Model-Based Dependent Failure Analysis.- Comparative Analysis of Non-Colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways.- MBSA model exchange and its challenges.- ACEditor: a Modeling Tool for Synthesizing Exceutable Assurance Cases from Fault Trees.- Machine Learning and Automata Learning for System Safety.- AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications.- Analyzing Truck Platoons with Automata Learning and Model Checking.- Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning.- Failure Detection Isolation and Recovery Analysis.- Towards a Unifying View of Fault Propagation Analyses and Notations.- An Altarica-based modelling and analysis approach enabling UAV regulation compliance.- Timed Models in AltaRica 3.0.- Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data.- From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses.

Mer från samma författare

Approaches and Processes for Managing the Economics of Information Systems

Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros, Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros

Inbunden, 2014

1 753 kr

Model-Based Safety and Assessment

Marco Bozzano, Panagiotis Katsaros, Koorosh Aslansefat, Yiannis Papadopoulos

E-bok

2019

739 kr

Del 14245

Runtime Verification

Panagiotis Katsaros, Laura Nenzi

Häftad, 2023

798 kr

Runtime Verification

Laura Nenzi, Panagiotis Katsaros

E-bok

2023

985 kr

Model-Based Safety and Assessment

Panagiotis Katsaros

E-bok

2025

821 kr

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

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos

Häftad, 2014

540 kr

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

Ioannis Stamelos, Siraj Ahmed Shaikh, Panagiotis Katsaros, Alexeis Garcia-Perez, Sara Fernandes, Donatella Persico, Antonio Cerone

E-bok

2014

690 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Del 15755

Eine kurze Geschichte der alltäglichen Dinge

Bill Bryson

Häftad, 2013

164 kr

Del 11842

Model-Based Safety and Assessment

Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano

Häftad, 2019

572 kr

Model-Based Safety and Assessment

Panagiotis Katsaros

E-bok

2025

821 kr

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

Ioannis Stamelos, Siraj Ahmed Shaikh, Panagiotis Katsaros, Alexeis Garcia-Perez, Sara Fernandes, Donatella Persico, Antonio Cerone

E-bok

2014

690 kr

Runtime Verification

Laura Nenzi, Panagiotis Katsaros

E-bok

2023

985 kr

Del 14245

Runtime Verification

Panagiotis Katsaros, Laura Nenzi

Häftad, 2023

798 kr

Model-Based Safety and Assessment

Marco Bozzano, Panagiotis Katsaros, Koorosh Aslansefat, Yiannis Papadopoulos

E-bok

2019

739 kr

Approaches and Processes for Managing the Economics of Information Systems

Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros, Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros

Inbunden, 2014

1 753 kr

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

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos

Häftad, 2014

540 kr

Model-Based Safety and Assessment

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

AvPanagiotis Katsaros

Häftad, Engelska, 2025

Del 15755 i serien Lecture Notes in Computer Science

662 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

572 kr

741 kr

628 kr

572 kr

Beskrivning

Produktinformation

Utgivningsdatum:2025-09-21
Mått:155 x 235 x 27 mm
Vikt:692 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:446
Förlag:Springer Nature Switzerland AG
ISBN:9783032050724

Utforska kategorier

Hårdvara inom Data och IT
Systemvetenskap och AI inom Data och IT

Innehållsförteckning

System Safety Assessment.- Failure and defect detection of safety critical 3D printed goods.- Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study.- Multi-approach based Safety Analysis of a Wastewater Treatment System.- Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service).- Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA.- Cybersecurity Analysis.- MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems.- Cybersecurity Threat Detection through Business Process Log Analysis.- Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML.- Safe Machine Learning.- Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance.- Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML.- CODIF: Counterfactual data-augmentations for estimating perception influencing factors.- The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems.- RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs.- Probabilistic Analysis.- Variance-based Sensitivity Analysis for Probabilistic Risk Assessment.- Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems.- Model-based Design and Safety Assessment.- From Natural Language Requirement Specifications to Logic Properties.- Model-Based Dependent Failure Analysis.- Comparative Analysis of Non-Colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways.- MBSA model exchange and its challenges.- ACEditor: a Modeling Tool for Synthesizing Exceutable Assurance Cases from Fault Trees.- Machine Learning and Automata Learning for System Safety.- AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications.- Analyzing Truck Platoons with Automata Learning and Model Checking.- Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning.- Failure Detection Isolation and Recovery Analysis.- Towards a Unifying View of Fault Propagation Analyses and Notations.- An Altarica-based modelling and analysis approach enabling UAV regulation compliance.- Timed Models in AltaRica 3.0.- Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data.- From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses.

Mer från samma författare

Approaches and Processes for Managing the Economics of Information Systems

Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros, Theodosios Tsiakis, Theodoros Kargidis, Panagiotis Katsaros

Inbunden, 2014

1 753 kr

Model-Based Safety and Assessment

Marco Bozzano, Panagiotis Katsaros, Koorosh Aslansefat, Yiannis Papadopoulos

E-bok

2019

739 kr

Del 14245

Runtime Verification

Panagiotis Katsaros, Laura Nenzi

Häftad, 2023

798 kr

Runtime Verification

Laura Nenzi, Panagiotis Katsaros

E-bok

2023

985 kr

Model-Based Safety and Assessment

Panagiotis Katsaros

E-bok

2025

821 kr

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

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos

Häftad, 2014

540 kr

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

Ioannis Stamelos, Siraj Ahmed Shaikh, Panagiotis Katsaros, Alexeis Garcia-Perez, Sara Fernandes, Donatella Persico, Antonio Cerone

E-bok

2014

690 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr