Publications équipe EPRI - 2006

  1. Leila Kloul. Blending UML2.0 and PEPA nets. Number n.2006/102, PRiSM, Université de Versailles, 2006. BibTeX

    @techreport{Klou06b,
    	author = "Kloul, Leila",
    	title = "Blending {UML}2.0 and {PEPA} nets",
    	institution = "PRiSM, Universit\'e de Versailles",
    	number = "n.2006/102",
    	address = "http://wwwex.prism.uvsq.fr/recherche/rapports",
    	year = 2006
    }
    
  2. Jean-Michel Fourneau and Franck Quessette. Computing the Steady-State Distribution of G-networks with Synchronized Partial Flushing. In Albert Levi, Erkay Savas, Hüsnü Yenigün, Selim Balcisoy and Yücel Saygin (eds.). Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings 4263. 2006, 887–896. BibTeX

    @inproceedings{FoQu06,
    	author = "Fourneau, Jean-Michel and Quessette, Franck",
    	title = "Computing the Steady-State Distribution of {G}-networks with Synchronized Partial Flushing",
    	editor = {Albert Levi and Erkay Savas and H{\"u}sn{\"u} Yenig{\"u}n and Selim Balcisoy and Y{\"u}cel Saygin},
    	booktitle = "Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = 4263,
    	year = 2006,
    	isbn = "3-540-47242-8",
    	pages = "887--896"
    }
    
  3. Mouad Ben Mamoun, Nihal Pekergin and Sana Younes. Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. In Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), Riverside, California, USA. 2006, 189-198. BibTeX

    @inproceedings{BPYo06b,
    	author = "Ben Mamoun, Mouad and Pekergin, Nihal and Younes,Sana",
    	title = "Model Checking of Continuous-Time {M}arkov Chains by Closed-Form Bounding Distributions",
    	booktitle = "Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), Riverside, California, USA",
    	publisher = "IEEE Computer Society",
    	year = 2006,
    	isbn = "0-7695-2665-9",
    	pages = "189-198"
    }
    
  4. Ana Busic, Mouad Ben Mamoun and Jean-Michel Fourneau. Modeling Fiber Delay Loops in an All Optical Switch. In Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), Riverside, California, USA. 2006, 93–102. BibTeX

    @inproceedings{BBFo06,
    	author = "Busic, Ana and Ben Mamoun, Mouad and Fourneau, Jean-Michel",
    	title = "Modeling Fiber Delay Loops in an All Optical Switch",
    	booktitle = "Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), Riverside, California, USA",
    	publisher = "IEEE Computer Society",
    	year = 2006,
    	isbn = "0-7695-2665-9",
    	pages = "93--102"
    }
    
  5. Jean-Michel Fourneau and Le\"ıla Kloul. A Precedence PEPA Model for Performance and Reliability Analysis. In András Horváth and Miklós Telek (eds.). Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, Proceedings 4054. 2006, 1–15. BibTeX

    @inproceedings{FoKl06,
    	author = {Fourneau, Jean-Michel and Le\"{\i}la Kloul},
    	title = "A Precedence {PEPA} Model for Performance and Reliability Analysis",
    	editor = "Andr{\'a}s Horv{\'a}th and Mikl{\'o}s Telek",
    	booktitle = "Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, Proceedings",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = 4054,
    	year = 2006,
    	isbn = "3-540-35362-3",
    	pages = "1--15"
    }
    
  6. Ana Busic, Jean-Michel Fourneau and Nihal Pekergin. Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering. In András Horváth and Miklós Telek (eds.). Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, Proceedings 4054. 2006, 196–210. BibTeX

    @inproceedings{BFPe06,
    	author = "Busic, Ana and Fourneau, Jean-Michel and Pekergin, Nihal",
    	title = "Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering",
    	editor = "Andr{\'a}s Horv{\'a}th and Mikl{\'o}s Telek",
    	booktitle = "Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, Proceedings",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = 4054,
    	year = 2006,
    	isbn = "3-540-35362-3",
    	pages = "196--210"
    }
    
  7. Jane Hillston and Leila Kloul. A Function-Equivalent Components Based Simplification Technique for PEPA Models. In András Horváth and Miklós Telek (eds.). Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, Proceedings 4054. 2006, 16-30. BibTeX

    @inproceedings{HiKl06,
    	author = "Hillston, Jane and Kloul, Leila",
    	title = "A Function-Equivalent Components Based Simplification Technique for {PEPA} Models",
    	editor = "Andr{\'a}s Horv{\'a}th and Mikl{\'o}s Telek",
    	booktitle = "Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, Proceedings",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = 4054,
    	year = 2006,
    	isbn = "3-540-35362-3",
    	pages = "16-30"
    }
    
  8. Tugrul Dayar, Nihal Pekergin and Sana Younes. Conditional steady-state bounds for a subset of states in Markov chains. In Structured Markov Chain (SMCTools) workshop in the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy. 2006. BibTeX

    @inproceedings{DPYo06,
    	author = "Dayar,Tugrul and Pekergin, Nihal and Younes,Sana",
    	title = "Conditional steady-state bounds for a subset of states in {Markov} chains",
    	booktitle = "Structured {Markov} Chain (SMCTools) workshop in the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy",
    	publisher = "ACM",
    	year = 2006
    }
    
  9. Mouad Ben Mamoun, Nihal Pekergin and Sana Younes. Class C Markov chains and transient analysis. In Positive systems Theory and Application conference 341. 2006, 177-184. BibTeX

    @inproceedings{BPYo06a,
    	author = "Ben Mamoun, Mouad and Pekergin, Nihal and Younes,Sana",
    	title = "{Class C Markov} chains and transient analysis",
    	booktitle = "Positive systems Theory and Application conference",
    	publisher = "Springer",
    	series = "Lecture Notes in Control and Information Sciences",
    	volume = 341,
    	year = 2006,
    	pages = "177-184"
    }
    
  10. Ana Busic, Jean-Michel Fourneau and David Nott. Deflection Routing on a Torus is Monotone. In Positive systems Theory and Application conference 341. 2006, 161-168. BibTeX

    @inproceedings{BFNo06,
    	author = "Busic, Ana and Fourneau, Jean-Michel and Nott,David",
    	title = "Deflection Routing on a Torus is Monotone",
    	booktitle = "Positive systems Theory and Application conference",
    	publisher = "Springer",
    	series = "Lecture Notes in Control and Information Sciences",
    	volume = 341,
    	year = 2006,
    	pages = "161-168"
    }
    
  11. Mouad Ben Mamoun, Ana Busic, Jean-Michel Fourneau and Nihal Pekergin. Increasing convex monotone Markov chains: theory, algorithms and applications. In Markov Anniversary Meeting. 2006, 189–210. BibTeX

    @inproceedings{BBFP06,
    	author = "Ben Mamoun, Mouad and Busic, Ana and Fourneau, Jean-Michel and Pekergin, Nihal",
    	title = "Increasing convex monotone {M}arkov chains: theory, algorithms and applications",
    	booktitle = "Markov Anniversary Meeting",
    	year = 2006,
    	pages = "189--210",
    	publisher = "Boson Books",
    	address = "Charleston"
    }
    
  12. Tugrul Dayar, Jean-Michel Fourneau, Nihal Pekergin and Jean-Marc Vincent. Polynomials of a stochastic matrix and strong stochastic bounds. In Markov Anniversary Meeting. 2006, 211–228. BibTeX

    @inproceedings{DFPV06,
    	author = "Dayar, Tugrul and Fourneau, Jean-Michel and Pekergin, Nihal and Vincent, Jean-Marc",
    	title = "Polynomials of a stochastic matrix and strong stochastic bounds",
    	booktitle = "Markov Anniversary Meeting",
    	year = 2006,
    	pages = "211--228",
    	publisher = "Boson Books",
    	address = "Charleston"
    }
    
  13. Leila Kloul and J Kuster-Filipe. Modelling Mobility with UML2.0 and PEPA nets. In K Goossens and L Petrucci (eds.). Proceedings of The Sixth International Conference on Application of Concurrency to System Design (ACSD'06) P2556. 2006, 153-162. BibTeX

    @inproceedings{KlKu06,
    	author = "Kloul, Leila and Kuster-Filipe, J.",
    	title = "Modelling Mobility with {UML2.0} and {PEPA} nets",
    	booktitle = "Proceedings of The Sixth International Conference on Application of Concurrency to System Design (ACSD'06)",
    	editor = "K. Goossens and L. Petrucci",
    	volume = "P2556",
    	publisher = "IEEE Computer Society",
    	address = "Turku",
    	pages = "153-162",
    	year = 2006
    }
    
  14. S Mneimneh and Franck Quessette. Linear complexity algorithms for maximum advance deflection routing in some networks. In IEEE Workshop on High Performance Switching and Routing, Poland. 2006. BibTeX

    @inproceedings{MnQu06,
    	author = "Mneimneh, S. and Quessette, Franck",
    	title = "Linear complexity algorithms for maximum advance deflection routing in some networks",
    	booktitle = "IEEE Workshop on High Performance Switching and Routing, Poland",
    	annote = "work",
    	year = 2006
    }
    
  15. Ana Busic and Jean-Michel Fourneau. Bounding transient and steady-state dependability measures through algorithmic stochastic comparison. SIGMETRICS Performance Evaluation Review 34(2):11–12, 2006. BibTeX

    @article{BuFo06a,
    	author = "Busic, Ana and Fourneau, Jean-Michel",
    	title = "Bounding transient and steady-state dependability measures through algorithmic stochastic comparison",
    	journal = "SIGMETRICS Performance Evaluation Review",
    	volume = 34,
    	number = 2,
    	year = 2006,
    	pages = "11--12",
    	annote = "nat"
    }
    
  16. Jean-Michel Fourneau and David Nott. Convergence Routing under Bursty Traffic: Instability and an AIMD Controller. Electr. Notes Theor. Comput. Sci. 151(3):97–109, 2006. BibTeX

    @article{FoNo06,
    	author = "Fourneau, Jean-Michel and Nott,David",
    	title = "Convergence Routing under Bursty Traffic: Instability and an {AIMD} Controller",
    	journal = "Electr. Notes Theor. Comput. Sci.",
    	volume = 151,
    	number = 3,
    	year = 2006,
    	pages = "97--109"
    }
    
  17. Dominique Barth, Johanne Cohen and Corentin Durbach. Multicast tree allocation algorithms for Distributed Interactive Simulation. International Journal of High Performance Computing and Networking (IJHPCN) 4(3/4):137-151, 2006. BibTeX

    @article{BCDu06,
    	author = "Barth, Dominique and Cohen, Johanne and Durbach, Corentin",
    	title = "Multicast tree allocation algorithms for Distributed Interactive Simulation",
    	journal = "International Journal of High Performance Computing and Networking (IJHPCN)",
    	year = 2006,
    	volume = 4,
    	pages = "137-151",
    	number = "3/4",
    	bibsource = "DBLP, http://dblp.uni-trier.de",
    	ee = "http://dx.doi.org/10.1504/IJHPCN.2006.010636",
    	owner = "svial",
    	timestamp = "2008.06.23"
    }
    
  18. Jean-Michel Fourneau, Brigitte Plateau, Ihab Sbeity and W J Stewart. Network Performance and Quality of Service. Chapter SANs and Lumpable Stochastic Bounds: Bounding Availability, in Computer System, Imperial College Press, 2006. BibTeX

    @inbook{FPSS06,
    	author = "Fourneau, Jean-Michel and Plateau, Brigitte and Sbeity, Ihab and Stewart, W.J.",
    	publisher = "Imperial College Press",
    	title = "Network Performance and Quality of Service",
    	chapter = "{SANs} and Lumpable Stochastic Bounds: Bounding Availability, in Computer System",
    	year = 2006
    }
    
  19. Jean-Michel Fourneau and Nihal Pekergin. Proceeding of the First EURONGI Workshop on New trends in Modeling, Quantitative Methods and Measurements, Zakopane, June 2004. Chapter A Brief Introduction to an algorithmic approach for strong stochastic bounds, pages 57-74, Polish Academy of Science, 2004. BibTeX

    @inbook{FoPe04,
    	author = "Fourneau, Jean-Michel and Pekergin, Nihal",
    	publisher = "Polish Academy of Science",
    	title = "Proceeding of the First EURONGI Workshop on New trends in Modeling, Quantitative Methods and Measurements, Zakopane, June 2004",
    	chapter = "A Brief Introduction to an algorithmic approach for strong stochastic bounds",
    	pages = "57-74",
    	year = 2004
    }
    
  20. M C Calzarossa and E Gelenbe (eds.). Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures. Chapter PEPA Nets, LNCS Vol.2965, pp:311- 335, 2004. BibTeX

    @inbook{GHKl04,
    	author = "Gilmore, S. and Hillston, J. and Kloul, Leila",
    	chapter = "{PEPA} Nets",
    	title = "Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures",
    	editor = "M.C. Calzarossa and E. Gelenbe",
    	publisher = "LNCS Vol.2965, pp:311- 335",
    	year = 2004
    }
    

 Imprimer 

Our website is protected by DMC Firewall!