Search results for "dependability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Janusz Sosnowski, Piotr Gawkowski, Przemyslaw Zygulski, Andrzej Tymoczko	Enhancing Fault Injection Testbench.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
19	Francisco Fernández de Vega	A Fault Tolerant Optimization Algorithm based on Evolutionary Computation.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
19	Thomas Neubauer, Markus D. Klemen, Stefan Biffl	Secure Business Process Management: A Roadmap.	ARES	2006	DBLP DOI BibTeX RDF
19	Yih Huang, David Arsenault, Arun Sood	Securing DNS Services through System Self Cleansing and Hardware Enhancements.	ARES	2006	DBLP DOI BibTeX RDF
19	Lukasz Juszczyk, Jaroslaw Lazowski, Schahram Dustdar	Web Service Discovery, Replication, and Synchronization in Ad-Hoc Networks.	ARES	2006	DBLP DOI BibTeX RDF	Web Services, Peer-to-Peer, Mobile Ad-Hoc Networks, Synchronization, Replication, Discovery, Registry
19	Adiel Teixeira de Almeida	Multicriteria Modelling of Repair Contract Based on Utility and ELECTRE I Method with Dependability and Service Quality Criteria.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	repair contract, ELECTRE method, decision analysis, utility theory, multicriteria decision making
19	Amy J. Ko, Brad A. Myers	Human factors affecting dependability in end-user programming.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	human factors, end-user programming
19	Cristian Constantinescu, Karama Kanoun, Henrique Madeira, Brendan Murphy, Ira Pramanick, Aaron B. Brown	Dependability Benchmarking of Computing Systems - Panel Statement.	DSN	2005	DBLP DOI BibTeX RDF
19	Lars Grunske, Bernhard Kaiser	An Automated Dependability Analysis Method for COTS-Based Systems.	ICCBSS	2005	DBLP DOI BibTeX RDF
19	Yuhong Zhao 0001, Martin Kardos, Simon Oberthür, Franz J. Rammig	Comprehensive Verification Framework for Dependability of Self-optimizing Systems.	ATVA	2005	DBLP DOI BibTeX RDF
19	Nik Looker, Malcolm Munro, Jie Xu 0007	Increasing Web Service Dependability Through Consensus Voting.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
19	Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau	Benchmarking the Dependability of Windows and Linux Using PostMark Workloads.	ISSRE	2005	DBLP DOI BibTeX RDF
19	Pascal Traverse, Isabelle Lacaze, Jean Souyris	A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm.	EDCC	2005	DBLP DOI BibTeX RDF
19	Lucian Prodan, Mihai Udrescu, Mircea Vladutiu	Multiple-level concatenated coding in embryonics: a dependability analysis.	GECCO	2005	DBLP DOI BibTeX RDF	accuracy threshold, reliability, embryonics, concatenated coding
19	Mihai Udrescu, Lucian Prodan, Mircea Vladutiu	Improving quantum circuit dependability with reconfigurable quantum gate arrays.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	accuracy threshold, reconfigurable quantum gate arrays, coding
19	María del Carmen Bañuls, Pablo Galdámez	Client Group Membership as an Architectural Approach for Dependability in Large Scale Systems.	HICSS	2005	DBLP DOI BibTeX RDF
19	Changyeol Choi, Sungsoo Kim	A Dependability Management Mechanism for Ubiquitous Computing Systems.	EUC Workshops	2005	DBLP DOI BibTeX RDF
19	Alessandro Cilardo, Antonino Mazzeo, Luigi Romano	An FPGA-based Key-Store for Improving the Dependability of Security Services.	WORDS	2005	DBLP DOI BibTeX RDF
19	Bev Littlewood	Dependability assessment of software-based systems: state of the art.	ICSE	2005	DBLP DOI BibTeX RDF	validation
19	Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano	Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	Legacy systems and COTS components, fault diagnosis and treatment, performability, fault injection, modeling and evaluation
19	Gabriela Jacques-Silva, Roberto Jung Drebes, Júlio Gerchman, Taisy Silva Weber	FIONA: A Fault Injector for Dependability Evaluation of Java-Based Network Applications.	NCA	2004	DBLP DOI BibTeX RDF
19	Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat	Benchmarking The Dependability of Windows NT4, 2000 and XP.	DSN	2004	DBLP DOI BibTeX RDF
19	David N. Jansen, Holger Hermanns	Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?	QEST	2004	DBLP DOI BibTeX RDF
19	Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis	Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.	ISCIS	2004	DBLP DOI BibTeX RDF
19	Daniel O. Bortolas, Avelino F. Zorzo, Eduardo A. Bezerra, Flávio Moreira de Oliveira	Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study.	ISCIS	2004	DBLP DOI BibTeX RDF
19	Anna Derezinska	Estimating Dependability of Parallel FFT Application using Fault Injection.	PARELEC	2004	DBLP DOI BibTeX RDF
19	Régis Leveugle, D. Cimonnet, Abdelaziz Ammari	System-Level Dependability Analysis with RT-Level Fault Injection Accuracy.	DFT	2004	DBLP DOI BibTeX RDF
19	Simona Bernardi 0001, Susanna Donatelli	Stochastic Petri Nets and Inheritance for Dependability Modelling.	PRDC	2004	DBLP DOI BibTeX RDF
19	Hsu-Chun Yen, Lien-Po Yu	Dependability Analysis of a Class of Probabilistic Petri Nets.	PRDC	2004	DBLP DOI BibTeX RDF	probabilistic Petri net, verification, Controllability, self-stabilization, reachability
19	Pascal Felber, Tim Kaldewey, Stefan Weiss	Proactive Hot Spot Avoidance for Web Server Dependability.	SRDS	2004	DBLP DOI BibTeX RDF
19	Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli	Dependability and Survivability of Large Complex Critical Infrastructures.	SAFECOMP	2003	DBLP DOI BibTeX RDF
19	Julio Pérez, Matteo Sonza Reorda, Massimo Violante	Accurate Dependability Analysis of CAN-Based Networked Systems.	SBCCI	2003	DBLP DOI BibTeX RDF
19	Songkuk Kim, Kang G. Shin	Improving Dependability of Real-Time Communication with Preplanned Backup Routes and Spare Resource Pool.	IWQoS	2003	DBLP DOI BibTeX RDF
19	Flávia Estelia Silva Coelho, Jacques Philippe Sauvé, Cláudia J. Barenco Abbas, L. Javier García-Villalba	Network Dependability: An Availability Measure in N-Tier Client/Server Architecture.	ISCIS	2003	DBLP DOI BibTeX RDF
19	Jürgen Bohn 0001, Felix C. Gärtner, Harald Vogt	Dependability Issues of Pervasive Computing in a Healthcare Environment.	SPC	2003	DBLP DOI BibTeX RDF
19	Win Bausch, Cesare Pautasso, Gustavo Alonso	Programming for Dependability in a Service-based Grid.	CCGRID	2003	DBLP DOI BibTeX RDF
19	João Gabriel Silva	Dependability Benchmarks: Can We Rely on Them?	LADC	2003	DBLP DOI BibTeX RDF
19	Pedro Costa 0002, Marco Vieira, Henrique Madeira, João Gabriel Silva	Plug and Play Fault Injector for Dependability Benchmarking.	LADC	2003	DBLP DOI BibTeX RDF
19	Holger Hermanns, Christophe Joubert	A Set of Performance and Dependability Analysis Components for CADP.	TACAS	2003	DBLP DOI BibTeX RDF
19	Abdelaziz Ammari, Régis Leveugle, Matteo Sonza Reorda, Massimo Violante	Detailed Comparison of Dependability Analyses Performed at RT and Gate Levels.	DFT	2003	DBLP DOI BibTeX RDF
19	Julio Pérez, Matteo Sonza Reorda, Massimo Violante	Dependability Analysis of CAN Networks: An Emulation-Based Approach.	DFT	2003	DBLP DOI BibTeX RDF
19	Hamid R. Zarandi, Seyed Ghassem Miremadi, Ali Reza Ejlali	Dependability Analysis Using a Fault Injection Tool Based on Synthesizability of HDL Models.	DFT	2003	DBLP DOI BibTeX RDF
19	Olivia Das, C. Murray Woodside	Dependability Modeling of Self-healing Client-Server Applications.	WADS	2003	DBLP DOI BibTeX RDF
19	Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luís Andrade 0001, José Luiz Fiadeiro	Enhancing Dependability Through Flexible Adaptation to Changing Requirements.	WADS	2003	DBLP DOI BibTeX RDF
19	Robin E. Bloomfield, Sofia Guerra	Process Modelling to Support Dependability Arguments.	DSN	2002	DBLP DOI BibTeX RDF
19	Cláudia Betous-Almeida, Karama Kanoun	Stepwise Construction and Refinement of Dependability Models.	DSN	2002	DBLP DOI BibTeX RDF
19	Manuel Rodríguez 0001, Arnaud Albinet, Jean Arlat	MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.	DSN	2002	DBLP DOI BibTeX RDF
19	Cristian Constantinescu	Impact of Deep Submicron Technology on Dependability of VLSI Circuits.	DSN	2002	DBLP DOI BibTeX RDF
19	Erik Hollnagel	Dependability of Joint Human-Computer Systems.	SAFECOMP	2002	DBLP DOI BibTeX RDF
19	Andrea Servida	Dependability in the Information Society: Getting Ready for the FP6.	SAFECOMP	2002	DBLP DOI BibTeX RDF
19	Christof Fetzer, Zhen Xiao	A Flexible Generator Architecture for Improving Software Dependability.	ISSRE	2002	DBLP DOI BibTeX RDF	security, reliability, middleware, software fault-tolerance, wrappers, wrapper generator
19	Aaron B. Brown, David A. Patterson 0001	Rewind, repair, replay: three R's to dependability.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
19	David Garlan, Shang-Wen Cheng, Bradley R. Schmerl	Increasing System Dependability through Architecture-Based Self-Repair.	WADS	2002	DBLP DOI BibTeX RDF
19	Cristina Simache, Mohamed Kaâniche, Ayda Saïdane	Event Log based Dependability Analysis of Windows NT and 2K Systems.	PRDC	2002	DBLP DOI BibTeX RDF
19	Piotr Gawkowski, Janusz Sosnowski	Using Software Implemented Fault Inserter in Dependability Analysis.	PRDC	2002	DBLP DOI BibTeX RDF
19	Ravishankar K. Iyer, Zbigniew Kalbarczyk	Measurement-Based Analysis of System Dependability Using Fault Injection and Field Failure Data.	Performance	2002	DBLP DOI BibTeX RDF
19	Mohammad A. Al-Hashimi, Huay-min H. Pu, Nohpill Park, Fabrizio Lombardi	Dependability under Malicious Agreement in N-modular Redundancy-on-Demand Systems.	NCA	2001	DBLP DOI BibTeX RDF
19	Max Walter, Carsten Trinitis, Wolfgang Karl	OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies.	PRDC	2001	DBLP DOI BibTeX RDF
19	Cristian Constantinescu	Dependability Analysis of a Fault-Tolerant Processor.	PRDC	2001	DBLP DOI BibTeX RDF
19	Fabrizio Lombardi, Nohpill Park, Mohammad A. Al-Hashimi, Huay-min H. Pu	Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement.	PRDC	2001	DBLP DOI BibTeX RDF
19	Scott Hazelhurst, Adi Attar, Raymond Sinnappan	Algorithms for Improving the Dependability of Firewall and Filter Rule Lists.	DSN	2000	DBLP DOI BibTeX RDF	Boolean decision diagrams, validation, filtering, firewalls, traffic management
19	Juan A. Carrasco	Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
19	Domenico Cotroneo, Luigi Romano, Stefano Russo 0001, Nicola Mazzocca	A CORBA-Based Architecture for Adding Dependability to Legacy Servers.	PDSE	2000	DBLP DOI BibTeX RDF
19	Xinyu Zang, Hairong Sun, Kishor S. Trivedi	Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.	FTCS	1999	DBLP DOI BibTeX RDF
19	Frank M. G. Dorenberg, Huesung Kim, Arun K. Somani	The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources.	PRDC	1999	DBLP DOI BibTeX RDF
19	Víctor Suñé, Juan A. Carrasco	A Comparison of Numerical Splitting-Based Methods for Markovian Dependability and Performability Models.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
19	Robert H. Klenke, Moshe Meyassed, James H. Aylor, Barry W. Johnson, Ramesh Rao, Anup Ghosh	An Integrated Design Environment for Performance and Dependability Analysis.	DAC	1997	DBLP DOI BibTeX RDF
19	Richard G. Hamlet	Predicting Dependability by Testing.	ISSTA	1996	DBLP DOI BibTeX RDF
14	Klaus Marius Hansen, Mads Ingstrup	Modeling and analyzing architectural change with alloy.	SAC	2010	DBLP DOI BibTeX RDF
14	Siddhartha Datta, Bharat Joshi, Arun Ravindran, Arindam Mukherjee 0001	Efficient parallel testing and diagnosis of digital microfluidic biochips.	ACM J. Emerg. Technol. Comput. Syst.	2009	DBLP DOI BibTeX RDF	Microfluidic biochip, droplet flooding, fault tolerance, testing, reconfigurability, defect tolerance, multiple faults, microfluidics
14	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001	INFAMY: An Infinite-State Markov Model Checker.	CAV	2009	DBLP DOI BibTeX RDF
14	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
14	Antonio Muñoz 0001, Antonio Maña, Daniel Serrano	AVISPA in the Validation of Ambient Intelligence Scenarios.	ARES	2009	DBLP DOI BibTeX RDF
14	Ruth Lamprecht, Peter Kemper	Reflection symmetry detection to reduce the state space of Markovian models.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	dependable computing, state space reduction, symmetry detection, spatial model, Markovian model
14	Samaneh Moghaddam, Mohsen Jamali, Martin Ester, Jafar Habibi	FeedbackTrust: using feedback effects in trust-based recommendation systems.	RecSys	2009	DBLP DOI BibTeX RDF	teust, feedback, recommendation
14	Andrey Brito, Christof Fetzer, Pascal Felber	Minimizing Latency in Fault-Tolerant Distributed Stream Processing Systems.	ICDCS	2009	DBLP DOI BibTeX RDF
14	Ernesto Damiani, Antonio Maña	Toward WS-certificate.	SWS	2009	DBLP DOI BibTeX RDF	soa, web services security
14	Luigi Gallo, Antonio Coronato	Pervasive distributed volume rendering in a lightweight multi-agent platform.	ICIS	2009	DBLP DOI BibTeX RDF	distributed ray casting, lightweight middleware, multi-agent system
14	Alessandro Marchetto 0001	Special section on testing and security of Web systems.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
14	Carl E. Landwehr	Up Scope.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
14	Karthik Pattabiraman, Shuo Chen 0001, Zbigniew Kalbarczyk	Workshop on compiler and architectural techniques for application reliability and security (CATARS).	DSN	2008	DBLP DOI BibTeX RDF
14	Pablo Arozarena, D. Ortega, B. Baesjou	Assessing the Madeira NorthBound Interface.	NOMS	2008	DBLP DOI BibTeX RDF
14	Yan Liu 0001, Muhammad Ali Babar 0001, Ian Gorton	Middleware Architecture Evaluation for Dependable Self-managing Systems.	QoSA	2008	DBLP DOI BibTeX RDF
14	Ang Jin, Jianhui Jiang, Jiawei Hu, Jungang Lou	A PIN-Based Dynamic Software Fault Injection System.	ICYCS	2008	DBLP DOI BibTeX RDF
14	Jawwad Shamsi, Monica Brockmeyer	Efficient and dependable overlay networks.	IPDPS	2008	DBLP DOI BibTeX RDF
14	Tatsuo Nakajima, Hiroo Ishikawa, Yuki Kinebuchi, Midori Sugaya, Lei Sun, Alexandre Courbot, Andrej van der Zee, Aleksi Aalto, Kwon Ki Duk	An Operating System Architecture for Future Information Appliances.	SEUS	2008	DBLP DOI BibTeX RDF
14	Thi Quynh Bui, Oum-El-Kheir Aktouf, Michel Dang	Software component diagnosis service: architecture description.	SIES	2008	DBLP DOI BibTeX RDF
14	Daniel Serrano, Antonio Maña, Athanasios-Dimitrios Sotirious	Towards Precise Security Patterns.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	Security patterns repositories, secure development
14	Yunan Cao, Zili Shao, Meng Wang 0005, Chun Jason Xue, Youdong Chen, Hongxing Wei, Tianmiao Wang	A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems.	ICDCS	2008	DBLP DOI BibTeX RDF
14	Oscar Kuiken, Xiao Zhang 0002, Hans G. Kerkhoff	Built-in-Self-Diagnostics for a NoC-Based Reconfigurable IC for Dependable Beamforming Applications.	DFT	2008	DBLP DOI BibTeX RDF
14	Ross J. Anderson	Information Security Economics - and Beyond.	DEON	2008	DBLP DOI BibTeX RDF
14	Koji Tomita, Kazunori Fujiwara, Hiroshi Kawasaki, Naoki Miwa, Satoru Nagai	The Schemes to Develop Dependable System Using COTS.	PRDC	2008	DBLP DOI BibTeX RDF
14	Hakem Beitollahi, Geert Deconinck	Dependable Overlay Networks.	PRDC	2008	DBLP DOI BibTeX RDF
14	Miguel Matos, António Luís Sousa	Dependable distributed OSGi environment.	MW4SOC	2008	DBLP DOI BibTeX RDF	JAVA, virtualization, OSGi, SOC
14	Shangping Ren, Yue Yu 0002, Nianen Chen, Jeffrey J. P. Tsai, Kevin A. Kwiat	The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems.	ACM Trans. Auton. Adapt. Syst.	2007	DBLP DOI BibTeX RDF	open distributed embedded systems, Coordination, coordinators, roles, actors
14	Ilir Gashi, Peter T. Popov, Lorenzo Strigini	Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers.	IEEE Trans. Dependable Secur. Comput.	2007	DBLP DOI BibTeX RDF	Error processing, fault records, non-crash failures, database availability, Fault tolerance, Reliability, Relational databases, experimental results, design diversity, availability and serviceability, COTS software
14	Masayuki Murakami	Fault tolerance design for computers used in humanoid robots.	IROS	2007	DBLP DOI BibTeX RDF
14	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
14	Pat Pik-Wah Chan, Michael R. Lyu, Miroslaw Malek	ReliableWeb Services: Methodology, Experiment and Modeling.	ICWS	2007	DBLP DOI BibTeX RDF
14	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	run-time management, fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches