A taxonomy of computer program security flaws
ACM Computing Surveys (CSUR)
Using testability measures for dependability assessment
Proceedings of the 17th international conference on Software engineering
Software error analysis: a real case study involving real faults and mutations
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Why do some (weird) people inject faults?
ACM SIGSOFT Software Engineering Notes
The right type of trust for distributed systems
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
An integrated framework for security and dependability
Proceedings of the 1998 workshop on New security paradigms
Proceedings of the 1998 workshop on New security paradigms
On the functional relation between security and dependability impairments
Proceedings of the 1999 workshop on New security paradigms
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Coverage estimation using statistic of the extremes for when testing reveals no failures: 3
IEEE Transactions on Computers
Fitting standard software to non-standard organisations
Proceedings of the 2002 ACM symposium on Applied computing
Proceedings of the 2002 ACM symposium on Applied computing
PROPANE: an environment for examining the propagation of errors in software
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Semantic anomaly detection in online data sources
Proceedings of the 24th International Conference on Software Engineering
Proceedings of the 24th International Conference on Software Engineering
Management of Value-Added Services in theTrading-Based System AGORA
Journal of Network and Systems Management
A prototype of a VHDL-based fault injection tool: description and application
Journal of Systems Architecture: the EUROMICRO Journal - Defect and fault tolerance in VLSI Systems
Java Security: Present and Near Future
IEEE Micro
Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures
IEEE Transactions on Computers
The customizable fault/error model for dependable distributed systems
Theoretical Computer Science - Dependable computing
Issues of dependability in open source software development
ACM SIGSOFT Software Engineering Notes
An adaptive dependability model of component-based software
ACM SIGSOFT Software Engineering Notes
Can Software Implemented Fault-Injection Be Used on Real-Time Systems?
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Model-Based Dependability Evaluation Method for TTP/C Based Systems
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Using Rule-Based Activity Descriptions to Evaluate Intrusion-Detection Systems
RAID '00 Proceedings of the Third International Workshop on Recent Advances in Intrusion Detection
Modeling Faults of Distributed, Reactive Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Dependability and Configurability: Partners or Competitors in Pervasive Computing?
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Software Reliability and Rejuvenation: Modeling and Analysis
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
A Study of Failure Models in Feedback Control Systems
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Performance Validation of Fault-Tolerance Software: A Compositional Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Assume-Guarantee Algorithms for Automatic Detection of Software Failures
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Security Assessments of Safety Critical Systems Using HAZOPs
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
An abstract architecture for dependable and flexible distributed applications
Systems engineering for business process change
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
On-Board Maintenance for Long-Life Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Software Reliability Analysis of Three Successive Generations of a Telecommunications System
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Technologies for designing dependable A/D converters
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Guerrilla Tactics: Motivating Design Patterns for High-Dependability Applications
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Dynamic fault tolerance in DCMA-a dynamically configurable multicomputer architecture
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
Improving design dependability based on the TRON loose standardization approach
TRON '95 Proceedings of the The 12th TRON Project International Symposium, 1995
Quality assessment of knowledge-based software: some certification considerations
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Confidentiality-Preserving Refinement
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
A Model for the Analysis of the Fault Injection Process
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
On the Development of Fault-Tolerant On-Board Control Software and Its Evaluation by Fault Injection
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Measurement of Failure Rate in Widely Distributed Software
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems (Extended Abstract)
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Replication Management in Reliable Real-Time Systems
Real-Time Systems
Reflections on Industry Trends and Experimental Research in Dependability
IEEE Transactions on Dependable and Secure Computing
Towards automatic monitoring of component-based software systems
Journal of Systems and Software - Special issue: Automated component-based software engineering
A Dependability-Driven System-Level Design Approach for Embedded Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Design of self-managing dependable systems with UML and fault tolerance patterns
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Evaluating COTS Component Dependability in Context
IEEE Software
Reconciling scenario-centered controller design with state-based system models
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
A systematic classification of cheating in online games
NetGames '05 Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games
A dependability perspective on emerging technologies
Proceedings of the 3rd conference on Computing frontiers
AIMS: robustness through sensible introspection
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
A utility-centered approach to building dependable infrastructure services
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Managing exceptions in the medical workflow systems
Proceedings of the 28th international conference on Software engineering
An execution overrun management mechanism for the temporal robustness of Java real-time systems
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Trustworthy software systems: a discussion of basic concepts and terminology
ACM SIGSOFT Software Engineering Notes
Early quality prediction of component-based systems - A generic framework
Journal of Systems and Software
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
An integrated architecture for future car generations
Real-Time Systems
Design for dependability in emerging technologies
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Experimenting with software testbeds for evaluating new technologies
Empirical Software Engineering
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
OZCHI '07 Proceedings of the 19th Australasian conference on Computer-Human Interaction: Entertaining User Interfaces
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
Design for survivability: a tradeoff space
Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead
Proceedings of the 2006 conference on Pattern languages of programs
Managing redundancy in CAN-based networks supporting N-Version Programming
Computer Standards & Interfaces
Open source vs. closed source software: towards measuring security
Proceedings of the 2009 ACM symposium on Applied Computing
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
Design of dependable personal networks
Proceedings of the 3rd international workshop on Adaptive and dependable mobile ubiquitous systems
Requirements on the Target Programming Language for High-Integrity MDE
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Automatic Generation of Runtime Failure Detectors from Property Templates
Software Engineering for Self-Adaptive Systems
Edutainment '09 Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A service-oriented trust management framework
AAMAS'02 Proceedings of the 2002 international conference on Trust, reputation, and security: theories and practice
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
Architecting dependable systems IV
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Science of Computer Programming
Topology-aware replica placement in fault-tolerant embedded networks
ARCS'08 Proceedings of the 21st international conference on Architecture of computing systems
Issues on the design of efficient fail-safe fault tolerance
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Dependability metrics
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
The role of accountability in dependable distributed systems
HotDep'05 Proceedings of the First conference on Hot topics in system dependability
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
Checking models, proving programs, and testing systems
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Formal development of reactive fault tolerant systems
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Towards an integration of standard component-based safety evaluation techniques with SaveCCM
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Group communication: from practice to theory
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
A value-based process for achieving software dependability
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Research directions for embedded operating systems
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Tools for requirements capture and exploration
Embedded Systems Design
An automated dependability analysis method for COTS-based systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Automatic translation form requirements model into use cases modeling on UML
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Specification before satisfaction: the case for research into obtaining the right specification
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
A formal model for fault-tolerance in distributed systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
An IEC 62061 compliant safety system design method for machinery
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
On the effects of errors during boot
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Dependable Systems
Formal development of mechanisms for tolerating transient faults
Rigorous Development of Complex Fault-Tolerant Systems
Rigorous fault tolerance using aspects and formal methods
Rigorous Development of Complex Fault-Tolerant Systems
On the resilience of the dependability framework to the intrusion of new security threats
Dependable and Historic Computing
Deriving a unified fault taxonomy for event-based systems
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
A model-based method for system reliability analysis
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
A systematic review of software robustness
Information and Software Technology
WSDM-enabled autonomic augmentation of classical multi-version software fault-tolerance mechanisms
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
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
Hi-index | 0.01 |