Search results for "system dependability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche	A System Dependability Modeling Framework Using AADL and GSPNs.	WADS	2006	DBLP DOI BibTeX RDF	evaluation, model transformation, AADL, dependability modeling, GSPN
2	Zonghua Zhang, Hong Shen, Xavier Défago, Yingpeng Sang	A Brief Comparative Study on Analytical Models of Computer System Dependability and Security.	PDCAT	2005	DBLP DOI BibTeX RDF
2	Charles P. Shelton, Philip Koopman	Improving System Dependability with Functional Alternatives.	DSN	2004	DBLP DOI BibTeX RDF
2	Ravishankar K. Iyer, Zbigniew Kalbarczyk	Measurement-Based Analysis of System Dependability Using Fault Injection and Field Failure Data.	Performance	2002	DBLP DOI BibTeX RDF
2	David Garlan, Shang-Wen Cheng, Bradley R. Schmerl	Increasing System Dependability through Architecture-Based Self-Repair.	WADS	2002	DBLP DOI BibTeX RDF
2	Bonnie E. Melhart, Stephanie White	Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements.	ECBS	2000	DBLP DOI BibTeX RDF
2	Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno	Evaluating System Dependability in a Co-Design Framework.	DATE	2000	DBLP DOI BibTeX RDF	Dependability, Fault Injection, Safety-Critical Systems, HW/SW Codesign
2	Eric W. Brehm	System Dependability Assessment Tool.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Ming-chuan Zhang, Qing-tao Wu, Rui-juan Zheng, Wang-yang Wei, Guan-feng Li	Research on Grade Optimization Self-tuning Method for System Dependability Based on Autonomic Computing.	JCP	2012	DBLP DOI BibTeX RDF
1	Yves Crouzet, Karama Kanoun	System Dependability: Characterization and Benchmarking.	Advances in Computers	2012	DBLP DOI BibTeX RDF
1	Andreas Haeberlen, Mootaz Elnozahy	Seventh workshop on hot topics in system dependability (HotDep'11).	DSN	2011	DBLP DOI BibTeX RDF
1	Masaaki Takahashi, Bin Tang	LiteWS: A Web Service Enhancing Multi-User Queries in Data Intensive Sensor Networks.	ICC	2010	DBLP DOI BibTeX RDF
1	Husain Aljazzar	Directed diagnostics of system dependability models.		2009	RDF
1	Christof Fetzer, Rodrigo Rodrigues	Fifth Workshop on Hot Topics in System Dependability (HotDep 2009).	DSN	2009	DBLP DOI BibTeX RDF
1	Peter D. Ungsunan, Chuang Lin, Yi Gai, Xiangzhen Kong	Improving Multi-Core System Dependability with Asymmetrically Reliable Cores.	CISIS	2009	DBLP DOI BibTeX RDF
1	Tomohiro Katori, Lei Sun, Dennis K. Nilsson, Tatsuo Nakajima	Building a self-healing embedded system in a multi-OS environment.	SAC	2009	DBLP DOI BibTeX RDF	multi-OS environment, monitoring, self-healing
1	Siddhartha Datta, Bharat Joshi, Arun Ravindran, Arindam Mukherjee	Efficient parallel testing and diagnosis of digital microfluidic biochips.	JETC	2009	DBLP DOI BibTeX RDF	Microfluidic biochip, droplet flooding, fault tolerance, testing, reconfigurability, defect tolerance, multiple faults, microfluidics
1	Xu Zhang, Chuang Lin, Xiangzhen Kong	Model-Driven Dependability Analysis of Virtualization Systems.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Yi-Ying Zhang, Xi Luo, Laurence Tianruo Yang, Lei Shu, Weiwei Fang, Myong-Soon Park	A Compensation-Based Reliable Data Delivery for Instant Wireless Sensor Network.	HPCC	2009	DBLP DOI BibTeX RDF
1	Song Fu, Cheng-Zhong Xu	Proactive Resource Management for Failure Resilient High Performance Computing Clusters.	ARES	2009	DBLP DOI BibTeX RDF
1	Yung-Yuan Chen, Chung-Hsien Hsu, Kuen-Long Leu	SoC-level risk assessment using FMEA approach in system design with SystemC.	SIES	2009	DBLP DOI BibTeX RDF
1	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker	Compositional Dependability Evaluation for STATEMATE.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-driven assessment of system dependability.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Reliability, Dependability, Requirements, Safety, Use cases
1	Henryk Maciejewski, Tomasz Lipnicki	Data Exploration Methods for Transport System Dependability Analysis.	DepCoS-RELCOMEX	2008	DBLP DOI BibTeX RDF
1	Heli Tervo, Miia-Maarit Saarelainen, Jarmo J. Ahonen, Hanna-Miina Sihvonen	The Impact of Decision-Making on Information System Dependability.	ICSEA	2008	DBLP DOI BibTeX RDF
1	Jacob A. Abraham	Implications of Technology Trends on System Dependability.	DATE	2008	DBLP DOI BibTeX RDF
1	Souleymane Boundaouda Camara, José L. Abdelnour-Nocera, Lynne Dunckley	Exploring the problem domain: a socio-technical ICT design for the developing world.	PDC	2008	DBLP DOI BibTeX RDF	fitness for purpose, multi-disciplinary ICT design, socio-technical design and evaluation, participatory design
1	Brian Randell	System Complexity and System Failures.	ECBS	2008	DBLP DOI BibTeX RDF	Complexity, dependability
1	Ewa Idzikowska, Krzysztof Bucholc	Error Detection Schemes for CED in Block Ciphers.	EUC	2008	DBLP DOI BibTeX RDF
1	Zonghua Zhang, Farid Naït-Abdesselam, Pin-Han Ho	Boosting Markov Reward Models for Probabilistic Security Evaluation by Characterizing Behaviors of Attacker and Defender.	ARES	2008	DBLP DOI BibTeX RDF	Network security, anomaly detection, security evaluation, Markov Reward Models
1	Ross J. Anderson	Information Security Economics - and Beyond.	DEON	2008	DBLP DOI BibTeX RDF
1	Miguel Castro, John Wilkes	Third Workshop on Hot Topics in System Dependability HotDep'07.	DSN	2007	DBLP DOI BibTeX RDF
1	Jinpeng Wei, Calton Pu	Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks.	DSN	2007	DBLP DOI BibTeX RDF	Probabilistic Modeling, Race Condition
1	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	Failure Resilience for Device Drivers.	DSN	2007	DBLP DOI BibTeX RDF	Operating System Dependability, Device Driver Recovery, Failure Resilience
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches, run-time management
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches, run-time management
1	Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou	MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.	SOSP	2007	DBLP DOI BibTeX RDF	variable correlation, concurrency bug, bug detection
1	Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
1	Katarzyna Nowak, Lukasz Bagrij	Using Distributed Multilevel Agent-based Monitoring Technique for Automated Network Modelling Approach.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
1	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
1	Nianen Chen, Shangping Ren	Building a Coordination Framework to Support Behavior-Based Adaptive Checkpointing for Open Distributed Embedded Systems.	HICSS	2007	DBLP DOI BibTeX RDF
1	Zongwei Luo, Jenny S. Li, Edward C. Wong	SOA-Trust: Towards Developing Trustworthy RFID Enabled Intelligent Service Solutions.	ICEBE	2007	DBLP DOI BibTeX RDF
1	Yao-Hsin Chou, I-Ming Tsai, Chin-Shyurng Fahn, Shi-Jinn Horng, Sy-Yen Kuo	Dependabilities in a High-performance Quantum Real-time Distributed System.	ITNG	2007	DBLP DOI BibTeX RDF
1	Michael Jiang, Zhihui Yang	A Model-Driven Approach for Dependable Software Systems.	QSIC	2007	DBLP DOI BibTeX RDF	web services and software component, reliability, Dependability, availability, Meta-model
1	Rocco Aversa, Beniamino Di Martino, Massimiliano Rak, Salvatore Venticinque	A Framework for Mobile Agent Platform performance Evaluation.	WOWMOM	2007	DBLP DOI BibTeX RDF
1	Thierry Servat	BRAMA: A New Graphic Animation Tool for B Models.	B	2007	DBLP DOI BibTeX RDF
1	Ross Anderson, Tyler Moore	Information Security Economics - and Beyond.	CRYPTO	2007	DBLP DOI BibTeX RDF
1	Inseok Yang, Donggil Kim, Kyungmin Kang, Dongik Lee, Kyungsik Yoon	Smart Actuator-Based Fault-Tolerant Control for Networked Safety-Critical Embedded Systems.	ICESS	2007	DBLP DOI BibTeX RDF
1	Salvatore Distefano, Antonio Puliafito	Modeling Dependability of Dynamic Computing Systems.	ICIC	2007	DBLP DOI BibTeX RDF	Dynamic Reliability Block Diagrams, Dynamic Systems, Dependability Modeling, Dynamic Fault Trees
1	Qiang Huang, Xiaofeng Liang, Yingying Zhu	Evaluation of Dependable Embedded System.	ICIC	2007	DBLP DOI BibTeX RDF	Vehicle model, Evaluation, Embedded systems, Dependable, Driver model
1	Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter, Axel Tanner	Architecting Dependable and Secure Systems Using Virtualization.	WADS	2007	DBLP DOI BibTeX RDF
1	Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic	Using Architecture Analysis to Evolve Complex Industrial Systems.	WADS	2007	DBLP DOI BibTeX RDF	D.2.11 Software Architectures, D.2.7.m Restructuring, reverse engineering, reengineering
1	Janusz Sosnowski, Andrzej Tymoczko, Piotr Gawkowski	An Approach to Distributed Fault Injection Experiments.	PPAM	2007	DBLP DOI BibTeX RDF	processor intensive workloads, performance evaluation, distributed systems, load balancing, task scheduling
1	Janusz Sosnowski, Przemyslaw Zygulski, Piotr Gawkowski	Developing Data Warehouse for Simulation Experiments.	RSEISP	2007	DBLP DOI BibTeX RDF
1	Fei Su, William L. Hwang, Arindam Mukherjee, Krishnendu Chakrabarty	Testing and Diagnosis of Realistic Defects in Digital Microfluidic Biochips.	J. Electronic Testing	2007	DBLP DOI BibTeX RDF	testing, diagnosis, fault modeling, defects, microfluidics, biochips, biosensors
1	Kevin Adams, Denis Gracanin	Using adaptive scheduling for increased resiliency in passive asynchronous replication.	ISSE	2007	DBLP DOI BibTeX RDF	Policy-based backup, Backup/recovery, Neural Networks, Algorithms, Data Replication
1	Paolo Donzelli, Victor R. Basili	A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	James R. Larus	Abolish runtime systems: operating systems should control the execution.	VEE	2006	DBLP DOI BibTeX RDF
1	Daniel Davids, Siddhartha Datta, Arindam Mukherjee, Bharat Joshi, Arun Ravindran	Multiple fault diagnosis in digital microfluidic biochips.	JETC	2006	DBLP DOI BibTeX RDF	Microfluidic biochip, droplet flooding, faults tolerance, testing, multiple fault
1	Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, Jeffrey J. P. Tsai	Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	Ian A. Troxel, Alan D. George	Adaptable and Autonomic Mission Manager for Dependable Aerospace Computing.	DASC	2006	DBLP DOI BibTeX RDF
1	Janusz Sosnowski, Piotr Gawkowski, Przemyslaw Zygulski, Andrzej Tymoczko	Enhancing Fault Injection Testbench.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
1	Wojciech Zamojski, Dariusz Caban	Introduction to the Dependability Modeling of Computer Systems.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
1	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	Construction of a Highly Dependable Operating System.	EDCC	2006	DBLP DOI BibTeX RDF
1	Marija Mikic-Rakic, Nenad Medvidovic	A Classification of Disconnected Operation Techniques.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Martin Randles, A. Taleb-Bendiab, Philip Miseldine	Addressing the Signal Grounding Problem for Autonomic Systems.	ICAS	2006	DBLP DOI BibTeX RDF
1	Martin Neil, Manesh Tailor, Norman E. Fenton, David Marquez, Peter Hearty	Modeling Dependable Systems using Hybrid Bayesian Networks.	ARES	2006	DBLP DOI BibTeX RDF
1	Elisabeth A. Strunk, John C. Knight	Dependability through Assured Reconfiguration in Embedded System Software.	IEEE Trans. Dependable Sec. Comput.	2006	DBLP DOI BibTeX RDF	real-time systems, embedded systems, formal methods, Reconfiguration, concurrent systems
1	Laurent Cauffriez, Vincent Benard, Dominique Renaux	A New Formalism for Designing and Specifying RAMS Parameters for Complex Distributed Control Systems: The Safe-SADT Formalism.	IEEE Transactions on Reliability	2006	DBLP DOI BibTeX RDF
1	Rodrigo B. de Paes, Gustavo R. de Carvalho, Maíra A. de C. Gatti, Carlos José Pereira de Lucena, Jean-Pierre Briot, Ricardo Choren	Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems.	E4MAS	2006	DBLP DOI BibTeX RDF
1	Taikyeong T. Jeong, Jaemyoung Lee	Design and Verification for Hierarchical Power Efficiency System (HPES) Design Techniques Using Low Power CMOS Digital Logic.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk	Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.	WADS	2006	DBLP DOI BibTeX RDF
1	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione	A Practical Architecture-Centric Analysis Process.	QoSA	2006	DBLP DOI BibTeX RDF
1	Jie Xu, Simon Pears	A Dynamic Shadow Approach to Fault-Tolerant Mobile Agents in an Autonomic Environment.	Real-Time Systems	2006	DBLP DOI BibTeX RDF	server crash failures, performance evaluation, fault tolerance, mobile agents, autonomic computing, exception handling
1	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng	Improving system dependability by enforcing architectural intent.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Domenico Cotroneo, Generoso Paolillo, Stefano Russo, Mario Lauria	CSAR-2: A Case Study of Parallel File System Dependability Analysis.	HPCC	2005	DBLP DOI BibTeX RDF
1	Xudong He	A Framework for Ensuring System Dependability from Design to Implementation.	MSVVEIS	2005	DBLP BibTeX RDF
1	John C. Georgas, André van der Hoek, Richard N. Taylor	Architectural runtime configuration management in support of dependable self-adaptive software.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	architectural runtime configuration management, dependability, self-adaptive software
1	Henry Muccini, Marcio S. Dias, Debra J. Richardson	Towards software architecture-based regression testing.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	architecture-based testing and analysis, regression testing (RT), software architecture (SA), dependable systems
1	Nik Looker, Malcolm Munro, Jie Xu	Increasing Web Service Dependability Through Consensus Voting.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	Joakim Aidemark, Peter Folkesson, Johan Karlsson	A Framework for Node-Level Fault Tolerance in Distributed Real-Time Systems.	DSN	2005	DBLP DOI BibTeX RDF
1	Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman	Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.	DSN	2005	DBLP DOI BibTeX RDF
1	Anton Michlmayr, Pascal Fenkam	Integrating Distributed Object Transactions with Wide-Area Content-Based Publish/Subscribe Systems.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
1	Kevin P. Adams, Denis Gracanin, Michael G. Hinchey	Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication.	ICPADS	2005	DBLP DOI BibTeX RDF
1	Michael G. Hinchey, James L. Rash, Christopher Rouff	Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems.	ICPADS	2005	DBLP DOI BibTeX RDF
1	Nicolás Serrano, Fernando Alonso, Jose Maria Sarriegi, Javier Santos, Ismael Ciordia	A New Undo Function for Web-Based Management Information Systems.	IEEE Internet Computing	2005	DBLP DOI BibTeX RDF	middleware, automatic programming, user interface management systems, business logic
1	Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Jefferson	Protective Wrapping of Off-the-Shelf Components.	ICCBSS	2005	DBLP DOI BibTeX RDF
1	LiGuo Huang	A Value-Based Process for Achieving Software Dependability.	ISPW	2005	DBLP DOI BibTeX RDF
1	Ian Sommerville	Extreme Programming for Critical Systems?.	XP	2005	DBLP DOI BibTeX RDF
1	Christopher Martin, Philip Koopman	Representing User Workarounds as a Component of System Dependability.	PRDC	2004	DBLP DOI BibTeX RDF
1	Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun	Benchmarking Operating System Dependability: Windows 2000 as a Case Study.	PRDC	2004	DBLP DOI BibTeX RDF
1	Joshua LeVasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz	Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines.	OSDI	2004	DBLP BibTeX RDF
1	Michael D. Harrison, Lorenzo Strigini	Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability.	DSN	2004	DBLP BibTeX RDF
1	Kimberly Keeton, Arif Merchant	A Framework for Evaluating Storage System Dependability.	DSN	2004	DBLP DOI BibTeX RDF
1	John C. Knight	An Introduction to Computing System Dependability. (PDF / PS)	ICSE	2004	DBLP DOI BibTeX RDF
1	Kimberly Keeton, Dirk Beyer 0002, Jeffrey S. Chase, Arif Merchant, Cipriano A. Santos, John Wilkes	Lessons and challenges in automating data dependability.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
1	Armando Fox, Emre Kiciman, David A. Patterson	Combining statistical monitoring and predictable recovery for self-management.	WOSS	2004	DBLP DOI BibTeX RDF
1	Ilir Gashi, Peter T. Popov, Lorenzo Strigini	Fault Diversity among Off-The-Shelf SQL Database Servers.	DSN	2004	DBLP DOI BibTeX RDF
1	Anneliese Amschler Andrews, Per Runeson, Robert B. France	Requirements Trade-offs During UML Design.	ECBS	2004	DBLP DOI BibTeX RDF
1	Linas Laibinis, Elena Troubitsyna	Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.	SEFM	2004	DBLP DOI BibTeX RDF