A comment on the `basic security theorem' of Bell and LaPadula
Information Processing Letters
Performability Analysis: Measures, an Algorithm, and a Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
Efficient dispersal of information for security, load balancing, and fault tolerance
Journal of the ACM (JACM)
Understanding fault-tolerant distributed systems
Communications of the ACM
Reliable computer systems (2nd ed.): design and evaluation
Reliable computer systems (2nd ed.): design and evaluation
Orthogonal Defect Classification-A Concept for In-Process Measurements
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
A taxonomy of computer program security flaws
ACM Computing Surveys (CSUR)
Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security
IEEE Transactions on Software Engineering
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Distributed Algorithms
Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior
ESORICS '98 Proceedings of the 5th European Symposium on Research in Computer Security
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Microprocessor Entomology: A Taxonomy of Design Faults in COTS Microprocessors
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
Reliability modeling techniques for self-repairing computer systems
ACM '69 Proceedings of the 1969 24th national conference
Software Rejuvenation: Analysis, Module and Applications
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Implementing Fault-Tolerant Applications Using Reflective Object-Oriented Programming
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
A Sense of Self for Unix Processes
SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
The dawning of the autonomic computing era
IBM Systems Journal
Proactive management of software aging
IBM Journal of Research and Development
The atomic manifesto: a story in four quarks
ACM SIGOPS Operating Systems Review
The atomic manifesto: a story in four quarks
ACM SIGMOD Record
Improving quantum circuit dependability with reconfigurable quantum gate arrays
Proceedings of the 2nd conference on Computing frontiers
Reliability assessment in embryonics inspired by fault-tolerant quantum computation
Proceedings of the 2nd conference on Computing frontiers
Multiple-level concatenated coding in embryonics: a dependability analysis
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005)
ACM SIGSOFT Software Engineering Notes
Business process-based valuation of IT-security
EDSER '05 Proceedings of the seventh international workshop on Economics-driven software engineering research
Availability simulation of peer-to-peer architectural styles
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Surviving Errors in Component-Based Software
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
QoSOnt: a QoS Ontology for Service-Centric Systems
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Optimal Redundancy Allocation for Information Technology Disaster Recovery in the Network Economy
IEEE Transactions on Dependable and Secure Computing
A systematic classification of cheating in online games
NetGames '05 Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games
IBM Journal of Research and Development - IBM BladeCenter systems
Exploring the effects of dependability on enterprise applications success in e-business
Proceedings of the 2006 ACM SIGMIS CPR conference on computer personnel research: Forty four years of computer personnel research: achievements, challenges & the future
A dependability perspective on emerging technologies
Proceedings of the 3rd conference on Computing frontiers
Software architectures for dependable systems: a software engineering perspective
Proceedings of the 28th international conference on Software engineering
QoS Assessment via Stochastic Analysis
IEEE Internet Computing
Architectural reconfiguration using coordinated atomic actions
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Unit testing in multi-agent systems using mock agents and aspects
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
A rule-based adaptive routing protocol for continuous data dissemination in WSNs
Journal of Parallel and Distributed Computing - Special issue: Algorithms for wireless and ad-hoc networks
Use of diversity as a defense mechanism
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Using NEXUS compliant debuggers for real time fault injection on microprocessors
SBCCI '06 Proceedings of the 19th annual symposium on Integrated circuits and systems design
What service replication middleware can learn from object replication middleware
Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006)
Can Self-managed systems be trusted?: Some views and trends
The Knowledge Engineering Review
A health-check model for autonomic systems based on a pulse monitor
The Knowledge Engineering Review
Computer Supported Cooperative Work
A UML profile for dependability analysis of real-time embedded systems
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Trustworthy software systems: a discussion of basic concepts and terminology
ACM SIGSOFT Software Engineering Notes
Self-healing systems - survey and synthesis
Decision Support Systems
Architecting Fault-tolerant Component-based Systems: from requirements to testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Middleware/application interactions to support adaptive dependability
MAI '07 Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007
A metadata-based architectural model for dynamically resilient systems
Proceedings of the 2007 ACM symposium on Applied computing
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
IEEE Transactions on Software Engineering
Goal-Directed Reasoning for Specification-Based Data Structure Repair
IEEE Transactions on Software Engineering
Overview and Evaluation of Constraint Validation Approaches in Java
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Design for dependability in emerging technologies
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Managing Trustworthiness in Component-based Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Dependable domestic systems design: A socio-technical approach
Interacting with Computers
Service-oriented sensor-actuator networks: Promises, challenges, and the road ahead
Computer Communications
Composing pattern-based components and verifying correctness
Journal of Systems and Software
Computer-aided Support for Secure Tropos
Automated Software Engineering
Improving vulnerability discovery models
Proceedings of the 2007 ACM workshop on Quality of protection
Improving dependability by revisiting operating system design
HotDep'07 Proceedings of the 3rd workshop on on Hot Topics in System Dependability
Reliability models in architecture description languages
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
DepSpace: a byzantine fault-tolerant coordination service
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
Middleware for semantic-based security and safety management of open services
International Journal of Web and Grid Services
Automatic software fault localization using generic program invariants
Proceedings of the 2008 ACM symposium on Applied computing
Simulation and Formal Analysis of Workflow Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Using components for architecture-based management: the self-repair case
Proceedings of the 30th international conference on Software engineering
RGPS: a unified requirements meta-modeling frame for networked software
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Implementing fault-tolerance in real-time programs by automatic program transformations
ACM Transactions on Embedded Computing Systems (TECS)
Diversity and fault avoidance for dependable replication systems
Information Processing Letters
Dependability for high-tech systems: an industry-as-laboratory approach
Proceedings of the conference on Design, automation and test in Europe
Multiobjective decision support for defining secure business processes: a case study
International Journal of Business Intelligence and Data Mining
Aspects regarding the use of SEC-DED codes to the cache level of a memory hierarchy
AIKED'08 Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases
Service-Oriented Operating System: A Key Element in Improving Service Availability
ISAS '07 Proceedings of the 4th international symposium on Service Availability
KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
A Step Towards Fault Tolerance for Multi-Agent Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
Evaluation of Critical Infrastructures: Challenges and Viable Approaches
Architecting Dependable Systems V
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services
Architecting Dependable Systems V
Using Architecture Analysis to Evolve Complex Industrial Systems
Architecting Dependable Systems V
Discussing Redundancy Issues in Intelligent Agent-Based Non-traditional Grids
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Development of Fault-Tolerant Software Systems Based on Architectural Abstractions
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Adding Dependability Analysis Capabilities to the MARTE Profile
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
ACM SIGSOFT Software Engineering Notes
Experimenting with exception propagation mechanisms in service-oriented architecture
Proceedings of the 4th international workshop on Exception handling
Extended exceptions for contingencies and their implications for the engineering process
Proceedings of the 4th international workshop on Exception handling
A component- and push-based architectural style for ajax applications
Journal of Systems and Software
Datapath error detection with no detection latency for high-performance microprocessors
WSEAS Transactions on Computers
Analyzing Business Continuity through a Multi-layers Model
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Middleware Architecture Evaluation for Dependable Self-managing Systems
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Incorporating fault tolerance tactics in software architecture patterns
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Addressing degraded service outcomes and exceptional modes of operation in behavioural models
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Formal development of cooperative exception handling for mobile agent systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
The threat of uncertainty in service-oriented architecture
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Supporting resilience in air traffic management
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
RPL: a policy language for dynamic reconfiguration
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Resilience through dynamic reconfiguration in agent systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Extended exceptions for contingencies
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Reliability and survivability methodologies for next generation networks
Proceedings of the 6th International Conference on Advances in Mobile Computing and Multimedia
On using provenance data to increase the reliability of ubiquitous computing environments
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Computing the fault tolerance of multi-agent deployment
Artificial Intelligence
A Fault Taxonomy for Web Service Composition
Service-Oriented Computing - ICSOC 2007 Workshops
Secure Software Engineering: Learning from the Past to Address Future Challenges
Information Security Journal: A Global Perspective
Defining defects, errors, and service degradations
ACM SIGSOFT Software Engineering Notes
Software—Practice & Experience
Dependable VLSI: device, design and architecture: how should they cooperate?
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Datapath error detection using hybrid detection approach for high-performance microprocessors
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Middleware support for adaptive dependability
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Dynamic Architectures For Soa-Based Applications
Journal of Integrated Design & Process Science
Enhancing dependability in avionics using virtualization
Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems
Realization of E-University for distance learning
DIWEB'08 Proceedings of the 8th WSEAS international conference on Distance learning and web engineering
On Architecting Software Fault Tolerance using Abstractions
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a framework for web service compositions recovery
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
Methods, Models and Tools for Fault Tolerance
Recording Process Documentation in the Presence of Failures
Methods, Models and Tools for Fault Tolerance
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process
Methods, Models and Tools for Fault Tolerance
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability
Methods, Models and Tools for Fault Tolerance
Transactions on Computational Science IV
Formalizing information security knowledge
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Realization of E-University for distance learning
WSEAS Transactions on Computers
Measuring e-business dependability: The employee perspective
Journal of Systems and Software
Negotiating and Enforcing QoS and SLAs in Grid and Cloud Computing
GPC '09 Proceedings of the 4th International Conference on Advances in Grid and Pervasive Computing
Computer Networks: The International Journal of Computer and Telecommunications Networking
The VLDB Journal — The International Journal on Very Large Data Bases
Fault emulation for dependability evaluation of VLSI systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
In-field healing of integration problems with COTS components
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Logical Treatment for the Emergence of Control in Complex Self-Organising Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Achieving Self-Healing in Autonomic Software Systems: a Case-Based Reasoning Approach
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Model transformation of dependability-focused requirements models
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Source Code Verification Tools for Software Security Bugs
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Design of dependable personal networks
Proceedings of the 3rd international workshop on Adaptive and dependable mobile ubiquitous systems
International Journal of Network Management
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Towards Dynamic Component Isolation in a Service Oriented Platform
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Proposing Strategies to Prevent the Human Error in Automated Industrial Environments
FAC '09 Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009
Fault-Tolerant Architecture for Peer to Peer Network Management Systems
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
A Foundation for Requirements Analysis of Dependable Software
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Journal of Systems and Software
Soft state in publish/subscribe
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Ada for the control of degradation of service
ACM SIGAda Ada Letters
Disentangling the relations between safety and security
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
A practical evaluation of spectrum-based fault localization
Journal of Systems and Software
International Journal of High Performance Computing Applications
Social Science Computer Review
Connection availability and transient survivability analysis in wireless ad-hoc networks
Proceedings of the 12th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Research challenges in QoS routing
Computer Communications
Achieving continuous availability of IBM systems infrastructures
IBM Systems Journal
Availability analysis of blade server systems
IBM Systems Journal
A survey of online failure prediction methods
ACM Computing Surveys (CSUR)
Validating complex interactions in air traffic management
HSI'09 Proceedings of the 2nd conference on Human System Interactions
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
An Experimental Framework for the Analysis and Validation of Software Clocks
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Availability Analysis of a Scalable Intrusion Tolerant Architecture with Two Detection Modes
CloudCom '09 Proceedings of the 1st International Conference on Cloud Computing
Research Issues in the Automated Testing of Ajax Applications
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
An Approach to Analyzing Dynamic Trustworthy Service Composition
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Reliable data path design of VLIW processor cores with comprehensive error-coverage assessment
Microprocessors & Microsystems
Design and implementation of IPv6 packet forwarding engine for flow based router
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1
Security considerations in m-learning: threats and countermeasures
Advanced Technology for Learning
Risks and Benefits of Signaling Information System Characteristics to Strategic Attackers
Journal of Management Information Systems
Otherworld: giving applications a chance to survive OS kernel crashes
Proceedings of the 5th European conference on Computer systems
Using risk analysis to evaluate design alternatives
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Reliability and availability analysis of self-stabilizing systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
A survey on approaches for addressing dependability attributes in the OSGi service platform
ACM SIGSOFT Software Engineering Notes
Dynamic system reconfiguration via service composition for dependable computing
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Architecting dependable systems IV
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
Architectural fault tolerance using exception handling
Architecting dependable systems IV
Architecting dependable systems IV
A distributed monitoring system for enhancing security and dependability at architectural level
Architecting dependable systems IV
Business process monitoring for dependability
Architecting dependable systems IV
Architecting dependable systems IV
A template for requirement elicitation of dependable product lines
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Enhancing dependability of component-based systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Dependable and secure distributed storage system for ad hoc networks
ADHOC-NOW'07 Proceedings of the 6th international conference on Ad-hoc, mobile and wireless networks
Towards verification-based development of in-vehicle safety critical software: a case study
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Improving complex distributed software system availability through information hiding
Proceedings of the 2010 ACM Symposium on Applied Computing
MetaSelf: an architecture and a development method for dependable self-* systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Failures: their definition, modelling and analysis
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Cross-platform verification framework for embedded systems
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Path-based error propagation analysis in composition of software services
SC'07 Proceedings of the 6th international conference on Software composition
Middleware support for adaptive dependability
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Interaction faults caused by third-party external systems: a case study and challenges
ISAS'08 Proceedings of the 5th international conference on Service availability
Dependability evaluation of a replication service for mobile applications in dynamic ad-hoc networks
ISAS'08 Proceedings of the 5th international conference on Service availability
Analytical availability assessment of IT services
ISAS'08 Proceedings of the 5th international conference on Service availability
A design pattern for dependable web services using design diversity techniques and WS-BPEL
IIT'09 Proceedings of the 6th international conference on Innovations in information technology
Applying the composition filter model for runtime verification of multiple-language software
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Insights on fault interference for programs with multiple bugs
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Dependability metrics
Combination of simulation and formal methods to analyse network survivability
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Architecture-level dependability analysis of a medical decision support system
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Zenet: generating and enforcing real-time temporal invariants
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
XML schema based fault set definition to improve fault injection tools interoperability
International Journal of Critical Computer-Based Systems
What went wrong: a taxonomy of video game bugs
Proceedings of the Fifth International Conference on the Foundations of Digital Games
Quantifying security risk level from CVSS estimates of frequency and impact
Journal of Systems and Software
How do we collect data for software reliability estimation?
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
The Failure Trace Archive: Enabling Comparative Analysis of Failures in Diverse Distributed Systems
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
User Requirements for Cloud Computing Architecture
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
A software integration approach for designing and assessing dependable embedded systems
Journal of Systems and Software
CuriOS: improving reliability through operating system structure
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
A realistic evaluation of memory hardware errors and software system susceptibility
USENIXATC'10 Proceedings of the 2010 USENIX conference on USENIX annual technical conference
Fault prediction in distributed systems gone wild
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware
Information and Software Technology
Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems
Proceedings of the Eighth International Workshop on Dynamic Analysis
Exploiting count spectra for Bayesian fault localization
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Towards a software failure cost impact model for the customer: an analysis of an open source product
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Enforcing trust in embedded systems using models
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
System-level hardware-based protection of memories against soft-errors
Proceedings of the Conference on Design, Automation and Test in Europe
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
A token based approach detecting downtime in distributed application servers or network elements
EUNICE'10 Proceedings of the 16th EUNICE/IFIP WG 6.6 conference on Networked services and applications: engineering, control and management
Ontology and algorithms for the dependable configuration of information systems
International Journal of Critical Computer-Based Systems
Adaptive fault tolerance for many-core based space-borne computing
Euro-Par'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
A model for space-correlated failures in large-scale distributed systems
EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I
A formal approach for the specification and verification of trustworthy component-based systems
Journal of Systems and Software
Investigation of transient fault effects in synchronous and asynchronous Network on Chip router
Journal of Systems Architecture: the EUROMICRO Journal
Socio-technical systems: From design methods to systems engineering
Interacting with Computers
Fault tree synthesis from UML models for reliability analysis at early design stages
ACM SIGSOFT Software Engineering Notes
Complexity issues in automated model revision without explicit legitimate state
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Trustworthy organic computing systems: challenges and perspectives
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
A framework for trust enabled software asset retrieval
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Using ELECTRE TRI outranking method to evaluate trustworthy software
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Towards autonomic mode control of a scalable intrusion tolerant architecture
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Collaborative modelling and co-simulation in the development of dependable embedded systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Compiler-support for robust multi-core computing
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Dependability analysis and verification for CONNECTed systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A methodology for automatic diagnosability analysis
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Simultaneous debugging of software faults
Journal of Systems and Software
On the estimation of adequate test set size using fault failure rates
Journal of Systems and Software
MMSA: metamodel multimedia software architecture
Advances in Multimedia
Middleware mechanisms for dependable network services in a distributed processing system
MMACTEE'09 Proceedings of the 11th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Explanation and trust: what to tell the user in security and AI?
Ethics and Information Technology
Modeling identity-related properties and their privacy strength
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
Basis for an integrated security ontology according to a systematic review of existing proposals
Computer Standards & Interfaces
Modeling and survivability analysis of service composition using Stochastic Petri Nets
The Journal of Supercomputing
Concepts in complexity engineering
International Journal of Bio-Inspired Computation
ACMOS'07 Proceedings of the 9th WSEAS international conference on Automatic control, modelling and simulation
Error detection framework for complex software systems
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Extensible online log analysis system
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Evaluating degree of systems' dependability with semi-structured assurance case
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
On the equivalence of certain fault localization techniques
Proceedings of the 2011 ACM Symposium on Applied Computing
Identification of security requirements in systems of systems by functional security analysis
Architecting dependable systems VII
Architecting dependable systems with proactive fault management
Architecting dependable systems VII
Is collaborative QoS the solution to the SOA dependability dilemma?
Architecting dependable systems VII
Architecting dependable systems using reflective computing: lessons learnt and some challenges
Architecting dependable systems VII
The impact of fault models on software robustness evaluations
Proceedings of the 33rd International Conference on Software Engineering
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
Better testing through oracle selection (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Application of software health management techniques
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Benchmarking the resilience of self-adaptive software systems: perspectives and challenges
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Approaching runtime trust assurance in open adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Journal of Network and Computer Applications
Journal of Systems and Software
A compositional method for reliability analysis of workflows affected by multiple failure modes
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Towards architecture-level middleware-enabled exception handling of component-based systems
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
A layered approach for identifying systematic faults of component-based software systems
Proceedings of the 16th international workshop on Component-oriented programming
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
An SPL approach for adaptive fault tolerance in SOA
Proceedings of the 15th International Software Product Line Conference, Volume 2
A software product line-based self-healing strategy for web-based applications
Proceedings of the 15th International Software Product Line Conference, Volume 2
Experience report: trading dependability, performance, and security through temporal decoupling
Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Occurrence nets then and now: the path to structured occurrence nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Autonomous platform for life-critical decision support in the ICU
AIMS'11 Proceedings of the 5th international conference on Autonomous infrastructure, management, and security: managing the dynamics of networks and services
Software reliability assessment via fuzzy logic model
Proceedings of the 12th International Conference on Computer Systems and Technologies
Component-based timed hazard analysis of self-healing systems
Proceedings of the 8th workshop on Assurances for self-adaptive systems
OS-level hang detection in complex software systems
International Journal of Critical Computer-Based Systems
Checking models, proving programs, and testing systems
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Bottom-up fault management in composite web services
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
An automatic intrusion diagnosis approach for clouds
International Journal of Automation and Computing
Stochastic Model for QoS Assessment in Multi-tier Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Controlling reversibility in higher-order Pi
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Model-driven availability evaluation of railway control systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
On the adoption of model checking in safety-related software industry
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Defining architectural viewpoints for quality concerns
ECSA'11 Proceedings of the 5th European conference on Software architecture
User experience specification through quality attributes
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part IV
A self-checking hardware journal for a fault-tolerant processor architecture
International Journal of Reconfigurable Computing - Special issue on selected papers from the international workshop on reconfigurable communication-centric systems on chips (ReCoSoC' 2010)
Architecting resilient computing systems: overall approach and open issues
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Using diversity in cloud-based deployment environment to avoid intrusions
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Feasibility of Stepwise Design of Multitolerant Programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
SPOTlight on testing: stability, performance and operational testing of LANL HPC clusters
State of the Practice Reports
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study
Journal of Systems and Software
Adaptive inter-layer message routing in 3D networks-on-chip
Microprocessors & Microsystems
Impact of human operators on communication network dependability
Proceedings of the 29th Annual European Conference on Cognitive Ergonomics
Reputation-based Reliability Prediction of Service Compositions
Electronic Notes in Theoretical Computer Science (ENTCS)
Differentiated Availability in Cloud Computing SLAs
GRID '11 Proceedings of the 2011 IEEE/ACM 12th International Conference on Grid Computing
The Journal of Supercomputing
Experimental evaluation of software aging effects on the eucalyptus cloud computing infrastructure
Proceedings of the Middleware 2011 Industry Track Workshop
Computer system survivability modelling by using stochastic activity network
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Towards security evaluation based on evidence collection
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
Results and experiences from an empirical study of fault reports in industrial projects
PROFES'06 Proceedings of the 7th international conference on Product-Focused Software Process Improvement
Acceptance of voting technology: between confidence and trust
iTrust'06 Proceedings of the 4th international conference on Trust Management
Dependable information service for distributed systems
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Fault-Tolerant VLIW processor design and error coverage analysis
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
On the estimation of software reliability of component-based dependable distributed systems
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
A dependable task scheduling strategy for a fault tolerant grid model
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Exception handling in the choices operating system
Advanced Topics in Exception Handling Techniques
Formal methods and testing: hypotheses, and correctness approximations
FM'05 Proceedings of the 2005 international conference on Formal Methods
International Journal of High Performance Systems Architecture
A proposal to detect errors in Enterprise Application Integration solutions
Journal of Systems and Software
Public-key cryptography and availability
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Quantitative evaluation of distributed algorithms using the neko framework: the nekostat extension
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Software architectures for dependable systems
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
A hybrid approach for multi-attribute qos optimisation in component based software systems
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Case-based reasoning for autonomous service failure diagnosis and remediation in software systems
ECCBR'06 Proceedings of the 8th European conference on Advances in Case-Based Reasoning
Architecting web services applications for improving availability
Architecting Dependable Systems III
Dependable composite web services with components upgraded online
Architecting Dependable Systems III
Architecting Dependable Systems III
F(I)MEA-technique of web services analysis and dependability ensuring
Rigorous Development of Complex Fault-Tolerant Systems
Design patterns for graceful degradation
Transactions on Pattern Languages of Programming I
A requirement centric framework for information security evaluation
IWSEC'06 Proceedings of the 1st international conference on Security
Security ontology: simulating threats to corporate assets
ICISS'06 Proceedings of the Second international conference on Information Systems Security
Ontology-Based business knowledge for simulating threats to corporate assets
PAKM'06 Proceedings of the 6th international conference on Practical Aspects of Knowledge Management
Exploring trust of mobile applications based on user behaviors
INTRUST'09 Proceedings of the First international conference on Trusted Systems
Reliability analysis of component-based systems with multiple failure modes
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Reliable dynamic reconfigurations in a reflective component model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
A self-healing component sandbox for untrustworthy third party code execution
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Architectural design decisions for achieving reliable software systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Integrating fault-tolerant techniques into the design of critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Evaluation of AAL platforms according to architecture-based quality attributes
AmI'11 Proceedings of the Second international conference on Ambient Intelligence
The research of component-based dependable encapsulation
ACC'11/MMACTEE'11 Proceedings of the 13th IASME/WSEAS international conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing
On building a referee's avatar
Dependable and Historic Computing
On the resilience of the dependability framework to the intrusion of new security threats
Dependable and Historic Computing
Dependable and Historic Computing
Carrying goals to newcastle: a tribute to brian randell
Dependable and Historic Computing
Dependable and Historic Computing
Socio-technical complex systems of systems: can we justifiably trust their resilience?
Dependable and Historic Computing
Achieving dependability in service-oriented systems
Dependable and Historic Computing
Dynamic aspects and behaviors of complex systems in performance and reliability assessment
ACM SIGMETRICS Performance Evaluation Review
Risk ontology and service quality descriptor shared among interdependent critical infrastructures
CRITIS'10 Proceedings of the 5th international conference on Critical Information Infrastructures Security
An idea of an independent validation of vulnerability discovery models
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
Exploring early availability requirements using use case maps
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Computers & Mathematics with Applications
Dependability analysis of DES based on MARTE and UML state machines models
Discrete Event Dynamic Systems
The conjunctive combination of interval-valued belief structures from dependent sources
International Journal of Approximate Reasoning
Operating system support to detect application hangs
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Predictive self-healing of web services using health score
Journal of Web Engineering
A survey of client-side Web threats and counter-threat measures
Security and Communication Networks
Formal tasks and systems models as a tool for specifying and assessing automation designs
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Replication infrastructure for RESTful web services
ADCONS'11 Proceedings of the 2011 international conference on Advanced Computing, Networking and Security
DEX: Digital evidence provenance supporting reproducibility and comparison
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Early safety evaluation of design decisions in E/E architecture according to ISO 26262
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
Towards the Automated Engineering of Dependable Adaptive Services
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Toward a trust management model for a configurable body sensor platform
Proceedings of the 6th International Conference on Body Area Networks
Deriving a unified fault taxonomy for event-based systems
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
A tutorial on reliability in publish/subscribe services
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
TruBeRepec: a trust-behavior-based reputation and recommender system for mobile applications
Personal and Ubiquitous Computing
Practical hardening of crash-tolerant systems
USENIX ATC'12 Proceedings of the 2012 USENIX conference on Annual Technical Conference
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
Fundamenta Informaticae
Information and Software Technology
Journal of Computer and System Sciences
An adaptive mode control algorithm of a scalable intrusion tolerant architecture
Journal of Computer and System Sciences
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Dependability of social network groups
Proceedings of the CUBE International Information Technology Conference
JMF: Java measurement framework: language-supported runtime integrity measurement
Proceedings of the seventh ACM workshop on Scalable trusted computing
SOREGENE: a software reliability modelling tool
Proceedings of the 13th International Conference on Computer Systems and Technologies
Riding Out the Storm: How to Deal with the Complexity of Grid and Cloud Management
Journal of Grid Computing
A transient reliability model of RTP video streaming over WLAN
Proceedings of the 7th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks
Automatic undo for cloud management via AI planning
HotDep'12 Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability
A novel intrusion severity analysis approach for Clouds
Future Generation Computer Systems
A study of DRAM failures in the field
SC '12 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Dependability evaluation of time-redundancy techniques in integer multipliers
PATMOS'07 Proceedings of the 17th international conference on Integrated Circuit and System Design: power and timing modeling, optimization and simulation
Resource augmentation for fault-tolerance feasibility of real-time tasks under error bursts
Proceedings of the 20th International Conference on Real-Time and Network Systems
EuroSPI'07 Proceedings of the 14th European conference on Software Process Improvement
Software and Systems Modeling (SoSyM)
Information Sciences: an International Journal
Action-based discovery of satisfying subsets: A distributed method for model correction
Information and Software Technology
Convergence analysis of evolutionary algorithms in the presence of crash-faults and cheaters
Computers & Mathematics with Applications
On fault tolerance reuse during refinement
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
A UML-based method for risk analysis of human-robot interactions
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Modelling and analysing resilience as a security issue within UML
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Dependability in dynamic, evolving and heterogeneous systems: the connect approach
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Towards secure time-triggered systems
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Study of trustworthiness measurement and kernel modules accessing address space of any process
ICICA'12 Proceedings of the Third international conference on Information Computing and Applications
Model driven configuration of fault tolerance solutions for component-based software system
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Failure scenario as a service (FSaaS) for Hadoop clusters
Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management
Cross-layer virtual observers for embedded multiprocessor system-on-chip (MPSoC)
Proceedings of the 11th International Workshop on Adaptive and Reflective Middleware
Towards dependable clients: improving the reliability and availability of the browsers
Proceedings of the 9th Middleware Doctoral Symposium of the 13th ACM/IFIP/USENIX International Middleware Conference
HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
D-reserve: distributed reliable service environment
ADBIS'12 Proceedings of the 16th East European conference on Advances in Databases and Information Systems
Evolving robust networks for systems-of-systems
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Dependability of service-oriented computing: time-probabilistic failure modelling
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
An ontological approach to systematization of SW-FMEA
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Online black-box failure prediction for mission critical distributed systems
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Cyber-physical systems: imminent challenges
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
A comparative experimental study of software rejuvenation overhead
Performance Evaluation
Comparing risk identification techniques for safety and security requirements
Journal of Systems and Software
Dependability in Pervasive Computing: Challenges and Chances
Journal of Information Technology Research
Building Highly Dependable Wireless Web Services
Journal of Electronic Commerce in Organizations
Patch Release Behaviors of Software Vendors in Response to Vulnerabilities: An Empirical Analysis
Journal of Management Information Systems
Optimizing decomposition of software architecture for local recovery
Software Quality Control
First steps toward scientific cyber-security experimentation in wide-area cyber-physical systems
Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop
A systematic review of design diversity-based solutions for fault-tolerant SOAs
Proceedings of the 17th International Conference on Evaluation and Assessment in Software Engineering
Scalable network coding for wireless sensor network energy conservation
International Journal of Autonomous and Adaptive Communications Systems
A taxonomy of biometric system vulnerabilities and defences
International Journal of Biometrics
Design-driven development methodology for resilient computing
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Formalization of design patterns for security anddependability
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems
Cloud API issues: an empirical study and impact
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Addressing dependability for interactive systems: application to interactive cockpits
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Proceedings of the 28th Annual ACM Symposium on Applied Computing
A combined structural and dynamic modelling approach for dependability analysis in smart grid
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Network stacking considered harmful
Proceedings of the ACM International Conference on Computing Frontiers
A novel intermittent fault Markov model for deep sub-micron processors
Proceedings of the 23rd ACM international conference on Great lakes symposium on VLSI
Improving fault tolerance utilizing hardware-software-co-synthesis
Proceedings of the Conference on Design, Automation and Test in Europe
Does bug prediction support human developers? findings from a google case study
Proceedings of the 2013 International Conference on Software Engineering
Reliability analysis in symbolic pathfinder
Proceedings of the 2013 International Conference on Software Engineering
Reliability and performance optimization of pipelined real-time systems
Journal of Parallel and Distributed Computing
Automotive functional safety = safety + security
Proceedings of the First International Conference on Security of Internet of Things
Security of public continuous integration services
Proceedings of the 9th International Symposium on Open Collaboration
Towards tool support for pattern-based secure and dependable systems development
Proceedings of the workshop on ACadeMics Tooling with Eclipse
Prediction of atomic web services reliability based on k-means clustering
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Conditional Safety Certification of Open Adaptive Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Variability evolution and erosion in industrial product lines: a case study
Proceedings of the 17th International Software Product Line Conference
TTF-ravenscar: a profile to support reliable high-integrity multiprocessor ada applications
ACM SIGAda Ada Letters
Reli: hardware/software checkpoint and recovery scheme for embedded processors
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Journal of Parallel and Distributed Computing
MZoltar: automatic debugging of Android applications
Proceedings of the 2013 International Workshop on Software Development Lifecycle for Mobile
Feng shui of supercomputer memory: positional effects in DRAM and SRAM faults
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Performance evaluation of cloud service considering fault recovery
The Journal of Supercomputing
A survey on resiliency assessment techniques for wireless sensor networks
Proceedings of the 11th ACM international symposium on Mobility management and wireless access
Software availability in the cloud
Proceedings of the 14th International Conference on Computer Systems and Technologies
Exception handlers for healing component-based systems
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Methods for fault tolerance in networks-on-chip
ACM Computing Surveys (CSUR)
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Quality of service ontology languages for web services discovery: an overview and limitations
HCI International'13 Proceedings of the 15th international conference on Human Interface and the Management of Information: information and interaction design - Volume Part I
Information and Software Technology
Web Service Diagnoser Model for managing faults in web services
Computer Standards & Interfaces
Tuning an HCI curriculum for master students to address interactive critical systems aspects
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Computer security with service degradations
ACM SIGSOFT Software Engineering Notes
Graph-based reasoning in collaborative knowledge management for industrial maintenance
Computers in Industry
A dependability evaluation tool for the Internet of Things
Computers and Electrical Engineering
A survey of software aging and rejuvenation studies
ACM Journal on Emerging Technologies in Computing Systems (JETC) - Special Issue on Reliability and Device Degradation in Emerging Technologies and Special Issue on WoSAR 2011
Software aging in the eucalyptus cloud computing infrastructure: Characterization and rejuvenation
ACM Journal on Emerging Technologies in Computing Systems (JETC) - Special Issue on Reliability and Device Degradation in Emerging Technologies and Special Issue on WoSAR 2011
Journal of Systems and Software
Supporting undoability in systems operations
LISA'13 Proceedings of the 27th international conference on Large Installation System Administration
Maintaining the health of software monitors
Innovations in Systems and Software Engineering
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
Exploring the impact of trust information visualization on mobile application usage
Personal and Ubiquitous Computing
On the relationships between QoS and software adaptability at the architectural level
Journal of Systems and Software
Journal of Theoretical and Applied Electronic Commerce Research
Self-Assessment and Reconfiguration Methods for Autonomous Cloud-based Network Systems
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
International Journal of Critical Computer-Based Systems
International Journal of Metaheuristics
Journal of Systems and Software
Resilient estimation of synchronisation uncertainty through software clocks
International Journal of Critical Computer-Based Systems
Incorporating behavioral trust theory into system development for ubiquitous applications
Personal and Ubiquitous Computing
Analysing Quality of Resilience in Fish4Knowledge Video Analysis Workflows
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Cost-Benefit Analysis of Virtualizing Batch Systems: Performance-Energy-Dependability Trade-Offs
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Approximating the Response Time Distribution of Fault-Tolerant Multi-tier Cloud Services
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
A dynamic code coverage approach to maximize fault localization efficiency
Journal of Systems and Software
Combining mutation and fault localization for automated program debugging
Journal of Systems and Software
Hi-index | 0.00 |
This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity, maintainability, etc. Security brings in concerns for confidentiality, in addition to availability and integrity. Basic definitions are given first. They are then commented upon, and supplemented by additional definitions, which address the threats to dependability and security (faults, errors, failures), their attributes, and the means for their achievement (fault prevention, fault tolerance, fault removal, fault forecasting). The aim is to explicate a set of general concepts, of relevance across a wide range of situations and, therefore, helping communication and cooperation among a number of scientific and technical communities, including ones that are concentrating on particular types of system, of system failures, or of causes of system failures.