Publications équipe EPRI - 2005

  1. Leila Kloul and J Kuster-Filipe. From Interaction Overview Diagrams to PEPA nets. septembre 2005. BibTeX

    @misc{KlKu05,
    	author = "Kloul, Leila and Kuster-Filipe, J.",
    	title = "From {I}nteraction {O}verview {D}iagrams to {PEPA} nets",
    	booktitle = "The 4th Workshop on Process Algebras and Timed Activities (PASTA'05",
    	address = "Edimbourgh",
    	days = "6-7",
    	month = "September",
    	annote = "invite",
    	year = 2005
    }
    
  2. S Gilmore, V Haenel, Leila Kloul and M Maidl. Choreographing Security and Performance Analysis for Web Services. In Leila M. Bravetti Kloul and G Zavattaro (eds.). Proceedings of The 2nd International Workshop on Web Services and Formal Methods (WS-FM'05) 3670. septembre 2005, 200–214. BibTeX

    @inproceedings{GHKM05,
    	title = "Choreographing Security and Performance Analysis for {W}eb Services",
    	author = "Gilmore, S. and Haenel, V. and Kloul, Leila and Maidl, M.",
    	editor = "M. Bravetti, Kloul, Leila and G. Zavattaro",
    	booktitle = "Proceedings of The 2nd International Workshop on Web Services and Formal Methods (WS-FM'05)",
    	series = "LNCS",
    	volume = 3670,
    	pages = "200--214",
    	publisher = "Springer Verlag",
    	address = "Versailles, France",
    	days = "1-3",
    	month = "September",
    	year = 2005
    }
    
  3. Dominique Barth, Pascal Berthome, Jean-Michel Fourneau, Christian Laforest and Sandrine Vial. Performance evaluation of short-cut Eulerian routing. Poster Session, 1st EuroNGI Conference on Next Generation Internet Networks, 2005. BibTeX

    @misc{BBF+05,
    	author = "Barth, Dominique and Berthome, Pascal and Fourneau, Jean-Michel and Laforest, Christian and Vial, Sandrine",
    	title = "Performance evaluation of short-cut Eulerian routing",
    	howpublished = "Poster Session, 1st EuroNGI Conference on Next Generation Internet Networks",
    	year = 2005,
    	annote = "poster",
    	address = "Roma"
    }
    
  4. Ana Busic and Jean-Michel Fourneau. Bounding transient and Steady state dependability measures through algorithmic stochastic comparison. Poster Session, Performance, 2005. BibTeX

    @misc{BuFo05c,
    	author = "Busic, Ana and Fourneau, Jean-Michel",
    	title = "Bounding transient and Steady state dependability measures through algorithmic stochastic comparison",
    	howpublished = "Poster Session, Performance",
    	year = 2005,
    	annote = "poster",
    	address = "Nice"
    }
    
  5. Franck Quessette. 2D Electrophoresis Gels Alignment. IPG: Integrated Post Genomique, Poster Session, 2005. BibTeX

    @misc{Ques05,
    	author = "Quessette, Franck",
    	title = "2D Electrophoresis Gels Alignment",
    	howpublished = "IPG: Integrated Post Genomique, Poster Session",
    	year = 2005,
    	annote = "poster",
    	address = "Lyon"
    }
    
  6. Dominique Barth, Thierry Mautor, Melanie Ponchie and Franck Quessette. Dimensionnement des réseaux dans FADO : une première approche. In 7eme congrès de la société française de recherche opérationnelle et d'aide à la décision (ROADEF). 2005. BibTeX

    @inproceedings{BMPQ05,
    	author = "Barth, Dominique and Mautor, Thierry and Ponchie, Melanie and Quessette, Franck",
    	title = "Dimensionnement des r\'eseaux dans {FADO} : une premi\`ere approche",
    	booktitle = "7eme congr\`es de la soci\'et\'e fran\c{c}aise de recherche op\'erationnelle et d'aide \`a la d\'ecision (ROADEF)",
    	year = 2005,
    	annote = "nat"
    }
    
  7. Jean-Michel Fourneau and Houssame Yahiaoui. Génération de Topologies Réalistes pour la Simulation du Routage Interdomaine. In Septièmes Rencontres Francophones sur les aspects Algorithmiques des Télécommunications. 2005, 109-112. BibTeX

    @inproceedings{FoYa05b,
    	author = "Fourneau, Jean-Michel and Yahiaoui, Houssame",
    	title = "G\'en\'eration de Topologies R\'ealistes pour la Simulation du Routage Interdomaine",
    	booktitle = "Septi\`emes Rencontres Francophones sur les aspects Algorithmiques des T\'el\'ecommunications",
    	pages = "109-112",
    	annote = "nat",
    	year = 2005
    }
    
  8. Hind Castel-Taleb, Jean-Michel Fourneau and Nihal Pekergin. Stochastic Bounds on Partial Ordering: Application to Memory Overflows Due to Bursty Arrivals. In Pinar Yolum, Tunga Güngör, Fikret S Gürgen and Can C Özturan (eds.). Computer and Information Sciences - ISCIS 2005, 20th International Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings 3733. 2005, 244-253. BibTeX

    @inproceedings{CFPe05,
    	author = "Castel-Taleb, Hind and Fourneau, Jean-Michel and Pekergin, Nihal",
    	title = "Stochastic Bounds on Partial Ordering: Application to Memory Overflows Due to Bursty Arrivals",
    	editor = {Pinar Yolum and Tunga G{\"u}ng{\"o}r and Fikret S. G{\"u}rgen and Can C. {\"O}zturan},
    	booktitle = "Computer and Information Sciences - ISCIS 2005, 20th International Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = 3733,
    	year = 2005,
    	isbn = "3-540-29414-7",
    	pages = "244-253"
    }
    
  9. Jean-Michel Fourneau and Tadeuscz Czachorski. Transport Time Distribution for Deflection Routing on an Odd Torus. In José C Cunha and Pedro D Medeiros (eds.). Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal 3648. 2005, 975-983. BibTeX

    @inproceedings{FoCz05,
    	author = "Fourneau, Jean-Michel and Czachorski,Tadeuscz",
    	title = "Transport Time Distribution for Deflection Routing on an Odd Torus",
    	editor = "Jos{\'e} C. Cunha and Pedro D. Medeiros",
    	booktitle = "Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = 3648,
    	year = 2005,
    	isbn = "3-540-28700-0",
    	pages = "975-983"
    }
    
  10. Nihal Pekergin and Sana Younes. Stochastic Model Checking with Stochastic Comparison. In Mario Bravetti, Le\"ıla Kloul and Gianluigi Zavattaro (eds.). Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings 3670. 2005, 109-123. BibTeX

    @inproceedings{PeYo05,
    	author = "Pekergin, Nihal and Younes,Sana",
    	title = "Stochastic Model Checking with Stochastic Comparison",
    	editor = {Mario Bravetti and Le\"{\i}la Kloul and Gianluigi Zavattaro},
    	booktitle = "Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = 3670,
    	year = 2005,
    	isbn = "3-540-28701-9",
    	pages = "109-123"
    }
    
  11. Ana Busic and Jean-Michel Fourneau. Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering. In Mario Bravetti, Le\"ıla Kloul and Gianluigi Zavattaro (eds.). Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings 3670. 2005, 94-108. BibTeX

    @inproceedings{BuFo05a,
    	author = "Busic, Ana and Fourneau, Jean-Michel",
    	title = "Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering",
    	editor = {Mario Bravetti and Le\"{\i}la Kloul and Gianluigi Zavattaro},
    	booktitle = "Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = 3670,
    	year = 2005,
    	isbn = "3-540-28701-9",
    	pages = "94-108"
    }
    
  12. Jean-Michel Fourneau, Brigitte Plateau, Ihab Sbeity and W J Stewart. Tensor products and bounds for stochastic automata networks. In SIAM CSE Orlando, USA. 2005. BibTeX

    @inproceedings{FPSS05,
    	author = "Fourneau, Jean-Michel and Brigitte Plateau and Sbeity, Ihab and Stewart, W.J.",
    	title = "Tensor products and bounds for stochastic automata networks",
    	booktitle = "SIAM CSE Orlando, USA",
    	annote = "work",
    	year = 2005
    }
    
  13. Leila Kloul and F Valois. Investigating Unfairness Scenarios in MANET Using 802.11b. In Proceedings of the 2nd ACM Workshop on Performance Evaluation of Wireless Ad Hoc Sensor, and Ubiquitous Networks (PE-WASUN'05). 2005. BibTeX

    @inproceedings{KlVa05,
    	author = "Kloul, Leila and Valois, F.",
    	title = "Investigating Unfairness Scenarios in MANET Using 802.11b",
    	booktitle = "Proceedings of the 2nd ACM Workshop on Performance Evaluation of Wireless Ad Hoc Sensor, and Ubiquitous Networks (PE-WASUN'05)",
    	address = "Montreal",
    	month = "Octobre",
    	annote = "work",
    	year = 2005
    }
    
  14. Jean-Michel Fourneau and Houssame Yahiaoui. Internet Topology Generation for Large Scale BGP Simulation. In 3rd International Workshop on Internet Performance, Simulation, Monitoring and Measurement. 2005. BibTeX

    @inproceedings{FoYa05a,
    	author = "Fourneau, Jean-Michel and Yahiaoui, Houssame",
    	title = "Internet Topology Generation for Large Scale {BGP} Simulation",
    	booktitle = "3rd International Workshop on Internet Performance, Simulation, Monitoring and Measurement",
    	annote = "work",
    	year = 2005
    }
    
  15. Dominique Barth, Jean-Michel Fourneau, David Nott and Dominique Chiaroni. Routing and QoS in an all-optical packet network. In IEEE WOBS within Broadband Networks, 2005. 2005, 1063-1072 Vol. 2. BibTeX

    @inproceedings{BFNC05,
    	author = "Barth, Dominique and Fourneau, Jean-Michel and Nott, David and Chiaroni, Dominique",
    	title = "Routing and {QoS} in an all-optical packet network",
    	booktitle = "IEEE WOBS within Broadband Networks, 2005",
    	year = 2005,
    	pages = "1063-1072 Vol. 2",
    	annote = "work",
    	bibsource = "DOI:10.1109/ICBN.2005.1589725"
    }
    
  16. Ireneusz Szczesniak, Jean-Michel Fourneau and Tadeuscz Czachorski. Preliminary Results of Packet Loss Analysis in Optical Packet-Switched Networks with Limited Deflection Routing. In 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), Trento, Italy. 2005, 296-299. BibTeX

    @inproceedings{SFCz05,
    	author = "Szczesniak, Ireneusz and Fourneau, Jean-Michel and Czachorski,Tadeuscz",
    	title = "Preliminary Results of Packet Loss Analysis in Optical Packet-Switched Networks with Limited Deflection Routing",
    	booktitle = "2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), Trento, Italy",
    	publisher = "IEEE Computer Society",
    	year = 2005,
    	isbn = "0-7695-2263-7",
    	pages = "296-299",
    	annote = "work"
    }
    
  17. Jean-Michel Fourneau, Nihal Pekergin and Sana Younes. Improving Stochastic Model Checking with Stochastic Bounds. In 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), Trento, Italy. 2005, 264-267. BibTeX

    @inproceedings{FPYo05,
    	author = "Fourneau, Jean-Michel and Pekergin, Nihal and Younes,Sana",
    	title = "Improving Stochastic Model Checking with Stochastic Bounds",
    	booktitle = "2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), Trento, Italy",
    	publisher = "IEEE Computer Society",
    	year = 2005,
    	isbn = "0-7695-2263-7",
    	pages = "264-267",
    	annote = "work"
    }
    
  18. Ana Busic and Jean-Michel Fourneau. A Matrix Pattern Compliant Strong Stochastic Bound. In 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), Trento, Italy. 2005, 260-263. BibTeX

    @inproceedings{BuFo05b,
    	author = "Busic, Ana and Fourneau, Jean-Michel",
    	title = "A Matrix Pattern Compliant Strong Stochastic Bound",
    	booktitle = "2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), Trento, Italy",
    	publisher = "IEEE Computer Society",
    	year = 2005,
    	isbn = "0-7695-2263-7",
    	pages = "260-263",
    	annote = "work"
    }
    
  19. Leila Kloul and Amjed Mokhtari. Algèbre des processus pour l'analyse des performances des noeuds actifs. Technique et Science Informatiques 24(2-3):279-309, 2005. BibTeX

    @article{KlMo05a,
    	author = "Kloul, Leila and Mokhtari, Amjed",
    	title = "Alg{\`e}bre des processus pour l'analyse des performances des noeuds actifs",
    	journal = "Technique et Science Informatiques",
    	volume = 24,
    	number = "2-3",
    	year = 2005,
    	annote = "nat",
    	pages = "279-309"
    }
    
  20. Nihal Pekergin, Tugrul Dayar and Denizhan N Alparslan. Componentwise bounds for nearly completely decomposable Markov chains using stochastic comparison and reordering. European Journal of Operational Research 165(3):810-825, 2005. BibTeX

    @article{PDAl05,
    	author = "Pekergin, Nihal and Dayar,Tugrul and Alparslan,Denizhan N.",
    	title = "Componentwise bounds for nearly completely decomposable {M}arkov chains using stochastic comparison and reordering",
    	journal = "European Journal of Operational Research",
    	volume = 165,
    	number = 3,
    	year = 2005,
    	pages = "810-825"
    }
    
  21. S Gilmore and Leila Kloul. A Unified Tool for Performance Modelling and Prediction. Reliability Engineering and System Safety 89(1):17-32, 2005. BibTeX

    @article{GiKl05,
    	author = "Gilmore, S. and Kloul, Leila",
    	title = "A Unified Tool for Performance Modelling and Prediction",
    	journal = "Reliability Engineering and System Safety",
    	volume = 89,
    	number = 1,
    	year = 2005,
    	pages = "17-32"
    }
    
  22. M Bravetti, Leila Kloul and G Zavattaro (eds.). Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings 3670. Springer, 2005. BibTeX

    @proceedings{BKZa05,
    	editor = "Bravetti, M. and Kloul, Leila and Zavattaro, G.",
    	title = "Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings",
    	booktitle = "EPEW/WS-FM",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = 3670,
    	year = 2005,
    	isbn = "3-540-28701-9"
    }
    
  23. Amjed Mokhtari. ARFANet : une nouvelle infrastructure pour les réseaux actifs. Université de Versailles Saint-Quentin, 2005. BibTeX

    @phdthesis{Mokh05,
    	author = "Mokhtari, Amjed",
    	title = "ARFANet : une nouvelle infrastructure pour les r\'eseaux actifs",
    	booktitle = "Th\`ese de doctorat",
    	year = 2005,
    	school = "Universit\'e de Versailles Saint-Quentin"
    }
    

 Imprimer  E-mail

Our website is protected by DMC Firewall!