Nihal Pekergin

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

Paolo Ballarini, Hilal Djafri, Marie Duflot et al. · 2011 · 56 citations

Computing, Computer Engineering, Computer Science +17

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

Paolo Ballarini, Benoît Barbot, Marie Duflot et al. · Performance Evaluation · 2015 · 47 citations

Computing, Computer Science, Computer Systems +12

HASL: an Expressive Language for Statistical Verification of Stochastic Models

Paolo Ballarini, Hilal Djafri, Marie Duflot et al. · 2011 · 32 citations · Full text

Computing, Computer Science, Formal Methods +14

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

Jean-Michel Fourneau, M. Le Coz, Nihal Pekergin et al. · 2004 · 27 citations

Natural Sciences, Computer Science, Mathematics +12

Stochastic bounds on delays of fair queueing algorithms

Nihal Pekergin · 1999 · 24 citations

Business, Computer Systems, Distributed Systems +15