BibTeX records: Leïla Kloul

download as .bib file

@inproceedings{DBLP:conf/itsc/HajjarKB23,
  author       = {Perla Hajjar and
                  Le{\"{\i}}la Kloul and
                  Dominique Barth},
  title        = {Optimal Bus Scheduling using a Distributed Game Model Approach},
  booktitle    = {25th {IEEE} International Conference on Intelligent Transportation
                  Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
  pages        = {4571--4576},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ITSC57777.2023.10422224},
  doi          = {10.1109/ITSC57777.2023.10422224},
  timestamp    = {Thu, 22 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itsc/HajjarKB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdasci/BabichevaCBBK21,
  author       = {Tatiana Babicheva and
                  Matej Cebecauer and
                  Dominique Barth and
                  Wilco Burghout and
                  Le{\"{\i}}la Kloul},
  title        = {Empty Vehicle Redistribution with Time Windows in Autonomous Taxi
                  Systems},
  journal      = {Trans. Data Sci.},
  volume       = {2},
  number       = {1},
  pages        = {5:1--5:22},
  year         = {2021},
  url          = {https://doi.org/10.1145/3416915},
  doi          = {10.1145/3416915},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdasci/BabichevaCBBK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BennaceurK20,
  author       = {Walid Mokhtar Bennaceur and
                  Le{\"{\i}}la Kloul},
  title        = {Formal models for safety and performance analysis of a data center
                  system},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {193},
  pages        = {106643},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ress.2019.106643},
  doi          = {10.1016/J.RESS.2019.106643},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/BennaceurK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/ChenK19,
  author       = {Wei Chen and
                  Le{\"{\i}}la Kloul},
  editor       = {Yiannis Papadopoulos and
                  Koorosh Aslansefat and
                  Panagiotis Katsaros and
                  Marco Bozzano},
  title        = {Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using
                  {PEPA}},
  booktitle    = {Model-Based Safety and Assessment - 6th International Symposium, {IMBSA}
                  2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11842},
  pages        = {317--331},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32872-6\_21},
  doi          = {10.1007/978-3-030-32872-6\_21},
  timestamp    = {Thu, 14 Oct 2021 09:59:31 +0200},
  biburl       = {https://dblp.org/rec/conf/imbsa/ChenK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itsr/IssadKRB18,
  author       = {Melissa Issad and
                  Le{\"{\i}}la Kloul and
                  Antoine Rauzy and
                  Karim Berkani},
  title        = {Modeling the {CBTC} Railway System of Siemens with \emph{ScOLa}},
  journal      = {Int. J. Intell. Transp. Syst. Res.},
  volume       = {16},
  number       = {3},
  pages        = {163--172},
  year         = {2018},
  url          = {https://doi.org/10.1007/s13177-017-0146-2},
  doi          = {10.1007/S13177-017-0146-2},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/itsr/IssadKRB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/MengKR18,
  author       = {Huixing Meng and
                  Le{\"{\i}}la Kloul and
                  Antoine Rauzy},
  title        = {Modeling patterns for reliability assessment of safety instrumented
                  systems},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {180},
  pages        = {111--123},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ress.2018.06.026},
  doi          = {10.1016/J.RESS.2018.06.026},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/MengKR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/se/IssadKR18,
  author       = {Melissa Issad and
                  Le{\"{\i}}la Kloul and
                  Antoine Rauzy},
  title        = {Scenario-oriented reverse engineering of complex railway system specifications},
  journal      = {Syst. Eng.},
  volume       = {21},
  number       = {2},
  pages        = {91--104},
  year         = {2018},
  url          = {https://doi.org/10.1002/sys.21413},
  doi          = {10.1002/SYS.21413},
  timestamp    = {Sun, 10 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/se/IssadKR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/ChenK18,
  author       = {Wei Chen and
                  Le{\"{\i}}la Kloul},
  editor       = {David Aveiro and
                  Jan L. G. Dietz and
                  Joaquim Filipe},
  title        = {An Ontology-based Approach to Generate the Advanced Driver Assistance
                  Use Cases of Highway Traffic},
  booktitle    = {Proceedings of the 10th International Joint Conference on Knowledge
                  Discovery, Knowledge Engineering and Knowledge Management, {IC3K}
                  2018, Volume 2: KEOD, Seville, Spain, September 18-20, 2018},
  pages        = {73--81},
  publisher    = {SciTePress},
  year         = {2018},
  url          = {https://doi.org/10.5220/0006931700730081},
  doi          = {10.5220/0006931700730081},
  timestamp    = {Tue, 25 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ic3k/ChenK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/ChenK18a,
  author       = {Wei Chen and
                  Le{\"{\i}}la Kloul},
  editor       = {Ana L. N. Fred and
                  Ana Salgado and
                  David Aveiro and
                  Jan L. G. Dietz and
                  Jorge Bernardino and
                  Joaquim Filipe},
  title        = {An Advanced Driver Assistance Test Cases Generation Methodology Based
                  on Highway Traffic Situation Description Ontologies},
  booktitle    = {Knowledge Discovery, Knowledge Engineering and Knowledge Management
                  - 10th International Joint Conference, {IC3K} 2018, Seville, Spain,
                  September 18-20, 2018, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1222},
  pages        = {93--113},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-49559-6\_5},
  doi          = {10.1007/978-3-030-49559-6\_5},
  timestamp    = {Tue, 25 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ic3k/ChenK18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/BennaceurK18,
  author       = {Walid Mokhtar Bennaceur and
                  Le{\"{\i}}la Kloul},
  title        = {Electrical and Thermal System Impact on the Availability of a Data
                  Center's System},
  booktitle    = {3rd International Conference on System Reliability and Safety, {ICSRS}
                  2018, Barcelona, Spain, November 23-25, 2018},
  pages        = {142--148},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICSRS.2018.8688831},
  doi          = {10.1109/ICSRS.2018.8688831},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsrs/BennaceurK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipccc/BennaceurK18,
  author       = {Walid Mokhtar Bennaceur and
                  Le{\"{\i}}la Kloul},
  title        = {Reliability and Performance Analysis of a Data Center's Network Architecture},
  booktitle    = {37th {IEEE} International Performance Computing and Communications
                  Conference, {IPCCC} 2018, Orlando, FL, USA, November 17-19, 2018},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/PCCC.2018.8710882},
  doi          = {10.1109/PCCC.2018.8710882},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ipccc/BennaceurK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/KloulR17,
  author       = {Le{\"{\i}}la Kloul and
                  Antoine Rauzy},
  title        = {Production trees: {A} new modeling methodology for production availability
                  analyses},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {167},
  pages        = {561--571},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ress.2017.06.017},
  doi          = {10.1016/J.RESS.2017.06.017},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/KloulR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BennaceurKR17,
  author       = {Walid Mokhtar Bennaceur and
                  Le{\"{\i}}la Kloul and
                  Antoine Rauzy},
  editor       = {Marco Bozzano and
                  Yiannis Papadopoulos},
  title        = {Safety Analysis of a Data Center's Electrical System Using Production
                  Trees},
  booktitle    = {Model-Based Safety and Assessment - 5th International Symposium, {IMBSA}
                  2017, Trento, Italy, September 11-13, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10437},
  pages        = {82--96},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-64119-5\_6},
  doi          = {10.1007/978-3-319-64119-5\_6},
  timestamp    = {Thu, 14 Oct 2021 09:59:31 +0200},
  biburl       = {https://dblp.org/rec/conf/imbsa/BennaceurKR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ew/BarthCKM16,
  author       = {Dominique Barth and
                  Amira Choutri and
                  Le{\"{\i}}la Kloul and
                  Olivier Marc{\'{e}}},
  title        = {Centralized Mobile Users Assignment Strategies for Energy Management
                  in Het-LTE Networks},
  journal      = {{EAI} Endorsed Trans. Energy Web},
  volume       = {3},
  number       = {10},
  pages        = {e2},
  year         = {2016},
  url          = {https://doi.org/10.4108/eai.14-12-2015.2262644},
  doi          = {10.4108/EAI.14-12-2015.2262644},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ew/BarthCKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/IssadKR16,
  author       = {Melissa Issad and
                  Le{\"{\i}}la Kloul and
                  Antoine Rauzy},
  editor       = {Gauthier Fanmuy and
                  Eric Goubault and
                  Daniel Krob and
                  Fran{\c{c}}ois Stephan},
  title        = {Incremental Modeling Methodology of Railway System Specifications},
  booktitle    = {Complex Systems Design {\&} Management, Proceedings of the Seventh
                  International Conference on Complex Systems Design {\&} Management,
                  CSD{\&}M 2016, Paris, France, December 13-14, 2016},
  pages        = {95--111},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-49103-5\_8},
  doi          = {10.1007/978-3-319-49103-5\_8},
  timestamp    = {Wed, 24 May 2017 08:27:32 +0200},
  biburl       = {https://dblp.org/rec/conf/csdm/IssadKR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/BarthCKM16,
  author       = {Dominique Barth and
                  Amira Choutri and
                  Le{\"{\i}}la Kloul and
                  Olivier Marc{\'{e}}},
  title        = {Mobile users assignment control strategies for {LTE} networks},
  booktitle    = {2016 Wireless Days, {WD} 2016, Toulouse, France, March 23-25, 2016},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/WD.2016.7461515},
  doi          = {10.1109/WD.2016.7461515},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/wd/BarthCKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/AnciauxBDIKMP14,
  author       = {Nicolas Anciaux and
                  Luc Bouganim and
                  Thierry Delot and
                  Sergio Ilarri and
                  Le{\"{\i}}la Kloul and
                  Nathalie Mitton and
                  Philippe Pucheral},
  title        = {Folk-IS: Opportunistic Data Services in Least Developed Countries},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {7},
  number       = {5},
  pages        = {425--428},
  year         = {2014},
  url          = {http://www.vldb.org/pvldb/vol7/p425-anciaux.pdf},
  doi          = {10.14778/2732269.2732278},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/AnciauxBDIKMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AnciauxBDIKMP14,
  author       = {Nicolas Anciaux and
                  Luc Bouganim and
                  Thierry Delot and
                  Sergio Ilarri and
                  Le{\"{\i}}la Kloul and
                  Nathalie Mitton and
                  Philippe Pucheral},
  title        = {Opportunistic data services in least developed countries: benefits,
                  challenges and feasibility issues},
  journal      = {{SIGMOD} Rec.},
  volume       = {43},
  number       = {1},
  pages        = {52--63},
  year         = {2014},
  url          = {https://doi.org/10.1145/2627692.2627704},
  doi          = {10.1145/2627692.2627704},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigmod/AnciauxBDIKMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/BowlesK14,
  author       = {Juliana K{\"{u}}ster Filipe Bowles and
                  Le{\"{\i}}la Kloul},
  editor       = {Beniamino Murgante and
                  Sanjay Misra and
                  Ana Maria A. C. Rocha and
                  Carmelo Maria Torre and
                  Jorge Gustavo Rocha and
                  Maria Irene Falc{\~{a}}o and
                  David Taniar and
                  Bernady O. Apduhan and
                  Osvaldo Gervasi},
  title        = {A Strongly Consistent Transformation from {UML} Interactions to {PEPA}
                  Nets},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2014 - 14th International
                  Conference, Guimar{\~{a}}es, Portugal, June 30 - July 3, 2014, Proceedings,
                  Part {V}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8583},
  pages        = {90--105},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09156-3\_7},
  doi          = {10.1007/978-3-319-09156-3\_7},
  timestamp    = {Mon, 05 Feb 2024 20:32:23 +0100},
  biburl       = {https://dblp.org/rec/conf/iccsa/BowlesK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/IssadKR14,
  author       = {Melissa Issad and
                  Le{\"{\i}}la Kloul and
                  Antoine Rauzy},
  editor       = {Frank Ortmeier and
                  Antoine Rauzy},
  title        = {A Model-Based Methodology to Formalize Specifications of Railway Systems},
  booktitle    = {Model-Based Safety and Assessment - 4th International Symposium, {IMBSA}
                  2014, Munich, Germany, October 27-29, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8822},
  pages        = {28--42},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12214-4\_3},
  doi          = {10.1007/978-3-319-12214-4\_3},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/imbsa/IssadKR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BatteuxPRK13,
  author       = {Michel Batteux and
                  Tatiana Prosvirnova and
                  Antoine Rauzy and
                  Le{\"{\i}}la Kloul},
  title        = {The AltaRica 3.0 project for model-based safety assessment},
  booktitle    = {11th {IEEE} International Conference on Industrial Informatics, {INDIN}
                  2013, Bochum, Germany, July 29-31, 2013},
  pages        = {741--746},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/INDIN.2013.6622976},
  doi          = {10.1109/INDIN.2013.6622976},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/indin/BatteuxPRK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/BarthCKM13,
  author       = {Dominique Barth and
                  Amira Choutri and
                  Le{\"{\i}}la Kloul and
                  Olivier Marc{\'{e}}},
  editor       = {Bj{\"{o}}rn Landfeldt and
                  M{\'{o}}nica Aguilar{-}Igartua and
                  Ravi Prakash and
                  Cheng Li},
  title        = {Femtocells sharing management using mobility prediction model},
  booktitle    = {16th {ACM} International Conference on Modeling, Analysis and Simulation
                  of Wireless and Mobile Systems, MSWiM '13, Barcelona, Spain, November
                  3-8, 2013},
  pages        = {59--64},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2507924.2507988},
  doi          = {10.1145/2507924.2507988},
  timestamp    = {Wed, 22 Mar 2023 16:53:34 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/BarthCKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/BarthBK12,
  author       = {Dominique Barth and
                  Samir Bellahsene and
                  Le{\"{\i}}la Kloul},
  editor       = {Albert Y. Zomaya and
                  Bj{\"{o}}rn Landfeldt and
                  Ravi Prakash},
  title        = {Combining local and global profiles for mobility prediction in {LTE}
                  femtocells},
  booktitle    = {The 15th {ACM} International Conference on Modeling, Analysis and
                  Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
                  October 21-25, 2012},
  pages        = {333--342},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2387238.2387295},
  doi          = {10.1145/2387238.2387295},
  timestamp    = {Wed, 22 Mar 2023 16:53:34 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/BarthBK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wolter2012/AvritzerBCKRW12,
  author       = {Alberto Avritzer and
                  Luca Berardinelli and
                  Vittorio Cortellessa and
                  Le{\"{\i}}la Kloul and
                  Carlo Rosa and
                  Katinka Wolter},
  editor       = {Katinka Wolter and
                  Alberto Avritzer and
                  Marco Vieira and
                  Aad P. A. van Moorsel},
  title        = {Resilience in Mobile Networks: {A} Need and a Challenge},
  booktitle    = {Resilience Assessment and Evaluation of Computing Systems},
  pages        = {25--40},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29032-9\_2},
  doi          = {10.1007/978-3-642-29032-9\_2},
  timestamp    = {Tue, 16 May 2017 14:01:42 +0200},
  biburl       = {https://dblp.org/rec/books/sp/wolter2012/AvritzerBCKRW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wolter2012/BradleyCHKRSTW12,
  author       = {Jeremy T. Bradley and
                  Lucia Cloth and
                  Richard A. Hayden and
                  Le{\"{\i}}la Kloul and
                  Philipp Reinecke and
                  Markus Siegle and
                  Nigel Thomas and
                  Katinka Wolter},
  editor       = {Katinka Wolter and
                  Alberto Avritzer and
                  Marco Vieira and
                  Aad P. A. van Moorsel},
  title        = {Scalable Stochastic Modelling for Resilience},
  booktitle    = {Resilience Assessment and Evaluation of Computing Systems},
  pages        = {115--149},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29032-9\_6},
  doi          = {10.1007/978-3-642-29032-9\_6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/wolter2012/BradleyCHKRSTW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wolter2012/BellahseneKRW12,
  author       = {Samir Bellahsene and
                  Le{\"{\i}}la Kloul and
                  Philipp Reinecke and
                  Katinka Wolter},
  editor       = {Katinka Wolter and
                  Alberto Avritzer and
                  Marco Vieira and
                  Aad P. A. van Moorsel},
  title        = {Case Study: Mobile Networks},
  booktitle    = {Resilience Assessment and Evaluation of Computing Systems},
  pages        = {343--364},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29032-9\_17},
  doi          = {10.1007/978-3-642-29032-9\_17},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/wolter2012/BellahseneKRW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/BarthBK11,
  author       = {Dominique Barth and
                  Samir Bellahsene and
                  Le{\"{\i}}la Kloul},
  title        = {Mobility Prediction Using Mobile User Profiles},
  booktitle    = {{MASCOTS} 2011, 19th Annual {IEEE/ACM} International Symposium on
                  Modeling, Analysis and Simulation of Computer and Telecommunication
                  Systems, Singapore, 25-27 July, 2011},
  pages        = {286--294},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/MASCOTS.2011.57},
  doi          = {10.1109/MASCOTS.2011.57},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mascots/BarthBK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BellahseneK10,
  author       = {Samir Bellahsene and
                  Le{\"{\i}}la Kloul},
  editor       = {Alessandro Aldini and
                  Marco Bernardo and
                  Luciano Bononi and
                  Vittorio Cortellessa},
  title        = {A New Markov-Based Mobility Prediction Algorithm for Mobile Networks},
  booktitle    = {Computer Performance Engineering - 7th European Performance Engineering
                  Workshop, {EPEW} 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6342},
  pages        = {37--50},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15784-4\_3},
  doi          = {10.1007/978-3-642-15784-4\_3},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/BellahseneK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BowlesK10,
  author       = {Juliana K{\"{u}}ster Filipe Bowles and
                  Le{\"{\i}}la Kloul},
  editor       = {Alan Adamson and
                  Andre B. Bondi and
                  Carlos Juiz and
                  Mark S. Squillante},
  title        = {Synthesising {PEPA} nets from IODs for performance analysis},
  booktitle    = {Proceedings of the first joint {WOSP/SIPEW} International Conference
                  on Performance Engineering, San Jose, California, USA, January 28-30,
                  2010},
  pages        = {195--200},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1712605.1712635},
  doi          = {10.1145/1712605.1712635},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wosp/BowlesK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Kloul09,
  author       = {Le{\"{\i}}la Kloul},
  editor       = {Jeremy T. Bradley},
  title        = {From DFTs to {PEPA:} {A} Model-to-Model Transformation},
  booktitle    = {Computer Performance Engineering, 6th European Performance Engineering
                  Workshop, {EPEW} 2009, London, UK, July 9-10, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5652},
  pages        = {94--109},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02924-0\_8},
  doi          = {10.1007/978-3-642-02924-0\_8},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/Kloul09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/BellahseneKB09,
  author       = {Samir Bellahsene and
                  Le{\"{\i}}la Kloul and
                  Dominique Barth},
  editor       = {Nael B. Abu{-}Ghazaleh and
                  Luciano Bononi and
                  Brahim Bensaou and
                  Violet R. Syrotiuk},
  title        = {A hierarchical prediction model for two nodes-based {IP} mobile networks},
  booktitle    = {Proceedings of the 12th International Symposium on Modeling Analysis
                  and Simulation of Wireless and Mobile Systems, MSWiM 2009, Tenerife,
                  Canary Islands, Spain, October 26-19, 2009},
  pages        = {173--180},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1641804.1641835},
  doi          = {10.1145/1641804.1641835},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/BellahseneKB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/DjoudiK08,
  author       = {Lamia Djoudi and
                  Le{\"{\i}}la Kloul},
  editor       = {Nigel Thomas and
                  Carlos Juiz},
  title        = {Assembly Code Analysis Using Stochastic Process Algebra},
  booktitle    = {Computer Performance Engineering, 5th European Performance Engineering
                  Workshop, {EPEW} 2008, Palma de Mallorca, Spain, September 24-25,
                  2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5261},
  pages        = {95--109},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87412-6\_8},
  doi          = {10.1007/978-3-540-87412-6\_8},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/DjoudiK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kloul09,
  author       = {Le{\"{\i}}la Kloul},
  editor       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt},
  title        = {Performance Analysis of a Software Retrieval Service},
  booktitle    = {Proceedings of the Third International Workshop on the Practical Application
                  of Stochastic Modelling, PASM@EPEW 2008, Palma de Mallorca, Spain,
                  September 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {232},
  pages        = {145--163},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.055},
  doi          = {10.1016/J.ENTCS.2009.02.055},
  timestamp    = {Thu, 09 Mar 2023 11:25:37 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Kloul09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HillstonK07,
  author       = {Jane Hillston and
                  Le{\"{\i}}la Kloul},
  title        = {Formal techniques for performance analysis: blending {SAN} and {PEPA}},
  journal      = {Formal Aspects Comput.},
  volume       = {19},
  number       = {1},
  pages        = {3--33},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00165-006-0011-6},
  doi          = {10.1007/S00165-006-0011-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HillstonK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KloulF06,
  author       = {Le{\"{\i}}la Kloul and
                  Juliana K{\"{u}}ster Filipe},
  title        = {Modelling Mobility with {UML2.0} and {PEPA} Nets},
  booktitle    = {Sixth International Conference on Application of Concurrency to System
                  Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
  pages        = {153--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ACSD.2006.13},
  doi          = {10.1109/ACSD.2006.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/KloulF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/FourneauK06,
  author       = {Jean{-}Michel Fourneau and
                  Le{\"{\i}}la Kloul},
  editor       = {Andr{\'{a}}s Horv{\'{a}}th and
                  Mikl{\'{o}}s Telek},
  title        = {A Precedence {PEPA} Model for Performance and Reliability Analysis},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Third
                  European Performance Engineering Workshop, {EPEW} 2006, Budapest,
                  Hungary, June 21-22, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4054},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11777830\_1},
  doi          = {10.1007/11777830\_1},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/FourneauK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/HillstonK06,
  author       = {Jane Hillston and
                  Le{\"{\i}}la Kloul},
  editor       = {Andr{\'{a}}s Horv{\'{a}}th and
                  Mikl{\'{o}}s Telek},
  title        = {A Function-Equivalent Components Based Simplification Technique for
                  {PEPA} Models},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Third
                  European Performance Engineering Workshop, {EPEW} 2006, Budapest,
                  Hungary, June 21-22, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4054},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11777830\_2},
  doi          = {10.1007/11777830\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/HillstonK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/GilmoreK05,
  author       = {Stephen Gilmore and
                  Le{\"{\i}}la Kloul},
  title        = {A unified tool for performance modelling and prediction},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {89},
  number       = {1},
  pages        = {17--32},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ress.2004.08.004},
  doi          = {10.1016/J.RESS.2004.08.004},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/GilmoreK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/KloulM05,
  author       = {Le{\"{\i}}la Kloul and
                  Amdjed Mokhtari},
  title        = {Alg{\`{e}}bre des processus pour l'analyse des performances des noeuds
                  actifs},
  journal      = {Tech. Sci. Informatiques},
  volume       = {24},
  number       = {2-3},
  pages        = {279--309},
  year         = {2005},
  url          = {https://doi.org/10.3166/tsi.24.279-309},
  doi          = {10.3166/TSI.24.279-309},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/KloulM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/GilmoreHKM05,
  author       = {Stephen Gilmore and
                  Valentin Haenel and
                  Le{\"{\i}}la Kloul and
                  Monika Maidl},
  editor       = {Mario Bravetti and
                  Le{\"{\i}}la Kloul and
                  Gianluigi Zavattaro},
  title        = {Choreographing Security and Performance Analysis for Web Services},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3670},
  pages        = {200--214},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549970\_15},
  doi          = {10.1007/11549970\_15},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/GilmoreHKM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwan/KloulM05,
  author       = {Le{\"{\i}}la Kloul and
                  Amdjed Mokhtari},
  editor       = {David Hutchison and
                  Spyros G. Denazis and
                  Laurent Lef{\`{e}}vre and
                  Gary J. Minden},
  title        = {A Secure Code Deployment Scheme for Active Networks},
  booktitle    = {Active and Programmable Networks - {IFIP} {TC6} 7th International
                  Working Conference, {IWAN} 2005, Sophia Antipolis, France, November
                  21-23, 2005. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4388},
  pages        = {168--181},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-642-00972-3\_14},
  doi          = {10.1007/978-3-642-00972-3\_14},
  timestamp    = {Mon, 26 Sep 2022 16:14:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwan/KloulM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pe-wasun/KloulV05,
  author       = {Le{\"{\i}}la Kloul and
                  Fabrice Valois},
  editor       = {Mohamed Ould{-}Khaoua and
                  Mineo Takai},
  title        = {Investigating unfairness scenarios in {MANET} using 802.11b},
  booktitle    = {Proceedings of the 2nd {ACM} International Workshop on Performance
                  Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, {PE-WASUN}
                  2005, Montreal, Quebec, Canada, October 10-13, 2005},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1089803.1089805},
  doi          = {10.1145/1089803.1089805},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pe-wasun/KloulV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2005,
  editor       = {Mario Bravetti and
                  Le{\"{\i}}la Kloul and
                  Gianluigi Zavattaro},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3670},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549970},
  doi          = {10.1007/11549970},
  isbn         = {3-540-28701-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/HillstonKM04,
  author       = {Jane Hillston and
                  Le{\"{\i}}la Kloul and
                  Amdjed Mokhtari},
  title        = {Towards a Feasible Active Networking Scenario},
  journal      = {Telecommun. Syst.},
  volume       = {27},
  number       = {2-4},
  pages        = {413--438},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:TELS.0000041018.31172.ef},
  doi          = {10.1023/B:TELS.0000041018.31172.EF},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/telsys/HillstonKM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GilmoreHHK04,
  author       = {Stephen Gilmore and
                  Valentin Haenel and
                  Jane Hillston and
                  Le{\"{\i}}la Kloul},
  editor       = {Manuel N{\'{u}}{\~{n}}ez and
                  Zakaria Maamar and
                  Fernando L. Pelayo and
                  Key Pousttchi and
                  Fernando Rubio},
  title        = {{PEPA} Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency
                  Medical Application},
  booktitle    = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE}
                  2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2,
                  2004},
  series       = {Lecture Notes in Computer Science},
  volume       = {3236},
  pages        = {262--277},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30233-9\_20},
  doi          = {10.1007/978-3-540-30233-9\_20},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/GilmoreHHK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/GilmoreKP04,
  author       = {Stephen Gilmore and
                  Le{\"{\i}}la Kloul and
                  Davide Piazza},
  editor       = {Cevdet Aykanat and
                  Tugrul Dayar and
                  Ibrahim Korpeoglu},
  title        = {Modelling Role-Playing Games Using {PEPA} Nets},
  booktitle    = {Computer and Information Sciences - {ISCIS} 2004, 19th International
                  Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3280},
  pages        = {523--532},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30182-0\_53},
  doi          = {10.1007/978-3-540-30182-0\_53},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iscis/GilmoreKP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/GilmoreHKR04,
  author       = {Stephen Gilmore and
                  Jane Hillston and
                  Le{\"{\i}}la Kloul and
                  Marina Ribaudo},
  editor       = {Jozo J. Dujmovic and
                  Virg{\'{\i}}lio A. F. Almeida and
                  Doug Lea},
  title        = {Software performance modelling using {PEPA} nets},
  booktitle    = {Proceedings of the Fourth International Workshop on Software and Performance,
                  {WOSP} 2004, Redwood Shores, California, USA, January 14-16, 2004},
  pages        = {13--23},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/974044.974047},
  doi          = {10.1145/974044.974047},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wosp/GilmoreHKR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/CanevetGHKS04,
  author       = {C. Canevet and
                  Stephen Gilmore and
                  Jane Hillston and
                  Le{\"{\i}}la Kloul and
                  Perdita Stevens},
  editor       = {Jozo J. Dujmovic and
                  Virg{\'{\i}}lio A. F. Almeida and
                  Doug Lea},
  title        = {Analysing {UML} 2.0 activity diagrams in the software performance
                  engineering process},
  booktitle    = {Proceedings of the Fourth International Workshop on Software and Performance,
                  {WOSP} 2004, Redwood Shores, California, USA, January 14-16, 2004},
  pages        = {74--78},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/974044.974055},
  doi          = {10.1145/974044.974055},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wosp/CanevetGHKS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/GilmoreHKR03,
  author       = {Stephen Gilmore and
                  Jane Hillston and
                  Le{\"{\i}}la Kloul and
                  Marina Ribaudo},
  title        = {{PEPA} nets: a structured performance modelling formalism},
  journal      = {Perform. Evaluation},
  volume       = {54},
  number       = {2},
  pages        = {79--104},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0166-5316(03)00069-5},
  doi          = {10.1016/S0166-5316(03)00069-5},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/GilmoreHKR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/GilmoreHK03,
  author       = {Stephen Gilmore and
                  Jane Hillston and
                  Le{\"{\i}}la Kloul},
  editor       = {Mariacarla Calzarossa and
                  Erol Gelenbe},
  title        = {{PEPA} Nets},
  booktitle    = {Performance Tools and Applications to Networked Systems, Revised Tutorial
                  Lectures [from {MASCOTS} 2003]},
  series       = {Lecture Notes in Computer Science},
  volume       = {2965},
  pages        = {311--335},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24663-3\_15},
  doi          = {10.1007/978-3-540-24663-3\_15},
  timestamp    = {Thu, 14 Oct 2021 10:33:31 +0200},
  biburl       = {https://dblp.org/rec/conf/mascots/GilmoreHK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GilmoreK03,
  author       = {Stephen Gilmore and
                  Le{\"{\i}}la Kloul},
  editor       = {Stuart Anderson and
                  Massimo Felici and
                  Bev Littlewood},
  title        = {A Unified Tool for Performance Modelling and Prediction},
  booktitle    = {Computer Safety, Reliability, and Security, 22nd International Conference,
                  {SAFECOMP} 2003, Edinburgh, UK, September 23-26, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2788},
  pages        = {179--192},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39878-3\_15},
  doi          = {10.1007/978-3-540-39878-3\_15},
  timestamp    = {Sun, 02 Jun 2019 21:26:43 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GilmoreK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/FourneauKV02,
  author       = {Jean{-}Michel Fourneau and
                  Le{\"{\i}}la Kloul and
                  Fabrice Valois},
  title        = {Performance modelling of hierarchical cellular networks using {PEPA}},
  journal      = {Perform. Evaluation},
  volume       = {50},
  number       = {2/3},
  pages        = {83--99},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0166-5316(02)00101-3},
  doi          = {10.1016/S0166-5316(02)00101-3},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/FourneauKV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/HillstonK01,
  author       = {Jane Hillston and
                  Le{\"{\i}}la Kloul},
  title        = {Performance investigation of an on-line auction system},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {13},
  number       = {1},
  pages        = {23--41},
  year         = {2001},
  url          = {https://doi.org/10.1002/cpe.546},
  doi          = {10.1002/CPE.546},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/HillstonK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/HillstonK01,
  author       = {Jane Hillston and
                  Le{\"{\i}}la Kloul},
  editor       = {Luca de Alfaro and
                  Stephen Gilmore},
  title        = {An Efficient Kronecker Representation for {PEPA} Models},
  booktitle    = {Process Algebra and Probabilistic Methods, Performance Modeling and
                  Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
                  Germany, September 12-14, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2165},
  pages        = {120--135},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44804-7\_8},
  doi          = {10.1007/3-540-44804-7\_8},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/papm/HillstonK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/FourneauKV00,
  author       = {Jean{-}Michel Fourneau and
                  Le{\"{\i}}la Kloul and
                  Dominique Verch{\`{e}}re},
  title        = {Multiple class G-networks with list-oriented deletions},
  journal      = {Eur. J. Oper. Res.},
  volume       = {126},
  number       = {2},
  pages        = {250--272},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0377-2217(99)00477-4},
  doi          = {10.1016/S0377-2217(99)00477-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/FourneauKV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/FourneauKQ00,
  author       = {Jean{-}Michel Fourneau and
                  Le{\"{\i}}la Kloul and
                  Franck Quessette},
  title        = {Multiple class G-networks with iterated deletions},
  journal      = {Perform. Evaluation},
  volume       = {42},
  number       = {1},
  pages        = {1--20},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0166-5316(99)00080-2},
  doi          = {10.1016/S0166-5316(99)00080-2},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/FourneauKQ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/FourneauKQ95,
  author       = {Jean{-}Michel Fourneau and
                  Le{\"{\i}}la Kloul and
                  Franck Quessette},
  editor       = {Patrick W. Dowd and
                  Erol Gelenbe},
  title        = {Multiple Class G-Networks with Jumps back to Zero},
  booktitle    = {{MASCOTS} '95, Proceedings of the Third International Workshop on
                  Modeling, Analysis, and Simulation On Computer and Telecommunication
                  Systems, January 10-18, 1995, Durham, North Carolina, {USA}},
  pages        = {28--32},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/MASCOT.1995.378652},
  doi          = {10.1109/MASCOT.1995.378652},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mascots/FourneauKQ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics