Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso |
Performability analysis of guarded-operation duration: a translation approach for reward model solutions. |
Perform. Evaluation |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Kishor S. Trivedi, Xiaomin Ma, Selvamuthu Dharmaraja |
Performability modelling of wireless communication systems. |
Int. J. Commun. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Markus Siegle |
On the use of MTBDDs for performability analysis and verification of stochastic systems. |
J. Log. Algebraic Methods Program. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Agapios N. Platis, George A. Gravvanis, Konstantinos M. Giannoutakis, Elias A. Lipitakis |
A Two-Phase Cyclic Nonhomogeneous Markov Chain Performability Evaluation by Explicit Approximate Inverses Applied to a Replicated Database System. |
J. Math. Model. Algorithms |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Panagiotis Tsopelas, Agapios N. Platis |
Performability indicators for the traffic analysis of wide area networks. |
Reliab. Eng. Syst. Saf. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
ETMCC: Model Checking Performability Properties of Markov Chains. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Reda A. Ammar, Magdi S. Moustafa, Ahmed M. Mohamed |
Performability Analysis of Software Systems. |
PDCS |
2003 |
DBLP BibTeX RDF |
|
18 | Kiran Nagaraja, Xiaoyan Li, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen |
Using Fault Injection and Modeling to Evaluate the Performability of Cluster-Based Services. |
USENIX Symposium on Internet Technologies and Systems |
2003 |
DBLP BibTeX RDF |
|
18 | George A. Gravvanis, Agapios N. Platis, Konstantinos M. Giannoutakis, J. B. Violentis, Elias A. Lipitakis |
Performability Evaluation of Multitasking and Multiprocessor Systems by Explicit Approximate Inverses. |
PDPTA |
2003 |
DBLP BibTeX RDF |
|
18 | Robert W. Rowan, Pierre M. Fiorini, Lester Lipsky |
Assessing the Performability of Computing Systems Subject to Failure and Repair Using Non-Exponentially Distributed Task Times. |
PDPTA |
2003 |
DBLP BibTeX RDF |
|
18 | Pierre M. Fiorini, Yiping Ding |
On the Performability of Computing Systems: An Analytic Approach. |
Int. CMG Conference |
2002 |
DBLP BibTeX RDF |
|
18 | George A. Gravvanis, Agapios N. Platis, J. B. Violentis, Konstantinos M. Giannoutakis |
Performability Evaluation of a Replicated Database System by Explicit Approximate Inverses. |
PDPTA |
2002 |
DBLP BibTeX RDF |
|
18 | Andrea Coccoli |
On integrating modelling and experiments in dependability and performability evaluation of distributed applications. |
|
2002 |
RDF |
|
18 | Víctor Suñé, José L. Domingo, Juan A. Carrasco |
Numerical iterative methods for Markovian dependability and performability models: new results and a comparison. |
Perform. Evaluation |
2000 |
DBLP DOI BibTeX RDF |
|
18 | John P. Dougherty |
Structured Performability Analysis of Parallel Applications. |
Informatica (Slovenia) |
1999 |
DBLP BibTeX RDF |
|
18 | Frederick T. Sheldon, Stefan Greiner |
Composing, analyzing and validating software models to assess the performability of competing design candidates. |
Ann. Softw. Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Brunilde Sansò, Luc Milot |
Performability of a Congested Urban Transportation Network When Accident Information is Available. |
Transp. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Peter G. Taylor, Nico M. van Dijk |
Strong Stochastic Bounds for the Stationary Distribution of a Class of Multicomponent Performability Models. |
Oper. Res. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Scott A. Barnett, Gary J. Anido |
Performability of Disk-Array-Based Video Servers. |
Multim. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Jason W. Rupe, Way Kuo |
Performability of systems based on renewal process models. |
IEEE Trans. Syst. Man Cybern. Part A |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Michael O. Ball, Jane N. Hagstrom, J. Scott Provan |
Two-path Subsets: Efficient Counting and Applications to Performability Analysis. |
Discret. Appl. Math. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Peter Ziegler, Helena Szczerbicka |
Performance and performability evaluation of FMS using GSPN. |
SMC |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Lutz Twele, Holger Schlingloff, Helena Szczerbicka |
Performability analysis of an avionics-interface. |
SMC |
1998 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Ana Pont, José A. Gil 0001 |
Using Performability Analysis in the Design of a New Multiprocessor Architecture. |
Euro-PDS |
1997 |
DBLP BibTeX RDF |
|
18 | Rosa M. L. R. Carmo, Luiz R. de Carvalho, Edmundo de Souza e Silva, Morganna C. Diniz, Richard R. Muntz |
TANGRAM-II: A Performability Modeling Environment Tool. |
Computer Performance Evaluation |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Luai M. Malhis, William H. Sanders, Richard D. Schlichting |
Numerical performability evaluation of a group multicast protocol. |
Distributed Syst. Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Agapios N. Platis, Nikolaos Limnios, Marc Le Du |
Performability of electric-power systems modeled by non-homogeneous Markov chains. |
IEEE Trans. Reliab. |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Andreas A. Veglis, Andreas S. Pombortsis |
Performability Analysis of Clos Multiprocessor Systems. |
Inf. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Boudewijn R. Haverkort, Ignas G. Niemegeers |
Performability Modelling Tools and Techniques. |
Perform. Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Antonio Puliafito, Salvatore Riccobene, Marco Scarpa |
Evaluation of Performability Parameters in Client-Server Environments. |
Comput. J. |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Ann T. Tai, John F. Meyer, Algirdas Avizienis |
Software performability - from concepts to applications. |
|
1996 |
RDF |
|
18 | Ann T. Tai, John F. Meyer |
Performability Management in Distributed Database Systems: An Adaptive Concurrency Control Protocol. |
MASCOTS |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Nukala Viswanadham, Krishna R. Pattipati, V. Gopalakrishna |
Performability studies of automated manufacturing systems with multiple part types. |
IEEE Trans. Robotics Autom. |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Arun Chandra, C.-L. Wu |
Performability Modeling of Static and Dynamic Interconnection Networks. |
Parallel and Distributed Computing and Systems |
1995 |
DBLP BibTeX RDF |
|
18 | Katerina Goseva-Popstojanova, Aksenti Grnarov |
Performability modeling of N version programming technique. |
ISSRE |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Salvatore Casale, Vincenzo Catania, Antonio Puliafito, Lorenzo Vita |
A remote bridging technique to increase performability in distributed systems. |
IEEE Trans. Ind. Electron. |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Leonard J. N. Franken, Boudewijn R. Haverkort |
The performability manager. |
IEEE Netw. |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Ann T. Tai |
Performability-Driven Adaptive Fault Tolerance. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fricks |
Markov Reward Approach to Performability and Reliability Analysis. |
MASCOTS |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Amiya Bhattacharya, Ramesh R. Rao, Ting-Ting Y. Lin |
Performability analysis of non-repairable multicomponent systems using order statistics. |
SPDP |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Alexander A. Hagin |
Performability, Reliability and Survivability of Communication Networks: System of Methods and Models for Evaluation. |
ICDCS |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Krishna M. Kavi, Hee Yong Youn, Behrooz A. Shirazi, Ali R. Hurson |
A Performability Model for Soft Real-Time Systems. |
HICSS (2) |
1994 |
DBLP BibTeX RDF |
|
18 | Vincenzo Catania, Antonio Puliafito, Lorenzo Vita |
A modeling framework to evaluate performability parameters in gracefully degrading systems. |
IEEE Trans. Ind. Electron. |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Boudewijn R. Haverkort |
Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets. |
Perform. Evaluation |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Charles J. Colbourn, Daryl D. Harms |
Evaluating performability: Most probable states and bounds. |
Telecommun. Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Aad P. A. van Moorsel |
Performability evaluation concepts and techniques. |
|
1993 |
RDF |
|
18 | Meng-Lai Yin, Douglas M. Blough, Lubomir Bic |
Incorporating Recovery in Performability Models for Multi-Computer Systems. |
MASCOTS |
1993 |
DBLP BibTeX RDF |
|
18 | Ing-Ray Chen |
Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects. |
SAC |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Kishor S. Trivedi, Manish Malhotra |
Reliability and Performability Techniques and Tools: A Survey. |
MMB |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner |
Dependability and Performability Analysis. |
Performance/SIGMETRICS Tutorials |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Helena Szczerbicka |
A Combined Queueing Network and Stochastic Petri-Net Approach for Evaluating the Performability of Fault-Tolerant Computer Systems. |
Perform. Evaluation |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Vincenzo Grassi, Lorenzo Donatiello |
Sensitivity Analysis of Performability. |
Perform. Evaluation |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Edmundo de Souza e Silva, H. Richard Gail |
Performability Analysis of Computer Systems: From Model Spacification to Solution. |
Perform. Evaluation |
1992 |
DBLP DOI BibTeX RDF |
|
18 | John F. Meyer |
Performability: A Retrospective and Some Pointers to the Future. |
Perform. Evaluation |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Rodrigo Torres, Kiichi Shibata, Mitsuru Yokoi |
Performability Modeling and Its Evaluation Tool for Network Disconnection. |
IFIP Congress (1) |
1992 |
DBLP BibTeX RDF |
|
18 | Satoshi Moriguchi |
Performance and Performability Evaluation of Client Server Systems by Stochastic Petri Nets. |
IFIP Congress (1) |
1992 |
DBLP BibTeX RDF |
|
18 | Samir M. Koriem, Lalit M. Patnaik |
Performability Studies of Hypercube Architectures. |
IPPS |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen |
Sensitivity and Uncertainty Analysis in Performability Modeling. |
SRDS |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt |
Performability Modeling with UltraSAN. |
IEEE Softw. |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Boudewijn R. Haverkort |
Performability modelling tools, evaluation techniques, and applications. |
|
1991 |
RDF |
|
18 | Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt |
Performability Modeling with UltraSAN. |
PNPM |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Boudewijn R. Haverkort |
Approximate Performability Analysis using Generalized Stochastic Petri Nets. |
PNPM |
1991 |
DBLP DOI BibTeX RDF |
|
18 | S. M. Rezaul Islam, Hany H. Ammar |
Performability Analysis of Distributed Real-Time Systems with Repetitive Task Invocation. |
FTCS |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Roland Lepold, F. Simon, D. Giacona |
Performability-Analyse flexibler Fertigungssysteme auf der Basis stochastischer Petri-Netz-Modelle. |
ASIM |
1991 |
DBLP BibTeX RDF |
|
18 | Roland Lepold |
Performability Evaluation of a Fault-Tolerant Multiprocessor Architecture Using Stochastic Petri Nets. |
Fault-Tolerant Computing Systems |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Kevin H. Prodromides, William H. Sanders |
Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions. |
SRDS |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Andrew N. Scrase |
On RDL and its application to the performability of communications networks. |
|
1991 |
RDF |
|
18 | Vincenzo Catania, Antonio Puliafito, Lorenzo Vita |
Availability and Performability Assessment in LAN Interconnection. |
INFOCOM |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Boudewijn R. Haverkort |
Performability Modelling Tools, Evaluation Techniques and Applications. |
|
1990 |
RDF |
|
18 | Hany H. Ammar, S. M. Rezaul Islam, Su Deng |
Performability Analysis of Parallel and Distributed Algorithms. |
PNPM |
1989 |
DBLP DOI BibTeX RDF |
|
18 | John F. Meyer, K. H. Muralidhar, William H. Sanders |
Performability of a token bus network under transient fault conditions. |
FTCS |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Boudewijn R. Haverkort, Ignas G. Niemegeers |
Performability Modelling Using Dynamic Queueing Networks. |
SIGMETRICS |
1989 |
DBLP BibTeX RDF |
|
18 | Krishna R. Pattipati, Yong Li, Henk A. P. Blom |
On the instantaneous availability and performability evaluation of fault-tolerant computer systems. |
SMC |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Cristian Constantinescu, Calin Sandovici |
A Fault-Tolerant Microcomputer for Advanced Control: Architecture and Performability Analysis. |
RTSS |
1989 |
DBLP DOI BibTeX RDF |
|
18 | R. M. Smith, Kishor S. Trivedi, A. V. Ramesh |
Performability Analysis: Measures, an Algorithm, and a Case Study. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
continuous Markov chain, performance evaluation, performance measure, multiprocessing systems, analytical models, multiprocessor system, polynomial-time algorithm |
18 | Balakrishna R. Iyer, Daniel M. Dias, Philip S. Yu |
Performability comparison of configurable duplex systems. |
Comput. Syst. Sci. Eng. |
1988 |
DBLP BibTeX RDF |
|
18 | William H. Sanders |
Construction and solution of performability models based on stochastic activity networks. |
|
1988 |
RDF |
|
18 | Ambuj Goyal, Asser N. Tantawi |
Evaluation of Performability for Degradable Computer Systems. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Bruno Ciciani, Vincenzo Grassi |
Performability Evaluation of Fault-Tolerant Satellite Systems. |
IEEE Trans. Commun. |
1987 |
DBLP DOI BibTeX RDF |
|
18 | William H. Sanders, John F. Meyer |
Performability Evaluation of Distributed Systems Using Stochastic Activity Networks. |
PNPM |
1987 |
DBLP BibTeX RDF |
|
18 | Bruno Ciciani, Vincenzo Grassi, Giuseppe Iazeolla |
Yield and Performability Evaluation of VLSI Reconfigurable Multiprocessor Structures. |
Computer Performance and Reliability |
1987 |
DBLP BibTeX RDF |
|
18 | Mei-Chen Hsueh, Ravishankar K. Iyer, Kishor S. Trivedi |
A Measurement-Based Performability Model for a Multiprocessor System. |
Computer Performance and Reliability |
1987 |
DBLP BibTeX RDF |
|
18 | Raymond A. Marie |
From Performance to Performability. |
MMB |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Mei-Chen Hsueh |
Measurement-Based Reliability/performability Models |
|
1987 |
RDF |
|
18 | Balakrishna R. Iyer, Lorenzo Donatiello, Philip Heidelberger |
Analysis of Performability for Stochastic Models of Fault-Tolerant Systems. |
IEEE Trans. Computers |
1986 |
DBLP DOI BibTeX RDF |
performance, reliability, Markov chains, Analysis, moments |
18 | Balakrishna R. Iyer, Daniel M. Dias, Philip S. Yu |
Performability Analysis of Operation Modes of Configurable Duplex Systems. |
FJCC |
1986 |
DBLP BibTeX RDF |
|
18 | William H. Sanders, John F. Meyer |
METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks. |
FJCC |
1986 |
DBLP BibTeX RDF |
|
18 | Eike Jessen, O. Schoen |
Performability - Das aktuelle Schlagwort. |
Inform. Spektrum |
1985 |
DBLP BibTeX RDF |
|
18 | Ali Movaghar-Rahimabadi |
Performability Modeling with Stochastic Activity Networks. |
|
1985 |
RDF |
|
18 | John F. Meyer |
Performability Modeling of Distributed Real-Time Systems. |
Computer Performance and Reliability |
1983 |
DBLP BibTeX RDF |
|
18 | David G. Furchtgott |
Performability Models and Solutions. |
|
1983 |
RDF |
|
18 | Liang Tai Wu |
Models for Evaluating the Performability of Degradable Computing Systems. |
|
1982 |
RDF |
|
13 | Jan Kleissl, Yuvraj Agarwal |
Cyber-physical energy systems: focus on smart buildings. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
LEED, ZNEB, cyber-physical, energy metering, embedded, energy management, buildings, smart grid |
13 | Thandar Thein, Jong Sou Park |
Availability Analysis of Application Servers Using Software Rejuvenation and Virtualization. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
modeling, virtual machine, availability, software rejuvenation, software aging |
13 | Visar Januzaj, Ralf Mauersberger, Florian Biechele |
Performance Modelling for Avionics Systems. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Pepijn Crouzen, Jaco van de Pol, Arend Rensink |
Applying formal methods to gossiping networks with mCRL and groove. |
SIGMETRICS Perform. Evaluation Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ningfang Mi, Giuliano Casale, Evgenia Smirni |
Scheduling for performance and availability in systems with temporal dependent workloads. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Manuela-Luminita Bujorianu, Joost-Pieter Katoen |
Symmetry reduction for stochastic hybrid systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Maurizio Guida, Maurizio Longo, Fabio Postiglione |
Reliability and survivability methodologies for next generation networks. |
MoMM |
2008 |
DBLP DOI BibTeX RDF |
availability, next generation networks, IP multimedia subsystem, network survivability |