Search results for "Watchdog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Xi Chen, Juejing Feng, Martin Hiller, Vera Lauer	Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems.	DSN	2007	DBLP DOI BibTeX RDF	Software Watchdog, heartbeat monitoring, program flow checking, automotive dependable software platform and software services
3	Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin	Watchdog Transformations for Property-Oriented Model-Checking.	FME	2003	DBLP DOI BibTeX RDF	Watchdog Transformation, Model-Checking, Compression, CSP, FDR, State Explosion Problem
2	Guanhua Yan, Stephan Eidenbenz, Emanuele Galli	SMS-Watchdog: Profiling Social Behaviors of SMS Users for Anomaly Detection.	RAID	2009	DBLP DOI BibTeX RDF	JS-divergence, anomaly detection, SMS, relative entropy
2	Guanhua Yan, Stephan Eidenbenz, Bo Sun	Mobi-watchdog: you can steal, but you can't run!	WISEC	2009	DBLP DOI BibTeX RDF	hhmm, mobility, wireless networks, anomaly detection
2	Chih-Lin Hu, Chung-Kuang Chou	RSS watchdog: an instant event monitor on real online news streams.	CIKM	2009	DBLP DOI BibTeX RDF	online stream, clustering, information system, monitoring, data stream, RSS, news
2	Tarek R. Sheltami, Anas Al-Roubaiey, Elhadi Shakshuki, Ashraf S. Hasan Mahmoud	Video transmission enhancement in presence of misbehaving nodes in MANETs.	Multimedia Syst.	2009	DBLP DOI BibTeX RDF	Watchdog, TWOACK, Misbehaving nodes, H264, MANET, IDS, DSR, MPEG4
2	Christoph Stögerer, Wolfgang Kastner	Extending the Watchdog Pattern for multi-threaded windows based traffic management and control applications.	ETFA	2008	DBLP DOI BibTeX RDF
2	Christian Metzger, Christian Floerkemeier, Philippe Bourquin, Elgar Fleisch	Making Radio Frequency Identification Visible - A Watchdog Tag.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
2	Khaled Elmeleegy, Alan L. Cox, T. S. Eugene Ng	Etherfuse: an ethernet watchdog.	SIGCOMM	2007	DBLP DOI BibTeX RDF	count to infinity, forwarding loop, network watchdog, reliability, ethernet
2	Amir Rajabzadeh, Seyed Ghassem Miremadi, Mirzad Mohandespour	Error Detection Enhancement in COTS Superscalar Processors with Performance Monitoring Features.	J. Electronic Testing	2004	DBLP DOI BibTeX RDF	COTS processors, fault injection, performance monitoring, analytical evaluation, watchdog processor, error detection coverage
2	Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale, Paolo Prinetto	A Watchdog Processor to Detect Data and Control Flow Errors.	IOLTS	2003	DBLP DOI BibTeX RDF
2	Francisco Rodríguez, José Carlos Campelo, Juan José Serrano	A Watchdog Processor Architecture with Minimal Performance Overhead.	SAFECOMP	2002	DBLP DOI BibTeX RDF
2	Sang Keun Yoo, Hyun Gon Kim, Seung Won Sohn	Enhancement of Failover Using Application Layer Watchdog and SCTP Heartbeat in Diameter.	CDMA International Conference	2002	DBLP DOI BibTeX RDF
2	Olivier Maquelin, Guang R. Gao, Herbert H. J. Hum, Kevin B. Theobald, Xinmin Tian	Polling Watchdog: Combining Polling and Interrupts for Efficient Message Handling.	ISCA	1996	DBLP DOI BibTeX RDF
2	István Majzik	Software Monitoring and Debugging Using Compressed Signature Sequences.	EUROMICRO	1996	DBLP DOI BibTeX RDF	run-time sequence, compressed signature sequences, signature based error detection techniques, signature buffer, real-time compression methods, predefined dictionaries, program debugging, structural information, software monitoring, software debugging, watchdog processors
2	István Majzik, András Pataricza, Mario Dal Cin, Wolfgang Hohl, Joachim Hönig, Volkmar Sieh	Hierarchical Checking of Multiprocessors Using Watchdog Processors.	EDCC	1994	DBLP DOI BibTeX RDF
2	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
2	Nirmal R. Saxena, Edward J. McCluskey	Control-Flow Checking Using Watchdog Assists and Extended-Precision Checksums.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	analytical measures, watchdog assists, extended-precision checksums, control-flow checking method, error detection latency, signature-based methods, cache-based environments, Hewlett-Packard Precision Architecture, fault tolerant computing, concurrency control, multiprocessor, computer architecture, error detection, multiprogramming
2	David J. Lu	Watchdog Processors and Structural Integrity Checking.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	structural integrity checking (SIC), error detection, Pascal, Control flow, structured programming, watchdog processor
1	Enrique Hernández-Orallo, Manuel D. Serrat, Juan-Carlos Cano, Carlos Miguel Tavares Calafate, Pietro Manzoni	Improving Selfish Node Detection in MANETs Using a Collaborative Watchdog.	IEEE Communications Letters	2012	DBLP DOI BibTeX RDF
1	MinJi Kim, Muriel Médard, João Barros	Algebraic Watchdog: Mitigating Misbehavior in Wireless Network Coding.	IEEE Journal on Selected Areas in Communications	2011	DBLP DOI BibTeX RDF
1	Chrisil Arackaparambil, Guanhua Yan	Wiki-Watchdog: Anomaly Detection in Wikipedia Through a Distributional Lens.	Web Intelligence	2011	DBLP DOI BibTeX RDF
1	Osman Ugus, Dirk Westhoff	An MTM based Watchdog for Malware Famishment in Smartphones.	IICS	2011	DBLP BibTeX RDF
1	Maria Pohronska, Tibor Krajcovic	FPGA implementation of multiple hardware watchdog timers for enhancing real-time systems security.	EUROCON	2011	DBLP DOI BibTeX RDF
1	Benjamin Stefan Devlin, Makoto Ikeda, Kunihiro Asada	Gate-level autonomous watchdog circuit for error robustness based on a 65nm self synchronous system.	ICECS	2011	DBLP DOI BibTeX RDF
1	MinJi Kim, Muriel Médard, João Barros	A Multi-hop Multi-source Algebraic Watchdog	CoRR	2010	DBLP BibTeX RDF
1	MinJi Kim, Muriel Médard, João Barros	Algebraic Watchdog: Mitigating Misbehavior in Wireless Network Coding	CoRR	2010	DBLP BibTeX RDF
1	Raul Barbosa	Monitoring Local Progress with Watchdog Timers Deduced from Global Properties.	SRDS	2010	DBLP DOI BibTeX RDF	watchdogs, fault tolerance, distributed systems, model checking, intrusion tolerance, online monitoring
1	Lei Lei	The C2C Web Site Cost Analysis Basing on the Role as a Credit Watchdog.	ICEE	2010	DBLP DOI BibTeX RDF
1	Guanfeng Liang, Rachit Agarwal, Nitin H. Vaidya	When Watchdog Meets Coding.	INFOCOM	2010	DBLP DOI BibTeX RDF
1	Matthew Keally, Gang Zhou, Guoliang Xing	Watchdog: Confident Event Detection in Heterogeneous Sensor Networks.	IEEE Real-Time and Embedded Technology and Applications Symposium	2010	DBLP DOI BibTeX RDF	machine learning, event, detection, irregularity
1	Anas Al-Roubaiey, Tarek Sheltami, Ashraf S. Mahmoud, Elhadi Shakshuki, H. T. Mouftah	AACK: Adaptive Acknowledgment Intrusion Detection for MANET with Node Detection Enhancement.	AINA	2010	DBLP DOI BibTeX RDF	Watchdog, TWOACK, AACK, Misbehaving, MANET, IDS, DSR, packet dropping
1	Husheng Li	Restless Watchdog: Selective Quickest Spectrum Sensing in Multichannel Cognitive Radio Systems.	EURASIP J. Adv. Sig. Proc.	2009	DBLP DOI BibTeX RDF
1	MinJi Kim, Muriel Médard, João Barros, Ralf Koetter	An Algebraic Watchdog for Wireless Network Coding	CoRR	2009	DBLP BibTeX RDF
1	Guanfeng Liang, Nitin H. Vaidya	When Watchdog Meets Coding	CoRR	2009	DBLP BibTeX RDF
1	Guanhua Yan, Leticia Cuellar, Stephan Eidenbenz, Nicolas W. Hengartner	Blue-Watchdog: Detecting Bluetooth worm propagation in public areas.	DSN	2009	DBLP DOI BibTeX RDF
1	MinJi Kim, Ralf Koetter, Muriel Médard, João Barros	An algebraic watchdog for wireless network coding.	ISIT	2009	DBLP DOI BibTeX RDF
1	Husheng Li	Restless Watchdog: Monitoring Multiple Bands with Blind Period in Cognitive Radio Systems.	ICC	2009	DBLP DOI BibTeX RDF
1	Ian Reay, Scott Dick, James Miller	A large-scale empirical study of P3P privacy policies: Stated actions vs. legal obligations.	TWEB	2009	DBLP DOI BibTeX RDF	legislation and enforcement, electronic commerce, Privacy protection, P3P
1	Dario Schor, Jane Scowcroft, Christopher Nichols, Witold Kinsner	A Command and Data Handling unit for pico-satellite missions.	CCECE	2009	DBLP DOI BibTeX RDF
1	Alexander Thiem, Kai-Uwe Sattler	An Integrated Approach to Performance Monitoring for Autonomous Tuning.	ICDE	2009	DBLP DOI BibTeX RDF
1	Chalermek Intanagonwiwat, Sutthipong Lertmanorat	An approach for promoting contribution in GAF-based ad hoc networks: design and implementation.	MSWiM	2008	DBLP DOI BibTeX RDF	GAF, selfish node detection, wireless ad hoc networks
1	Haiguang Chen, Huafeng Wu, Jinchu Hu, Chuanshan Gao	Agent-Based Trust Management Model for Wireless Sensor Networks.	MUE	2008	DBLP DOI BibTeX RDF
1	Hung-Chuan Lai, Shi-Jinn Horng, Yung-Yuan Chen	An Online Control Flow Check for VLIW Processor.	PRDC	2008	DBLP DOI BibTeX RDF
1	Jin Wook Lee, Yann-Hang Lee, Violet R. Syrotiuk	The performance of a watchdog protocol for wireless network security.	IJWMC	2007	DBLP DOI BibTeX RDF
1	Syed Sajjad Rizvi, Saroj Poudyal, Varsha Edla, Ravi Nepal	A novel approach for creating trust to reduce malicious behavior in MANET.	CoNEXT	2007	DBLP DOI BibTeX RDF	reputation trust, ad hoc networks, dynamic source routing
1	Lei Huang, Li Lei, Lixiang Liu, Haibin Zhang, Linsha Tang	Stimulating cooperation in route discovery of ad hoc networks.	Q2SWinet	2007	DBLP DOI BibTeX RDF	reputation-based, routing cooperation, ad hoc network
1	Tarag Fahad, Djamel Djenouri, Robert Askwith, Madjid Merabti	A New Low Cost Sessions-Based Misbehaviour Detection Protocol (SMDP) for MANET.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Zhou Wang, Chunxiao Chigan	Countermeasure Uncooperative Behaviors with Dynamic Trust-Token in VANETs.	ICC	2007	DBLP DOI BibTeX RDF
1	Tarag Fahad, Djamel Djenouri, Robert Askwith	On Detecting Packets Droppers in MANET: A Novel Low Cost Approach.	IAS	2007	DBLP DOI BibTeX RDF
1	Fabian Vargas, Leonardo Piccoli, Juliano Benfica, Antonio A. de Alecrim Jr., Marlon Moraes	Time-Sensitive Control-Flow Checking for Multitask Operating System-Based SoCs.	IOLTS	2007	DBLP DOI BibTeX RDF
1	Hung-Chuan Lai, Shi-Jinn Horng, Yong-Yuan Chen, Pingzhi Fan, Yi Pan	A New Concurrent Detection of Control Flow Errors Based on DCT Technique.	PRDC	2007	DBLP DOI BibTeX RDF
1	Yizheng Zhou, Vijay Lakamraju, Israel Koren, C. M. Krishna	Software-Based Failure Detection and Recovery in Programmable Network Interfaces.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	Programmable Network Interface Card (NIC), Single Event Upset (SEU), radiation induced faults, failure detection, self-testing
1	Erik Buchmann	Trust Mechanisms and Reputation Systems.	Algorithms for Sensor and Ad Hoc Networks	2007	DBLP DOI BibTeX RDF
1	Jerzy Konorski	An Incentive-Based Forwarding Protocol for Mobile Ad Hoc Networks with Anonymous Packets.	NEW2AN	2007	DBLP DOI BibTeX RDF
1	Ken Ueno, Tetsuya Hirose, Tetsuya Asai, Yoshihito Amemiya	A CMOS Watchdog Sensor for Certifying the Quality of Various Perishables with a Wider Activation Energy.	IEICE Transactions	2006	DBLP DOI BibTeX RDF
1	Charlie Obimbo, Liliana M. Arboleda C., Yunfeng Chen	A Watchdog Enhancement to IDS in MANET.	Wireless and Optical Communications	2006	DBLP BibTeX RDF
1	David Wolber	Political e-identity: campaign funding data and beyond.	DG.O	2006	DBLP DOI BibTeX RDF	campaigns, visualization, semantic web, public participation
1	Jin Yang, Jiannong Cao, Weigang Wu, Corentin Travers	The notification based approach to implementing failure detectors in distributed systems.	Infoscale	2006	DBLP DOI BibTeX RDF	QoS, performance evaluation, fault tolerance, failure detector, heartbeat
1	Derek A. Park, Stephen V. Rice	A framework for unified resource management in Java.	PPPJ	2006	DBLP DOI BibTeX RDF	resource monitoring and deallocation, exception handling
1	Stefanos Skoulaxinos	SW-HW Co-design and Fault Tolerant Implementation for the LRID Wireless Communication System.	AHS	2006	DBLP DOI BibTeX RDF
1	Federico Rota, Shantanu Dutt, Sahithi Krishna	Off-Chip Control Flow Checking of On-Chip Processor-Cache Instruction Stream.	DFT	2006	DBLP DOI BibTeX RDF
1	Yizheng Zhou, Vijay Lakamraju, Israel Koren, C. Mani Krishna	Software-Based Adaptive and Concurrent Self-Testing in Programmable Network Interfaces.	ICPADS	2006	DBLP DOI BibTeX RDF
1	Tai Hyo Kim, Sung Deok Cha	Timed High-Level Message Sequence Charts for Real-Time System Design.	SAM	2006	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Yinnon A. Haviv	Stabilization Enabling Technology.	SSS	2006	DBLP DOI BibTeX RDF
1	Adam J. Rocke, Ronald F. DeMara	CONFIDANT: Collaborative Object Notification Framework for Insider Defense using Autonomous Network Transactions.	Autonomous Agents and Multi-Agent Systems	2006	DBLP DOI BibTeX RDF	Distributed Agent Control and Dispatch, Agent Handshaking Protocols, Intrusion Detection System Taxonomy, Network Security
1	Yung-Yuan Chen	Concurrent Detection of Control Flow Errors by Hybrid Signature Monitoring.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	error-detection latency, Concurrent error detection, signature scheme, watchdog processor, error-detection coverage
1	Chih-Chieh Han, Ram Kumar, Roy Shea, Eddie Kohler, Mani B. Srivastava	A dynamic operating system for sensor nodes.	MobiSys	2005	DBLP DOI BibTeX RDF
1	Amir Rajabzadeh	A 32-Bit COTS-Based Fault-Tolerant Embedded System.	IOLTS	2005	DBLP DOI BibTeX RDF
1	Amir Rajabzadeh, Seyed Ghassem Miremadi	A Hardware Approach to Concurrent Error Detection Capability Enhancement in COTS Processors.	PRDC	2005	DBLP DOI BibTeX RDF
1	Djamel Djenouri, Nabil Ouali, Ahmed Mahmoudi, Nadjib Badache	Random Feedbacks for Selfish Nodes Detection in Mobile Ad Hoc Networks.	IPOM	2005	DBLP DOI BibTeX RDF
1	Yung-Yuan Chen, Kun-Feng Chen	Incorporating Signature-Monitoring Technique in VLIW Processors.	DFT	2004	DBLP DOI BibTeX RDF
1	Gergely Pintér, István Majzik	Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms.	EUROMICRO	2004	DBLP DOI BibTeX RDF
1	Amir Rajabzadeh, Seyed Ghassem Miremadi, Mirzad Mohandespour	Experimental Evaluation of Master/Checker Architecture Using Power Supply- and Software-Based Fault Injection.	IOLTS	2004	DBLP DOI BibTeX RDF
1	Amir Rajabzadeh, Mirzad Mohandespour, Seyed Ghassem Miremadi	Error Detection Enhancement in COTS Superscalar Processors with Event Monitoring Features.	PRDC	2004	DBLP DOI BibTeX RDF
1	Sonja Buchegger, Cédric Tissières, Jean-Yves Le Boudec	A Test-Bed for Misbehavior Detection in Mobile Ad-hoc Networks -- How Much Can Watchdogs Really Do?	WMCSA	2004	DBLP DOI BibTeX RDF
1	Yann-Hang Lee, Vikram Phadke, Amit Deshmukh, Jin Wook Lee	Key Management in Wireless Sensor Networks.	ESAS	2004	DBLP DOI BibTeX RDF
1	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
1	Jerzy Konorski	Fair Packet Forwarding in MANETs with Anonymous Stations: A Game-Theoretic Approach.	NETWORKING	2004	DBLP DOI BibTeX RDF
1	Chengliang Liu, Xuan F. Zha, Yubin Miao, Jay Lee	Internet Server Controller Based Intelligent Maintenance System for Products.	WSC	2004	DBLP DOI BibTeX RDF
1	Christian Floerkemeier, Roland Schneider, Marc Langheinrich	Scanning with a Purpose - Supporting the Fair Information Principles in RFID Protocols.	UCS	2004	DBLP DOI BibTeX RDF
1	Dragan Djurdjanovic, Jay Lee, Jun Ni	Watchdog Agent - an infotronics-based prognostics approach for product performance degradation assessment and prediction.	Advanced Engineering Informatics	2003	DBLP DOI BibTeX RDF
1	Vijay Lakamraju, Israel Koren, C. Mani Krishna	Low Overhead Fault Tolerant Networking in Myrinet.	DSN	2003	DBLP DOI BibTeX RDF
1	Srikant Sharma, Jiawu Chen, Wei Li 0020, Kartik Gopalan, Tzi-cker Chiueh	Duplex: A Reusable Fault Tolerance Extension Framework for Network Access Devices.	DSN	2003	DBLP DOI BibTeX RDF
1	Christof Fetzer	Perfect Failure Detection in Timed Asynchronous Systems.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Perfect failure detection, timed asynchronous system model, asynchronous distributed systems, crash failures
1	Francisco Rodríguez, José Carlos Campelo, Juan José Serrano	A Memory Overhead valuation of the Interleaved Signature Instruction Stream. (PDF / PS)	DFT	2002	DBLP DOI BibTeX RDF
1	João Carlos Cunha, António Correia, Jorge Henriques, Mário Zenha Rela, João Gabriel Silva	Reset-Driven Fault Tolerance.	EDCC	2002	DBLP DOI BibTeX RDF
1	Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale, Paolo Prinetto, Luca Tagliaferri	Control-Flow Checking via Regular Expressions.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
1	Christof Fetzer	Enforcing Perfect Failure Detection.	ICDCS	2001	DBLP DOI BibTeX RDF
1	Boualem Laichi, Yamina Sami	ATC : Actors with Temporal Constraints.	ISORC	2001	DBLP DOI BibTeX RDF	configurations class, real time systems, semantic, syntax, temporal constraints, Actor model
1	Sergio Marti, Thomas J. Giuli, Kevin Lai, Mary Baker	Mitigating routing misbehavior in mobile ad hoc networks.	MOBICOM	2000	DBLP DOI BibTeX RDF
1	Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins	An Algorithm for Tolerating Crash Failures in Distributed Systems.	ECBS	2000	DBLP DOI BibTeX RDF	Fault Tolerance, Distributed Systems, Distributed Algorithms, Software-Implemented Fault Tolerance
1	Daniel Gil, Joaquin Gracia, Juan Carlos Baraza, Pedro J. Gil	A Study of the Effects of Transient Fault Injection into the VHDL Model of a Fault-Tolerant Microcomputer System.	IOLTW	2000	DBLP DOI BibTeX RDF
1	K. H. Kim, Masaki Ishida, Juqiang Liu	An Efficient Middleware Architecture Supporting Time-Triggered Message-Triggered Objects and an NT-based Implementation.	ISORC	1999	DBLP DOI BibTeX RDF	watchdog timer, atomic section, object data store, spontaneous method, NT, scheduler, middleware, object, thread, TMO, time-triggered, message triggered, TMOSM
1	Yung-Yuan Chen	Concurrent Detection of Processor Control Errors by Hybrid Signature Monitoring.	EDCC	1999	DBLP DOI BibTeX RDF
1	Daniel Gil, R. Martínez, J. V. Busquets, Juan Carlos Baraza, Pedro J. Gil	Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System.	EDCC	1999	DBLP DOI BibTeX RDF
1	Shambhu J. Upadhyaya, Bina Ramamurthy	Concurrent Process Monitoring with No Reference Signatures.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	concurrent process monitoring, signature technique, compilation phase, signature checking, controllable latency, branch-free interval, error coverage, sequencing errors, fault tolerant computing, controllability, program testing, signature analysis, control flow graph, error checking, bit errors, watchdog processor, error latency
1	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
1	András Pataricza, István Majzik, Wolfgang Hohl, Joachim Hönig	Watchdog processors in parallel systems.	Microprocessing and Microprogramming	1993	DBLP DOI BibTeX RDF
1	Joakim Ohlsson, Marcus Rimén, Ulf Gunneflo	A Study of the Effects of Transient Fault Injection into a 32-bit RISC with Built-in Watchdog.	FTCS	1992	DBLP DOI BibTeX RDF