![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 28 matches
- 2024
- Karima Mokni, Mohamed CH-Chaoui
:
A Darwinian Beverton-Holt model with immigration effect. Math. Comput. Simul. 217: 244-261 (2024) - Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui:
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. AINA (2) 2024: 199-212 - 2023
- Jonathan Plangger, Mohamed M. Atia, Hicham Chaoui
:
FCIoU: A Targeted Approach for Improving Minority Class Detection in Semantic Segmentation Systems. Mach. Learn. Knowl. Extr. 5(4): 1746-1759 (2023) - 2022
- Mohamed Stitou
, Abderrahim El Fadili, Fatima-Zahra Chaoui, Fouad Giri:
Adaptive output-feedback control design for maximum power point tracking of uncertain photovoltaic systems. IFAC J. Syst. Control. 21: 100205 (2022) - Abdelkamel Hettab, Allaoua Chaoui, Mohamed Boubakir, Elhillali Kerkouche:
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. Int. J. Comput. Aided Eng. Technol. 16(3): 379-415 (2022) - 2021
- Oussama Kamel
, Allaoua Chaoui, Gregorio Díaz
, Mohamed Gharzouli
:
SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach. Comput. Stand. Interfaces 74: 103483 (2021) - Brahim Zraibi
, Chafik Okar
, Hicham Chaoui
, Mohamed Mansouri:
Remaining Useful Life Assessment for Lithium-Ion Batteries Using CNN-LSTM-DNN Hybrid Method. IEEE Trans. Veh. Technol. 70(5): 4252-4261 (2021) - Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel-Eddine Saïdouni, Mohamed-Khireddine Kholladi
:
Modelling and Implementation of Complex Systems - Proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24-26, 2020. Lecture Notes in Networks and Systems 156, Springer 2021, ISBN 978-3-030-58860-1 [contents] - 2020
- Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul:
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. ICSOFT 2020: 250-259 - Sohaib Soualah
, Yousra Hafidi
, Mohamed Khalgui
, Allaoua Chaoui
, Laïd Kahloul:
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. ICSOFT (Selected Papers) 2020: 227-241 - 2019
- Nabil Messaoudi, Allaoua Chaoui
, Mohamed Bettaz:
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. Int. J. Comput. Vis. Robotics 9(2): 172-191 (2019) - David J. T. Boas, Sergii Poltaretskyi, Jean-Yves Ramel, Jean Chaoui, Julien Berhouet, Mohamed Slimane:
Relative Pose Improvement of Sphere based RGB-D Calibration. VISIGRAPP (4: VISAPP) 2019: 91-98 - 2017
- Nabil Messaoudi, Allaoua Chaoui
, Mohamed Bettaz:
An Approach to UML Consistency Checking Based on Compositional Semantics. Int. J. Embed. Real Time Commun. Syst. 8(2): 1-23 (2017) - Oussama Kamel
, Allaoua Chaoui
, Mohamed Gharzouli
:
Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement. BDIOT 2017: 115-119 - Oussama Kamel
, Allaoua Chaoui
, Mohamed Gharzouli
:
Cloud Service Composition Modeling Using Bigraphical Reactive Systems. IDEAS 2017: 40-48 - Redouane Assoudi
, Khalid Lamzoud
, Mohamed Chaoui
:
Influence of Wall Deformation on a Slip Length. SCA 2017: 931-936 - 2016
- Nabil Messaoudi, Allaoua Chaoui
, Mourad Derardja, Mohamed Bettaz:
On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. ANT/SEIT 2016: 658-664 - Md. Suruz Miah, Mohamed Redouane Kafi
, Hicham Chaoui, In Soo Ahn:
Neighboring optimal control of partially-observed twin rotor multi-input multi-output system. ISIE 2016: 393-398 - 2015
- Nabil Messaoudi, Allaoua Chaoui
, Mohamed Bettaz:
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. FNC/MobiSPC 2015: 604-611 - Tarek Alloui, Imane Boussebough
, Allaoua Chaoui, Ahmed Zakaria Nouar, Mohamed Chaouki Chettah:
Usearch: A Meta Search Engine based on a New Result Merging Strategy. KDIR 2015: 531-536 - 2014
- Abdelghani Bellouquid, Mohamed CH-Chaoui
:
Asymptotic analysis of a nonlinear integro-differential system modeling the immune response. Comput. Math. Appl. 68(9): 905-914 (2014) - El Ayachi Chater
, Fouad Giri, Josep M. Guerrero
, F. Z. Chaoui, Mohamed Haloua:
Tracking controller for intrinsic output saturated systems in presence of amplitude and rate input saturations. CCA 2014: 935-940 - 2013
- Mohammed Chaoui, Mohamed Tayeb Laskri:
Proposition and Organization of an Adaptive Learning Domain based on Fusion from the Web. J. Educ. Technol. Soc. 16(1): 118-132 (2013) - El Ayachi Chater
, Driss Ghani, Fouad Giri, Ahmed Rachid
, Fatima-Zahra Chaoui, Mohamed Haloua:
Output Feedback Control of Pantograph-Catenary System. PSYCO 2013: 131-136 - 2012
- Mohammed Chaoui, Mohamed Tayeb Laskri:
New Web Tool to Create Educational and Adaptive Courses in an E-Learning Platform Based Fusion of Web Resources. ICWIT 2012: 306-311 - 2010
- Fouad Giri, El Ayachi Chater, Jean-Baptiste Gning, F. Z. Chaoui, Mohamed Haloua:
A control strategy for a class of cascade systems including saturation elements. ACC 2010: 5173-5178 - Rabah Mokhtari, Allaoua Chaoui, Mohamed Redha Bahri:
Mapping UML Components diagrams to XML using Graph Transformation. CAINE 2010: 245-250 - 2006
- Fouad Giri, Youssef Rochdi, Fatima-Zahra Chaoui, Mohamed Haloua, Adil Brouri
:
Identification of the Nonlinear Element in Wiener Models A Frequency-Geometric Solution. CDC 2006: 3666-3671
loading more results
failed to load more results, please try again later
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-16 08:50 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint