Nihal Pekergin

发表

Petri nets compositional modeling and verification of Flexible Manufacturing Systems

Paolo Ballarini, Hilal Djafri, Marie Duflot, 2011, 2011 IEEE International Conference on Automation Science and Engineering.

Introduction to the Special Issue on Probability Models in Performance Analysis

Nihal Pekergin, 2012, Comput. J..

Performance Analysis of a Queue by Combining Stochastic Bounds, Real Traffic Traces and Histograms

Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin, 2016, Comput. J..

Stochastic bounds on delays of fair queueing algorithms

Nihal Pekergin, 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

Stochastic Bounds and Histograms for Network Performance Analysis

Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin, 2013, EPEW.

Closed Form Absorption Time Bounds

Ana Busic, Nihal Pekergin, A. Bušić, 2007, EPEW.

Modeling networks and active queues management with stochastic bounds and histograms

Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin, 2013 .

Convex Stochastic Bounds and Stochastic Optimisation on Graphs

Johanne Cohen, Jean-Michel Fourneau, Nihal Pekergin, 2018, Electron. Notes Theor. Comput. Sci..

Stochastic Bounds For Some Stochastic Optimisation Problems

Jean-Michel Fourneau, Nihal Pekergin, Sovanna Tan, 2020, VALUETOOLS.

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

Paolo Ballarini, Hilal Djafri, Marie Duflot, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

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

Hind Castel-Taleb, Nihal Pekergin, H. Castel-Taleb, 2011, VALUETOOLS.

Stochastic Bounds for Markov Chains with the Use of GPU

Jean-Michel Fourneau, Nihal Pekergin, Jaroslaw Bylina, 2015, CN.

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

Nihal Pekergin, Denizhan N. Alparslan, Tugrul Dayar, 2005, Eur. J. Oper. Res..

Improving Stochastic Model Checking with Stochastic Bounds

Jean-Michel Fourneau, Nihal Pekergin, S. Younes, 2005 .

Statistical Model Checking Using Perfect Simulation

Nihal Pekergin, Diana El Rabih, N. Pekergin, 2009, ATVA.

Transforming stochastic matrices for stochastic comparison with the st-order

Jean-Michel Fourneau, Nihal Pekergin, Tugrul Dayar, 2003, RAIRO Oper. Res..

Reseaux generalises multiclasses avec synchronisations cycliques

Jean-Michel Fourneau, Dominique Verchère, Nihal Pekergin, 1997 .

The Competition between Internet Service Qualities from a difference Game Viewpoint

Ferhan Pekergin, Nihal Pekergin, Naïla Hayek, 2012, IGTR.

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

Nihal Pekergin, Mouad Ben Mamoun, Sana Younès, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Censoring Markov Chains and Stochastic Bounds

Jean-Michel Fourneau, Nihal Pekergin, Sana Younès, 2007, EPEW.

Performance prediction and evaluation

Bruno Gaujal, Wolfgang E. Nagel, Nihal Pekergin, 2007 .

Analyzing Weighted Round Robin policies with a stochastic comparison approach

Jean-Michel Fourneau, Nihal Pekergin, Mouad Ben Mamoun, 2008, Comput. Oper. Res..

Weak Stochastic Comparisons for Performability Verification

Hind Castel-Taleb, Nihal Pekergin, H. Castel-Taleb, 2009, ASMTA.

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

Hind Castel-Taleb, Nihal Pekergin, Lynda Mokdad, 2007, 2007 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

Time Parallel Simulation for Dynamic Fault Trees

Jean-Michel Fourneau, Nihal Pekergin, Franck Quessette, 2014, ISCIS.

Stochastic Model Checking with Stochastic Comparison

Nihal Pekergin, Sana Younès, 2005, EPEW/WS-FM.

Loss rates bounds in IP buffers by Markov chains aggregations

Hind Castel-Taleb, Nihal Pekergin, Lynda Mokdad, 2007, 2007 IEEE/ACS International Conference on Computer Systems and Applications.

HASL: A new approach for performance evaluation and model checking from concepts to experimentation

Paolo Ballarini, Marie Duflot, Serge Haddad, 2015, Perform. Evaluation.

Stochastic Monotonicity in Queueing Networks

Hind Castel-Taleb, Nihal Pekergin, H. Castel-Taleb, 2009, EPEW.

Stochastic bounds for performance evaluation of web services

Jean-Michel Fourneau, Nihal Pekergin, Lynda Mokdad, 2009, 2009 IEEE Symposium on Computers and Communications.

A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds

