Nihal Pekergin

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

2012

An algorithm approach to bounding aggregations of multidimensional Markov chains.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

The Competition between Internet Service Qualities from a difference Game Viewpoint.

[BibT_eX]

[DOI]

IGTR, 2012

Introduction to the Special Issue on Probability Models in Performance Analysis.

[BibT_eX]

[DOI]

Comput. J., 2012

Bounding Aggregations for Transient and Stationary Performance Analysis of Subnetworks.

[BibT_eX]

[DOI]

Idriss Ismael Aouled

Comput. J., 2012

Accuracy vs. complexity: The stochastic bound approach.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Computing Entry-Wise Bounds of the Steady-State Distribution of a Set of Markov Chains.

[BibT_eX]

[DOI]

Farah Aït-Salaht

Proceedings of the Computer and Information Sciences III, 2012

Compositional Verification of Untimed Properties for a Class of Stochastic Automata Networks.

[BibT_eX]

[DOI]

Minh-Anh Tran

Proceedings of the Computer and Information Sciences III, 2012

2011

Steady state property verification of very large systems.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2011

On the choice of the stochastic comparison method for multidimensional Markov chains analysis.

[BibT_eX]

[DOI]

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

Bounding techniques for transient analysis of G-networks with catastrophes.

[BibT_eX]

[DOI]

Idriss Ismael Aouled

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

HASL: an expressive language for statistical verification of stochastic models.

[BibT_eX]

[DOI]

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Petri nets compositional modeling and verification of Flexible Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Stochastic bounds for performance evaluation of Web services.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2010

Accuracy of Strong and Weak Comparisons for Network of Queues.

[BibT_eX]

[DOI]

Proceedings of the Measurement, 2010

Stochastic comparisons applied to G-Networks with catastrophes.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2010

Stochastic Comparisons for Performability of Telecommunication Systems.

[BibT_eX]

[DOI]

Idriss Ismael Aouled

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009

Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains.

[BibT_eX]

[DOI]

Serge Haddad

Proceedings of the QEST 2009, 2009

Stochastic Monotonicity in Queueing Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2009

Improving Time Parallel Simulation for Monotone Systems.

[BibT_eX]

[DOI]

Imène Kadi

Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2009

Statistical Model Checking Using Perfect Simulation.

[BibT_eX]

[DOI]

Diana El Rabih

Proceedings of the Automated Technology for Verification and Analysis, 2009

Different Monotonicity Definitions in Stochastic Modelling.

[BibT_eX]

[DOI]

Imène Kadi

Jean-Marc Vincent

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2009

Weak Stochastic Comparisons for Performability Verification.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2009

2008

Analyzing Weighted Round Robin policies with a stochastic comparison approach.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2008

CSRL model checking with closed-form bounding distributions.

[BibT_eX]

[DOI]

Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

Model Checking of Infinite State Space Markov Chains by Stochastic Bounds.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008

2007

Perfect simulation and monotone stochastic bounds.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Aggregated bounding Markov processes applied to the analysis of tandem queues.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Stochastic Bounds Applied to the End to End QoS in Communication Systems.

[BibT_eX]

[DOI]

Hind Castel

Proceedings of the 15th International Symposium on Modeling, 2007

Topic 2 Performance Prediction and Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2007, 2007

Censoring Markov Chains and Stochastic Bounds.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Closed Form Absorption Time Bounds.

[BibT_eX]

[DOI]

Ana Busic

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Stochastic Bounds for Loss Rates.

[BibT_eX]

[DOI]

Proceedings of the Third Advanced International Conference on Telecommunications (AICT 2007), 2007

Loss rates bounds in IP buffers by Markov chains aggregations.

[BibT_eX]

[DOI]

Hind Castel

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006

Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Class C Markov Chains and Transient Analysis.

[BibT_eX]

[DOI]

Proceedings of the Positive Systems, 2006

Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering.

[BibT_eX]

[DOI]

Ana Busic

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Loss rates bounds for IP switches in MPLS networks.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Componentwise bounds for nearly completely decomposable Markov chains using stochastic comparison and reordering.

[BibT_eX]

[DOI]

Tugrul Dayar

Denizhan N. Alparslan

Eur. J. Oper. Res., 2005

Improving Stochastic Model Checking with Stochastic Bounds.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 31 January, 2005

Stochastic Bounds on Partial Ordering: Application to Memory Overflows Due to Bursty Arrivals.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2005

Stochastic Model Checking with Stochastic Comparison.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2003

Transforming stochastic matrices for stochastic comparison with the st-order.

[BibT_eX]

[DOI]

Tugrul Dayar

RAIRO Oper. Res., 2003

An open tool to compute stochastic bounds on steady-state distributions and rewards.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Modeling, 2003

2002

Stochastic delay bounds of fair queuing policies by analyzing weighted round robin-related policies.

[BibT_eX]

[DOI]

Perform. Evaluation, 2002

An Algorithmic Approach to Stochastic Bounds.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

An Algorithmic and Numerical Approach to Bound the Performance of High Speed Networks.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Modeling, 2002

1999

Stochastic Performance Bounds by State Space Reduction.

[BibT_eX]

Perform. Evaluation, 1999

Stochastic Bounds on Delays of Fair Queueing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '99, 1999

1998

Comparison of Fair Queuing Algorithms with a Stochastic Approach.

[BibT_eX]

[DOI]

O. Abuamsha

Proceedings of the MASCOTS 1998, 1998

1997

Bounding the Loss Rates in a Multistage ATM Switch.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

1996

Stochastic Bounds and Q0S Application To The Loss Rates in ATM Networks.

[BibT_eX]

H. Taleb

Proceedings of the Modelling and Simulation, 1996

1994

An application of stochastic ordering to the analysis of the push-out mechanism.

[BibT_eX]