Search results for "Dependability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Elisabeth A. Strunk, John C. Knight	Dependability through Assured Reconfiguration in Embedded System Software.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	real-time systems, embedded systems, formal methods, Reconfiguration, concurrent systems
33	Shariful Islam, Robert Lindstrom, Neeraj Suri	Dependability Driven Integration of Mixed Criticality SW Components.	ISORC	2006	DBLP DOI BibTeX RDF
33	Michel Cukier, Ioana Rus	Workshop on Empirical Evaluation of Dependability and Security (WEEDS).	DSN	2006	DBLP DOI BibTeX RDF
33	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	Dependability and Flexibility Centered Approach for Composite Web Services Modeling.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
33	Stavros Isaiadis, Vladimir Getov	Dependability in Hybrid Grid Systems: A Virtual Clusters Approach.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
33	Jacques Henri Collet, Piotr Zajac, Yves Crouzet, Andrzej Napieralski	Contribution of Communications to Dependability in Massively-Defective General-Purpose Nanoarchitectures.	IOLTS	2006	DBLP DOI BibTeX RDF
33	Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker 0002	An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.	WADS	2006	DBLP DOI BibTeX RDF
33	Martin Neil, Manesh Tailor, Norman E. Fenton, David Marquez, Peter Stewart Hearty	Modeling Dependable Systems using Hybrid Bayesian Networks.	ARES	2006	DBLP DOI BibTeX RDF
33	Marc Fisher II, Gregg Rothermel	The EUSES spreadsheet corpus: a shared resource for supporting experimentation with spreadsheet dependability mechanisms.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	end-user programming, end-user software engineering
33	Lihua Xu, Hadar Ziv, Debra J. Richardson, Thomas A. Alspaugh	An architectural pattern for non-functional dependability requirements.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	software architecture, aspects, architecture patterns, nonfunctional requirements
33	Jean-Claude Laprie	Resilience for the Scalability of Dependability.	NCA	2005	DBLP DOI BibTeX RDF
33	Brendan Hall, Kevin Driscoll 0001, Michael Paulitsch, Samar Dajani-Brown	Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability.	DSN	2005	DBLP DOI BibTeX RDF
33	Arshad Jhumka, Stephan Klaus, Sorin A. Huss	A Dependability-Driven System-Level Design Approach for Embedded Systems.	DATE	2005	DBLP DOI BibTeX RDF
33	Barry Porter, Geoff Coulson	A Generic Approach to Dependability in Overlay Networks.	OTM Workshops	2005	DBLP DOI BibTeX RDF
33	Paolo Donzelli, Daniel Hirschbach, Victor R. Basili	Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis.	SEW	2005	DBLP DOI BibTeX RDF
33	Mark Blythe, Darren J. Reed, Peter C. Wright, Andrew F. Monk	Critical perspectives on dependability: an older person's experience of assistive technology.	Critical Computing	2005	DBLP DOI BibTeX RDF
33	Flavio De Paoli, Leonardo Mariani	Dependability in Peer-to-Peer Systems.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF
33	Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre	Using Model Checking to Assess the Dependability of Agent-Based Systems.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF
33	Charles P. Shelton, Philip Koopman	Improving System Dependability with Functional Alternatives.	DSN	2004	DBLP DOI BibTeX RDF
33	Juan-Carlos Ruiz-Garcia, Pedro Yuste, Pedro J. Gil, Lenin Lemus	On Benchmarking the Dependability of Automotive Engine Control Applications.	DSN	2004	DBLP DOI BibTeX RDF
33	John S. Fitzgerald	Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations.	FIDJI	2004	DBLP DOI BibTeX RDF
33	Marco Vieira, Henrique Madeira	Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking.	COMPSAC	2004	DBLP DOI BibTeX RDF
33	Nawal Addouche, Christian Antoine, Jacky Montmain	UML models for dependability analysis of real-time systems.	SMC (6)	2004	DBLP DOI BibTeX RDF
33	Christopher Martin 0004, Philip Koopman	Representing User Workarounds as a Component of System Dependability.	PRDC	2004	DBLP DOI BibTeX RDF
33	Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Roland Karch, Volkmar Sieh, Oliver Tschäche	Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions.	DSN	2003	DBLP DOI BibTeX RDF
33	Tianjun Shi, Xudong He	A Methodology for Dependability and Performability Analysis in SAM.	DSN	2003	DBLP DOI BibTeX RDF
33	Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi	Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques.	DSN	2003	DBLP DOI BibTeX RDF
33	Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield	A Dependability Model for Domestic Systems.	SAFECOMP	2003	DBLP DOI BibTeX RDF
33	Christof Eberst, Thomas Herbig	On the Application of the Concept of Dependability for Design and Analysis of Vision Systems.	ICVS	2003	DBLP DOI BibTeX RDF
33	Karama Kanoun	Dependability Benchmarking: How Far Are We?	LADC	2003	DBLP DOI BibTeX RDF
33	Domenico Cotroneo, Cristiano di Flora, Stefano Russo 0001	Improving Dependability of Service Oriented Architectures for Pervasive Computing.	WORDS	2003	DBLP DOI BibTeX RDF
33	Titos Saridakis	Dependability and Configurability: Partners or Competitors in Pervasive Computing?	SAFECOMP	2002	DBLP DOI BibTeX RDF
33	Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield	Dependability as Ordinary Action.	SAFECOMP	2002	DBLP DOI BibTeX RDF
33	Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi	Dependability Analysis of a Client/Server Software System with Rejuvenation.	ISSRE	2002	DBLP DOI BibTeX RDF
33	Jean Arlat	From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking.	IPDPS	2002	DBLP DOI BibTeX RDF
33	Eric Marsden, Jean-Charles Fabre, Jean Arlat	Dependability of CORBA Systems: Service Characterization by Fault Injection.	SRDS	2002	DBLP DOI BibTeX RDF
33	Andrea Bondavalli, Ivan Mura, István Majzik	Automated Dependability Analysis of UML Designs.	ISORC	1999	DBLP DOI BibTeX RDF
33	Laurence Rognin, Jean-Paul Blanquart	Impact of Communication on Systems Dependability: Human Factors Perspectives.	SAFECOMP	1999	DBLP DOI BibTeX RDF
33	Mourad Rabah, Karama Kanoun	Dependability Evaluation of a Distributed Shared Memory Multiprocessor System.	EDCC	1999	DBLP DOI BibTeX RDF
33	Inhwan Lee, Ravishankar K. Iyer	Software Dependability in the Tandem GUARDIAN System.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	fault categorization, operational phase, Tandem GUARDIAN System, Measurement, software reliability, software fault tolerance, recurrence
33	Richard G. Hamlet	Foundations of Software Testing: Dependability Theory.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
32	Xukai Zou, Yuan-Shun Dai, Bradley N. Doebbeling, Mingrui Qi	Dependability and Security in Medical Information System.	HCI (4)	2007	DBLP DOI BibTeX RDF	Medical Information System (MIS), Health Information Technology (HIT), Security, Dependability, Tele-medicine
32	Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Thomas Damiano	MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems.	ISAS	2007	DBLP DOI BibTeX RDF	Dependability Design Tools, Real-time SOA systems, Model-Driven Engineering, Generative programming
32	Lorenz Froihofer, Johannes Osrael, Karl M. Göschka	Middleware/application interactions to support adaptive dependability.	MAI	2007	DBLP DOI BibTeX RDF	constraint consistency, middleware/application interaction, integrity, web, dependability, replication, availability
32	Sheikh Iqbal Ahamed, Mohammad Zulkernine, Suresh Anamanamuri	A Dependable Device Discovery Approach for Pervasive Computing Middleware.	ARES	2006	DBLP DOI BibTeX RDF	Dependability and Availability, Pervasive computing, Middleware services, Device discovery
32	Paul Townend, Jie Xu 0007	Dependability in Grids.	IEEE Distributed Syst. Online	2005	DBLP DOI BibTeX RDF	grid computing, dependability
32	Daniel P. Siewiorek, Ram Chillarege, Zbigniew Kalbarczyk	Reflections on Industry Trends and Experimental Research in Dependability.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	Experimental research in dependability and security, computing industry trends
32	Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale	Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	parametric fault tree, stochastic well-formed nets, Dependability analysis
32	Régis Leveugle, Lörinc Antoni, Béla Fehér	Dependability Analysis: A New Application for Run-Time Reconfiguration.	IPDPS	2003	DBLP DOI BibTeX RDF	hardware emulation, fault injection, dependability analysis, Digital circuits, run-time reconfiguration
32	Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez 0001, Frédéric Salles	Dependability of COTS Microkernel-Based Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	COTS microkernels, dependability characterization, error confinement, fault injection, wrapping
32	Nenad Medvidovic, Marija Mikic-Rakic, Nikunj R. Mehta	Improving Dependability of Component-Based Systems via Multi-versioning Connectors.	WADS	2002	DBLP DOI BibTeX RDF	architectural middleware, Software architecture, dependability, software component, architectural style, software connector
32	Yinong Chen, Zhongshi He	Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems.	ISADS	2001	DBLP DOI BibTeX RDF	Distributed system, dependability, Markov model, fault-tolerant protocol
32	Régis Leveugle	A Low-Cost Hardware Approach to Dependability Validation of Ips.	DFT	2001	DBLP DOI BibTeX RDF	VHDL, emulation, fault injection, dependability analysis
32	Meng-Lai Yin, Douglas M. Blough, Lubomir Bic	A Dependability Analysis for Systems with Global Spares.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	global spares, nonexponential failures, graceful degradation, renewal processes, Dependability modeling
32	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
32	Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao	Hierarchical Simulation Approach to Accurate Fault Modeling for System Dependability Evaluation.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Hierarchical simulation, accurate fault modeling, dependability evaluation, fault dictionaries
32	João Carreira, Henrique Madeira, João Gabriel Silva	Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	real time, Fault injection, dependability evaluation, RISC processors
32	Richard C. Scalzo, Michelle M. Hugue	A Framework for Dependability Specification.	ICECCS	1996	DBLP DOI BibTeX RDF	real-time, framework, specification, dependability
32	Lorenz Froihofer, Johannes Osrael, Karl M. Göschka	Decoupling Constraint Validation from Business Activities to Improve Dependability in Distributed Object Systems.	ARES	2007	DBLP DOI BibTeX RDF
32	Wojciech Zamojski, Dariusz Caban	Introduction to the Dependability Modeling of Computer Systems.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
32	Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog	Towards a Stochastic Model for Integrated Security and Dependability Evaluation.	ARES	2006	DBLP DOI BibTeX RDF
32	Sam Maes, Philippe Leray 0001	Multi-Agent Causal Models for Dependability Analysis.	ARES	2006	DBLP DOI BibTeX RDF
28	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
28	Máté J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann	Foraging for Better Deployment of Replicated Service Components.	DAIS	2009	DBLP DOI BibTeX RDF
28	Andreas Reuter 0001	Dependable Systems - Wishful Thinking or Realistic Expectation?	UNISCON	2008	DBLP DOI BibTeX RDF
28	Karl M. Göschka, Svein O. Hallsteinsen, Rui Oliveira 0001, Alexander B. Romanovsky	Special track on Dependable and Adaptive Distributed Systems: editorial message.	SAC	2008	DBLP DOI BibTeX RDF
28	Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle	A modelling and simulation based process for dependable systems design.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
28	Henry Muccini, Marcio S. Dias, Debra J. Richardson	Towards software architecture-based regression testing.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	architecture-based testing and analysis, regression testing (RT), software architecture (SA), dependable systems
28	Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle	A Modelling and Simulation Based Approach to Dependable System Design.	MoDELS	2005	DBLP DOI BibTeX RDF
28	Rogério de Lemos, Paulo Asterio de Castro Guerra	Software Architectures for Dependable Systems.	LADC	2005	DBLP DOI BibTeX RDF
28	Anneliese Amschler Andrews, Per Runeson, Robert B. France	Requirements Trade-offs During UML Design.	ECBS	2004	DBLP DOI BibTeX RDF
28	Aaron B. Brown, Leonard Chung, William Kakes, Calvin Ling, David A. Patterson 0001	Experience with Evaluating Human-Assisted Recovery Processes.	DSN	2004	DBLP DOI BibTeX RDF
28	Silke Kuball, John H. R. May	Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set.	ISSRE	2004	DBLP DOI BibTeX RDF
28	Malcolm Mandviwalla, Nian-Feng Tzeng	DRA: A Dependable Architecture for High-Performance Routers.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
28	Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Peter T. Popov, Alexander B. Romanovsky	Dependable Composite Web Services with Components Upgraded Online.	WADS	2004	DBLP DOI BibTeX RDF
28	Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura	Service-Level Availability Estimation of GPRS.	IEEE Trans. Mob. Comput.	2003	DBLP DOI BibTeX RDF	outages, simulation, Availability, GPRS, stochastic activity networks, modeling and evaluation
28	Upkar Varshney, Alisha D. Malloy	Multilevel Fault-tolerance for Designing Dependable Wireless Networks.	HICSS	2003	DBLP DOI BibTeX RDF
28	Sheldon X. Liang, Joseph Puett, Luqi	Quantifiable Software Architecture for Dependable Systems of Systems.	WADS	2003	DBLP DOI BibTeX RDF
28	Shamus P. Smith, Michael D. Harrison	Improving Hazard Classification through the Reuse of Descriptive Arguments.	ICSR	2002	DBLP DOI BibTeX RDF
28	Paul Townend, Jie Xu 0007, Malcolm Munro	Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version.	WORDS	2001	DBLP DOI BibTeX RDF	Critical software and systems, industrial embedded systems, multi-version software, reliability and safety, fault tolerance
28	Isaac Levendel	HASE in Wireless Systems.	HASE	1999	DBLP DOI BibTeX RDF
26	Antonio Mancina, Dario Faggioli, Giuseppe Lipari, Jorrit N. Herder, Ben Gras, Andrew S. Tanenbaum	Enhancing a dependable multiserver operating system with temporal protection via resource reservations.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Real-time systems, Operating systems, Dependability, Resource reservations, Micro-kernel
26	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis.	VLDB J.	2009	DBLP DOI BibTeX RDF	QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model
26	Beoungil Cho, Hyunsang Youn, Eunseok Lee 0001	Performability analysis method from reliability and availability.	ICHIT	2009	DBLP DOI BibTeX RDF	performability, reliability, Markov chain, dependability, availability
26	Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi	Analysis and framework-based design of a fault-tolerant web information system for m-health.	Serv. Oriented Comput. Appl.	2008	DBLP DOI BibTeX RDF	CAA-DRIP, Fault tolerance, SOA, Mobility, Dependability, Coordinated atomic actions
26	Josh Dehlinger, Joanne Bechta Dugan	Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo.	QSIC	2008	DBLP DOI BibTeX RDF	dependability engineering, multi-agent systems, agent-oriented software engineering, dynamic fault trees
26	Roberto Pietrantuono	Component airbag: a novel approach to develop dependable component-based applications.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	dependability, COTS
26	Rogério de Lemos, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira	A Fault-Tolerant Architectural Approach for Dependable Systems.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	fault tolerance, reliability, software architecture, dependability, exception handling
26	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	2006	DBLP DOI BibTeX RDF	performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
26	Armando Fox, David A. Patterson 0001	Guest Editors' Introduction: Approaches to Recovery-Oriented Computing.	IEEE Internet Comput.	2005	DBLP DOI BibTeX RDF	recovery-oriented computing, dependability, self-healing systems
26	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
26	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
26	Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi	Markovian Modeling and Analysis of Internet Worm Propagation.	ISSRE	2005	DBLP DOI BibTeX RDF	Internet worm propagation, epidemic SIS model, kill signal, matrix geometric analysis, Markov model, dependability measures
26	Martin Hiller, Arshad Jhumka, Neeraj Suri	EPIC: Profiling the Propagation and Effect of Data Errors in Software.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Data error propagation, data error effect, dependability assessment, fault injection, software profiling
26	Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, Carl E. Landwehr	Basic Concepts and Taxonomy of Dependable and Secure Computing.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	fault forecasting, security, fault tolerance, trust, Dependability, attacks, errors, failures, faults, vulnerabilities, fault removal
26	Upkar Varshney	Location management for mobile commerce applications in wireless Internet environment.	ACM Trans. Internet Techn.	2003	DBLP DOI BibTeX RDF	infrastructure dependability, wireless LANs, mobile applications, location management, Mobile commerce, satellites, wireless Internet, wireless multicast
26	Alan Fedoruk, Ralph Deters	Using dynamic proxy agent replicate groups to improve fault-tolerance in multi-agent systems.	AAMAS	2003	DBLP DOI BibTeX RDF	agent replication, fault-tolerance, dependability
26	Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora	Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System.	DSN	2002	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Markov chains, Transient faults, Hierarchical modeling, Fault trees, Dependability modeling, Stochastic reward nets
26	Peter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky	On Systematic Design of Protectors for Employing OTS Items.	EUROMICRO	2001	DBLP DOI BibTeX RDF	error detection and recovery, dependability, traceability, COTS, System integration, wrapping
26	Timothy K. Tsai, Mei-Chen Hsueh, Hong Zhao, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Stress-Based and Path-Based Fault Injection.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	stress-based, path-based, program flow, fault tolerance, dependability, Fault injection, workload