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.
Advanced Topics in Exception Handling Techniques [[electronic resource] /] / edited by Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi
| Advanced Topics in Exception Handling Techniques [[electronic resource] /] / edited by Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 301 p.) |
| Disciplina | 005.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Programming languages (Electronic computers) Operating systems (Computers) Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems |
| ISBN | 3-540-37445-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming Languages -- Bound Exceptions in Object-Oriented Programming -- Exception-Handling Bugs in Java and a Language Extension to Avoid Them -- Concurrency and Operating Systems -- Exception Handling in the Choices Operating System -- Handling Multiple Concurrent Exceptions in C++ Using Futures -- Exception Handling and Asynchronous Active Objects: Issues and Proposal -- Pervasive Computing Systems -- Exception Management Within Web Applications Implementing Business Processes -- Failure Handling in a Network-Transparent Distributed Programming Language -- Ambient-Oriented Exception Handling -- Exception Handling in CSCW Applications in Pervasive Computing Environments -- Structured Coordination Spaces for Fault Tolerant Mobile Agents -- Requirements and Specification -- Practical Exception Specifications -- Exception-Aware Requirements Elicitation with Use Cases -- An Approach to Defining Requirements for Exceptions -- Engineering and Experience -- Aspectizing Exception Handling: A Quantitative Study -- Errors and Exceptions – Rights and Obligations -- Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. |
| Record Nr. | UNISA-996465926503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Exception Handling Techniques [[electronic resource] /] / edited by Alexander Romanovsky, Christophe Dony, Jorgen Lindskov Knudsen, Anand Tripathi
| Advances in Exception Handling Techniques [[electronic resource] /] / edited by Alexander Romanovsky, Christophe Dony, Jorgen Lindskov Knudsen, Anand Tripathi |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 292 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Programming languages (Electronic computers) Operating systems (Computers) Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems |
| ISBN | 3-540-45407-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Language Support for Exception Handling -- Fault Tolerance and Exception Handling in BETA -- A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation -- Condition Handling in the Lisp Language Family -- Design and Modeling of Exception Handling Structures -- Exception Safety: Concepts and Techniques -- Exceptions in Object Modeling: Finding Exceptions from the Elements of the Static Object Model -- Supporting Evolution of Interface Exceptions -- Exception Handling in Concurrent and Distributed Systems -- Concurrent Exception Handling -- Exception Handling in Agent-Oriented Systems -- Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems -- Exception Handling and Resolution for Transactional Object Groups -- Applications of Exception Handling Techniques -- Experiences with Error Handling in Critical Systems -- An Architectural-Based Reflective Approach to Incorporating Exception Handling into Dependable Software -- Adapting C++ Exception Handling to an Extended COM Exception Model -- Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling -- Exception Handling in Information Systems -- Exception Handling in Object-Orienteda Databases -- Error Handling in Process Support Systems -- ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions. |
| Record Nr. | UNISA-996465714503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Exception Handling Techniques / / edited by Alexander Romanovsky, Christophe Dony, Jorgen Lindskov Knudsen, Anand Tripathi
| Advances in Exception Handling Techniques / / edited by Alexander Romanovsky, Christophe Dony, Jorgen Lindskov Knudsen, Anand Tripathi |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 292 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Programming languages (Electronic computers) Operating systems (Computers) Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems |
| ISBN | 3-540-45407-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Language Support for Exception Handling -- Fault Tolerance and Exception Handling in BETA -- A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation -- Condition Handling in the Lisp Language Family -- Design and Modeling of Exception Handling Structures -- Exception Safety: Concepts and Techniques -- Exceptions in Object Modeling: Finding Exceptions from the Elements of the Static Object Model -- Supporting Evolution of Interface Exceptions -- Exception Handling in Concurrent and Distributed Systems -- Concurrent Exception Handling -- Exception Handling in Agent-Oriented Systems -- Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems -- Exception Handling and Resolution for Transactional Object Groups -- Applications of Exception Handling Techniques -- Experiences with Error Handling in Critical Systems -- An Architectural-Based Reflective Approach to Incorporating Exception Handling into Dependable Software -- Adapting C++ Exception Handling to an Extended COM Exception Model -- Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling -- Exception Handling in Information Systems -- Exception Handling in Object-Orienteda Databases -- Error Handling in Process Support Systems -- ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions. |
| Record Nr. | UNINA-9910767540803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecting Dependable Systems II [[electronic resource] /] / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
| Architecting Dependable Systems II [[electronic resource] /] / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 350 p.) |
| Disciplina | 004.2/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Operating systems (Computers) Software Engineering Operating Systems |
| ISBN |
9783540259392
3-540-25939-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Architectures for Dependability -- Enhancing Dependability Through Flexible Adaptation to Changing Requirements -- A Self-optimizing Run-Time Architecture for Configurable Dependability of Services -- Achieving Critical System Survivability Through Software Architectures -- Reliability Support for the Model Driven Architecture -- Supporting Dependable Distributed Applications Through a Component-Oriented Middleware-Based Group Service -- 2. Fault Tolerance in Software Architectures -- Architecting Distributed Control Applications Based on (Re-)Configurable Middleware -- A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers -- A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems -- On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers -- A Model and a Design Approach to Building QoS Adaptive Systems -- 3. Dependability Analysis in Software Architectures -- Quantifiable Software Architecture for Dependable Systems of Systems -- Dependability Modeling of Self-healing Client-Server Applications -- Multi-view Software Component Modeling for Dependability -- 4. Industrial Experiences -- A Dependable Open Platform for Industrial Robotics – A Case Study -- Model Driven Architecture – An Industry Perspective. |
| Record Nr. | UNISA-996465493003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting Dependable Systems II / / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
| Architecting Dependable Systems II / / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 350 p.) |
| Disciplina | 004.2/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Operating systems (Computers) Software Engineering Operating Systems |
| ISBN |
9783540259392
3-540-25939-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Architectures for Dependability -- Enhancing Dependability Through Flexible Adaptation to Changing Requirements -- A Self-optimizing Run-Time Architecture for Configurable Dependability of Services -- Achieving Critical System Survivability Through Software Architectures -- Reliability Support for the Model Driven Architecture -- Supporting Dependable Distributed Applications Through a Component-Oriented Middleware-Based Group Service -- 2. Fault Tolerance in Software Architectures -- Architecting Distributed Control Applications Based on (Re-)Configurable Middleware -- A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers -- A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems -- On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers -- A Model and a Design Approach to Building QoS Adaptive Systems -- 3. Dependability Analysis in Software Architectures -- Quantifiable Software Architecture for Dependable Systems of Systems -- Dependability Modeling of Self-healing Client-Server Applications -- Multi-view Software Component Modeling for Dependability -- 4. Industrial Experiences -- A Dependable Open Platform for Industrial Robotics – A Case Study -- Model Driven Architecture – An Industry Perspective. |
| Record Nr. | UNINA-9910144156203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecting Dependable Systems III [[electronic resource] /] / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
| Architecting Dependable Systems III [[electronic resource] /] / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 343 p.) |
| Disciplina | 004.2/2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Operating systems (Computers) Theory of Computation Software Engineering Operating Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Architectures for Dependable Services -- Semantics-Aware Services for the Mobile Computing Environment -- The Role of Agreements in IT Management Software -- Toward Undoing in Composite Web Services -- Architecting Web Services Applications for Improving Availability -- Dependable Composite Web Services with Components Upgraded Online -- 2. Monitoring and Reconfiguration in Software Architectures -- Adaptable Analysis of Dependable System Architectures Through Monitoring -- Runtime Verification of Statechart Implementations -- A Framework for Ensuring and Improving Dependability in Highly Distributed Systems -- Enabling Safe Dynamic Component-Based Software Adaptation -- 3. Dependability Support for Software Architectures -- Architecting and Implementing Versatile Dependability -- A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers -- 4. Architectural Evaluation -- Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes -- Architecture-Based Reliability Prediction for Service-Oriented Computing -- Fault Injection Approach Based on Architectural Dependencies -- 5. Architectural Abstractions for Dependability -- Problem Structure and Dependable Architecture -- The Lost Art of Abstraction. |
| Record Nr. | UNISA-996465618403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch
| Computer Safety, Reliability, and Security [[electronic resource] ] : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 316 p. 320 illus., 92 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Software engineering Optical data processing Microprogramming Computer Systems Organization and Communication Networks Artificial Intelligence Software Engineering/Programming and Operating Systems Image Processing and Computer Vision Control Structures and Microprogramming |
| ISBN | 3-030-26601-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil’s in the detail: Through-life safety and security co-assurance using SSAF. |
| Record Nr. | UNISA-996466439903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
| Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 412 p. 163 illus., 90 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Computer security Data encryption (Computer science) Software engineering Optical data processing Computer Systems Organization and Communication Networks Artificial Intelligence Systems and Data Security Cryptology Software Engineering Image Processing and Computer Vision |
| ISBN | 3-030-26250-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. |
| Record Nr. | UNISA-996466436603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch
| Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 316 p. 320 illus., 92 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Software engineering Optical data processing Microprogramming Computer Systems Organization and Communication Networks Artificial Intelligence Software Engineering/Programming and Operating Systems Image Processing and Computer Vision Control Structures and Microprogramming |
| ISBN | 3-030-26601-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil’s in the detail: Through-life safety and security co-assurance using SSAF. |
| Record Nr. | UNINA-9910349300803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
| Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 412 p. 163 illus., 90 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Computer security Data encryption (Computer science) Software engineering Optical data processing Computer Systems Organization and Communication Networks Artificial Intelligence Systems and Data Security Cryptology Software Engineering Image Processing and Computer Vision |
| ISBN | 3-030-26250-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. |
| Record Nr. | UNINA-9910349300903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
