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
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults
IEEE Transactions on Computers
Quantitative system evaluation with DSPNexpress 2000
Proceedings of the 2nd international workshop on Software and performance
A Dependability Analysis for Systems with Global Spares
IEEE Transactions on Computers
Performability of an Algorithm for Connection Admission Control
IEEE Transactions on Computers
Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
Lectures on formal methods and performance analysis
Stochastic activity networks: formal definitions and concepts
Lectures on formal methods and performance analysis
Annals of Software Engineering
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
The Effect of Workload on the Performance and Availability of Voting Algorithms
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Formalizing Software Architectures for Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Iterative Analysis of Markov Regenerative Models
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
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
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
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
Probabilistic Analysis of Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Sparing rules for duplexed units
ISCC '97 Proceedings of the 2nd IEEE Symposium on Computers and Communications (ISCC '97)
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Loss process analysis of the knockout switch using stochastic activity networks
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Service-Level Availability Estimation of GPRS
IEEE Transactions on Mobile 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
Availability analysis of blade server systems
IBM Systems Journal
Towards Modelling Information Security with Key-Challenge Petri Nets
NordSec '09 Proceedings of the 14th Nordic Conference on Secure IT Systems: Identity and Privacy in the Internet Age
Predictive modelling of SAP ERP applications: challenges and solutions
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Transformation of UML Models into Analyzable OSAN Models
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
The ins and outs of the probabilistic model checker MRMC
Performance Evaluation
The design of biopathway's modelling and simulation system based on petri net
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
| Hi-index | 0.02 |