Jean-Michel Fourneau, Nihal Pekergin, 2015, QEST.

Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains

Serge Haddad, Nihal Pekergin, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Aggregated bounding Markov processes applied to the analysis of tandem queues

Hind Castel-Taleb, Nihal Pekergin, Lynda Mokdad, 2007, VALUETOOLS.

Steady state property verification of very large systems

Jean-Marc Vincent, Nihal Pekergin, Diana El Rabih, 2011, Int. J. Crit. Comput. Based Syst..

Accuracy vs. complexity: The stochastic bound approach

Johanne Cohen, Hind Castel-Taleb, Jean-Michel Fourneau, 2012, WODES.

A tool based on traffic traces and stochastic monotonicity to analyze data centers and their energy consumption

Jean-Michel Fourneau, Nihal Pekergin, Marziyeh Bayati, 2016, EAI Endorsed Trans. Energy Web.

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

Jean-Michel Fourneau, Nihal Pekergin, Mathieu Le Coz, 2003, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003..

Improving Time Parallel Simulation for Monotone Systems

Jean-Michel Fourneau, Nihal Pekergin, Imène Kadi, 2009, 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications.

Topic 2 Performance Prediction and Evaluation

Bruno Gaujal, Wolfgang E. Nagel, Nihal Pekergin, 2007, Euro-Par.

5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011

Luc Vandendorpe, Peter G. Harrison, Muriel Medard, 2011, VALUETOOLS.

Different Monotonicity Definitions in Stochastic Modelling

Jean-Marc Vincent, Nihal Pekergin, Imène Kadi, 2009, ASMTA.

Bounding the Loss Rates in a Multistage ATM Switch

Jean-Michel Fourneau, Nihal Pekergin, Lynda Mokdad, 1997, Computer Performance Evaluation.

An algorithm approach to bounding aggregations of multidimensional Markov chains

Hind Castel-Taleb, Nihal Pekergin, Lynda Mokdad, 2012, Theor. Comput. Sci..

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

Jean-Michel Fourneau, Nihal Pekergin, Farah Aït-Salaht, 2012, ISCIS.

Computing Bounds of the MTTF for a Set of Markov Chains

Jean-Michel Fourneau, Nihal Pekergin, Farah Aït-Salaht, 2013, ISCIS.

CSRL model checking with closed-form bounding distributions

Nihal Pekergin, Sana Younès, N. Pekergin, 2008, VALUETOOLS.

Smoothing the Input Process in a Batch Queue

Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin, 2015, ISCIS.

Stochastic bounds for performance evaluation of Web services

Jean-Michel Fourneau, Nihal Pekergin, Lynda Mokdad, 2010 .

Perfect simulation and monotone stochastic bounds

Jean-Marc Vincent, Jean-Michel Fourneau, Nihal Pekergin, 2007, VALUETOOLS.

Stochastic Bounds for Loss Rates

Jean-Michel Fourneau, Nihal Pekergin, Lynda Mokdad, 2007, The Third Advanced International Conference on Telecommunications (AICT'07).

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

Nihal Pekergin, Mouad Ben Mamoun, 2002, Perform. Evaluation.

Aggregation for Computing Multi-Modal Stationary Distributions in 1-D Gene Regulatory Networks

Cüneyt Güzeliş, Ferhan Pekergin, Nihal Pekergin, 2018, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Steady-state property verification: a comparison study

Jean-Marc Vincent, Nihal Pekergin, Diana El Rabih, 2010 .

A Bounding Histogram Approach for Network Performance Analysis

Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin, 2013, 2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing.

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

Nihal Pekergin, Minh-Anh Tran, 2012, ISCIS.

HASL: an expressive language for statistical verification of stochastic models

Paolo Ballarini, Hilal Djafri, Marie Duflot, 2011, VALUETOOLS.

Accuracy of Strong and Weak Comparisons for Network of Queues

Hind Castel-Taleb, Nihal Pekergin, H. Castel-Taleb, 2010, MMB/DFT.

Modelling buffer admission mechanisms using stochastic automata networks

Nihal Pekergin, Leïla Kloul, Franck Quessette, 1994 .

Bounding techniques for transient analysis of G-networks with catastrophes

Hind Castel-Taleb, Nihal Pekergin, Idriss Ismael Aouled, 2011, VALUETOOLS.

Loss rates bounds for IP switches in MPLS networks

Hind Castel-Taleb, Nihal Pekergin, Lynda Mokdad, 2006, IEEE International Conference on Computer Systems and Applications, 2006..

Stochastic bounds for performance evaluation of Web services

Jean-Michel Fourneau, Nihal Pekergin, Lynda Mokdad, 2010, Concurr. Comput. Pract. Exp..

Stochastic Bounds and Histograms for Active Queues Management and Networks Analysis

Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin, 2016, ASMTA.

Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis

Jean-Michel Fourneau, Nihal Pekergin, Sovanna Tan, 2016, GraMSec@CSF.

Comparison of fair queuing algorithms with a stochastic approach

Nihal Pekergin, O. Abuamsha, N. Pekergin, 1998, Proceedings. Sixth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (Cat. No.98TB100247).

Stochastic comparisons applied to G-Networks with catastrophes

Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin, 2010, ISCIS.

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

Jean-Michel Fourneau, Nihal Pekergin, H. Taleb, 1994, Modelling and Evaluation of ATM Networks.

Model Checking of Infinite State Space Markov Chains by Stochastic Bounds

Nihal Pekergin, Mouad Ben Mamoun, 2008, ASMTA.

Bounding Aggregations for Transient and Stationary Performance Analysis of Subnetworks

Hind Castel-Taleb, Nihal Pekergin, Idriss Ismael Aouled, 2012, Comput. J..

Improving Stochastic Model Checking with Stochastic Bounds

Jean-Michel Fourneau, Nihal Pekergin, Sana Younès, 2005, 2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops).

