| Autonomic Service Operation for Cloud Applications - Safe Actuation and Risk Management. | 0 | 0.34 | 2021 |
| Reductions And Abstractions For Formal Verification Of Distributed Round-Based Algorithms | 0 | 0.34 | 2021 |
| Online Verification through Model Checking of Medical Critical Intelligent Systems | 0 | 0.34 | 2020 |
| Intrusion Detection Systems For Mitigating Sql Injection Attacks: Review And State-Of-Practice | 0 | 0.34 | 2020 |
| Evaluation of RESTful frameworks under soft errors | 0 | 0.34 | 2020 |
| Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback | 2 | 0.39 | 2019 |
| Fast Local VM Migration Against Hypervisor Corruption | 0 | 0.34 | 2019 |
| Emulating representative software vulnerabilities using field data | 0 | 0.34 | 2019 |
| Soft error sensitivity and vulnerability of languages and their implementations | 0 | 0.34 | 2019 |
| Language-Based Expression of Reliability and Parallelism for Low-Power Computing. | 0 | 0.34 | 2018 |
| Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors | 0 | 0.34 | 2018 |
| Weightless neuro-symbolic GPS trajectory classification. | 0 | 0.34 | 2018 |
| Exploratory Data Analysis of Fault Injection Campaigns | 0 | 0.34 | 2018 |
| Virtualization: Past and Present Challenges. | 0 | 0.34 | 2018 |
| The Ability of Cloud Computing Performance Benchmarks to Measure Dependability. | 0 | 0.34 | 2017 |
| On the Emulation of Vulnerabilities through Software Fault Injection | 1 | 0.36 | 2017 |
| Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine | 2 | 0.37 | 2017 |
| A neuro-symbolic approach to GPS trajectory classification. | 0 | 0.34 | 2017 |
| A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights | 0 | 0.34 | 2017 |
| Soft Errors Susceptibility of Virtualization Servers | 1 | 0.35 | 2017 |
| Improving self-adaptation planning through software architecture-based stochastic modeling. | 8 | 0.44 | 2016 |
| MISO: An intermediate language to express parallel and dependable programs. | 0 | 0.34 | 2016 |
| Testing Snort with SQL Injection Attacks. | 0 | 0.34 | 2016 |
| Modeling the Failure Pathology of Software Components | 0 | 0.34 | 2016 |
| Practical Emulation of Software Defects in Source Code | 3 | 0.40 | 2016 |
| Recovery for Virtualized Environments | 9 | 0.50 | 2015 |
| Availability Evaluation of Software Architectures through Formal Methods | 1 | 0.35 | 2014 |
| Replica placement to mitigate attacks on clouds. | 1 | 0.35 | 2014 |
| Taking an electronic ticketing system to the cloud: Design and discussion | 0 | 0.34 | 2014 |
| Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion | 2 | 0.36 | 2013 |
| Evaluating Xilinx SEU Controller Macro for fault injection | 1 | 0.40 | 2013 |
| Reliability Analysis of Software Architecture Evolution | 3 | 0.42 | 2013 |
| Reliability Analysis of Consensus in Cooperative Transport Systems. | 0 | 0.34 | 2013 |
| A Middleware for Exactly-Once Semantics in Request-Response Interactions | 4 | 0.43 | 2012 |
| TRONE: Trustworthy and Resilient Operations in a Network Environment. | 5 | 0.43 | 2012 |
| Automated Reliability Prediction from Formal Architectural Descriptions | 7 | 0.46 | 2012 |
| Replication for dependability on virtualized cloud environments | 2 | 0.37 | 2012 |
| Using partial dynamic FPGA reconfiguration to support real-time dependability | 3 | 0.48 | 2011 |
| Toward dependability benchmarking of partitioning operating systems | 4 | 0.45 | 2011 |
| Opportunities from standardization in automotive safety assessment | 0 | 0.34 | 2010 |
| Shared Data from a Study of Measurement Uncertainty in Fault Injection | 0 | 0.34 | 2010 |
| Comparing and Validating Measurements of Dependability Attributes | 7 | 0.68 | 2010 |
| Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems | 2 | 0.42 | 2008 |
| On the Integrity of Lightweight Checkpoints | 4 | 0.45 | 2008 |
| Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype | 2 | 0.39 | 2007 |
| Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems | 5 | 0.53 | 2006 |
| Assembly-Level pre-injection analysis for improving fault injection efficiency | 31 | 1.54 | 2005 |
