Search results for "Dependability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Jeffrey M. Voas	COTS and High Assurance: An Oxymoron?	HASE	1999	DBLP DOI BibTeX RDF	dependability, COTS, high assurance
26	Binoy Ravindran, Lonnie R. Welch, Christian Kelling	Building Distributed Scalable Dependable Real-TimeSystems.	ECBS	1997	DBLP DOI BibTeX RDF	performance evaluation, distributed systems, real-time system, Petri nets, dependability, control system
26	Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen	From CSP Models to Markov Models.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	probabilistic dependability model, trace-based functional model, time homogeneous Markov process, deterministic systems, event occurrences, exponential time distribution, terminal failure, gas burner system, specification, fault tolerant computing, Markov processes, finite automata, safety-critical system, waiting time, communicating sequential process, communicating sequential processes, stochastic, finite automaton
26	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer 0001, Bernd Becker 0001	Compositional Dependability Evaluation for STATEMATE.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
26	Salvatore Distefano, Antonio Puliafito	Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees.	IEEE Trans. Dependable Secur. Comput.	2009	DBLP DOI BibTeX RDF
26	Romain Rouvoy, Frank Eliassen, Mikaël Beauvois	Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services.	SAC	2009	DBLP DOI BibTeX RDF	planning-based adaptation, quality of service, aspect-oriented programming, component-based software engineering
26	Marco Domenico Aime, Paolo Carlo Pomi, Marco Vallini	Policy-Driven System Configuration for Dependability.	SECURWARE	2008	DBLP DOI BibTeX RDF
26	Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel	International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008).	DSN	2008	DBLP DOI BibTeX RDF
26	Radek Dobias, Jan Konarski, Hana Kubátová	Dependability Evaluation of Real Railway Interlocking Device.	DSD	2008	DBLP DOI BibTeX RDF
26	Toshinori Sato, Toshimasa Funaki	Dependability, power, and performance trade-off on a multicore processor.	ASP-DAC	2008	DBLP DOI BibTeX RDF
26	Georg Lukas, André Herms, Svilen Ivanov, Edgar Nett	An integrated approach for reliability and dependability of Wireless Mesh Networks.	IPDPS	2008	DBLP DOI BibTeX RDF
26	Felix Reimann, Michael Glaß, Martin Lukasiewycz, Joachim Keinert, Christian Haubelt, Jürgen Teich	Symbolic voter placement for dependability-aware system synthesis.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	mttuf, bdd, system synthesis, voter, mean time to failure, mttf
26	Bogdan Tomoyuki Nassu, Kiyonobu Uehara, Takashi Nanya	Injecting Inconsistent Values Caused by Interaction Faults for Experimental Dependability Evaluation.	EDCC	2008	DBLP DOI BibTeX RDF
26	Huiling Shi, Jun Ma, Fengyi Zou	A Fuzzy Comprehensive Evaluation Model for Software Dependability Based on Entropy Weight.	CSSE (2)	2008	DBLP DOI BibTeX RDF
26	Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi	Learning to Enhance Dependability of Information Systems.	SASO	2008	DBLP DOI BibTeX RDF
26	Paola Inverardi, Massimo Tivoli	The Future of Software: Adaptation and Dependability.	ISSSE	2008	DBLP DOI BibTeX RDF
26	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability).	PRDC	2008	DBLP DOI BibTeX RDF
26	Joachim Götze, Jochen Müller 0002, Paul Müller 0001	Iterative Service Orchestration based on Dependability Attributes.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
26	Marco Domenico Aime, Giorgio Calandriello, Antonio Lioy	Dependability in Wireless Networks: Can We Rely on WiFi?	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
26	Takashi Nanya	Challenges in Dependability of Networked Systems for Information Society.	NPC	2007	DBLP DOI BibTeX RDF
26	Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi	Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes.	DSN	2007	DBLP DOI BibTeX RDF
26	Brian Randell	The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies.	DSN	2007	DBLP DOI BibTeX RDF
26	Luca Ferrarini, Juliano S. A. Carneiro, Simone Radaelli, Emanuele Ciapessoni	Dependability Analysis of Power System Protections using Stochastic Hybrid Simulation with Modelica.	ICRA	2007	DBLP DOI BibTeX RDF
26	Roberto Filippini, Soumen Sen, Giovanni Tonietti, Antonio Bicchi	A Comparative Dependability Analysis of Antagonistic Actuation Arrangements for Enhanced Robotic Safety.	ICRA	2007	DBLP DOI BibTeX RDF
26	Salvatore Distefano, Antonio Puliafito	Dependability Modeling and Analysis in Dynamic Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
26	Yongcai Tao, Hai Jin 0001, Xuanhua Shi	DGSS: A Dependability Guided Job Scheduling System for Grid Environment.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
26	Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza	Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.	WADS	2007	DBLP DOI BibTeX RDF
26	Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières	Enhancing Dependability of Component-Based Systems.	Ada-Europe	2007	DBLP DOI BibTeX RDF
26	Cagatay Catal, Banu Diri, Bulent Ozumut	An Artificial Immune System Approach for Fault Prediction in Object-Oriented Software.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
26	Katarzyna Nowak, Lukasz Bagrij	Using Distributed Multilevel Agent-based Monitoring Technique for Automated Network Modelling Approach.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
26	Elsa Estevez, Tomasz Janowski	Building a Dependable Messaging Infrastructure for Electronic Government.	ARES	2007	DBLP DOI BibTeX RDF
26	Fang Liu, Bo Guo, Jianyin Zhao	Mission Dependability Modeling and Evaluation of Repairable Systems Considering Maintenance Capacity.	ECBS	2006	DBLP DOI BibTeX RDF
26	Feng Wang 0004, Yuan Xie 0001, Kerry Bernstein, Yan Luo	Dependability Analysis of Nano-scale FinFET circuits.	ISVLSI	2006	DBLP DOI BibTeX RDF
26	Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001	Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.	WADS	2006	DBLP DOI BibTeX RDF	systems engineering, architecture description language, automotive systems
26	Paola Inverardi, Leonardo Mostarda	A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level.	WADS	2006	DBLP DOI BibTeX RDF
26	Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog	A Game-Theoretic Approach to Stochastic Security and Dependability Evaluation.	DASC	2006	DBLP DOI BibTeX RDF
26	Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexey Furmanov	F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring.	RODIN Book	2006	DBLP DOI BibTeX RDF
26	Barry Porter, Geoff Coulson, Daniel Hughes 0001	Intelligent Dependability Services for Overlay Networks.	DAIS	2006	DBLP DOI BibTeX RDF
26	Huiqiang Wang, Yonggang Pang, Ye Du, Dong Xu 0010, Daxin Liu 0001	Evaluation of Network Dependability Using Event Injection.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
26	William Simmonds, Tim Hawkins	The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library.	TGC	2005	DBLP DOI BibTeX RDF
26	Domenico Cotroneo, Generoso Paolillo, Stefano Russo 0001, Mario Lauria	CSAR-2: A Case Study of Parallel File System Dependability Analysis.	HPCC	2005	DBLP DOI BibTeX RDF
26	Aad P. A. van Moorsel	On Best-Effort and Dependability, Service-Orientation and Panacea.	ISAS	2005	DBLP DOI BibTeX RDF
26	Henrique Madeira	Dependability Challenges and Education Perspectives.	EDCC	2005	DBLP DOI BibTeX RDF
26	Bjarne E. Helvik, Hein Meling, Alberto Montresor	An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System.	EDCC	2005	DBLP DOI BibTeX RDF
26	Yuhong Zhao 0001, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos	Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.	PPAM	2005	DBLP DOI BibTeX RDF
26	Piotr Karwaczynski, Jan Kwiatkowski	Analysis of Overlay Network Impact on Dependability.	HICSS	2005	DBLP DOI BibTeX RDF
26	Markus C. Huebscher, Julie A. McCann	Using real-time dependability in adaptive service selection.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF
26	Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura	Dependability modeling and evaluation of multiple-phased systems using DEEM.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
26	Kimberly Keeton, Arif Merchant	A Framework for Evaluating Storage System Dependability.	DSN	2004	DBLP DOI BibTeX RDF
26	Miguel Castro 0001, Manuel Costa, Antony I. T. Rowstron	Performance and Dependability of Structured Peer-to-Peer Overlays.	DSN	2004	DBLP DOI BibTeX RDF
26	Jun He, Matti A. Hiltunen, Richard D. Schlichting	Customizing Dependability Attributes for Mobile Service Platforms.	DSN	2004	DBLP DOI BibTeX RDF
26	Sadaf Mustafiz, Jörg Kienzle	A Survey of Software Development Approaches Addressing Dependability.	FIDJI	2004	DBLP DOI BibTeX RDF
26	Fulvio Corno, Julio Pérez Acle, Matteo Sonza Reorda, Massimo Violante	A multi-level approach to the dependability analysis of networked systems based on the CAN protocol.	SBCCI	2004	DBLP DOI BibTeX RDF	fault injection, automotive, CAN bus
26	Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli	A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems.	ISAS	2004	DBLP DOI BibTeX RDF
26	Apostolos V. Zarras, Panos Vassiliadis, Valérie Issarny	Model-Driven Dependability Analysis of WebServices.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
26	Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic	A Framework for Ensuring and Improving Dependability in Highly Distributed Systems.	WADS	2004	DBLP DOI BibTeX RDF
26	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
26	Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad	Improving AI Systems? Dependability by Utilizing Historical Knowledge.	PRDC	2004	DBLP DOI BibTeX RDF
26	Juan A. Carrasco	Solving dependability/performability irreducible Markov models using regenerative randomization.	IEEE Trans. Reliab.	2003	DBLP DOI BibTeX RDF
26	Roy Sterritt, David W. Bustard	Autonomic Computing - A Means of Achieving Dependability?	ECBS	2003	DBLP DOI BibTeX RDF
26	Robin E. Bloomfield, Bev Littlewood	Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.	DSN	2003	DBLP DOI BibTeX RDF
26	Juan A. Carrasco	Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization.	DSN	2003	DBLP DOI BibTeX RDF
26	David Wright 0001	Elicitation and Validation of Graphical Dependability Models.	SAFECOMP	2003	DBLP DOI BibTeX RDF
26	Vishu Gupta, Vinh Vi Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh	Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures.	LADC	2003	DBLP DOI BibTeX RDF
26	Luca Simoncini	Architectural Challenges for "Ambient Dependability".	WORDS Fall	2003	DBLP DOI BibTeX RDF
26	Nik Looker, Jie Xu 0007	Assessing the Dependability of SOAP RPC-Based Web Services by Fault Injection.	WORDS Fall	2003	DBLP DOI BibTeX RDF	Web Services, SOAP, Software Fault Injection
26	Mario Dal Cin	Extending UML towards a Useful OO-Language for Modeling Dependability Features.	WORDS Fall	2003	DBLP DOI BibTeX RDF
26	Hui Ding, Can Zheng, Gul Agha, Lui Sha	Automated Verification of the Dependability of Object-Oriented Real-Time Systems.	WORDS Fall	2003	DBLP DOI BibTeX RDF
26	Nik Looker, Jie Xu 0007	Assessing the Dependability of OGSA Middleware by Fault Injection.	SRDS	2003	DBLP DOI BibTeX RDF	SWIFI, GRID computing, Fault model, SOAP, OGSA, GRID Middleware
26	Sandro Bologna, Erik Hollnagel	Human-Computer System Dependability.	SAFECOMP	2002	DBLP DOI BibTeX RDF
26	Cliff B. Jones	A Formal Basis for Some Dependability Notions.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
26	Kimberly Keeton, John Wilkes	Automating data dependability.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
26	Astrit Ademaj	A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection.	EDCC	2002	DBLP DOI BibTeX RDF
26	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Automated Performance and Dependability Evaluation Using Model Checking.	Performance	2002	DBLP DOI BibTeX RDF
26	Marcello Lajolo, Matteo Sonza Reorda, Massimo Violante	Early Evaluation Of Bus Interconnects Dependability For System-On-Chip Designs.	VLSI Design	2001	DBLP DOI BibTeX RDF
26	Bonnie E. Melhart, Stephanie M. White	Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements.	ECBS	2000	DBLP DOI BibTeX RDF
26	Boudewijn R. Haverkort	Markovian Models for Performance and Dependability Evaluation.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
26	Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart	A Dependability-Explicit Model for the Development of Computing Systems.	SAFECOMP	2000	DBLP DOI BibTeX RDF
26	David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders	Möbius: An Extensible Tool for Performance and Dependability Modeling.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
26	Andrea Bondavalli, Ivan Mura, István Majzik	Automatic Dependability Analysis for Supporting Design Decisions in UML.	HASE	1999	DBLP DOI BibTeX RDF
26	Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla	Comparing Fault Trees and Bayesian Networks for Dependability Analysis.	SAFECOMP	1999	DBLP DOI BibTeX RDF
26	Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson	SQUALE Dependability Assessment Criteria.	SAFECOMP	1999	DBLP DOI BibTeX RDF
26	Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi	Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.	EDCC	1999	DBLP DOI BibTeX RDF
26	Yudi Purwantoro, Stuart Bennett	Decomposition Technique for Integrated Dependability Evaluation of Hardware-Software Systems Using Stochastic Activity Networks.	EUROMICRO	1999	DBLP DOI BibTeX RDF
26	Elena Troubitsyna	Enhancing Dependability via Parameterized Refinement.	PRDC	1999	DBLP DOI BibTeX RDF
26	Axel Hein, Mario Dal Cin	Performance and Dependability Evaluation of Scalable Massively Parallel Computer Systems with Conjoint Simulation.	ACM Trans. Model. Comput. Simul.	1998	DBLP DOI BibTeX RDF	fault-tolerant and large-scale computer systems, hierarchical model design, process-based simulation, object-oriented modeling, timed Petri nets
26	Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini	A Holistic View on the Dependability of Software-Intensive Systems.	SAFECOMP	1998	DBLP DOI BibTeX RDF
26	Antonia Bertolino, Lorenzo Strigini	On the Use of Testability Measures for Dependability Assessment.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	ultra-high reliability, software testing, error, Bayesian inference, testability, failure, fault, test oracle, reliability assessment
26	Manuela Nelli, Andrea Bondavalli, Luca Simoncini	Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking.	EDCC	1996	DBLP DOI BibTeX RDF
26	Vicente Santonja, Marina Alonso, Xavier Molero, Juan José Serrano, Pedro J. Gil, Rafael Ors	Dependability Models of RAID Using Stochastic Activity Networks.	EDCC	1996	DBLP DOI BibTeX RDF
25	Thomas Gruber 0004, Egbert Althammer, Erwin Schoitsch	Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective.	SAFECOMP	2009	DBLP DOI BibTeX RDF	RAMSS, co-operative traffic management, traffic telematics, HMI dependability, human factors, dependability analysis, road safety
25	Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale	MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems.	ECBS	2011	DBLP DOI BibTeX RDF	Distributed Real-time Embedded, Dependability, Model-driven Engineering, Component-based Systems
25	Jiwei Huang, Chuang Lin 0002, Xiangzhen Kong, Yemei Zhu	Modeling and Analysis of Dependability Attributes of Service Computing Systems.	IEEE SCC	2011	DBLP DOI BibTeX RDF	dependability attributes, semi-Markov process, service computing
25	Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa	A Dependability Case Editor with Pattern Library.	HASE	2010	DBLP DOI BibTeX RDF	assurance cases, dependability
25	Zhe Chen 0011, Gilles Motet	Separating Functional and Dependability Requirements of Embedded Systems.	CIT	2010	DBLP DOI BibTeX RDF	buchi automata, model monitoring, model checking, reliability, dependability, safety, requirements evolution
25	Roberto Natella, Domenico Cotroneo	Emulation of Transient Software Faults for Dependability Assessment: A Case Study.	EDCC	2010	DBLP DOI BibTeX RDF	Dependability Assessment, Mandelbugs, Fault Tolerance, Software Faults, Software Fault Injection
25	Hans G. Kerkhoff, Xiao Zhang 0002	Design of an Infrastructural IP Dependability Manager for a Dependable Reconfigurable Many-Core Processor.	DELTA	2010	DBLP DOI BibTeX RDF	DfX, reliability, SoC, dependability, reconfiguration, availability, BIST, many-core processors
25	Monica Dixit, António Casimiro	Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector.	SRDS	2010	DBLP DOI BibTeX RDF	adaptation, dependability, failure detection
25	Davide Lorenzoli, George Spanoudakis	Detection of Security and Dependability Threats: A Belief Based Reasoning Approach.	SECURWARE	2009	DBLP DOI BibTeX RDF	security and dependability, belief based reasoning, runtime monitoring
25	Melinda Magyar, István Majzik	Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach.	QEST	2009	DBLP DOI BibTeX RDF	UML based modeling, modular model construction, dependability evaluation, Stochastic Activity Networks