Search results for "dependability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Rami Bahsoon	Defining Dependable Dynamic Data-Driven Software Architectures.	IRI	2007	DBLP DOI BibTeX RDF
14	Naghmeh Karimi, Shahrzad Mirkhani, Zainalabedin Navabi, Fabrizio Lombardi	RT level reliability enhancement by constructing dynamic TMRS.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	fault tolerant, reliability, TMR, RTL design
14	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
14	Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf	Reliability Analysis of Concurrent Systems Using LTSA.	ICSE Companion	2007	DBLP DOI BibTeX RDF
14	Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi	On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
14	Ross J. Anderson, Tyler Moore 0001	Information Security Economics - and Beyond.	CRYPTO	2007	DBLP DOI BibTeX RDF
14	Zhenbang Chen, Zhiming Liu 0001, Volker Stolz, Lu Yang, Anders P. Ravn	A Refinement Driven Component-Based Design.	ICECCS	2007	DBLP DOI BibTeX RDF	object-orientation, refinement, Software development process, component-based modeling
14	Theofrastos Koulouris, George Spanoudakis, Theocharis Tsigkritis	Towards a Framework for Dynamic Verification of Peer-to-Peer Systems.	ICIW	2007	DBLP DOI BibTeX RDF
14	Juan A. Carrasco	Failure Transition Distance-Based Importance Sampling Schemes for theSimulation of Repairable Fault-Tolerant Computer Systems.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
14	Bridget Kane, Saturnino Luz	Multidisciplinary Medical Team Meetings: An Analysis of Collaborative Working with Special Attention to Timing and Teleconferencing.	Comput. Support. Cooperative Work.	2006	DBLP DOI BibTeX RDF	multidisciplinary medical team meetings, ethnography, healthcare, interaction analysis, teleconference
14	Kimberly Keeton, Arif Merchant	Challenges in managing dependable data systems.	SIGMETRICS Perform. Evaluation Rev.	2006	DBLP DOI BibTeX RDF
14	Daniel Davids, Siddhartha Datta, Arindam Mukherjee 0001, Bharat Joshi, Arun Ravindran	Multiple fault diagnosis in digital microfluidic biochips.	ACM J. Emerg. Technol. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Microfluidic biochip, droplet flooding, faults tolerance, testing, multiple fault
14	Luís Moura Silva, Henrique Madeira, João Gabriel Silva	Software Aging and Rejuvenation in a SOAP-based Server.	NCA	2006	DBLP DOI BibTeX RDF
14	Paolo Bernardi, Letícia Maria Veiras Bolzani, Alberto Manzone, Massimo Osella, Massimo Violante, Matteo Sonza Reorda	Software-Based On-Line Test of Communication Peripherals in Processor-Based Systems for Automotive Applications.	MTV	2006	DBLP DOI BibTeX RDF
14	Mohammad Abdollahi Azgomi, Ali Movaghar 0001	Efficient Evaluation of CSAN Models by State Space Analysis Methods.	ICSEA	2006	DBLP DOI BibTeX RDF	coloured stochastic activity networks, state space analysis techniques, performance evaluation, Petri nets
14	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione	A Practical Architecture-Centric Analysis Process.	QoSA	2006	DBLP DOI BibTeX RDF
14	Lorenz Froihofer, Johannes Osrael, Karl M. Göschka	Trading Integrity for Availability by Means of Explicit Runtime Constraints.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
14	Gabriela Jacques-Silva, Roberto Jung Drebes, Júlio Gerchman, Joana Matos Fonseca da Trindade, Taisy Silva Weber, Ingrid Jansch-Pôrto	A Network-Level Distributed Fault Injector for Experimental Validation of Dependable Distributed Systems.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
14	Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, Jeffrey J. P. Tsai	Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
14	Pat Pik-Wah Chan, Michael R. Lyu, Miroslaw Malek	Making Services Fault Tolerant.	ISAS	2006	DBLP DOI BibTeX RDF	Web service, reliability, redundancy, availability
14	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-Driven Assessment of Use Cases for Dependable Systems.	MoDELS	2006	DBLP DOI BibTeX RDF
14	Paulo Veríssimo	Thou Shalt Not Trust non-Trustworthy Systems.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
14	Xiangyong Ouyang, Tomohiro Yoshihara, Haruo Yokota	An Efficient Commit Protocol Exploiting Primary-Backup Placement in a Distributed Storage System.	PRDC	2006	DBLP DOI BibTeX RDF
14	James R. Larus	Abolish runtime systems: operating systems should control the execution.	VEE	2006	DBLP DOI BibTeX RDF
14	Salvatore Distefano, Marco Scarpa, Antonio Puliafito	Modeling Distributed Computing System Reliability with DRBD.	SRDS	2006	DBLP DOI BibTeX RDF
14	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Model checking meets performance evaluation.	SIGMETRICS Perform. Evaluation Rev.	2005	DBLP DOI BibTeX RDF
14	Mikael Lindvall, Ioana Rus, Forrest Shull, Marvin V. Zelkowitz, Paolo Donzelli, Atif M. Memon, Victor R. Basili, Patricia Costa, Roseanne Tesoriero Tvedt, Lorin Hochstein, Sima Asgari, Christopher Ackermann, Daniel Pech	An evolutionary testbed for software technology evaluation.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF
14	Ian Sommerville	Extreme Programming for Critical Systems?.	XP	2005	DBLP DOI BibTeX RDF
14	Péter Domokos, István Majzik	Design and Analysis of Fault Tolerant Architectures by Model Weaving.	HASE	2005	DBLP DOI BibTeX RDF
14	Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello	Assured Reconfiguration of Fail-Stop Systems.	DSN	2005	DBLP DOI BibTeX RDF
14	Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll 0001, Elizabeth Latronico, Philip Koopman	Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.	DSN	2005	DBLP DOI BibTeX RDF
14	Ana Busic, Jean-Michel Fourneau	Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
14	Michael G. Hinchey, James L. Rash, Christopher A. Rouff	Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
14	Martin Jandl, Alexander Szep, Robert Smeikal, Karl M. Göschka	Increasing Availability by Sacrificing Data Integrity - A Problem Statement.	HICSS	2005	DBLP DOI BibTeX RDF
14	Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj	Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems.	WORDS	2005	DBLP DOI BibTeX RDF	dependable software, speci.cation languages, veri.cation, formal analysis, Architectural patterns
14	J. A. Carvalho, A. S. Carvalho, Paulo Portugal	Assessment of PROFIBUS networks using a fault injection framework.	ETFA	2005	DBLP DOI BibTeX RDF
14	Cédric Wilwert, Françoise Simonot-Lion, Yeqiong Song, Françoise Simonot	Quantitative evaluation of the safety of X-by-Wire architecture subject to EMI perturbations.	ETFA	2005	DBLP DOI BibTeX RDF
14	Andrew C. Rice, Robert K. Harle	Evaluating lateration-based positioning algorithms for fine-grained tracking.	DIALM-POMC	2005	DBLP DOI BibTeX RDF	fine grained location, lateration, positioning algorithms, dependable, location
14	Tohru Kikuno	Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk.	PRDC	2005	DBLP DOI BibTeX RDF
14	Arshad Jhumka, Martin Hiller	Putting Detectors in Their Place.	SEFM	2005	DBLP DOI BibTeX RDF	design, embedded systems, formal methods, location, resource constraints, Detectors
14	Bumjoo Park, Kiejin Park, Sungsoo Kim	A Self-healing Mechanism for an Intrusion Tolerance System.	TrustBus	2005	DBLP DOI BibTeX RDF
14	Margaret M. Burnett, Curtis R. Cook, Gregg Rothermel	End-user software engineering.	Commun. ACM	2004	DBLP DOI BibTeX RDF
14	Aniruddha S. Gokhale, Balachandran Natarajan, Douglas C. Schmidt, Joseph K. Cross	Towards Real-Time Fault-Tolerant CORBA Middleware.	Clust. Comput.	2004	DBLP DOI BibTeX RDF	DRE systems, CORBA, Real-Time CORBA, Fault-Tolerant CORBA
14	Alexander Szep, Robert Smeikal, Martin Jandl, Karl M. Göschka	Dependable distributed systems.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	replication, consistency
14	Gérard Le Lann	Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
14	Peng Xu, Ralph Deters	Using Event-Streams for Fault-Management in MAS.	IAT	2004	DBLP DOI BibTeX RDF
14	Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini	Model-based evaluation of a radio resource management system for wireless networks.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	modeling, reliability, wireless networks, resource management system, stochastic activity networks
14	Hermann Kopetz	On the Fault Hypothesis for a Safety-Critical Real-Time System.	ASWSD	2004	DBLP DOI BibTeX RDF	Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems
14	Matteo Sonza Reorda, Massimo Violante	On-Line Analysis and Perturbation of CAN Networks.	DFT	2004	DBLP DOI BibTeX RDF
14	Ivica Crnkovic, Magnus Larsson, Otto Preiss	Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes.	WADS	2004	DBLP DOI BibTeX RDF
14	Vincenzo Grassi	Architecture-Based Reliability Prediction for Service-Oriented Computing.	WADS	2004	DBLP DOI BibTeX RDF
14	Minsu Choi, Noh-Jin Park, K. M. George, Byoungjae Jin, Nohpill Park, Yong-Bin Kim, Fabrizio Lombardi	Fault Tolerant Memory Design for HW/SW Co-Reliability in Massively Parallel Computing Systems.	NCA	2003	DBLP DOI BibTeX RDF	Built-in-self-repair (BISR), Field Reconfiguration, HW/SW Co-reliability, Reliability Assurance, Reliability, High performance computing, Yield, Massively parallel computing, Fault-tolerant memory, Modular Redundancy
14	Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer	A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas.	DSN	2003	DBLP DOI BibTeX RDF
14	Stefano Chessa, Piero Maestrini	Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks.	DSN	2003	DBLP DOI BibTeX RDF
14	David Coppit, Robert R. Painter, Kevin J. Sullivan	Shared Semantic Domains for Computational Reliability Engineering.	ISSRE	2003	DBLP DOI BibTeX RDF
14	Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano	A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation.	LADC	2003	DBLP DOI BibTeX RDF	Fault Treatment, Threshold-based mechanisms, CORBA Architectures, Fault Diagnosis, Legacy systems, Software Implemented Fault Tolerance
14	Fernando Castor Filho, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira	An Architectural-Level Exception-Handling System for Component-Based Applications.	LADC	2003	DBLP DOI BibTeX RDF
14	Geert Deconinck, Vincenzo De Florio, Ronnie Belmans	Architecting Distributed Control Applications Based on (Re-)Configurable Middleware.	WADS	2003	DBLP DOI BibTeX RDF
14	John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan	Towards a Rigorous Definition of Information System Survivability.	DISCEX (1)	2003	DBLP DOI BibTeX RDF
14	Claudio Basile, Long Wang 0003, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Group Communication Protocols under Errors.	SRDS	2003	DBLP DOI BibTeX RDF
14	Shamus P. Smith, Michael D. Harrison	Augmenting descriptive scenario analysis for improvements in human reliability design.	SAC	2002	DBLP DOI BibTeX RDF	THEA, descriptive and numeric analysis, human reliability design, scenario based design, HEART
14	G. Ranjith, C. Siva Ram Murthy	An Efficient Resource Sharing Scheme for Dependable Real-Time Communication in Multihop Networks.	HiPC	2002	DBLP DOI BibTeX RDF	Dependable connection, primary channel, backup channel, primary-backup multiplexing, RSVP
14	Alan Fedoruk, Ralph Deters	Using Agent Replication to Enhance Reliability and Availability of Multi-agent Systems.	AI	2002	DBLP DOI BibTeX RDF
14	Fabián E. Bustamante, Christian Poellabauer, Karsten Schwan	AIMS: robustness through sensible introspection.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
14	Jonathan Ledlie, Jacob M. Taylor, Laura Serban, Margo I. Seltzer	Self-organization in peer-to-peer systems.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
14	Jeffrey S. Chase, Amin Vahdat, John Wilkes	Back to the future: dependable computing = dependable services.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
14	Dick Hamlet	Continuity in sofware systems.	ISSTA	2002	DBLP DOI BibTeX RDF
14	Orna Raz, Philip Koopman, Mary Shaw	Semantic anomaly detection in online data sources.	ICSE	2002	DBLP DOI BibTeX RDF
14	Orna Raz, Philip Koopman, Mary Shaw	Enabling automatic adaptation in systems with under-specified elements.	WOSS	2002	DBLP DOI BibTeX RDF
14	Mary Shaw	"Self-healing": softening precision to avoid brittleness: position paper for WOSS '02: workshop on self-healing systems.	WOSS	2002	DBLP DOI BibTeX RDF	software homeostasis, software utility theory, sufficient correctness, self-healing systems
14	Marcello Lajolo	Bus guardians: an effective solution for online detection and correction of faults affecting system-on-chip buses.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
14	Jennifer Ren, Michel Cukier, William H. Sanders	An Adaptive Algorithm for Tolerating Value Faults and Crash Failures.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	adaptive fault tolerance, CORBA, replication protocols, group communication systems, Dependable distributed systems
14	Graham Clark, William H. Sanders	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
14	F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli	Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems.	DSN	2001	DBLP DOI BibTeX RDF
14	Yi-Min Wang, Paramvir Bahl, Wilf Russell	The SIMBA User Alert Service Architecture for Dependable Alert Delivery.	DSN	2001	DBLP DOI BibTeX RDF
14	Saurabh Bagchi, Y. Liu, Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Ytzhak H. Levendel, Lawrence G. Votta	A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller.	DSN	2001	DBLP DOI BibTeX RDF
14	John A. Stankovic	VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
14	Gábor Huszerl, István Majzik	Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts.	EUROMICRO	2001	DBLP DOI BibTeX RDF
14	F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli	Modeling and Analysis of the Behavior of GPRS Systems.	WORDS	2001	DBLP DOI BibTeX RDF
14	Vicente Chirivella, Rosa Alcover, José Duato	Accurate Availability Model for Direct Interconnection Networks.	ICPP	2001	DBLP DOI BibTeX RDF
14	Kristina Ahlström, Jan Torin, Per Johannessen	Design Method for Conceptual Design of By-Wire Control: Two Case Studies.	ICECCS	2001	DBLP DOI BibTeX RDF
14	Alfredo Benso, Silvia Chiusano, Paolo Prinetto, Luca Tagliaferri	A C/C++ Source-to-Source Compiler for Dependable Applications.	DSN	2000	DBLP DOI BibTeX RDF
14	Yutao He, Algirdas Avizienis	Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study.	DSN	2000	DBLP DOI BibTeX RDF
14	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	On the Logical Characterisation of Performability Properties.	ICALP	2000	DBLP DOI BibTeX RDF
14	Koeunyi Bae, KyungSoo Han, James S. Thorp	Nodal-Price Dependent, Dual-Mode Transmission Line Protection Strategy.	HICSS	2000	DBLP DOI BibTeX RDF
14	Giovanna Dondossola, Oliver Botti	System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.	FASE	2000	DBLP DOI BibTeX RDF
14	Zbigniew Kalbarczyk, Ravishankar K. Iyer, Saurabh Bagchi, Keith Whisnant	Chameleon: A Software Infrastructure for Adaptive Fault Tolerance.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Adaptive fault tolerance, high availability networked computing, extendible modular architecture, COTS, software-implemented fault tolerance
14	Ben L. Di Vito	Software Can Be Entrusted with High Consequence Functionality.	HASE	1999	DBLP DOI BibTeX RDF
14	Luis Carroll, Bertrand Tondu, Claude Baron, Jean Claude Geffroy	UML Framework for the Design of Real-Time Robot Controllers.	Euro-Par	1999	DBLP DOI BibTeX RDF
14	Luigi Romano, G. Capuozzo, Antonino Mazzeo, Nicola Mazzocca	A Simulated Fault Injection Tool for Dependable VoD Application Design.	PRDC	1999	DBLP DOI BibTeX RDF
14	Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo	Formal Development and Validation of Java Dependable Distributed Systems.	ICECCS	1999	DBLP DOI BibTeX RDF	Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions
14	Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras	Analysing a Mechatronic System with Coloured Petri Nets.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Quantitative and qualitative analysis, Mechatronic systems, Hybrid systems, Coloured Petri nets, State space analysis
14	John C. Knight	Challenges in the Utilization of Formal Methods.	FTRTFT	1998	DBLP DOI BibTeX RDF
14	Stefan Dalibor, A. Hein, Wolfgang Hohl	Application-Dependent Performability Evaluation of Fault-Tolerant Multiprocessors.	PDP	1996	DBLP DOI BibTeX RDF	reconfiguration policies, simulated fault injection, performability analysis, workload modeling
14	Jong Kim 0001, Kang G. Shin	Operationally Enhanced Folded Hypercubes.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	operationally enhanced folded hypercubes, twisted hypercube, performance evaluation, fault-tolerance, performance, reliability, reliability, fault tolerant computing, hypercube networks, operation mode
14	John C. S. Lui, Richard R. Muntz	Computing Bounds on Steady State Availability of Repairable Computer Systems.	J. ACM	1994	DBLP DOI BibTeX RDF
13	Lee M. Hively, Frederick T. Sheldon, Anna Cinzia Squicciarini	Toward Scalable Trustworthy Computing Using the Human-Physiology-Immunity Metaphor.	IEEE Secur. Priv.	2011	DBLP DOI BibTeX RDF	C.2.2 Network Protocols, trust establishment system, acces control models, K.6.5.a Authentication, K.6.5 Security and Protection, D.4.6.a Access controls, A.1 Introductory and Survey, C.2.0.f Network-level security and protection, C.4.f Reliability, D.2.15 Software and System Safety, Security, Software Engineering, Reliability, formal methods, Validation, Dependability, negotiations, peer to peer system, Statistical Methods, Testing strategies, Requirements/Specifications, availability and serviceability, Software/Program Verification
13	Jonathan Hudson, Jörg Denzinger, Holger Kasinger, Bernhard Bauer	Dependable Risk-Aware Efficiency Improvement for Self-Organizing Emergent Systems.	SASO	2011	DBLP DOI BibTeX RDF	software architecture, control, dependability, self-organization, risk management
13	Grzegorz Borowik, Andrzej Krasniewski	A Tool for Trading-Off On-Line Error Detection Efficiency with Implementation Cost for Sequential Logic Implemented in FPGAs.	ICSEng	2011	DBLP DOI BibTeX RDF	embedded memory block, FPGA, dependability, sequential circuit, concurrent error detection, transient fault
13	Vahid Garousi	Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Behavioral dependency analysis, Message weights, Distributed systems, UML, Metrics, Dependability, Model-driven development