Real-time Systems Performance in the Presence of Failures
Computer - Special issue on real-time systems
Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays
IEEE Transactions on Computers
Modeling Correlation in Software Recovery Blocks
IEEE Transactions on Software Engineering - Special issue on software reliability
A multi-level solution algorithm for steady-state Markov chains
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
WSC '94 Proceedings of the 26th conference on Winter simulation
Petri net modeling of interconnection networks for massively parallel architectures
ICS '95 Proceedings of the 9th international conference on Supercomputing
Numerical Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
DEPEND: A Simulation-Based Environment for System Level Dependability Analysis
IEEE Transactions on Computers
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Software engineering and performance: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Design and evaluation of a replicated database for mobile systems
Wireless Networks
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
MSWiM '02 Proceedings of the 5th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems
Annals of Software Engineering
Comparison of Hybrid Systems and Fluid Stochastic PetriNets
Discrete Event Dynamic Systems
IEEE Transactions on Computers
Design and Performance Analysis of a Disk Array System
IEEE Transactions on Computers
Performance Evaluation of Client-Server Systems
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Dependability Modeling and Analysis of Distributed Programs
IEEE Transactions on Software Engineering
Discrete-Event Simulation of Fluid Stochastic Petri Nets
IEEE Transactions on Software Engineering
Modeling and performance analysis of QoS-aware load balancing of web-server clusters
Computer Networks: The International Journal of Computer and Telecommunications Networking
IEEE Transactions on Computers
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Towards Dependability Modeling of FT-CORBA Architectures
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
COMPSAC '00 24th International Computer Software and Applications Conference
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Modelling of Client/Server Systems
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Performance Evaluation: Origins and Directions
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Derivation of Petri Net Performance Models from UML Specifications of Communications Software
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
SPNP: Stochastic Petri Nets. Version 6.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Computers and Operations Research
TiPNet: a graphical tool for timed Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Using the probabilistic evaluation tool for the analytical solution of large Markov models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
An approach to formalize structural decomposition and aggregation for stochastic reward net models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Performance evaluation of dynamic priority operating systems
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Fixed point iteration using stochastic reward nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Numerical analysis of superposed GSPNs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Modeling a scalable high-speed interconnect with stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Reliability Analysis of a Redundant Database for UMTS Systems
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Analyzing dynamic voting using Petri nets
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
Probabilistic Analysis of Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
All-Optical LAN Interconnection with a Wavelength Selective Router
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Distributed and Parallel Databases
Proceedings of the 2004 ACM symposium on Applied computing
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
IEEE Transactions on Computers
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Analyzing reconfigurable algorithms for managing replicated data
Journal of Systems and Software
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
Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models
IEEE Transactions on Software Engineering
Versatile stochastic models for networks with asymmetric TCP sources
Performance Evaluation
Model Checking Markov Chains with Actions and State Labels
IEEE Transactions on Software Engineering
IEEE Transactions on Parallel and Distributed Systems
Simulation versus analytic-numeric methods: illustrative examples
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
On the performance of persistent connection in modern web servers
Proceedings of the 2008 ACM symposium on Applied computing
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
A Petri net-based approach to modeling and analysis of component-based distributed real-time systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Proactive management of software aging
IBM Journal of Research and Development
A performance experiment system supporting fast mapping of system issues
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
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
A set of performance and dependability analysis components for CADP
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Performance modelling and Markov chains
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
Specification: level integration of simulation and dependability analysis
Architecting dependable systems
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Modeling and performance analysis of an OGSA-based resource sharing environment in NGN
ICCOM'06 Proceedings of the 10th WSEAS international conference on Communications
Formalization of finite-state discrete-time Markov chains in HOL
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
A dependable task scheduling strategy for a fault tolerant grid model
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Highly reliable linux HPC clusters: self-awareness approach
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Regular paper: Temporal analysis of data flow control systems
Automatica (Journal of IFAC)
A modelling and analysis environment for LARES
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 proactive approach towards always-on availability in broadband cable networks
Computer Communications
A performance model of partial packet discard and early packet discard schemes in ATM switches
Computer Communications
A stochastic reward net model for performance analysis of prioritized DQDB MAN
Computer Communications
Modeling and security analysis of enterprise network using attack–defense stochastic game Petri nets
Security and Communication Networks
Journal of Electronic Testing: Theory and Applications
SRN models for analysis of multihop wireless ad hoc networks
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
SRN models for analysis of multihop wireless ad hoc networks
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Availability analysis for deployment of in-cloud applications
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems
Job completion time on a virtualized server with software rejuvenation
ACM Journal on Emerging Technologies in Computing Systems (JETC) - Special Issue on Reliability and Device Degradation in Emerging Technologies and Special Issue on WoSAR 2011
Cost-Benefit Analysis of Virtualizing Batch Systems: Performance-Energy-Dependability Trade-Offs
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
| Hi-index | 0.03 |