Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Leïla Kloul
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.