Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
On the Logical Characterisation of Performability Properties
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
What Designers of Bus and Network Architectures Should Know about Hypercubes
IEEE Transactions on Computers
Probabilistic Analysis of Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Channel Planning and Fault Recovery in Hierarchical Hybrid Cellular Networks with Mobile Routers
LCN '01 Proceedings of the 26th Annual IEEE Conference on Local Computer Networks
An efficient approximate technique for solving fluid models
ACM SIGMETRICS Performance Evaluation Review
An evolutionary game-theoretic approach to congestion control
Performance Evaluation - Performance 2005
Model-Based Generation of Testbeds for Web Services
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Call packing bound for overflow loss systems
Performance Evaluation
An integrated framework for the dependability evaluation of distributed mobile applications
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Performability evaluation of EFT systems using expolinomial stochastic models
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Dependability metrics
Hierarchical RAID: Design, performance, reliability, and recovery
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |