Search results for "Performability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Guillermo Navarro 0002, Milos Manic	Predictive E-Mail Server Performability Analysis Based on Fuzzy Arithmetic.	IJCNN	2007	DBLP DOI BibTeX RDF
93	Krishna R. Pattipati, Yong Li, Henk A. P. Blom	A Unified Framework for the Performability Evaluation of Fault-Tolerant Computer Systems.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	performability density, degradable computer systems, configuration modes, nonhomogeneous Markov process, forward performability process, performability-to-go, mission time, hyperbolic partial differential equation, performability evaluation, performance evaluation, fault tolerant computing, Markov processes, partial differential equations, differential equations, fault-tolerant computer systems, mathematical framework
90	Mostafa Shaad Zolpirani, Mohammad-Mahdi Bidmeshki, Seyed Ghassem Miremadi	Improving Network's Performability Using Parallel Processing.	ICN	2007	DBLP DOI BibTeX RDF	SPF Calculation, Performability, Parallel Processing, Failure
90	Ming Zhang 0026, Qing Yang 0001, Xubin He	Performability Evaluation of Networked Storage Systems Using N-SPEK.	CCGRID	2003	DBLP DOI BibTeX RDF	block level access, Performability, benchmarking, networked storage
85	Yang Qu, Chuang Lin 0002, Yajuan Li, Zhiguang Shan	Performability Evaluation of Resource Scheduling Algorithms for Computational Grids.	GCC	2006	DBLP DOI BibTeX RDF
85	William H. Sanders	Stochastic Methods for Dependability, Performability, and Security Evaluation.	ICATPN	2004	DBLP DOI BibTeX RDF
77	Hairong Sun, Tina Tyan, Steven Johnson, Richard Elling, Nisha Talagala, Robert B. Wood	Performability Analysis of Storage Systems in Practice: Methodology and Tools.	ISAS	2006	DBLP DOI BibTeX RDF	Performability, Markov model, storage
77	Manish Malhotra, Malathi Veeraraghavan	Performability-based quality of service metrics for communication services.	ICCCN	1995	DBLP DOI BibTeX RDF	performability-based quality of service metrics, real-world service offerings, multiple vendor networks, service segment metrics, vendors negotiation, joint service offering, customer, telecommunication networks, service provider, telecommunication services, fault-tolerant computer systems, communication services, computer communication networks
72	Mostafa Shaad Zolpirani, Mohammad-Mahdi Bidmeshki, Seyed Ghassem Miremadi	The Effect of Routing-Update Time on Network's Performability.	AICCSA	2007	DBLP DOI BibTeX RDF
72	Kiran Nagaraja, Gustavo Machado Campagnani Gama, Ricardo Bianchini, Richard P. Martin, Wagner Meira Jr., Thu D. Nguyen	Quantifying the Performability of Cluster-Based Services.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	fault tolerance, Performance, availability, Internet services
64	Daniel A. Menascé, Yelena Yesha, Konstantinos Kalpakis	On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	distributed quorum attainment protocols, unified analytical model, Majority Consensus algorithms, primary site approach, parallel version, tree-based mutual exclusion protocols, fault tolerance, performability, distributed systems, performance analysis, protocols, distributed algorithms, software performance evaluation, software fault tolerance, performability metric, network delay, unified framework, protocol performance, delay analysis, mutual exclusion algorithms
64	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
64	Paola Bracchi, Vittorio Cortellessa	A framework to model and analyze the performability of mobile software systems.	WOSP	2004	DBLP DOI BibTeX RDF	performability, performance, dependability, Stochastic Activity Networks, mobile software
64	Olivia Das, C. Murray Woodside	Computing the performability of layered distributed systems with a management architecture.	WOSP	2004	DBLP DOI BibTeX RDF	non-coherent fault trees, system fault-tolerance, performability, distributed systems, layered queueing networks
64	Mourad Rabah, Karama Kanoun	Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Dependability and performability evaluation, multipurpose multiprocessors systems, distributed shared memory, clustered systems, stochastic reward nets, modular modeling
64	John F. Meyer	Performability of an Algorithm for Connection Admission Control.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Broadband telecommunication networks, variable bit rate (VBR) traffic, performability, effective bandwidth, connection admission control (CAC)
64	John F. Meyer	Performability of Algorithms for Connection Admission Control.	DSN	2000	DBLP DOI BibTeX RDF	Broadband telecommunication networks, variable bit rate (VBR) traffic, performability, effective bandwidth, connection admission control (CAC)
58	Lucia Cloth, Boudewijn R. Haverkort	The Performability Tool P'ility.	QEST	2008	DBLP DOI BibTeX RDF
58	Kostas N. Oikonomou, K. K. Ramakrishnan, Robert D. Doverspike, Angela L. Chiu, M. Martinez-Heath, Rakesh K. Sinha	Performability Analysis of Multi-layer Restoration in a Satellite Network.	ITC	2007	DBLP DOI BibTeX RDF
58	Ann T. Tai, Kam S. Tso, William H. Sanders, Savio N. Chau	A Performability-Oriented Software Rejuvenation Framework for Distributed Applications.	DSN	2005	DBLP DOI BibTeX RDF
58	Irene Eusgeld, Jens Happe, Philipp Limbourg, Matthias Rohr, Felix Salfner	Performability.	Dependability Metrics	2005	DBLP DOI BibTeX RDF
58	Ester Ciancamerla, Michele Minichino	Performability Measures of the Public Mobile Network of a Tele Control System.	SAFECOMP	2004	DBLP DOI BibTeX RDF
58	Paola Bracchi, Bojan Cukic, Vittorio Cortellessa	Performability Modeling of Mobile Software Systems.	ISSRE	2004	DBLP DOI BibTeX RDF
58	Gustavo Machado Campagnani Gama, Kiran Nagaraja, Ricardo Bianchini, Richard P. Martin, Wagner Meira Jr., Thu D. Nguyen	State Maintenance and its Impact on the Performability of Multi-tiered Internet Services.	SRDS	2004	DBLP DOI BibTeX RDF
58	Mark Lanus, Liang Yin, Kishor S. Trivedi	Hierarchical composition and aggregation of state-based availability and performability models.	IEEE Trans. Reliab.	2003	DBLP DOI BibTeX RDF
58	Tianjun Shi, Xudong He	A Methodology for Dependability and Performability Analysis in SAM.	DSN	2003	DBLP DOI BibTeX RDF
58	Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso	Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach.	DSN	2002	DBLP DOI BibTeX RDF
58	Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier	Model Checking Performability Properties.	DSN	2002	DBLP DOI BibTeX RDF
58	Hermann de Meer, Hana Sevcikova	PENELOPE: Dependability Evaluation and the Optimization of Performability.	Computer Performance Evaluation	1997	DBLP DOI BibTeX RDF
58	Leonard J. N. Franken, Raymond H. Pijpers, Boudewijn R. Haverkort	Modelling Aspects of Model-Based Dynamic QoS Management by the Performability Manager.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
58	James T. Blake, Andrew L. Reibman, Kishor S. Trivedi	Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems.	SIGMETRICS	1988	DBLP DOI BibTeX RDF
50	László Gönczy, Zsolt Déri, Dániel Varró	Model Transformations for Performability Analysis of Service Configurations.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF	Model-driven Analysis, Service-Oriented Architecture, Performability Analysis, Model Transformations
50	Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta	A model-driven approach to performability analysis of dynamically reconfigurable component-based systems.	WOSP	2007	DBLP DOI BibTeX RDF	performability, model-driven development, dynamic reconfiguration
50	Cheul Woo Ro, Kishor S. Trivedi	Performability analysis of handoff calls in personal communication networks.	ICCCN	1997	DBLP DOI BibTeX RDF	handoff calls, SRN model, phase type expansion, approximate nonexponential call holding time distribution, hand-off models, failure relate, performance, performability analysis, dependability, channel assignment, personal communication networks, Markov reward models, frequency allocation, stochastic reward nets
45	Paolo Bocciarelli, Andrea D'Ambrogio	Model-Driven Performability Analysis of Composite Web Services.	SIPEW	2008	DBLP DOI BibTeX RDF	perform-ability, performance, reliability, model-driven development, composite web services
45	Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini	Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies.	HASE	2007	DBLP DOI BibTeX RDF
45	Arundhati Kogekar, Dimple Kaul, Aniruddha S. Gokhale, Paul J. Vandal, Upsorn Praphamontripong, Swapna S. Gokhale, Jing Zhang 0003, Yuehua Lin, Jeffrey G. Gray	Model-driven generative techniques for scalable performability analysis of distributed systems.	IPDPS	2006	DBLP DOI BibTeX RDF
45	Alma Riska, Evgenia Smirni, Gianfranco Ciardo	Exact analysis of a class of GI/G/1-type performability models.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
45	Falko Bause, Peter Buchholz 0001, Markus Fischer, Peter Kemper	Hybrid Performability Analysis of Logistic Networks.	PADS	2004	DBLP DOI BibTeX RDF
45	Juan A. Carrasco	Solving dependability/performability irreducible Markov models using regenerative randomization.	IEEE Trans. Reliab.	2003	DBLP DOI BibTeX RDF
45	Kiran Nagaraja, Neeraj Krishnan, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen	Evaluating the Impact of Communication Architecture on the Performability of Cluster-Based Services.	HPCA	2003	DBLP DOI BibTeX RDF
45	Katerina Goseva-Popstojanova, Kishor S. Trivedi	Stochastic Modeling Formalisms for Dependability, Performance and Performability.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
45	Katerina Goseva-Popstojanova, Aksenti Grnarov	Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems.	EUROMICRO	1997	DBLP DOI BibTeX RDF
40	Hairong Sun, Dong Tang, Robert B. Wood	Optimizing Service Strategy for Systems with Deferred Repair.	PRDC	2005	DBLP DOI BibTeX RDF
37	Víctor Suñé, Juan A. Carrasco, Hédi Nabli, Bruno Sericola	Comment on "Performability Analysis: A New Algorithm".	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Fault tolerance, performability, performance, reliability, Markov processes, uniformization, repairable systems
37	Olivia Das, Arindam Das	Performability evaluation of mobile client-server systems.	SAC	2008	DBLP DOI BibTeX RDF	layered queuing network, modeling, performability, mobile computing, client-Server systems, fault tree
37	Guna Santos, Angelo Duarte, Dolores Rexachs, Emilio Luque	Increasing the Performability of Computer Clusters Using RADIC II.	ARES	2008	DBLP DOI BibTeX RDF	Dynamic Redundancy, Cluster, Fault Tolerance, Performability, Distributed Systems
37	Hédi Nabli, Bruno Sericola	Performability Analysis: A New Algorithm.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	Fault tolerance, performability, performance, reliability, Markov processes, uniformization, repairable systems
37	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
37	A. Shallof, S. Bennett	Comments on "Performability Analysis of Distributed Real-Time Systems".	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	Laguerre functions, performance evaluation, real-time systems, performability analysis, Petri nets, Petri net, distributed processing, distributed real-time systems, realtime systems
37	S. M. Rezaul Islam, Hany H. Ammar	Performability Analysis of Distributed Real-Time Systems.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	planning cycle, Laguerre coefficients, radar system, radar systems, performance evaluation, algorithm, real-time systems, performability analysis, distributed processing, methodology, convolutions, distributed real-time systems, telecommunications computing, repairable systems
37	Krishna R. Pattipati, Samir A. Shah	On the Computational Aspects of Performability Models of Fault-Tolerant Computer Systems.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	scaled conditional moments, computational aspects, continuous-time dynamic system, finite mission time, cascaded system representation, stable algorithms, doubling algorithm, diagonal Pade approximation, reliability, fault tolerant computing, performability models, Markov processes, Markov models, approximation theory, fault-tolerant computer systems, availability models
37	Gianfranco Ciardo, Raymond A. Marie, Bruno Sericola, Kishor S. Trivedi	Performability Analysis Using Semi-Markov Reard Processes.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	vanishing states elimination, fast transient states elimination, semi-Markov reward processes, zero reward nonabsorbing states, probabilistic switch, stiff Markov chains, performance evaluation, performability analysis, Markov processes, decomposition, stochastic Petri net, reachability graph
37	Mei-Chen Hsueh, Ravishankar K. Iyer, Kishor S. Trivedi	Performability Modeling Based on Real Data: A Case Study.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	semiMarkov process, measurement-based performability model, reward function, service rate, performance evaluation, multiprocessing systems, multiprocessor system, error rate
37	David G. Furchtgott, John F. Meyer	A Performability Solution Method for Degradable Nonrepairable Systems.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	reward models, Degradable performance, performability evaluation, performance evaluation, fault tolerance, reliability evaluation
37	John F. Meyer	Closed-Form Solutions of Performability.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	Degradable performance, performability evaluation, performance evaluation, fault-tolerant computing, queueing systems, reliability evaluation
37	John F. Meyer	On Evaluating the Performability of Degradable Computing Systems.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	Degradable computing systems, performability evaluation, performance evaluation, fault-tolerant computing, hierarchical modeling, reliability evaluation
37	John F. Meyer, David G. Furchtgott, Liang T. Wu	Performability Evaluation of the SIFT Computer.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	SIFT computer, performability evaluation, performance evaluation, Fault tolerant computing, reliability evaluation
32	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
32	Katerina Goseva-Popstojanova, Kishor S. Trivedi	Effects of failure correlation on software in operation.	PRDC	2000	DBLP DOI BibTeX RDF	failure correlation, performability, dependability, software reliability, software reliability, Markov processes, software reliability modeling, software failures, Markov renewal processes
32	Bruno Sericola	Availability Analysis of Repairable Computer Systems and Stationarity Detection.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	Repairable computer systems, stationarity detection, performability, dependability, availability, Markov processes
32	Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi, Shalini Yajnik	Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance.	FTCS	1999	DBLP DOI BibTeX RDF	Distributedm Systems, Performability Modeling, Software Fault Tolerance
32	Hany H. Ammar, Su Deng	Time Warp Simulation Using Time Scale Decomposition.	ACM Trans. Model. Comput. Simul.	1992	DBLP DOI BibTeX RDF	time-scale decompositions, performability analysis, queueing networks, system modeling, parallel simulation, stochastic petri nets, fault-tolerant systems
32	Erica Sousa, Paulo Romero Martins Maciel, Carlos Araújo, Fábio Chicout	Performability evaluation of EFT systems for SLA assurance.	IPDPS	2009	DBLP DOI BibTeX RDF
32	Hind Castel-Taleb, Nihal Pekergin	Weak Stochastic Comparisons for Performability Verification.	ASMTA	2009	DBLP DOI BibTeX RDF
32	Ann T. Tai, Kam S. Tso, William H. Sanders	A recurrence-relation-based reward model for performability evaluation of embedded systems.	DSN	2008	DBLP DOI BibTeX RDF
32	Lavanya Ramakrishnan, Daniel A. Reed	Performability modeling for scheduling and fault tolerance strategies for scientific workflows.	HPDC	2008	DBLP DOI BibTeX RDF	grid/cloud resource management, fault tolerance, workflow scheduling
32	Hans-Peter Schwefel, Imad Antonios	Performability Models for Multi-Server Systems with High-Variance Repair Durations.	DSN	2007	DBLP DOI BibTeX RDF
32	Jan Trowitzsch, D. Jerzynek, Armin Zimmermann	A toolkit for performability evaluation based on stochastic UML state machines.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	stochastic UML state machines, performance evaluation, petri nets, software tool, model transformation
32	Orhan Gemikonakli, Glenford E. Mapp, Dhawal N. Thakker, Enver Ever	Modelling and Performability Analysis of Network Memory Servers.	Annual Simulation Symposium	2006	DBLP DOI BibTeX RDF
32	Enver Ever, Orhan Gemikonakli, Ram Chakka	A Mathematical Model for Performability of Beowulf Clusters.	Annual Simulation Symposium	2006	DBLP DOI BibTeX RDF
32	Marco Gribaudo, Francesco Moscato 0001, Nicola Mazzocca, Valeria Vittorini	Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.	QEST	2005	DBLP DOI BibTeX RDF
32	Swapna S. Gokhale, Sherif M. Yacoub	Performability Analysis of a Pipeline Software Architecture.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
32	Isabel Victoria Martín Faus, Juan J. Alins-Delgado, Mónica Aguilar-Igartua, Jorge Mata-Díaz	Performability Analysis of an Adaptive-Rate Video-Streaming Service in End-to-End QoS Scenarios.	DSOM	2005	DBLP DOI BibTeX RDF
32	Yudan Liu, Chokchai Leangsuksun, Hertong Song, Stephen L. Scott	Reliability-aware Checkpoint/Restart Scheme: A Performability Trade-off.	CLUSTER	2005	DBLP DOI BibTeX RDF
32	Olivia Das, C. Murray Woodside	Dependable LQNS: A Performability Modeling Tool for Layered Systems.	DSN	2003	DBLP DOI BibTeX RDF
32	Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi	A Framework for Performability Modeling of Messaging Services in Distributed Systems.	ICECCS	2002	DBLP DOI BibTeX RDF
32	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	On the Logical Characterisation of Performability Properties.	ICALP	2000	DBLP DOI BibTeX RDF
32	Juan A. Carrasco	Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
32	Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel	Petri Net Modelling and Performability Evaluation with TimeNET 3.0.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
32	Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi	Reliability and Performability Modeling Using SHARPE 2000.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
32	Aad P. A. van Moorsel, Yiqing Huang	Reusable Software Components for Performability Tools and Their Utilization for Web-Based Configurable Tools.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
32	Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini	On Performability Modeling and Evaluation of Software Fault Tolerant Structures.	EDCC	1994	DBLP DOI BibTeX RDF
32	Edmundo de Souza e Silva, H. Richard Gail	Calculating availability and performability measures of repairable computer systems using randomization.	J. ACM	1989	DBLP DOI BibTeX RDF
27	John Wilkes	Traveling to Rome: a retrospective on the journey.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
27	Ram Chakka, Enver Ever, Orhan Gemikonakli	Joint-State Modeling for Open Queuing Networks with Breakdowns, Repairs and Finite Buffers.	MASCOTS	2007	DBLP DOI BibTeX RDF	Joint-state model, Open Queuing Networks, finite capacity nodes, breakdowns and repairs, spectral expansion, QBD processes, I
27	Orhan Gemikonakli, Glenford E. Mapp, Enver Ever, Dhawal N. Thakker	Modelling Network Memory Servers with Parallel Processors, Break-downs and Repairs.	Annual Simulation Symposium	2007	DBLP DOI BibTeX RDF
27	Zeng Fancong	A Reinforcement-Learning Approach to Failure-Detection Scheduling.	QSIC	2007	DBLP DOI BibTeX RDF
27	Isabel Victoria Martín Faus, Juan J. Alins-Delgado, Mónica Aguilar-Igartua, Jorge Mata-Díaz	Modelling an Adaptive-Rate Video-Streaming Service Using Markov-Rewards Models.	QSHINE	2004	DBLP DOI BibTeX RDF
27	Xiao Qin 0001, Hong Jiang 0001, David R. Swanson	An Efficient Fault-Tolerant Scheduling Algorithm for Real-Time Tasks with Precedence Constraints in Heterogeneous Systems.	ICPP	2002	DBLP DOI BibTeX RDF
27	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Automated Performance and Dependability Evaluation Using Model Checking.	Performance	2002	DBLP DOI BibTeX RDF
27	Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou	A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance.	PRDC	2001	DBLP DOI BibTeX RDF
27	Mourad Rabah, Karama Kanoun	Dependability Evaluation of a Distributed Shared Memory Multiprocessor System.	EDCC	1999	DBLP DOI BibTeX RDF
19	Atefe Dalirsani, Stefan Holst, Melanie Elm, Hans-Joachim Wunderlich	Structural Test for Graceful Degradation of NoC Switches.	ETS	2011	DBLP DOI BibTeX RDF	Logic Diagnosis, Performability, Network-on-Chip, Graceful Degradation
19	Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001	Verification and performance evaluation of aadl models.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	performability, model checking, reliability, dependability, aadl
19	Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola	A Study on Multiformalism Modeling of Critical Infrastructures.	CRITIS	2008	DBLP DOI BibTeX RDF	Multiformalism Modeling, Security, Performability, Dependability, Critical Infrastructure
19	Tudor Dumitras, Daniela Rosu 0001, Asit Dan, Priya Narasimhan	Ecotopia: An Ecological Framework for Change Management in Distributed Systems.	WADS	2006	DBLP DOI BibTeX RDF	Dynamic Change Management, Performability, Autonomic Computing, Service Orchestration, Fault-Tolerant Architecture
19	Zhijian Lu, John C. Lach, Mircea R. Stan, Kevin Skadron	Improved Thermal Management with Reliability Banking.	IEEE Micro	2005	DBLP DOI BibTeX RDF	Dynamic thermal/reliability management, Analytical and simulation techniques, Modeling, Performability, Electromigration
19	David M. Nicol, William H. Sanders, Kishor S. Trivedi	Model-Based Evaluation: From Dependability to Security.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	performability evaluation, stochastic modeling, Dependability evaluation, security evaluation
19	Laurence E. LaForge, Kirk F. Korver, M. Sami Fadali	What Designers of Bus and Network Architectures Should Know about Hypercubes.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Hypercube fault tolerance, hypercube latency, Hamming graphs, K-cubes, Moore graphs, Moore Bound, C-cubes, performability, quorums, configuration architectures, Lee distance