Next: Model checking probabiliste
Up: Publications
Previous: Combinaison des approches de
- 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.
- 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.
- 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.
Sbeity Ihab
2005-05-04