Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Abderrahim Ait Wakrime
@article{DBLP:journals/concurrency/WakrimeSH23,
author = {Abderrahim Ait Wakrime and
Mohamed Sellami and
Riadh Ben Halima},
title = {Future internet services and applications},
journal = {Concurr. Comput. Pract. Exp.},
volume = {35},
number = {11},
year = {2023},
url = {https://doi.org/10.1002/cpe.7329},
doi = {10.1002/CPE.7329},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/WakrimeSH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoudiWTH23,
author = {Zakaryae Boudi and
Abderrahim Ait Wakrime and
Mohamed Toub and
Mohamed Haloua},
title = {A Deep Reinforcement Learning Framework with Formal Verification},
journal = {Formal Aspects Comput.},
volume = {35},
number = {1},
pages = {5:1--5:17},
year = {2023},
url = {https://doi.org/10.1145/3577204},
doi = {10.1145/3577204},
timestamp = {Fri, 19 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoudiWTH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jksucis/BenoudifaWB23,
author = {Ouafae Benoudifa and
Abderrahim Ait Wakrime and
R{\'{e}}douane Benaini},
title = {Autonomous solution for Controller Placement Problem of Software-Defined
Networking using MuZero based intelligent agents},
journal = {J. King Saud Univ. Comput. Inf. Sci.},
volume = {35},
number = {10},
pages = {101842},
year = {2023},
url = {https://doi.org/10.1016/j.jksuci.2023.101842},
doi = {10.1016/J.JKSUCI.2023.101842},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jksucis/BenoudifaWB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BoubaWOB23,
author = {Khaoula Bouba and
Abderrahim Ait Wakrime and
Yassine Ouhammou and
R{\'{e}}douane Benaini},
title = {A transformation methodology for Capella to Event-B models with {DSL}
verification},
journal = {J. Comput. Lang.},
volume = {77},
pages = {101241},
year = {2023},
url = {https://doi.org/10.1016/j.cola.2023.101241},
doi = {10.1016/J.COLA.2023.101241},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/BoubaWOB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/WakrimeO22,
author = {Abderrahim Ait Wakrime and
Yassine Ouhammou},
title = {Advances in modeling, verification and testing of safety-critical
software architectures},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {4},
pages = {483--484},
year = {2022},
url = {https://doi.org/10.1007/s11334-022-00493-z},
doi = {10.1007/S11334-022-00493-Z},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/WakrimeO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BoubaWOB22,
author = {Khaoula Bouba and
Abderrahim Ait Wakrime and
Yassine Ouhammou and
R{\'{e}}douane Benaini},
editor = {Philippe Fournier{-}Viger and
Ahmed Hassan Yousef and
Ladjel Bellatreche},
title = {Towards the Strengthening of Capella Modeling Semantics by Integrating
Event-B: {A} Rigorous Model-Based Approach for Safety-Critical Systems},
booktitle = {Model and Data Engineering: 11th International Conference, {MEDI}
2022, Cairo, Egypt, November 21-24, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13761},
pages = {119--132},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21595-7\_9},
doi = {10.1007/978-3-031-21595-7\_9},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/medi/BoubaWOB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/medi/2022w,
editor = {Philippe Fournier{-}Viger and
Ahmed Hassan Yousef and
Ladjel Bellatreche and
Ahmed Awad and
Abderrahim Ait Wakrime and
Yassine Ouhammou and
Idir A{\"{\i}}t{-}Sadoune},
title = {Advances in Model and Data Engineering in the Digitalization Era -
{MEDI} 2022 Short Papers and {DETECT} 2022 Workshop Papers, Cairo,
Egypt, November 21-24, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1751},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23119-3},
doi = {10.1007/978-3-031-23119-3},
isbn = {978-3-031-23118-6},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/OuhammouW21,
author = {Yassine Ouhammou and
Abderrahim Ait Wakrime},
title = {Guest editorial: Special issue on modeling, verification and testing
of dependable critical systems},
journal = {J. Syst. Archit.},
volume = {114},
pages = {101974},
year = {2021},
url = {https://doi.org/10.1016/j.sysarc.2020.101974},
doi = {10.1016/J.SYSARC.2020.101974},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/OuhammouW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/WakrimeBKGG21,
author = {Abderrahim Ait Wakrime and
Souha Boubaker and
Slim Kallel and
Emna Guermazi and
Walid Gaaloul},
title = {A Formal Model for Configurable Business Process with Optimal Cloud
Resource Allocation},
journal = {J. Univers. Comput. Sci.},
volume = {27},
number = {7},
pages = {693--713},
year = {2021},
url = {https://doi.org/10.3897/jucs.70978},
doi = {10.3897/JUCS.70978},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/WakrimeBKGG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/BahBTWA21,
author = {Mohamed Ould Bah and
Zakaryae Boudi and
Mohamed Toub and
Abderrahim Ait Wakrime and
Ghassane Aniba},
title = {Formalizing Ontologies for {AI} Models Validation: from {OWL} to Event-B},
booktitle = {15th {IEEE} International Conference on Semantic Computing, {ICSC}
2021, Laguna Hills, CA, USA, January 27-29, 2021},
pages = {455--462},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSC50631.2021.00080},
doi = {10.1109/ICSC50631.2021.00080},
timestamp = {Wed, 10 Mar 2021 15:03:04 +0100},
biburl = {https://dblp.org/rec/conf/semco/BahBTWA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/casm/JarrarWB20,
author = {Abdessamad Jarrar and
Abderrahim Ait Wakrime and
Youssef Balouki},
title = {Formal approach to model complex adaptive computing systems},
journal = {Complex Adapt. Syst. Model.},
volume = {8},
year = {2020},
url = {https://doi.org/10.1186/s40294-020-0069-7},
doi = {10.1186/S40294-020-0069-7},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/casm/JarrarWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/WakrimeRJ20,
author = {Abderrahim Ait Wakrime and
Mouna Rekik and
Sa{\"{\i}}d Jabbour},
title = {Cloud service composition using minimal unsatisfiability and genetic
algorithm},
journal = {Concurr. Comput. Pract. Exp.},
volume = {32},
number = {15},
year = {2020},
url = {https://doi.org/10.1002/cpe.5282},
doi = {10.1002/CPE.5282},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/WakrimeRJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/paapp/WakrimeJH20,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour and
Nabil Hameurlain},
title = {A MaxSAT based approach for QoS cloud services},
journal = {Int. J. Parallel Emergent Distributed Syst.},
volume = {35},
number = {6},
pages = {641--651},
year = {2020},
url = {https://doi.org/10.1080/17445760.2018.1499908},
doi = {10.1080/17445760.2018.1499908},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/paapp/WakrimeJH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/WakrimeLRCS20,
author = {Abderrahim Ait Wakrime and
Hamza Labbaci and
Mouna Rekik and
Nasredine Cheniki and
Yacine Sam},
title = {Toward Reconfiguration of BPaaS Based on SaaS Services using Clustering
and Boolean Satisfiability},
journal = {{SN} Comput. Sci.},
volume = {1},
number = {3},
pages = {156},
year = {2020},
url = {https://doi.org/10.1007/s42979-020-00152-9},
doi = {10.1007/S42979-020-00152-9},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sncs/WakrimeLRCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LahbibWLT020,
author = {Asma Lahbib and
Abderrahim Ait Wakrime and
Anis Laouiti and
Khalifa Toumi and
Steven Martin},
editor = {Leonard Barolli and
Flora Amato and
Francesco Moscato and
Tomoya Enokido and
Makoto Takizawa},
title = {An Event-B Based Approach for Formal Modelling and Verification of
Smart Contracts},
booktitle = {Advanced Information Networking and Applications - Proceedings of
the 34th International Conference on Advanced Information Networking
and Applications, AINA-2020, Caserta, Italy, 15-17 April},
series = {Advances in Intelligent Systems and Computing},
volume = {1151},
pages = {1303--1318},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44041-1\_111},
doi = {10.1007/978-3-030-44041-1\_111},
timestamp = {Thu, 04 Apr 2024 17:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aina/LahbibWLT020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sadasc/BoudiWTH20,
author = {Zakaryae Boudi and
Abderrahim Ait Wakrime and
Mohamed Toub and
Mohamed Haloua},
editor = {Mohamed Hamlich and
Ladjel Bellatreche and
Anirban Mondal and
Carlos Ordonez},
title = {Building Valid Career Ontologies with B-CPNs},
booktitle = {Smart Applications and Data Analysis - Third International Conference,
{SADASC} 2020, Marrakesh, Morocco, June 25-26, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1207},
pages = {33--46},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45183-7\_3},
doi = {10.1007/978-3-030-45183-7\_3},
timestamp = {Thu, 08 Apr 2021 08:50:56 +0200},
biburl = {https://dblp.org/rec/conf/sadasc/BoudiWTH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/WakrimeHS20,
author = {Abderrahim Ait Wakrime and
Riadh Ben Halima and
Mohamed Sellami},
title = {Track report of Future Internet Services and Applications (FISA'2020)},
booktitle = {29th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2020, Virtual Event, France,
September 10-13, 2020},
pages = {135--136},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/WETICE49692.2020.00034},
doi = {10.1109/WETICE49692.2020.00034},
timestamp = {Fri, 12 Feb 2021 11:17:14 +0100},
biburl = {https://dblp.org/rec/conf/wetice/WakrimeHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/Fattouch0WB19,
author = {Najla Fattouch and
Mouna Rekik and
Abderrahim Ait Wakrime and
Khouloud Boukadi},
title = {A Model-Driven Engineering Approach for Business Process Based SaaS
Services Composition},
booktitle = {16th {IEEE/ACS} International Conference on Computer Systems and Applications,
{AICCSA} 2019, Abu Dhabi, UAE, November 3-7, 2019},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2019},
url = {https://doi.org/10.1109/AICCSA47632.2019.9035348},
doi = {10.1109/AICCSA47632.2019.9035348},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiccsa/Fattouch0WB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/BoudiWDH19,
author = {Zakaryae Boudi and
Abderrahim Ait Wakrime and
Simon Collart Dutilleul and
Mohamed Haloua},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Introducing B-Sequenced Petri Nets as a {CPN} Sub-class for Safe Train
Control},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {350--358},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007725103500358},
doi = {10.5220/0007725103500358},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/BoudiWDH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/BougachaWKAD19,
author = {Racem Bougacha and
Abderrahim Ait Wakrime and
Slim Kallel and
Rahma Ben Ayed and
Simon Collart Dutilleul},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {A Model-based Approach for the Modeling and the Verification of Railway
Signaling System},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {367--376},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007728403670376},
doi = {10.5220/0007728403670376},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/BougachaWKAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/IdaniLWAD19,
author = {Akram Idani and
Yves Ledru and
Abderrahim Ait Wakrime and
Rahma Ben Ayed and
Simon Collart Dutilleul},
editor = {Kim Guldstrand Larsen and
Tim A. C. Willemse},
title = {Incremental Development of a Safety Critical System Combining formal
Methods and DSMLs - - Application to a Railway System -},
booktitle = {Formal Methods for Industrial Critical Systems - 24th International
Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11687},
pages = {93--109},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27008-7\_6},
doi = {10.1007/978-3-030-27008-7\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/IdaniLWAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovate-data/WakrimeBKG19,
author = {Abderrahim Ait Wakrime and
Souha Boubaker and
Slim Kallel and
Walid Gaaloul},
editor = {Muhammad Younas and
Irfan Awan and
Salima Benbernou},
title = {A SAT-Based Formal Approach for Verifying Business Process Configuration},
booktitle = {Big Data Innovations and Applications - 5th International Conference,
Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1054},
pages = {47--62},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27355-2\_4},
doi = {10.1007/978-3-030-27355-2\_4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/innovate-data/WakrimeBKG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/IdaniLWAB19,
author = {Akram Idani and
Yves Ledru and
Abderrahim Ait Wakrime and
Rahma Ben Ayed and
Philippe Bon},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Towards a Tool-Based Domain Specific Approach for Railway Systems
Modeling and Validation},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {23--40},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_2},
doi = {10.1007/978-3-030-18744-6\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/IdaniLWAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/LedruIAWB19,
author = {Yves Ledru and
Akram Idani and
Rahma Ben Ayed and
Abderrahim Ait Wakrime and
Philippe Bon},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {A Separation of Concerns Approach for the Verified Modelling of Railway
Signalling Rules},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {173--190},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_11},
doi = {10.1007/978-3-030-18744-6\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/LedruIAWB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/RekikWCS19,
author = {Mouna Rekik and
Abderrahim Ait Wakrime and
Nasredine Cheniki and
Yacine Sam},
editor = {Sumitra Reddy},
title = {On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation
and {SAT} Solving Techniques},
booktitle = {28th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2019, Naples, Italy, June
12-14, 2019},
pages = {37--42},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WETICE.2019.00016},
doi = {10.1109/WETICE.2019.00016},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/RekikWCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BoudiWDH18,
author = {Zakaryae Boudi and
Abderrahim Ait Wakrime and
Simon Collart Dutilleul and
Mohamed Haloua},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Djamal Benslimane and
Matteo Golfarelli and
St{\'{e}}phane Jean and
Dominique M{\'{e}}ry and
Kazumi Nakamatsu and
Carlos Ordonez},
title = {Petri Nets to Event-B: Handling Mathematical Sequences Through an
{ERTMS} {L3} Case},
booktitle = {New Trends in Model and Data Engineering - {MEDI} 2018 International
Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October
24-26, 2018, Proceedings},
series = {Communications in Computer and Information Science},
volume = {929},
pages = {50--62},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02852-7\_5},
doi = {10.1007/978-3-030-02852-7\_5},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/BoudiWDH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/WakrimeADLI18,
author = {Abderrahim Ait Wakrime and
Rahma Ben Ayed and
Simon Collart Dutilleul and
Yves Ledru and
Akram Idani},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Formalizing Railway Signaling System {ERTMS/ETCS} Using UML/Event-B},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {321--330},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_21},
doi = {10.1007/978-3-030-00856-7\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/WakrimeADLI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/WakrimeGR18,
author = {Abderrahim Ait Wakrime and
J. Paul Gibson and
Jean{-}Luc Raffy},
editor = {Layth Sliman and
Ismael Bouassida Rodriguez and
Kaori Yoshida},
title = {Formalising the Requirements of an E-Voting Software Product Line
Using Event-B},
booktitle = {27th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2018, Paris, France, June
27-29, 2018},
pages = {78--84},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/WETICE.2018.00022},
doi = {10.1109/WETICE.2018.00022},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/WakrimeGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Wakrime17,
author = {Abderrahim Ait Wakrime},
title = {Satisfiability-Based Privacy-Aware Cloud Computing},
journal = {Comput. J.},
volume = {60},
number = {12},
pages = {1760--1769},
year = {2017},
url = {https://doi.org/10.1093/comjnl/bxx039},
doi = {10.1093/COMJNL/BXX039},
timestamp = {Wed, 20 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/Wakrime17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/Wakrime17,
author = {Abderrahim Ait Wakrime},
title = {Deadlock-freedom of scientific applications using strict colored {FIFO}
nets},
booktitle = {4th International Conference on Control, Decision and Information
Technologies, CoDIT 2017, Barcelona, Spain, April 5-7, 2017},
pages = {102--107},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CoDIT.2017.8102574},
doi = {10.1109/CODIT.2017.8102574},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codit/Wakrime17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/WakrimeJ17,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour},
editor = {Sumitra Reddy and
Wojciech Cellary and
Mariagrazia Fugini},
title = {Formal Approach for QoS-Aware Cloud Service Composition},
booktitle = {26th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2017, Poznan, Poland, June
21-23, 2017},
pages = {30--35},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/WETICE.2017.61},
doi = {10.1109/WETICE.2017.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/WakrimeJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/WakrimeJ16,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour},
title = {On repairing queries in cloud computing},
booktitle = {13th {IEEE/ACS} International Conference of Computer Systems and Applications,
{AICCSA} 2016, Agadir, Morocco, November 29 - December 2, 2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/AICCSA.2016.7945802},
doi = {10.1109/AICCSA.2016.7945802},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/WakrimeJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/AitWakrime15,
author = {Abderrahim Ait Wakrime},
title = {Une approche par composants pour l'analyse visuelle interactive de
r{\'{e}}sultats issus de simulations num{\'{e}}riques. {(A}
component-based approach for interactive visual analysis of numerical
simulation results)},
school = {University of Orl{\'{e}}ans, France},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01282770},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/AitWakrime15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/WakrimeBJ15,
author = {Abderrahim Ait Wakrime and
Salima Benbernou and
Sa{\"{\i}}d Jabbour},
editor = {Yinsheng Li and
Xiang Fei and
Kuo{-}Ming Chao and
Jen{-}Yao Chung},
title = {Relaxation Based SaaS for Repairing Failed Queries over the Cloud
Computing},
booktitle = {12th {IEEE} International Conference on e-Business Engineering, {ICEBE}
2015, Beijing, China, October 23-25, 2015},
pages = {245--250},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICEBE.2015.49},
doi = {10.1109/ICEBE.2015.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icebe/WakrimeBJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icta/WakrimeJ15,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour},
title = {On QoS web service composition using satisfiability},
booktitle = {5th International Conference on Information {\&} Communication
Technology and Accessibility, {ICTA} 2015, Marrakech, Morocco, December
21-23, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICTA.2015.7426929},
doi = {10.1109/ICTA.2015.7426929},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icta/WakrimeJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/WakrimeLR15,
author = {Abderrahim Ait Wakrime and
S{\'{e}}bastien Limet and
Sophie Robert},
title = {On the fly reconfiguration of interactive scientific visualization
applications},
booktitle = {2015 International Conference on High Performance Computing {\&}
Simulation, {HPCS} 2015, Amsterdam, Netherlands, July 20-24, 2015},
pages = {468--475},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCSim.2015.7237078},
doi = {10.1109/HPCSIM.2015.7237078},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ieeehpcs/WakrimeLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/WakrimeJ15,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour},
editor = {Ajith Abraham and
Adel M. Alimi and
Abdelkrim Haqiq and
Luis Orozco{-}Barbosa and
Chokri Ben Amar and
Amine Berqia and
Mohamed Ben Halima and
Azah Kamilah Muda and
Kun Ma},
title = {Minimum Unsatisfiability based QoS Web Service Composition over the
Cloud Computing},
booktitle = {15th International Conference on Intelligent Systems Design and Applications,
{ISDA} 2015, Marrakech, Morocco, December 14-16, 2015},
pages = {540--545},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISDA.2015.7489174},
doi = {10.1109/ISDA.2015.7489174},
timestamp = {Thu, 22 Feb 2024 09:42:25 +0100},
biburl = {https://dblp.org/rec/conf/isda/WakrimeJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/notere/AadilWKS15,
author = {Bouchra Aadil and
Abderrahim Ait Wakrime and
Larbi Kzaz and
Abderrahim Sekkaki},
title = {Ontological approach for Data WareHouse design},
booktitle = {International Conference on Protocol Engineering, {ICPE} 2015, and
International Conference on New Technologies of Distributed Systems,
{NTDS} 2015 {[CFIP} (Colloque francophone sur l'ing{\'{e}}nierie
des protocoles) / {NOTERE} (Nouvelles Technologies de la R{\'{e}}partition)],
Paris, France, July 22-24, 2015},
pages = {1--7},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/NOTERE.2015.7293499},
doi = {10.1109/NOTERE.2015.7293499},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/notere/AadilWKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/WakrimeLR14,
author = {Abderrahim Ait Wakrime and
S{\'{e}}bastien Limet and
Sophie Robert},
editor = {Ivan Lanese and
Eric Madelaine},
title = {Place-Liveness of ComSA Applications},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {346--363},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_21},
doi = {10.1007/978-3-319-15317-9\_21},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/WakrimeLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/WakrimeLR12,
author = {Abderrahim Ait Wakrime and
S{\'{e}}bastien Limet and
Sophie Robert},
editor = {Ernesto Exposito and
Mohamed Zouari},
title = {R{\'{e}}seaux {FIFO} Color{\'{e}}s Stricts pour la formalisation
des applications de visualisation scientifique interactives},
booktitle = {6{\`{e}}me Conf{\'{e}}rence francophone sur les Architectures
Logicielles, {CAL} 2012, Montpellier, France, 30-21 Mai 2012},
series = {{RNTI}},
volume = {{L-7}},
pages = {103--122},
publisher = {Hermann-{\'{E}}ditions},
year = {2012},
url = {http://editions-rnti.fr/?inprocid=1002043},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cal/WakrimeLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-01-27 23:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
