Search results for "design diversity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey	Efficient Design Diversity Estimation for Combinational Circuits.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	common-mode failures, reliability, fault-tolerant computing, dependability, Error detection, design diversity
3	Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey	A Design Diversity Metric and Analysis of Redundant Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	common-mode failures, fault-tolerant computing, dependability, Error detection, design diversity
3	Tomislav Lovric	Systematic and Design Diversity - Software Techniques for Hardware Fault Detection.	EDCC	1994	DBLP DOI BibTeX RDF	design faults, operational faults, fault detection coverage, relative test, absolute test, software implemented hardware-fault injection, systematic diversity, Virtual Duplex System, self-checking, design diversity, fail-safe
2	Frédéric Majorczyk, Eric Totel, Ludovic Mé, Ayda Saïdane	Anomaly Detection with Diagnosis in Diversified Systems using Information Flow Graphs.	SEC	2008	DBLP DOI BibTeX RDF	COTS diversity, anomaly diagnosis, graph similarity, anomaly detection, design diversity
2	Eric Totel, Frédéric Majorczyk, Ludovic Mé	COTS Diversity Based Intrusion Detection and Application to Web Servers.	RAID	2005	DBLP DOI BibTeX RDF	COTS diversity, Intrusion detection, anomaly detection, design diversity
2	Karama Kanoun	Real-World Design Diversity: A Case Study on Cost.	IEEE Software	2001	DBLP DOI BibTeX RDF
2	Bev Littlewood, Peter T. Popov, Lorenzo Strigini	Modeling software design diversity.	ACM Comput. Surv.	2001	DBLP DOI BibTeX RDF	N-version software, functional diversity, multiple version programming, protection systems, safety, software fault tolerance, control systems
2	Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey	Techniques for Estimation of Design Diversity for Combinational Logic Circuits.	DSN	2001	DBLP DOI BibTeX RDF
2	Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky	Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science.	SAFECOMP	1999	DBLP DOI BibTeX RDF
2	Heidrun Engel	Data flow transformations to detect results which are corrupted by hardware faults. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	data flow transformations, corrupt result detection, hardware fault coverage, modified instruction, diverse data representation, modified instruction sequences, assembler level, high language level, fault tolerant computing, software faults, design diversity, hardware fault detection
2	Aki Watanabe, Ken Sakamura	MLDD (Multi Layered Design Diversity) Architecture for Achieving High Design Fault Tolerance Capabilities.	EDCC	1994	DBLP DOI BibTeX RDF
1	Gabriel de M. Borges, Luiz Fernando Gonçalves, Tiago R. Balen, Marcelo Lubaszewski	Evaluating the effectiveness of a mixed-signal TMR scheme based on design diversity.	SBCCI	2010	DBLP DOI BibTeX RDF
1	Gabriel de M. Borges, Luiz Fernando Gonçalves, Tiago R. Balen, Marcelo Lubaszewski	Increasing reliability of programmable mixed-signal systems by applying design diversity redundancy.	European Test Symposium	2010	DBLP DOI BibTeX RDF
1	Cydney Minkowitz	Formal Specification for Design Diversity: Two Case Histories, One Approach.	ADBIS (Local Proceedings)	2010	DBLP BibTeX RDF
1	Sri Hari Krishna Narayanan, Mahmut T. Kandemir	A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions.	Ada-Europe	2008	DBLP DOI BibTeX RDF
1	Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane	Modelling the Effects of Combining Diverse Software Fault Detection Techniques.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
1	Ilir Gashi, Peter T. Popov, Lorenzo Strigini	Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers.	IEEE Trans. Dependable Sec. Comput.	2007	DBLP DOI BibTeX RDF	Error processing, fault records, non-crash failures, database availability, Fault tolerance, Reliability, Relational databases, experimental results, design diversity, availability and serviceability, COTS software
1	Adrian Agustin, Josep Vidal, Olga Muñoz	Hybrid Turbo FEC/ARQ Systems and Distributed Space-Time Coding for Cooperative Transmission.	IJWIN	2005	DBLP DOI BibTeX RDF	distributed space-time block codes, MIMO and, turbo codes, Cooperative transmission, hybrid ARQ
1	Alex X. Liu, Mohamed G. Gouda	Diverse Firewall Design.	DSN	2004	DBLP DOI BibTeX RDF
1	Xia Cai, Michael R. Lyu	An Empirical Study on Reliability Modeling for Diverse Software Systems.	ISSRE	2004	DBLP DOI BibTeX RDF
1	Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball	Estimating Bounds on the Reliability of Diverse Systems.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	demand space partitioning, common-mode failure, Software fault-tolerance, design diversity, subdomain testing
1	Robin E. Bloomfield, Bev Littlewood	Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.	DSN	2003	DBLP DOI BibTeX RDF
1	Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai	An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering.	ISSRE	2003	DBLP DOI BibTeX RDF	data flow coverage testing, empirical study, software fault tolerance, mutation testing
1	Subhasish Mitra, Edward J. McCluskey	Dependable Reconfigurable Computing Design Diversity and Self Repair. (PDF / PS)	Evolvable Hardware	2002	DBLP DOI BibTeX RDF
1	Savio N. Chau, Joseph Smith, Ann T. Tai	A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network.	PRDC	2001	DBLP DOI BibTeX RDF
1	Subhasish Mitra, Edward J. McCluskey	Design Diversity for Concurrent Error Detection in Sequential Logic Circuts.	VTS	2001	DBLP DOI BibTeX RDF
1	Peter T. Popov, Lorenzo Strigini	The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process.	DSN	2001	DBLP DOI BibTeX RDF
1	Karl-Erwin Großpietsch, Alexander B. Romanovsky	An Evolutionary and Adaptive Approach for n-Version Programming.	EUROMICRO	2001	DBLP DOI BibTeX RDF
1	Roy A. Maxion, Robert T. Olszewski	Eliminating Exception Handling Errors with Dependability Cases: A Comparative, Empirical Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	software robustness, software engineering, Collaboration, dependability, exception handling, empirical methods, N-version programming, design diversity, safety cases
1	Xiao-Guang Shi, John S. Gero	Design Families and Design Individuals.	Eng. Comput. (Lond.)	2000	DBLP DOI BibTeX RDF	Design families, Design individuals, Design phase space, Development biology, Phase bifurcation, Exploration, Phase transition, Design diversity
1	Kishor S. Trivedi	Proactive Fault-Management in Software System.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF
1	Sergio Antoy, Richard G. Hamlet	Automatically Checking an Implementation against Its Formal Specification.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Self-checking code, object-oriented software testing, formal specification, rewriting
1	Bev Littlewood	The Use of Proof in Diversity Arguments.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	reliability, verification, probability, safety, Software fault tolerance, proof
1	Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane	Modeling the Effects of Combining Diverse Software Fault Detection Techniques.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	reliability growth, testing, software reliability, diversity, Software fault, fault removal
1	Bev Littlewood, Peter T. Popov, Lorenzo Strigini	Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach.	SAFECOMP	2000	DBLP DOI BibTeX RDF
1	Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey	A design diversity metric and reliability analysis for redundant systems.	ITC	1999	DBLP DOI BibTeX RDF
1	Robert Feldt	Generating Multiple Diverse Software Versions with Genetic Programming.	EUROMICRO	1998	DBLP DOI BibTeX RDF
1	Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson	Certification of Computational Results.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	error monitoring, data structures, Software fault tolerance, design diversity
1	Hyun C. Kim, V. S. S. Nair	Application layer software fault tolerance for distributed object-oriented systems. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	application layer software fault tolerance, object failures, active object replication schemes, common interface, object-oriented programming, distributed processing, software fault tolerance, encapsulation, replicated objects, data encapsulation, distributed object-oriented systems, hardware failures
1	John P. J. Kelly, Thomas I. McVittie, Wayne I. Yamamoto	Implementing Design Diversity to Achieve Fault Tolerance.	IEEE Software	1991	DBLP DOI BibTeX RDF
1	John P. J. Kelly, Susan C. Murphy	Achieving Dependability Throughout the Development Process: A Distributed Software Experiment.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	B/B testing, multiple independent implementations, distributed communication protocol, complex concurrent processing systems, data communication systems, formal specification, protocols, Ada, Ada, software testing, distributed processing, dependability, program testing, automated testing, computer communications software, distributed software engineering
1	Algirdas Avizienis	Design diversity: an approach to fault tolerance of design faults.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF