Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings
| Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings |
| Autore | Katsaros Panagiotis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2025 |
| Descrizione fisica | 1 online resource (606 pages) |
| Disciplina | 620.86011 |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 9783032050731 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996678675103316 |
Katsaros Panagiotis
|
||
| Cham : , : Springer International Publishing AG, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings
| Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings |
| Autore | Katsaros Panagiotis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2025 |
| Descrizione fisica | 1 online resource (606 pages) |
| Disciplina | 620.86011 |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 9783032050731 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911047800803321 |
|
Katsaros Panagiotis
|
||
| Cham : , : Springer International Publishing AG, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Runtime Verification [[electronic resource] ] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / / edited by Panagiotis Katsaros, Laura Nenzi
| Runtime Verification [[electronic resource] ] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / / edited by Panagiotis Katsaros, Laura Nenzi |
| Autore | Katsaros Panagiotis |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (494 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | NenziLaura |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Machine theory Computer science Artificial intelligence Algorithms Compilers (Computer programs) Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Artificial Intelligence Compilers and Interpreters |
| ISBN | 3-031-44267-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Assumption Generation for Learning-Enabled Autonomous Systems -- Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes -- Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking -- Monitoring Blackbox Implementations of Multiparty Session Protocols -- Specification Parameters for Multi-Class Classification -- General Anticipatory Monitoring for Temporal Logics on Finite Traces -- Metric First-order Temporal Logic with Complex Data Types -- Runtime Verification Prediction for Traces with Data -- Monitoring Hyperproperties With Prefix Transducers -- Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications -- Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals -- Flexible Runtime Security Enforcement with Tagged C -- Pattern Matching for Perception Streams -- Learning Monitor Ensembles for Operational Design Domains -- Monitoring Algorithmic Fairness under Partial Observations -- AMT: a Runtime Verification Tool of Video Streams -- Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM -- CCMOP: A Runtime Verification Tool for C/C++ Programs -- A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations -- eMOP: A Maven Plugin for Evolution-Aware Runtime Verification -- Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models -- Safety Monitoring for Pedestrian Detection in Adverse Conditions -- Instrumentation for RV: From Basic Monitoring to Advanced Use Cases -- Runtime Monitoring DNN-based Perception -- Monitorability for Runtime Verification -- Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. |
| Record Nr. | UNISA-996558471303316 |
|
Katsaros Panagiotis
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / / edited by Panagiotis Katsaros, Laura Nenzi
| Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / / edited by Panagiotis Katsaros, Laura Nenzi |
| Autore | Katsaros Panagiotis |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (494 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | NenziLaura |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Machine theory Computer science Artificial intelligence Algorithms Compilers (Computer programs) Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Artificial Intelligence Compilers and Interpreters |
| ISBN | 3-031-44267-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Assumption Generation for Learning-Enabled Autonomous Systems -- Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes -- Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking -- Monitoring Blackbox Implementations of Multiparty Session Protocols -- Specification Parameters for Multi-Class Classification -- General Anticipatory Monitoring for Temporal Logics on Finite Traces -- Metric First-order Temporal Logic with Complex Data Types -- Runtime Verification Prediction for Traces with Data -- Monitoring Hyperproperties With Prefix Transducers -- Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications -- Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals -- Flexible Runtime Security Enforcement with Tagged C -- Pattern Matching for Perception Streams -- Learning Monitor Ensembles for Operational Design Domains -- Monitoring Algorithmic Fairness underPartial Observations -- AMT: a Runtime Verification Tool of Video Streams -- Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM -- CCMOP: A Runtime Verification Tool for C/C++ Programs -- A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations -- eMOP: A Maven Plugin for Evolution-Aware Runtime Verification -- Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models -- Safety Monitoring for Pedestrian Detection in Adverse Conditions -- Instrumentation for RV: From Basic Monitoring to Advanced Use Cases -- Runtime Monitoring DNN-based Perception -- Monitorability for Runtime Verification -- Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. |
| Record Nr. | UNINA-9910746966503321 |
|
Katsaros Panagiotis
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||