Search results for "fail-safe"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Michael Nicolaidis, Serge Noraz, Bernard Courtois	A generalized theory of fail-safe systems.	FTCS	1989	DBLP DOI BibTeX RDF
23	Yehuda Afek, Baruch Awerbuch, Eli Gafni	Local Fail-safe Network Reset Procedure.	WDAG	1987	DBLP DOI BibTeX RDF
23	Chung-Yang Chiang, Chuan-lin Wu	Fail Safe Distributed Fault Diagnosis of Multiprocessor Systems.	ICPP	1986	DBLP BibTeX RDF
23	Hans W. Gschwind, H. Uebel	Fail-safe-Systeme mit redundanten Rechnern.	Fachtagung Prozessrechner	1984	DBLP DOI BibTeX RDF
23	Wolfgang D. Ehrenberger, Manfred Masur	Ein Schritt in Richtung auf Fail-Safe Software.	Software-Fehlertoleranz und -Zuverlässigkeit	1984	DBLP DOI BibTeX RDF
23	Adrian Segall	Advances in Verifiable Fail-Safe Routing Procedures.	IEEE Trans. Commun.	1981	DBLP DOI BibTeX RDF
23	Theodore D. Friedman, Lance J. Hoffman	Towards a Fail-Safe Approach to Secure Databases.	S&P	1980	DBLP DOI BibTeX RDF
23	Michel Diaz, Pierre Azéma, Jean-Michel Ayache	Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF
23	Steven G. Finn	Resynch Procedures and a Fail-Safe Network Protocol.	IEEE Trans. Commun.	1979	DBLP DOI BibTeX RDF
23	Jane W. S. Liu, Izumi Suwa, Robert E. Stepp, Sergio M. Hinojosa, Tsutoma Utsuqi	A fail-safe distributed local network for data communication.	MARK	1979	DBLP DOI BibTeX RDF
23	Henry Y. H. Chuang, Santanu Das	Design of Fail-Safe Sequential Machines Using Separable Codes.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF
23	A. Sengupta, D. K. Chattopadhyay, A. Palit, A. K. Bandyopadhyay 0002, M. S. Basu, Arun K. Choudhury	Realization of Fault-Tolerant and Fail-Safe Sequential Machines.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF
23	Richard J. Spillman	A fail-safe redundant architecture for fault-tolerant computing.	ACM Annual Conference	1977	DBLP DOI BibTeX RDF
23	Henry Y. H. Chuang	Fail-Safe Asynchronous Machines with Multiple-Input Changes.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF
23	Yu-Dar Fan	Design of Fail-Safe Asynchronous Sequential Machines		1976	RDF
23	Michel Diaz, Jean Claude Geffroy, Marc Courvoisier	On-Set Realization of Fail-Safe Sequential Machines.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
23	William W. Patterson, Gernot Metze	A Fail-Safe Asynchronous Sequential Machine.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
23	Y. Mukai, Yoshihiro Tohma	A Method for the Realization of Fail-Safe Asynchronous Sequential Circuits.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
23	Yoshihiro Tohma	Design Technique of Fail-Safe Sequential Circuits Using Flip-Flops For Internal Memory.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
23	Tadao Takaoka, Toshihide Ibaraki	Fail-Safe Realization of Sequential Machines	Inf. Control.	1973	DBLP DOI BibTeX RDF
23	Tadao Takaoka, Toshihide Ibaraki	N-Fail-Safe Sequential Machines.	IEEE Trans. Computers	1972	DBLP DOI BibTeX RDF
23	Yoshihiro Tohma, Yasuyoshi Ohyama, Ryozo Sakai	Realization of Fail-Safe Sequential Machines by Using a k-out-of-n Code.	IEEE Trans. Computers	1971	DBLP DOI BibTeX RDF
23	Tadao Takaoka, Hisashi Mine	N-Fail-Safe Logical Systems.	IEEE Trans. Computers	1971	DBLP DOI BibTeX RDF
23	Kenneth A. Foster	Comments on "Basic Properties and a Construction Method for Fail-Safe Logical Systems".	IEEE Trans. Computers	1968	DBLP DOI BibTeX RDF
23	R. C. Cheek	Fail-safe power and environmental facilities for a large computer installation.	AFIPS Fall Joint Computing Conference (1)	1968	DBLP DOI BibTeX RDF
23	Hisashi Mine, Yoshihaki Koga	Basic Properties and a Construction Method for Fail-Safe Logical Systems.	IEEE Trans. Electron. Comput.	1967	DBLP DOI BibTeX RDF
20	Peter Tummeltshammer, Andreas Steininger	On the role of the power supply as an entry for common cause faults - An experimental analysis.	DDECS	2009	DBLP DOI BibTeX RDF
20	Rami Yared, Xavier Défago, Matthias Wiesmann	Collision prevention using group communication for asynchronous cooperative mobile robots.	AINA	2007	DBLP DOI BibTeX RDF
20	Sumant Kowshik, Girish Baliga, Scott R. Graham, Lui Sha	Co-Design Based Approach to Improve Robustness in Networked Control Systems.	DSN	2005	DBLP DOI BibTeX RDF
20	Hairong Sun, James J. Han, Haim Levendel	Availability requirement for a fault-management server in high-availability communication systems.	IEEE Trans. Reliab.	2003	DBLP DOI BibTeX RDF
20	Elena Troubitsyna	Integrating Safety Analysis into Formal Specification of Dependable Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	failure mode and effect analysis, formal specification, statecharts, actions systems
20	James J. Han, Hairong Sun, Haim Levendel	Availability Requirement for Fault Management Server.	COMPSAC	2001	DBLP DOI BibTeX RDF
20	Andreas Schenk	SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller.	SAFECOMP	2000	DBLP DOI BibTeX RDF
15	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A framework for software safety in safety-critical systems.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
15	M. Ben Swarup, P. Seetha Ramaiah	An Approach to Modeling Software Safety.	SNPD	2008	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
15	Xinhong Hei 0001, Sei Takahashi, Hideo Nakamura	Toward developing a Decentralized Railway Signalling System Using Petri Nets.	RAM	2008	DBLP DOI BibTeX RDF
15	Pedro Martins, Paulo Sousa 0001, António Casimiro, Paulo Veríssimo	A New Programming Model for Dependable Adaptive Real-Time Applications.	IEEE Distributed Syst. Online	2005	DBLP DOI BibTeX RDF	partial synchrony models, dependable adaptation, real-time systems, mobile computing
15	Andreas Birk 0002, Holger Kenn	A Rescue Robot Control Architecture Ensuring Safe Semi-autonomous Operation.	RoboCup	2002	DBLP DOI BibTeX RDF
15	Bert Knegtering, Aarnout Brombacher	Conceptual Comparison of Two Commonly Used Safeguarding Principles.	SAFECOMP	1998	DBLP DOI BibTeX RDF
15	Jean-Luis Dufour	Safety computations in integrated circuits.	VTS	1996	DBLP DOI BibTeX RDF	safety computations, software-based railway control systems, MATRA TRANSPORT, signature checking, coded processor, reliability, fault tolerant computing, logic testing, redundancy, integrated circuit testing, error correction codes, automatic testing, application specific integrated circuits, ASICs, integrated circuits, coprocessors, arithmetic coding, integrated circuit reliability
14	Jürgen Mottok, Frank Schiller, Thomas Völkl, Thomas Zeitler	A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Safely Embedded Software, Safe State Machine, Diverse Instructions, Safety Code Weaving, Safety Supervisor
14	Jing Huang 0001, Xiaojun Ma, Cecilia Metra, Fabrizio Lombardi	Testing Reversible One-Dimensional QCA Arrays for Multiple Faults.	DFT	2007	DBLP DOI BibTeX RDF
14	Arya K. Bhattacharya, P. S. Srinivas, K. Chithra, S. V. Jatla, Jadav Das	Recognition of Fault Signature Patterns Using Fuzzy Logic for Prevention of Breakdowns in Steel Continuous Casting Process.	PReMI	2005	DBLP DOI BibTeX RDF
14	Michael E. Locasto, Ke Wang 0009, Angelos D. Keromytis, Salvatore J. Stolfo	FLIPS: Hybrid Adaptive Intrusion Prevention.	RAID	2005	DBLP DOI BibTeX RDF	Adaptive Response, Intrusion Tolerance, Intrusion Prevention
14	Gehan Weerasinghe, Imad Antonios, Lester Lipsky	A Generalized Analytic Performance Model of Distributed Systems that Perform N Tasks Using P Fault-Prone Processors.	IPDPS	2002	DBLP DOI BibTeX RDF	Performance Evaluation, Fault-Tolerance, Markov Chains, Networks of Workstations, Processor Failures
10	Meeta Sharma Gupta, Jude A. Rivers, Pradip Bose, Gu-Yeon Wei, David M. Brooks	Tribeca: design for PVT variations with local recovery and fine-grained adaptation.	MICRO	2009	DBLP DOI BibTeX RDF
10	Usama Ahmed, Muhammad Arif Wahla, Firdous Kausar	Fault Tolerant Secure Routing in Cluster Based Mobile Sensor Networks.	ISA	2009	DBLP DOI BibTeX RDF	Security, Fault tolerance, Routing, Mobility
10	Heung-Il Suk, Bong-Kee Sin, Seong-Whan Lee	Recognizing hand gestures using dynamic Bayesian network.	FG	2008	DBLP DOI BibTeX RDF
10	Nicholas Weaver, Vern Paxson, José M. González	The shunt: an FPGA-based accelerator for network intrusion prevention.	FPGA	2007	DBLP DOI BibTeX RDF	FPGA, intrusion detection, hardware acceleration, NIC
10	Jörg Schneider, Marcel Naggatz, Rainer G. Spallek	Implementation of Architecture Concepts for Hardware Agent Systems.	CIT	2007	DBLP DOI BibTeX RDF
10	Xiao Liu 0001, Andreas Demosthenous, Nick Donaldson	A Safe Transmission Strategy for Power and Data Recovery in Biomedical Implanted Devices.	ISCAS	2007	DBLP DOI BibTeX RDF
10	Thomas Kottke, Andreas Steininger	A Fail-Silent Reconfigurable Superscalar Processor.	PRDC	2007	DBLP DOI BibTeX RDF
10	Adam J. Rocke, Ronald F. DeMara	CONFIDANT: Collaborative Object Notification Framework for Insider Defense using Autonomous Network Transactions.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	Distributed Agent Control and Dispatch, Agent Handshaking Protocols, Intrusion Detection System Taxonomy, Network Security
10	Meg McGinity Shannon	The network of life.	Commun. ACM	2006	DBLP DOI BibTeX RDF
10	Prabal Dutta, Jonathan Hui, Jaein Jeong, Sukun Kim, Cory Sharp, Jay Taneja, Gilman Tolle, Kamin Whitehouse, David E. Culler	Trio: enabling sustainable and scalable outdoor wireless sensor network deployments.	IPSN	2006	DBLP DOI BibTeX RDF	long-life, sensor networks, detection, surveillance, testbed, target tracking, large-scale
10	Thomas Kottke, Andreas Steininger	A Reconfigurable Generic Dual-Core Architecture.	DSN	2006	DBLP DOI BibTeX RDF
10	Christian Sebeke, C. Jung, Klaus Harbich, S. Fuchs, J. Schwarz, Peter Göhner	Test and reliability challenges in automotive microelectronics.	DATE	2006	DBLP DOI BibTeX RDF
10	Federico Baronti, Paolo D'Abramo, Martin Knaipp, Rainer Minixhofer, Roberto Roncella, Roberto Saletti, Martin Schrems, Riccardo Serventi, Verena Vescoli	FlexRay transceiver in a 0.35 µm CMOS high-voltage technology.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
10	Federico Rota, Shantanu Dutt, Sahithi Krishna	Off-Chip Control Flow Checking of On-Chip Processor-Cache Instruction Stream.	DFT	2006	DBLP DOI BibTeX RDF
10	Jennifer Morris, Philip Koopman	Representing design tradeoffs in safety-critical systems.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	fault-tolerance, modeling, integrity, dependability, availability, safety
10	Simeon Veloudis, Nimal Nissanke	An approach to modelling and analysis of coordinated atomic actions.	ETFA	2005	DBLP DOI BibTeX RDF
10	Michael W. Hofbaur, Brian C. Williams	Hybrid estimation of complex systems.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
10	Radek Dobias, Hana Kubátová	FPGA Based Design of the Railway's Interlocking Equipments.	DSD	2004	DBLP DOI BibTeX RDF
10	Luca Schiano, Marco Ottavi, Fabrizio Lombardi	Markov Models of Fault-Tolerant Memory Systems under SEU.	MTDT	2004	DBLP DOI BibTeX RDF
10	Wolfgang A. Halang	Automated Control Systems for the Safety Integrity Levels 3 and 4.	WORDS Fall	2003	DBLP DOI BibTeX RDF
10	Robert Smeikal, Karl M. Göschka	Fault-tolerance in a Distributed Management System: a Case Study.	ICSE	2003	DBLP DOI BibTeX RDF
10	Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001	Self-Checking and Fault Tolerance Quality Assessment Using Fault Sampling.	DFT	2002	DBLP DOI BibTeX RDF
10	Steven E. Butner, Moji Ghodoussi	A Real-Time System for Tele-Surgery.	ICDCS	2001	DBLP DOI BibTeX RDF	tele-surgery, Robotics, tele-operation
10	Noboru Takagi, Kyoichi Nakashima	Discrete Interval Truth Values Logic and Its Application.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	set logic, set-valued function, static hazard, regularity, Multiple-valued logic
10	Noboru Takagi, Kyoichi Nakashima	Some Properties of Discrete Interval Truth Valued Logic.	ISMVL	2000	DBLP DOI BibTeX RDF
10	Haiying Tu, Fangmei Wu	How to Design an Environment Simulator for Safety Critical Software Testing.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Simulation, Software Testing, Object-Oriented Design, Fault-Injection, Safety-Critical Software, Black-Box Testing
10	Mary Ellen Zurko, Richard T. Simon, Tom Sanfilippo	A User-Centered, Modular Authorization Service Built on an RBAC Foundation.	S&P	1999	DBLP DOI BibTeX RDF
10	M. Elif Karsligil, M. Yahya Karsligil	Fuzzy Similarity Relations for Chromosome Classification and Identification.	CAIP	1999	DBLP DOI BibTeX RDF
10	Xiaohui Wei, Jiubin Ju	SFT: A Consistent Checkpointing Algorithm With Shorter Freezing Time.	ACM SIGOPS Oper. Syst. Rev.	1998	DBLP DOI BibTeX RDF
10	Mark Harman, Yoga Sivagurunathan, Sebastian Danicic	Analysis of Dynamic Memory Access Using Amorphous Slicing.	ICSM	1998	DBLP DOI BibTeX RDF
10	Todd A. DeLong, Barry W. Johnson, Joseph A. Profeta III	A Fault Injection Technique for VHDL Behavioral-Level Models.	IEEE Des. Test Comput.	1996	DBLP DOI BibTeX RDF
10	Maurice Herlihy, Martin S. McKendry	Timestamp-Based Orphan Elimination.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	timestamp based orphan elimination, distributed transaction system, aborted transaction, two-phase protocols, real-time clocks, concurrency control method, distributed processing, concurrency control, database management systems, transaction processing
10	H. M. Gladney	Data Replicas in Distributed Information Services.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
10	John C. Reynolds	Syntactic Control of Inference, Part 2.	ICALP	1989	DBLP DOI BibTeX RDF
10	Kuniaki Kishida, F. Shirotori, Y. Ikemoto, Shun Ishiyama, Terumine Hayashi	A delay test system for high speed logic LSI's.	DAC	1986	DBLP DOI BibTeX RDF
10	Gene C. Barton	Sentry: A novel hardware implementation of classic operating system mechanisms.	ISCA	1982	DBLP BibTeX RDF