Stochastic Comparisons for Performability of Telecommunication Systems

Hind Castel-Taleb, Nihal Pekergin, Idriss Ismael Aouled, 2010, ASMTA.

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

Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin, 2005, ISCIS.

Model Checking by Censoring Markov Chains and Stochastic Comparison

Nihal Pekergin, Sana Younès, 2009 .

Stochastic Performance Bounds by State Space Reduction

Nihal Pekergin, N. Pekergin, 1999, Perform. Evaluation.

Dynamic Fault Trees with Rejuvenation: Numerical Analysis and Stochastic Bounds

Jean-Michel Fourneau, Nihal Pekergin, J. Fourneau, 2016, PASM.

Strong and weak stochastic bounds for multidimensional Markov chains

Hind Castel-Taleb, Nihal Pekergin, 2014, Int. J. Crit. Comput. Based Syst..

Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering

Ana Busic, Jean-Michel Fourneau, Nihal Pekergin, 2006, EPEW.

Stochastic Bounds for Switched Bernoulli Batch Arrivals Observed Through Measurements

Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin, 2017, ASMTA.

An Algorithmic Approach to Stochastic Bounds

Jean-Michel Fourneau, Nihal Pekergin, 2002, Performance.

Performance Evaluation of Buffer Policies with Stochastic Automata Networks

Jean-Michel Fourneau, Nihal Pekergin, Véronique Vèque, 1993, Modelling and Evaluation of ATM Networks.

Statistical Model Checking Approach for Stationary Dependability Verication

Nihal Pekergin, Diana El Rabih, 2009 .

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

Jean-Michel Fourneau, Nihal Pekergin, Sana Younès, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

An algorithmic and numerical approach to bound the performance of high speed networks

Jean-Michel Fourneau, Nihal Pekergin, Alexis Troubnikoff, 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.

Numerically Efficient Analysis of a One-Dimensional Stochastic Lac Operon Model

Ferhan Pekergin, Nihal Pekergin, Cüneyt Güzelis, 2015, ISCIS.

Statistical Model Checking for Steady State Dependability Verification

Nihal Pekergin, Diana El Rabih, 2009, 2009 Second International Conference on Dependability.

Quantitative Analysis of Attack Defense Trees

Nihal Pekergin, Sovanna Tan, N. Pekergin, 2021, VALUETOOLS.

INTRODUCTION TO THE SPECIAL ISSUE ON LEARNING, OPTIMIZATION, AND THEORY OF G-NETWORKS

Nihal Pekergin, 2021, Probability in the Engineering and Informational Sciences.

Computing Closed-Form Stochastic Bounds on the Stationary Distribution of Markov Chains

Nihal Pekergin, Mouad Ben Mamoun, 2000 .

CSL LHA : an Expressive Language for Statistical Verification of Stochastic Models ∗

Paolo Ballarini, Hilal Djafri, Marie Duflot, 2010 .

Steady-state dependability verification by perfect sampling : Comparison study ∗

Jean-Marc Vincent, Nihal Pekergin, Diana El Rabih, 2010 .

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

Jean-Michel Fourneau, Nihal Pekergin, S. Younes, 2007 .