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.
Critical Systems: Formal Methods and Automated Verification [[electronic resource] ] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
| Critical Systems: Formal Methods and Automated Verification [[electronic resource] ] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 235 p. 52 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Software engineering Special purpose computers Mathematical logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-319-67113-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques. |
| Record Nr. | UNISA-996465913403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Critical Systems: Formal Methods and Automated Verification [[electronic resource] ] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
| Critical Systems: Formal Methods and Automated Verification [[electronic resource] ] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 235 p. 52 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Software engineering Special purpose computers Mathematical logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-319-67113-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques. |
| Record Nr. | UNINA-9910484112003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CyberSecurity in a DevOps Environment [[electronic resource] ] : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
| CyberSecurity in a DevOps Environment [[electronic resource] ] : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato |
| Autore | Sadovykh Andrey |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (329 pages) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
TruscanDragos
MallouliWissam CavalliAna Rosa SeceleanuCristina BagnatoAlessandra |
| Soggetto topico |
Software engineering
Data protection Computer programs - Testing Cooperating objects (Computer systems) Software Engineering Data and Information Security Software Testing Cyber-Physical Systems |
| ISBN | 3-031-42212-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Security Requirements Engineering -- 1. A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs -- 2. Natural Language Processing with Machine Learning for Security Requirements Analysis - Practical Approaches -- 3. Security Requirements Formalisation with RQCODE -- Part II: Prevention at Development Time -- 4. Vulnerability Detection and Response: Current Status and New Approaches -- 5. Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems -- 6. Interactive Application Security Testing with Hybrid Fuzzing and Statistical Estimators -- Part III: Protection at Operations -- 7. CTAM: a tool for Continuous Threat Analysis and Management -- 8. EARLY - a tool for real-time security attack detection -- 9. A Stream-Based Approach to Intrusion Detection -- 10. Towards Anomaly Detection using Explainable AI. . |
| Record Nr. | UNINA-9910770247303321 |
Sadovykh Andrey
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings / / Jan Kofron, Tiziana Margaria, and Cristina Seceleanu, editors
| Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings / / Jan Kofron, Tiziana Margaria, and Cristina Seceleanu, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2024] |
| Descrizione fisica | 1 online resource (312 pages) |
| Disciplina | 621.39 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Computer engineering
Systems engineering |
| ISBN | 3-031-49252-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | How To Be An Ethical Technologist -- Toward Responsible Artificial Intelligence systems -- Safety and trustworthiness -- Ambient Temperature Prediction for Embedded Systems using Machine Learning -- A Federated Learning Algorithms Development Paradigm -- Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework -- Samuelsson IDPP: Imbalanced Datasets Pipelines in Pyrus -- Learning in Uppaal for Test Case Generation for Cyber-Physical Systems -- A Literature Survey of Assertions in Software Testing -- FPGA-based encryption for peer-to-peer industrial network links -- Formalization and Verification of MQTT-SN Communication Using CSP -- Environments using Acoustic Classification for Sensor Fusion with Radar systems -- Comparative Analysis of UPPAAL SMC, ns-3 and MATLAB/Simulink -- Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example -- Towards LLM-based System Migration in Language-Driven Engineering -- Synthesizing Understandable Strategies -- ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAs -- Cyber-Physical Ecosystems: Modelling and Verification -- Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration Shell -- A Software Package (in progress) that implements the Dynamic Priority Scheduling for Periodic Systems using ROS 2 -- Continuous Integration of Neural Networks in Autonomous Systems -- Building a Digital Twin Framework for Dynamic and Robust Distributed Systems -- A simple end-to-end computer-aided detection pipeline for trained deep learning models. Case pipeline: Pulmonary embolism detection -- Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural Networks -- Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP -- Combining Machine Learning and Virtual Reality to Build an Attractive Job Recommender System for Youth: Technical Details and Experimental Data. |
| Record Nr. | UNINA-9910766890203321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2024] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings / / Jan Kofron, Tiziana Margaria, and Cristina Seceleanu, editors
| Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings / / Jan Kofron, Tiziana Margaria, and Cristina Seceleanu, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2024] |
| Descrizione fisica | 1 online resource (312 pages) |
| Disciplina | 621.39 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Computer engineering
Systems engineering |
| ISBN | 3-031-49252-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | How To Be An Ethical Technologist -- Toward Responsible Artificial Intelligence systems -- Safety and trustworthiness -- Ambient Temperature Prediction for Embedded Systems using Machine Learning -- A Federated Learning Algorithms Development Paradigm -- Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework -- Samuelsson IDPP: Imbalanced Datasets Pipelines in Pyrus -- Learning in Uppaal for Test Case Generation for Cyber-Physical Systems -- A Literature Survey of Assertions in Software Testing -- FPGA-based encryption for peer-to-peer industrial network links -- Formalization and Verification of MQTT-SN Communication Using CSP -- Environments using Acoustic Classification for Sensor Fusion with Radar systems -- Comparative Analysis of UPPAAL SMC, ns-3 and MATLAB/Simulink -- Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example -- Towards LLM-based System Migration in Language-Driven Engineering -- Synthesizing Understandable Strategies -- ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAs -- Cyber-Physical Ecosystems: Modelling and Verification -- Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration Shell -- A Software Package (in progress) that implements the Dynamic Priority Scheduling for Periodic Systems using ROS 2 -- Continuous Integration of Neural Networks in Autonomous Systems -- Building a Digital Twin Framework for Dynamic and Robust Distributed Systems -- A simple end-to-end computer-aided detection pipeline for trained deep learning models. Case pipeline: Pulmonary embolism detection -- Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural Networks -- Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP -- Combining Machine Learning and Virtual Reality to Build an Attractive Job Recommender System for Youth: Technical Details and Experimental Data. |
| Record Nr. | UNISA-996565865103316 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2024] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and Proofs [[electronic resource] ] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu
| Tests and Proofs [[electronic resource] ] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu |
| Autore | Prevosto Virgile |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | SeceleanuCristina |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Reasoning
Computer science Informal Logic Models of Computation |
| ISBN | 3-031-38828-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement. |
| Record Nr. | UNINA-9910735775203321 |
|
Prevosto Virgile
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and Proofs [[electronic resource] ] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu
| Tests and Proofs [[electronic resource] ] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu |
| Autore | Prevosto Virgile |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | SeceleanuCristina |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Reasoning
Computer science Informal Logic Models of Computation |
| ISBN | 3-031-38828-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement. |
| Record Nr. | UNISA-996542666003316 |
|
Prevosto Virgile
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||