- Poster
- Bornes stochastiques
- Algorithms for
an irreducible ans lumpable strong stochastic bound, J.M. Fourneau, M.
Lecoz, F. Quessette, Numerical Solution of Markov Chains, 2003, USA. (pdf)
- An open tool to
compute stochastic bounds on steady-state distributions and rewards,
Jean Michel Fourneau, Mathiew Le Coz, Nihal Pekergin and Franck
Quessette, IEEE MASCOTS 03, USA, Tools session. (pdf)
- A proof of st-comparison for polynomials
of a stochastic matrix and how we can improve the accuracy of st-bounds,
T. Dayar, J-M. Fourneau, N. Pekergin, J-M. Vincent, HET-NET, Bradford, UK, july 2004. (ps)
.
- Computing closed-form stochastic bounds on transient distributions of
Markov chains, M. Benmammoun, N. Pekergin,
Workshop Modelling and Performance Evaluation for Quality of Service
in Next Generation Internet, in IEEE SAINT 2005 Conference, Italy, 2005.
- Tensor products and bounds for stochastic automata networks. Jean-Michel Fourneau, Brigitte Plateau , Ihab Sbeity and William Stewart; Communication in SIAM CSE 2005, Orlando.
- SANs and Lumpable Stochastic Bounds:
Bounding Availability. J.M. Fourneau, B. Plateau, I. Sbeity and W.J. Stewart; to appear in Computer System,
Network Performance and Quality of Service, Imperial College Press.
- A Matrix Pattern Compliant Strong Stochastic Bound,
A. Busic, J.M. Fourneau,
Workshop Modelling and Performance Evaluation for Quality of Service
in Next Generation Internet, in IEEE SAINT 2005 Conference, Italy, 2005.
- Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering, Busic, A. and Fourneau, J.M., In: M. Bravetti et al. (Eds.): EPEW 2005 and WS-FM 2005, LNCS 3670, pp. 94-108, Springer-Verlag, 2005.
- L'impact de l'Irréductibilité Dans le Calcul des Bornes Stochastiques : Illustration Avec un Modèle de Grappe, Ihab Sbeity et Brigitte Plateau, 6eme Conférence Francophone de MOdélisation et SIMulation, MOSIM'06, 3-5 avril 2006, Rabat, Maroc
- Increasing convex monotone Markov chains: Theory,
algorithm and applications.
M. Ben Mamoun, A. Busic, J.-M. Fourneau, N. Pekergin.
Markov Anniversary Meeting, 12-14 juin 2006,
Charleston, SC, USA. Ed Boson Books.
- .
Worst Case Analysis of Batch Arrivals with the
Increasing Convex Ordering.
A. Busic, J.-M. Fourneau, N. Pekergin
3rd European Performance Engineering Workshop (EPEW
2006), 21-22 juin 2006, Budapest, Hungary, Ed Springer LNCS.
- Stochastic Bound for Absorbing Time or Cycle Time for a hierarchical
PEPA model.
J.-M. Fourneau, L. Kloul.
3rd European Performance Engineering Workshop (EPEW
2006), 21-22 juin 2006, Budapest, Hungary, Ed Springer LNCS.
- Class C Markov chains and Transient analysis.
M. Benmamoun, N. Pekergin, S. Younes.
POSTA06, Springer LNCIS, Grenoble Sept. 2006
|
- Combinaison des approches de simulation
- On Numerical Problems in Simulations of Highly Reliable Markovian Systems,
B. Tuffin,Proceedings of the 1st International Conference on Quantitative Evaluation of SysTems (QEST),
University of Twente, Enschede, the Netherlands September 2004 .
- Comparison of Quasi-Monte Carlo-Based Methods for the Simulation of Markov Chains,
L'ecot, C. and Tuffin, B., to appear in Monte Carlo Methods and Applications Journal, 2004.
- Pathset based conditioning for transient simulation of highly dependable systems,
H. Cancela, G. Rubino and M. Urquhart, 5th International Conference on Monte Carlo and
quasi-Monte Carlo Methods, Juan les Pins, France, juin 2004.
- Pathset based conditioning for transient simulation of highly dependable systems,
H. Cancela, G. Rubino and M. Urquhart, 5th International Conference on Monte Carlo and
quasi-Monte Carlo Methods, Juan les Pins, France, juin 2004.
- Prefect simulation of queueing networks with blocking and rejection,
J.M Vincent, Workshop Modelling and Performance Evaluation for Quality of Service
in Next Generation Internet, in IEEE SAINT 2005 Conference, Italy, 2005.
- On monotonicity of finite capacity queueing networks
and their perfect simulation, J.M Vincent..
- Randomization of Quasi-Monte Carlo Methods for Error Estimation:
Survey and Normal Approximation, B. Tuffin, Monte Carlo Methods and Applications, Vol.10,
Num.3-4, pages 617- 628, 2004.
- Quasi-Monte Carlo simulation of Markov chains with randomized copies
of a two-dimensional highly-uniform point set, P. L?Ecuyer, C. L?ecot, B. Tuffin, Monte Carlo and quasi-Monte Carlo
Methods, Springer-Verlag, 2005
- Coverage Function of Randomized Quasi-Monte Carlo Methods, Bruno Tuffin, INFORMS Applied Probability
Conference, Ottawa, July 2005.
- A New Randomized Quasi-Monte Carlo Approach for Markov Chains, Pierre L'Ecuyer, Christian Lécot, and Bruno Tuffin,
INFORMS Applied Probability Conference, Ottawa, July 2005.
- Bounded Relative Efficiency in Rare Event Simulation, H. Cancela, G. Rubino and B. Tuffin,
In Proceedings of SAINT 2005 workshops, IEEE CS Press, Trento, January 2005
- Randomized Quasi-Monte Carlo Method for Markov Chains, P. L'Ecuyer, C. Lecot and B. Tuffin. A . Submitted.
- A Combination of Randomized Quasi-Monte Carlo with Splitting for Rare-Event Simulation. V. Demers, P. L'Ecuyer and B. Tuffin. In In Proceedings of the 2005 European Simulation and Modelling Conference (ESM'2005), SCS Press, Porto, Portugal, October 2005.
- A central limit theorem and improved error bounds for a hybrid-Monte Carlo sequence with applications in computational finance.
G. Okten, B. Tuffin and V. Burago. To appear in Journal of Complexity.
- New Measures of Robustness in Rare Event Simulation.
H. Cancela, G. Rubino and B. Tuffin.
n Proceedings of the 2005 Winter Simulation Conference*, Orlando, FL, December 2005.
- Combining Randomized Quasi-Monte Carlo with Splitting for Rare-Event Simulation.
V. Demers, P. L'Ecuyer and B. Tuffin.
Sixth International Conference on Monte Carlo and quasi-Monte Carlo Methods*, Germany, August 2006.
- Rare Events, Splitting, and Quasi-Monte Carlo. P. L'Ecuyer, V. Demers and B. Tuffin. soumis
|
- Formulation modulaires des modèles
- Memory efficient kronecker algorithms with applications to the Modelling
of parallel systems, A. Benoit B. Plateau and W. Stewart, Journal of Future Generation of Computer Systems,
Elsevier, june 2004. (ps)
- Agregation of Stochastic Automata with replicas,
A. Benoit and L. Brenner and P. Fernandes and B. Plateau, Journal of Linear Algebra and its Applications
, v 386, pages 111-136, july 2004. (ps)
- On the benefits of using functionnal transitions and Kronecker algebra,
A. Benoit and P. Fernandes and B. Plateau and W. Stewart, Journal of Performance Evaluation,
vol PEVA1119, April 2004. (ps)
- From Interaction Overview Diagrams to PEPA nets,
L. Kloul and J. Kuster-Filipe, 4th Workshop on Process Algebra and Stochastic Timed Activities
(PASTA 2005).
- Modelling Mobility with UML2.0 and PEPA
Nets.
L. Kloul et J. Kuster-Filipe
In the IEEE proceedings of the Sixth International Conference on
Application of Concurrency to System Design (ACSD'06),
Turku, 28-30 Juin 2006.
- Structured Stochastic Modeling and Performance Analysis of a Multiprocessor System. Ihab Sbeity and Brigitte Plateau. Markov Anniversary Meeting, 12-14 juin 2006,
Charleston, SC, USA. Ed Boson Books.
- Phase-type Distribution in Stochastic Automata Networks. Ihab Sbeity, Leonardo Brenner, Brigitte Plateau and W.J. Stewart. NCSU Technical Report number TR-2005-49, December 20, 2005.
- Phase-type Distribution and Stochastic Automata Networks. Ihab Sbeity, Leonardo Brenner, Brigitte Plateau and W.J. Stewart. Submitted to EJOR.
|
- Model checking probabiliste
- Improving Stochastic Model Checking with Stochastic Bounds
J.M. Fourneau, N. Pekergin, S. Younes
Workshop Modelling and Performance Evaluation for Quality of Service
in Next Generation Internet, in IEEE SAINT 2005 Conference, Italy, 2005.
- Stochastic Model Checking with Stochastic Comparison, N. Pekergin and S. Younes, Springer LNCS 3670, Formal Techniques for Computer Systems and Business Processes, pp 109-123, EPEW 2005.
.
- Model Checking of continuous time Markov chains
by closed-form bounding distributions.
M. BenMamoun N. Pekergin S. Younes.
IEEE QEST 06, sept 06.
|
|
. Publications du Projet
