Accelerated reliability analysis for self-healing SONET networks
Proceedings of the ACM SIGCOMM '98 conference on Applications, technologies, architectures, and protocols for computer communication
Managing Statistical Behavior of Large Data Sets in Shared-Nothing Architectures
IEEE Transactions on Parallel and Distributed Systems
Modeling and Performance Comparison of Reliability Strategies for Distributed Video Servers
IEEE Transactions on Parallel and Distributed Systems
A Dependability Analysis for Systems with Global Spares
IEEE Transactions on Computers
A Fast and Efficient Processor Allocation Scheme for Mesh-Connected Multicomputers
IEEE Transactions on Computers
Workflow management with service quality guarantees
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Lectures on formal methods and performance analysis
A time/structure based software reliability model
Annals of Software Engineering
Annals of Software Engineering
Analysis and Comparison of Location Strategies for Reducing RegistrationCost in PCS Networks
Wireless Personal Communications: An International Journal
Scalable Schemes for Call Admission and Handover in Cellular Networks with Multiple Services
Wireless Personal Communications: An International Journal
Increasing Application Accessibility Through Java
IEEE Internet Computing
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
FANTOMAS: Fault Tolerance for Mobile Agents in Clusters
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Availability Requirement for a Fault Management Server in High-Availability Communication Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Stochastic Modeling Formalisms for Dependability, Performance and Performability
Performance Evaluation: Origins and Directions
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Software Reliability and Rejuvenation: Modeling and Analysis
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
SREPT: Software Reliability Estimation and Prediction Tool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Reliability and Performability Modeling Using SHARPE 2000
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
SREPT: Software Reliability Estimation and Prediction Tool
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Semi-numerical Solution of Stochastic Process Algebra Models
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Simulation of Task Graph Systems in Heterogeneous Computing Environments
HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
A Measurement-Based Model for Estimation of Resource Exhaustion in Operational Software Systems
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Construction and stepwise refinement of dependability models
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain
Software Quality Control
Analyzing heap error behavior in embedded JVM environments
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A Modeling Technique for the Performance Analysis of Web Searching Applications
IEEE Transactions on Knowledge and Data Engineering
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Design and Evaluation of a Fault-Tolerant Mobile-Agent System
IEEE Intelligent Systems
An analytical approach to architecture-based software performance and reliability prediction
Performance Evaluation
Consistent and automatic replica regeneration
ACM Transactions on Storage (TOS)
Static and dynamic distance metrics for feature-based code analysis
Journal of Systems and Software
A Comprehensive Model for Software Rejuvenation
IEEE Transactions on Dependable and Secure Computing
Architecture based analysis of performance, reliability and security of software systems
Proceedings of the 5th international workshop on Software and performance
Achieving high availability and performance computing with an HA-OSCAR cluster
Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Security modeling and quantification of intrusion tolerant systems using attack-response graph
Journal of High Speed Networks
IBM Journal of Research and Development - IBM BladeCenter systems
A performance model of highly available multicomputer systems
International Journal of Modelling and Simulation
A UML profile for dependability analysis of real-time embedded systems
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Quantifying software performance, reliability and security: An architecture-based approach
Journal of Systems and Software
Power and reliability management of SoCs
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
The software architecture of the OsMoSys multisolution framework
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
Task assignment heuristics for parallel and distributed CFD applications
International Journal of Computational Science and Engineering
Performability evaluation of mobile client-server systems
Proceedings of the 2008 ACM symposium on Applied computing
Performability modeling for scheduling and fault tolerance strategies for scientific workflows
HPDC '08 Proceedings of the 17th international symposium on High performance distributed computing
Fault Tolerant Schemes for Hot-Swappable and Non Hot-Swappable Mezzanine Cards
ISAS '07 Proceedings of the 4th international symposium on Service Availability
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
Improved bounds for performability evaluation algorithms using state generation
Performance Evaluation
Reliability and survivability methodologies for next generation networks
Proceedings of the 6th International Conference on Advances in Mobile Computing and Multimedia
The PLASTIC Framework and Tools for Testing Service-Oriented Applications
Software Engineering
Network survivability modeling
Computer Networks: The International Journal of Computer and Telecommunications Networking
Approximate transient analysis of large stochastic models with WinPEPSY-QNS
Computer Networks: The International Journal of Computer and Telecommunications Networking
SHARPE at the age of twenty two
ACM SIGMETRICS Performance Evaluation Review
Assessing System Availability Using an Enterprise Architecture Analysis Approach
Service-Oriented Computing --- ICSOC 2008 Workshops
How to capture dynamic behaviours of dependable systems
International Journal of Parallel, Emergent and Distributed Systems - Papers from the Workshop on Dependable Parallel and Network-Centric Systems
Non deterministic repairable fault trees for computing optimal repair strategy
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
From Coordination to Stochastic Models of QoS
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Higher reliability redundant disk arrays: Organization, operation, and coding
ACM Transactions on Storage (TOS)
Availability analysis of blade server systems
IBM Systems Journal
A survey of online failure prediction methods
ACM Computing Surveys (CSUR)
Modeling Dependability of Dynamic Computing Systems
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Achieving high availability and performance computing with an HA-OSCAR cluster
Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Modeling of the human body using stochastic Petri nets
MS '08 Proceedings of the 19th IASTED International Conference on Modelling and Simulation
Performability evaluation of EFT systems using expolinomial stochastic models
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Stochastic fault trees for cross-layer power management of WSN monitoring systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: applications and services
Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Achieving and assuring high availability
ISAS'08 Proceedings of the 5th international conference on Service availability
Dependability metrics
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
The qnetworks toolbox: a software package for queueing networks analysis
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Stochastic comparisons for performability of telecommunication systems
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Damage assessment and repair in attack resilient distributed database systems
Computer Standards & Interfaces
On design tradeoffs between security and performance in wireless group communicating systems
NPSEC'05 Proceedings of the First international conference on Secure network protocols
Proceedings of the 2011 ACM Symposium on Applied Computing
Survivability modeling with stochastic reward nets
Winter Simulation Conference
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part II
Defining Formalisms for Performance Evaluation With SIMTHESys
Electronic Notes in Theoretical Computer Science (ENTCS)
Reliability analysis of resilient packet rings
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Evaluating wireless sensor node longevity through Markovian techniques
Computer Networks: The International Journal of Computer and Telecommunications Networking
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Evaluating performance attributes of layered software architecture
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Model based approach for autonomic availability management
ISAS'06 Proceedings of the Third international conference on Service Availability
Making services fault tolerant
ISAS'06 Proceedings of the Third international conference on Service Availability
A dynamic Bayesian network based framework to evaluate cascading effects in a power grid
Engineering Applications of Artificial Intelligence
Dynamic aspects and behaviors of complex systems in performance and reliability assessment
ACM SIGMETRICS Performance Evaluation Review
Bounds for two-terminal network reliability with dependent basic events
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
A queuing network model for minimizing the total makespan of computational grids
Computers and Electrical Engineering
Analytical modeling of TCP flow in wireless LANs
Mathematical and Computer Modelling: An International Journal
Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees
Security and Communication Networks
DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Investigating dynamic reliability and availability through state-space models
Computers & Mathematics with Applications
An ontological approach to systematization of SW-FMEA
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Quantitative survivability evaluation of three virtual machine-based server architectures
Journal of Network and Computer Applications
Predictable quality of service atop degradable distributed systems
Cluster Computing
A Formal Framework for Patch Management
International Journal of Interdisciplinary Telecommunications and Networking
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
Science of Computer Programming
A queueing theoretic approach for performance evaluation of low-power multi-core embedded systems
Journal of Parallel and Distributed Computing
| Hi-index | 0.01 |