BibTeX records: Choukri-Bey Ben-Yelles

download as .bib file

@article{DBLP:journals/jsa/AbbasRBS21,
  author    = {Messaoud Abbas and
               Renaud Rioboo and
               Choukri{-}Bey Ben{-}Yelles and
               Colin F. Snook},
  title     = {Formal modeling and verification of {UML} Activity Diagrams {(UAD)}
               with FoCaLiZe},
  journal   = {J. Syst. Archit.},
  volume    = {114},
  pages     = {101911},
  year      = {2021},
  url       = {https://doi.org/10.1016/j.sysarc.2020.101911},
  doi       = {10.1016/j.sysarc.2020.101911},
  timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jsa/AbbasRBS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/AbbasBR20,
  author    = {Messaoud Abbas and
               Choukri{-}Bey Ben{-}Yelles and
               Renaud Rioboo},
  title     = {Formalizing {UML/OCL} structural features with FoCaLiZe},
  journal   = {Soft Comput.},
  volume    = {24},
  number    = {6},
  pages     = {4149--4164},
  year      = {2020},
  url       = {https://doi.org/10.1007/s00500-019-04181-2},
  doi       = {10.1007/s00500-019-04181-2},
  timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/soco/AbbasBR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaacs/OccelloJBH19,
  author    = {Michel Occello and
               Jean{-}Paul Jamont and
               Choukri{-}Bey Ben{-}Yelles and
               Thi{-}Thanh{-}Ha Hoang},
  title     = {A multi-level generic multi-agent architecture for supervision of
               collective cyber-physical systems},
  journal   = {Int. J. Auton. Adapt. Commun. Syst.},
  volume    = {12},
  number    = {2},
  pages     = {109--128},
  year      = {2019},
  url       = {https://doi.org/10.1504/IJAACS.2019.098590},
  doi       = {10.1504/IJAACS.2019.098590},
  timestamp = {Sun, 30 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijaacs/OccelloJBH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijict/AbbasBR18,
  author    = {Messaoud Abbas and
               Choukri{-}Bey Ben{-}Yelles and
               Renaud Rioboo},
  title     = {Modelling {UML} state machines with FoCaLiZe},
  journal   = {Int. J. Inf. Commun. Technol.},
  volume    = {13},
  number    = {1},
  pages     = {34--54},
  year      = {2018},
  url       = {https://doi.org/10.1504/IJICT.2018.10010449},
  doi       = {10.1504/IJICT.2018.10010449},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijict/AbbasBR18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/HamaniJOBLK18,
  author    = {Nacer Hamani and
               Jean{-}Paul Jamont and
               Michel Occello and
               Choukri{-}Bey Ben{-}Yelles and
               Andr{\'{e}} Lagr{\`{e}}ze and
               Mouloud Koudil},
  title     = {A Multi-Cooperative-Based Approach to Manage Communication in Wireless
               Instrumentation Systems},
  journal   = {{IEEE} Syst. J.},
  volume    = {12},
  number    = {3},
  pages     = {2174--2185},
  year      = {2018},
  url       = {https://doi.org/10.1109/JSYST.2017.2721220},
  doi       = {10.1109/JSYST.2017.2721220},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/sj/HamaniJOBLK18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/Khenifar-Bessadi17,
  author    = {Afra Khenifar{-}Bessadi and
               Jean{-}Paul Jamont and
               Michel Occello and
               Choukri{-}Bey Ben{-}Yelles and
               Mouloud Koudil},
  title     = {De la coop{\'{e}}ration de collectifs multi-agents. Un mod{\`{e}}le
               d'utilisation de productions collectives},
  journal   = {Rev. d'Intelligence Artif.},
  volume    = {31},
  number    = {1-2},
  pages     = {97--132},
  year      = {2017},
  url       = {https://doi.org/10.3166/ria.31.97-132},
  doi       = {10.3166/ria.31.97-132},
  timestamp = {Thu, 08 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ria/Khenifar-Bessadi17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/Khenifar-Bessadi16,
  author    = {Afra Khenifar{-}Bessadi and
               Jean{-}Paul Jamont and
               Michel Occello and
               Choukri Ben{-}Yelles and
               Mouloud Koudil},
  editor    = {Fabien Michel and
               Julien Saunier},
  title     = {De la coop{\'{e}}ration des productions collectives dans un contexte
               multi-agent (pr{\'{e}}sentation courte)},
  booktitle = {Syst{\`{e}}mes Multi-Agents et simulation - Vingt-quatri{\`{e}}mes
               journ{\'{e}}es francophones sur les syst{\`{e}}mes multi-agents,
               {JFSMA} 16, Saint-Martin-du-Vivier (Rouen), France, Octobre 5-7, 2016},
  pages     = {43--52},
  publisher = {C{\'{e}}padu{\`{e}}s {\'{E}}ditions},
  year      = {2016},
  timestamp = {Wed, 30 Nov 2016 15:45:06 +0100},
  biburl    = {https://dblp.org/rec/conf/jfsma/Khenifar-Bessadi16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rivf/Khenifar-Bessadi16,
  author    = {Afra Khenifar{-}Bessadi and
               Jean{-}Paul Jamont and
               Michel Occello and
               Choukri{-}Bey Ben{-}Yelles and
               Mouloud Koudil},
  editor    = {Tru Cao and
               Yo{-}Sung Ho},
  title     = {About cooperation of multiagent collective products: An approach in
               the context of cyber-physical systems},
  booktitle = {2016 {IEEE} {RIVF} International Conference on Computing {\&}
               Communication Technologies, Research, Innovation, and Vision for the
               Future, {RIVF} 2016, Hanoi, Vietnam, November 7-9, 2016},
  pages     = {19--24},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://doi.org/10.1109/RIVF.2016.7800263},
  doi       = {10.1109/RIVF.2016.7800263},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/rivf/Khenifar-Bessadi16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/AbbasBR14,
  author    = {Messaoud Abbas and
               Choukri{-}Bey Ben{-}Yelles and
               Renaud Rioboo},
  editor    = {Za{\"{\i}}di Sahnoun},
  title     = {Generating FoCaLiZe Specifications from {UML} Models},
  booktitle = {Proceedings of the 1st International Conference on Advanced Aspects
               of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November
               2-4, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1294},
  pages     = {157--164},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1294/paper18.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:14 +0100},
  biburl    = {https://dblp.org/rec/conf/icaase/AbbasBR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AbbasBR14,
  author    = {Messaoud Abbas and
               Choukri{-}Bey Ben{-}Yelles and
               Renaud Rioboo},
  editor    = {Elvira Albert and
               Emil Sekerinski},
  title     = {Modeling {UML} Template Classes with FoCaLiZe},
  booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
               Bertinoro, Italy, September 9-11, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8739},
  pages     = {87--102},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10181-1\_6},
  doi       = {10.1007/978-3-319-10181-1\_6},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/ifm/AbbasBR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwiss/KhenifarJOBK14,
  author    = {Afra Khenifar and
               Jean{-}Paul Jamont and
               Michel Occello and
               Choukri{-}Bey Ben{-}Yelles and
               Mouloud Koudil},
  editor    = {Pierre Maret and
               Satoshi Honda and
               Rajendra Akerkar and
               Fuyuki Ishikawa and
               Takuro Yonezawa and
               Till Riedel and
               Martin Alexander Neumann},
  title     = {A recursive approach to enable the collective level interaction of
               the Web of Things applications},
  booktitle = {Proceedings of the 2014 International Workshop on Web Intelligence
               and Smart Sensing, {IWWISS} '14, Saint Etienne, France, September
               1-2, 2014},
  pages     = {13:1--13:2},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637064.2637098},
  doi       = {10.1145/2637064.2637098},
  timestamp = {Tue, 06 Nov 2018 11:07:44 +0100},
  biburl    = {https://dblp.org/rec/conf/iwwiss/KhenifarJOBK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/HoangOJY12,
  author    = {Thi{-}Thanh{-}Ha Hoang and
               Michel Occello and
               Jean{-}Paul Jamont and
               Choukri Ben{-}Yelles},
  title     = {Supervision de syst{\`{e}}mes complexes artificiels d{\'{e}}centralis{\'{e}}s.
               Proposition d'un mod{\`{e}}le multi-agent r{\'{e}}cursif g{\'{e}}n{\'{e}}rique},
  journal   = {Rev. d'Intelligence Artif.},
  volume    = {26},
  number    = {5},
  pages     = {569--600},
  year      = {2012},
  url       = {https://doi.org/10.3166/ria.26.569-600},
  doi       = {10.3166/ria.26.569-600},
  timestamp = {Thu, 08 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ria/HoangOJY12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ben-Yelles81,
  author    = {Choukri{-}Bey Ben{-}Yelles},
  title     = {\emph{G}-Stratification is Equivalent to \emph{F}-Stratification},
  journal   = {Math. Log. Q.},
  volume    = {27},
  number    = {8-10},
  pages     = {141--150},
  year      = {1981},
  url       = {https://doi.org/10.1002/malq.19810270806},
  doi       = {10.1002/malq.19810270806},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mlq/Ben-Yelles81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics