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)
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
The Effect of Detection and Restoration Times forError Recovery in Communication Networks
Journal of Network and Systems Management
Sample-path conservation laws, with applications to scheduling queues and fluid systems
Queueing Systems: Theory and Applications
The Busy Period of the M/GI/∞ Queue
Queueing Systems: Theory and Applications
A Markov Renewal Based Model for Wireless Networks
Queueing Systems: Theory and Applications
Exact Asymptotics for ki-limited Exponential Polling Models
Queueing Systems: Theory and Applications
On Matrix-Geometric Solution of Nested QBD Chains
Queueing Systems: Theory and Applications
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Simulation for Continuous-Time Markov Chains
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Stochastic Modeling Formalisms for Dependability, Performance and Performability
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
Performance Analysis of Asynchronous Circuits Using Markov Chains
Concurrency and Hardware Design, Advances in Petri Nets
SREPT: Software Reliability Estimation and Prediction Tool
TOOLS '98 Proceedings of the 10th 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
Performance analysis and optimal control of the Geo/Geo/c queue
Performance Evaluation
Pricing in next generation networks: a queuing model to guarantee QoS
Performance Evaluation
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Efficient approximation of response time densities and quantiles in stochastic models
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Probabilistic weak simulation is decidable in polynomial time
Information Processing Letters
OPTIMAL CONTROL OF A TWO-STAGE TANDEM QUEUING SYSTEM WITH FLEXIBLE SERVERS
Probability in the Engineering and Informational Sciences
BOUNDS FOR FLUID MODELS DRIVEN BY SEMI-MARKOV INPUTS
Probability in the Engineering and Informational Sciences
Probability in the Engineering and Informational Sciences
A General Decomposition Algorithm for Parallel Queues with Correlated Arrivals
Queueing Systems: Theory and Applications
Inter-Departure Times in Base-Stock Inventory-Queues
Queueing Systems: Theory and Applications
Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain
Software Quality Control
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Sojourn time distribution in the M/M/1 queue with discriminatory processor-sharing
Performance Evaluation
Stochastic fluid flow models for determining optimal switching thresholds
Performance Evaluation
Formal modeling and quantitative analysis of KLAIM-based mobile systems
Proceedings of the 2005 ACM symposium on Applied computing
Encyclopedia of Computer Science
Comparative branching-time semantics for Markov chains
Information and Computation
Packet Error Rate Distribution Between Random Bluetooth Piconet Pairs
Wireless Personal Communications: An International Journal
On Queues with Markov Modulated Service Rates
Queueing Systems: Theory and Applications
Partial Pooling in Tandem Lines with Cooperation and Blocking
Queueing Systems: Theory and Applications
Impacts of data call characteristics on multi-service CDMA system capacity
Performance Evaluation - Performance 2005
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Queueing Systems: Theory and Applications
Branching bisimulation for probabilistic systems: characteristics and decidability
Theoretical Computer Science - Expressiveness in concurrency
WSC '05 Proceedings of the 37th conference on Winter simulation
jMarkov: an object-oriented framework for modeling and analyzing Markov chains and QBDs
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Consecutive customer loss probabilities in M/G/1/n and GI/M(m)//n systems
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Exploring the state sequence space for hidden Markov and semi-Markov chains
Computational Statistics & Data Analysis
Performability analysis of clustered systems with rejuvenation under varying workload
Performance Evaluation
Modeling the “Pseudodeductible” in Insurance Claims Decisions
Management Science
Safety Stock Positioning in Supply Chains with Stochastic Lead Times
Manufacturing & Service Operations Management
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
IEEE Transactions on Software Engineering
Improving the Fault Resilience of Overlay Multicast for Media Streaming
IEEE Transactions on Parallel and Distributed Systems
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Model checking mobile stochastic logic
Theoretical Computer Science
Short communication: On the choice of an auxiliary function in the M/G/∞ estimation
Computational Statistics & Data Analysis
IEEE/ACM Transactions on Networking (TON)
Output analysis of multiclass fluid models with static priorities
Performance Evaluation
Estimating the probability of a rare event over a finite time horizon
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Designing self-organising environments with agents and artefacts: a simulation-driven approach
International Journal of Agent-Oriented Software Engineering
A microscopic study of power management in IEEE 802.11 wireless networks
International Journal of Wireless and Mobile Computing
Performance analysis of mobile communication networks with clustering and neural modelling
International Journal of Mobile Network Design and Innovation
Moments of the duration of busy periods of mx/g/1/n systems
Probability in the Engineering and Informational Sciences
Balking and reneging in m/g/s systems exact analysis and approximations
Probability in the Engineering and Informational Sciences
Busy period analysis for M/PH/1 queues with workload dependent balking
Queueing Systems: Theory and Applications
A switching rule for plastics identification in electronics recycling
International Journal of Computer Integrated Manufacturing
Performance implications of fluctuating server capacity
Computer Communications
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
PRISM: probabilistic model checking for performance and reliability analysis
ACM SIGMETRICS Performance Evaluation Review
Decomposition property for markov-modulated queues with applications to warranty management
Probability in the Engineering and Informational Sciences
NETWORKING '09 Proceedings of the 8th International IFIP-TC 6 Networking Conference
Tagged Generalized Stochastic Petri Nets
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Modeling finite buffer effects on TCP traffic over an IEEE 802.11 infrastructure WLAN
Computer Networks: The International Journal of Computer and Telecommunications Networking
Markov Chain-based performance analysis of multihop IEEE 802.15.4 wireless networks
Performance Evaluation
Hidden hybrid Markov/semi-Markov chains
Computational Statistics & Data Analysis
On the applicability of the number of collisions in p-persistent CSMA/CD protocols
Computers and Operations Research
Queue size distribution in a discrete-time D-BMAP/G/1 retrial queue
Computers and Operations Research
Computers and Operations Research
Availability analysis of blade server systems
IBM Systems Journal
Analysis of GI/M/s/c queues using uniformisation
Computers & Mathematics with Applications
Model checking expected time and expected reward formulae with random time bounds
Computers & Mathematics with Applications
Scalable approach for effective control of gene regulatory networks
Artificial Intelligence in Medicine
Markov chain-based optimization of multihop IEEE 802.15.4 wireless sensor networks
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Delay minimization in multiple access channels
ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 4
Efficient tree management for resilient overlay multicast
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1
Modeling finite buffer effects on TCP traffic over an IEEE 802.11 infrastructure WLAN
COMSNETS'09 Proceedings of the First international conference on COMmunication Systems And NETworks
Towards a Logic for Performance and Mobility
Electronic Notes in Theoretical Computer Science (ENTCS)
Trace Machines for Observing Continuous-Time Markov Chains
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparative branching-time semantics for Markov chains
Information and Computation
Dynamic spectrum access in underlay cognitive radio system with SINR constraints
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
On decision problems for probabilistic Büchi automata
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Semi-Markov performance modelling of a redundant system with partial, full and failed rejuvenation
International Journal of Critical Computer-Based Systems
Experimental validation of analytical performance models for IEEE 802.11 networks
COMSNETS'10 Proceedings of the 2nd international conference on COMmunication systems and NETworks
Tail asymptotics for the queue size distribution in the MAP/G/1 retrial queue
Queueing Systems: Theory and Applications
Steady-state Markov chain analysis for heterogeneous cognitive radio networks
Sarnoff'10 Proceedings of the 33rd IEEE conference on Sarnoff
Hidden Markov models with arbitrary state dwell-time distributions
Computational Statistics & Data Analysis
Delay-minimal transmission for average power constrained multi-access communications
IEEE Transactions on Wireless Communications
Generic forward and backward simulations II: probabilistic simulation
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Asymptotically optimal load distribution for multipath streaming under fec
Probability in the Engineering and Informational Sciences
Predicting failures of computer systems: a case study for a telecommunication system
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Recurrence and transience for finite probabilistic tables
Theoretical Computer Science
Epidemic-based information dissemination in wireless mobile sensor networks
IEEE/ACM Transactions on Networking (TON)
INFORMS Journal on Computing
Algorithms for computing moments of the length of busy periods of single-server systems
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Architecting dependable systems with proactive fault management
Architecting dependable systems VII
Stochastic ordering of semi-markov processes
Network performance engineering
A framework for simulation and symbolic state space analysis of non-markovian models
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Stochastic models of IEEE 802.11e wireless networks with multimedia applications
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Extended directed search for probabilistic timed reachability
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Stochastic model checking with stochastic comparison
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Learning to negotiate optimally in non-stationary environments
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
On the structural robustness of evolutionary models of cooperation
IDEAL'06 Proceedings of the 7th international conference on Intelligent Data Engineering and Automated Learning
A continuous-time Markov chain model and analysis for cognitive radio networks
International Journal of Communication Networks and Distributed Systems
Towards model checking stochastic aspects of the thinkteam user interface
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Altered quasi-renewal concepts for modeling renewable warranty costs with imperfect repairs
Mathematical and Computer Modelling: An International Journal
Optimal admission to reader-writer systems with no queueing
Operations Research Letters
Transient analysis of non-Markovian models using stochastic state classes
Performance Evaluation
INFORMS Journal on Computing
Investigating dynamic reliability and availability through state-space models
Computers & Mathematics with Applications
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
Theoretical Computer Science
On the performance evaluation of query-based wireless sensor networks
Performance Evaluation
Understanding the effects of P2P dynamics on trust bootstrapping
Information Sciences: an International Journal
Expressing and computing passage time measures of GSPN models with HASL
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Transient analysis of networks of stochastic timed automata using stochastic state classes
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Multi-Spreader Routing for sparsely populated mobile ad hoc networks
Wireless Networks
| Hi-index | 0.00 |