default search action
Ahmed Khoumsi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j25]Anas Knari, Mostapha Derfouf, Mohammed-Amine Koulali, Ahmed Khoumsi:
Multi-Agent Deep Reinforcement Learning for content caching within the Internet of Vehicles. Ad Hoc Networks 152: 103305 (2024) - [j24]Marouane Adnane
, Chi Thi Phuong Nguyen
Real-Time Torque-Distribution for Dual-Motor Off-Road Vehicle Using Machine Learning Approach. IEEE Trans. Veh. Technol. 73(4): 4567-4577 (2024) - [c62]Ahmed Khoumsi, Mohammed Erradi, Fahd Adni:
Combining Cryptography and Discrete-Event Systems to Study Sensor and Actuator Cyberattacks. WISTP 2024: 33-48 - 2023
- [c61]Ahmed Khoumsi:
Automata-Based Study of Dynamic Access Control Policies. ICISSP 2023: 218-227 - [c60]Abdellah El Mekki, Muhammad Abdul-Mageed, El Moatez Billah Nagoudi, Ismail Berrada, Ahmed Khoumsi:
ProMap: Effective Bilingual Lexicon Induction via Language Model Prompting. IJCNLP (1) 2023: 577-597 - [i4]Abdellah El Mekki, Muhammad Abdul-Mageed, El Moatez Billah Nagoudi, Ismail Berrada, Ahmed Khoumsi:
ProMap: Effective Bilingual Lexicon Induction via Language Model Prompting. CoRR abs/2310.18778 (2023) - 2022
- [j23]Abdellah El Mekki
AdaSL: An Unsupervised Domain Adaptation framework for Arabic multi-dialectal Sequence Labeling. Inf. Process. Manag. 59(4): 102964 (2022) - [c59]Abdellah El Mekki, Abdelkader El Mahdaouy
UM6P-CS at SemEval-2022 Task 11: Enhancing Multilingual and Code-Mixed Complex Named Entity Recognition via Pseudo Labels using Multilingual Transformer. SemEval@NAACL 2022: 1511-1517 - [i3]Abdellah El Mekki, Abdelkader El Mahdaouy, Mohammed Akallouch, Ismail Berrada, Ahmed Khoumsi:
UM6P-CS at SemEval-2022 Task 11: Enhancing Multilingual and Code-Mixed Complex Named Entity Recognition via Pseudo Labels using Multilingual Transformer. CoRR abs/2204.13515 (2022) - 2021
- [c58]Abdellah El Mekki, Abdelkader El Mahdaouy, Ismail Berrada, Ahmed Khoumsi:
On the Role of Orthographic Variations in Building Multidialectal Arabic Word Embeddings. Canadian AI 2021 - [c57]Ahmed Khoumsi:
An Efficient Blockchain-based Electric Vehicle Charging Management System. ISCC 2021: 1-7 - [c56]Anas Knari, Mohammed-Amine Koulali, Ahmed Khoumsi:
Deep Reinforcement Learning for Content Caching Optimization in the Internet of Vehicles. ISCC 2021: 1-6 - [c55]Abdellah El Mekki
Domain Adaptation for Arabic Cross-Domain and Cross-Dialect Sentiment Analysis from Contextualized Word Embedding. NAACL-HLT 2021: 2824-2837 - [c54]Imane El Abid, Yahya Benkaouz, Ahmed Khoumsi:
LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System. NETYS 2021: 144-160 - [c53]Abdellah El Mekki, Abdelkader El Mahdaouy, Kabil Essefar, Nabil El Mamoun, Ismail Berrada, Ahmed Khoumsi:
BERT-based Multi-Task Model for Country and Province Level MSA and Dialectal Arabic Identification. WANLP 2021: 271-275 - [c52]Abdelkader El Mahdaouy, Abdellah El Mekki, Kabil Essefar, Nabil El Mamoun, Ismail Berrada, Ahmed Khoumsi:
Deep Multi-Task Model for Sarcasm Detection and Sentiment Analysis in Arabic Language. WANLP 2021: 334-339 - [i2]Abdelkader El Mahdaouy, Abdellah El Mekki, Kabil Essefar, Nabil El Mamoun, Ismail Berrada, Ahmed Khoumsi:
Deep Multi-Task Model for Sarcasm Detection and Sentiment Analysis in Arabic Language. CoRR abs/2106.12488 (2021) - [i1]Abdellah El Mekki, Abdelkader El Mahdaouy, Kabil Essefar, Nabil El Mamoun, Ismail Berrada, Ahmed Khoumsi:
BERT-based Multi-Task Model for Country and Province Level Modern Standard Arabic and Dialectal Arabic Identification. CoRR abs/2106.12495 (2021) - 2020
- [j22]Ahmed Khoumsi
Arborescent architecture for decentralized diagnosis of discrete event systems. Discret. Event Dyn. Syst. 30(2): 335-375 (2020) - [j21]Ahmed Khoumsi:
Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems. Discret. Event Dyn. Syst. 30(2): 377-379 (2020) - [c51]Maryem Ait El Hadj
A Log-Based Method to Detect and Resolve Efficiently Conflicts in Access Control Policies. SoCPaR 2020: 836-846 - [c50]Abdellah El Mekki, Ahmed Alami, Hamza Alami, Ahmed Khoumsi, Ismail Berrada:
Weighted combination of BERT and N-GRAM features for Nuanced Arabic Dialect Identification. WANLP@COLING 2020: 268-274
2010 – 2019
- 2019
- [c49]Ahmed Khoumsi:
Alternative Inference-Based Decentralized Prognosis of Discrete Event Systems. CoDIT 2019: 250-255 - [c48]Meryeme Ayache, Ahmed Khoumsi, Mohammed Erradi:
Managing Security Policies within Cloud Environments Using Aspect-Oriented State Machines. CommNet 2019: 1-10 - [c47]Ahmed Khoumsi:
Arborescent Architecture for Decentralized Prognosis of Discrete Event Systems. ECC 2019: 3218-3224 - [c46]Ahmed Khoumsi:
Sensor and Actuator Attacks of Cyber-Physical Systems: A Study Based on Supervisory Control of Discrete Event Systems. ICSC 2019: 176-182 - [c45]Maryem Ait El Hadj
Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis. NETYS 2019: 250-266 - 2018
- [j20]Ahmed Khoumsi, Mohammed Erradi, Wadie Krombi:
A formal basis for the design and analysis of firewall security policies. J. King Saud Univ. Comput. Inf. Sci. 30(1): 51-66 (2018) - [j19]Maryem Ait El Hadj
Formal Approach to Detect and Resolve Anomalies while Clustering ABAC Policies. EAI Endorsed Trans. Security Safety 5(16): e3 (2018) - [j18]Ahmed Khoumsi
Decentralized Supervisory Control of Discrete Event Systems: An Arborescent Architecture to Realize Inference-Based Control. IEEE Trans. Autom. Control. 63(12): 4278-4285 (2018) - [c44]Maryem Ait El Hadj
Validation and Correction of Large Security Policies: A Clustering and Access Log Based Approach. IEEE BigData 2018: 5330-5332 - [c43]Ahmed Khoumsi, Mohammed Erradi:
Automata-Based Bottom-Up Design of Conflict-Free Security Policies Specified as Policy Expressions. NETYS 2018: 343-357 - 2017
- [j17]Rachida Dssouli, Ahmed Khoumsi, Mounia Elqortobi, Jamal Bentahar
Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. Adv. Comput. 107: 95-155 (2017) - [c42]Ahmed Khoumsi, Hicham Chakib:
Arborescent architecture for decentralized supervisory control of discrete event systems. CoDIT 2017: 73-78 - [c41]Ahmed Khoumsi:
Decentralized supervisory control of discrete event systems without loss of information. CoDIT 2017: 510-515 - [c40]Ahmed Khoumsi:
Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture. DX 2017: 144-158 - [c39]Maryem Ait El Hadj
Access Domain-Based Approach for Anomaly Detection and Resolution in XACML Policies. IBICA 2017: 298-308 - [c38]Meryeme Ayache, Mohammed Erradi, Bernd Freisleben
Aspect-Oriented State Machines for Resolving Conflicts in XACML Policies. NETYS 2017: 166-171 - [c37]Maryem Ait El Hadj, Meryeme Ayache, Yahya Benkaouz, Ahmed Khoumsi, Mohammed Erradi:
Clustering-based Approach for Anomaly Detection in XACML Policies. SECRYPT 2017: 548-553 - 2016
- [j16]Meryeme Ayache, Mohammed Erradi, Ahmed Khoumsi, Bernd Freisleben
Analysis and Verification of XACML Policies in a Medical Cloud Environment. Scalable Comput. Pract. Exp. 17(3): 189-206 (2016) - [c36]Meryeme Ayache, Mohammed Erradi, Bernd Freisleben
Towards an Efficient Policy Evaluation Process in Multi-Tenancy Cloud Environments. CCSW 2016: 55-59 - [c35]Ahmed Khoumsi, Hicham Chakib:
Decentralized Supervisory Control of Discrete Event Systems: Using Multi-Decision Control as an Alternative to Inference-Based Control. ICINCO (1) 2016: 213-220 - [c34]Ahmed Khoumsi, Mohamed Erradi, Meryeme Ayache, Wadie Krombi:
An Approach to Resolve NP-Hard Problems of Firewalls. NETYS 2016: 229-243 - [c33]Ahmed Khoumsi, Alexander Jaramillo, Amer Mohammed Al-Canaan:
User driven policy for selecting wireless communication technologies in intelligent transportation systems. WINCOM 2016: 34-41 - 2015
- [c32]Ahmed Khoumsi:
A Unifying Decision-Making Framework to study secrecy in decentralized discrete event systems. MED 2015: 903-910 - 2014
- [c31]Ahmed Khoumsi, Wadie Krombi, Mohammed Erradi:
A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies. FPS 2014: 221-236 - [c30]Ahmed Khoumsi, Zohair Chentouf:
Describing Functionalities and Reactions of Cars and Managing Their Feature Interactions. ICINCO (1) 2014: 147-155 - [c29]Ahmed Khoumsi, Hicham Chakib:
Decentralized Supervisory Control of Discrete Event Systems - Moving Decisions Closer to Actions. ICINCO (2) 2014: 280-287 - [c28]Wadie Krombi, Mohammed Erradi, Ahmed Khoumsi:
Automata-based approach to design and analyze security policies. PST 2014: 306-313 - 2013
- [j15]Zohair Chentouf, Ahmed Khoumsi:
A high abstraction level approach for detecting feature interactions between telecommunication services. J. King Saud Univ. Comput. Inf. Sci. 25(1): 99-115 (2013) - [c27]Ahmed Khoumsi:
A simple formal method to synthesize an orchestrator in web service composition. ACC 2013: 107-112 - 2012
- [j14]Hicham Chakib, Ahmed Khoumsi:
Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems. Discret. Event Dyn. Syst. 22(3): 333-380 (2012) - [j13]Ahmed Khoumsi, Hicham Chakib:
Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 9(2): 412-417 (2012) - 2011
- [j12]Amer Mohammed Al-Canaan, Ahmed Khoumsi:
Multimedia Web Services Performance: Analysis and Quantification of Binary Data Compression. J. Multim. 6(5): 447-457 (2011) - [j11]Hicham Chakib, Ahmed Khoumsi:
Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems. IEEE Trans. Autom. Control. 56(11): 2608-2622 (2011) - 2010
- [j10]Lucien Ouedraogo, Ahmed Khoumsi, Mustapha Nourelfath
A new method for centralised and modular supervisory control of real-time discrete event systems. Int. J. Control 83(1): 1-39 (2010) - [j9]Amer Mohammed Al-Canaan, Ahmed Khoumsi:
Cross-platform Approach to Advanced IP-Telephony Services using JAIN-SIP. J. Networks 5(7): 808-814 (2010) - [j8]Lucien Ouedraogo, Ahmed Khoumsi, Mustapha Nourelfath
SetExp: a method of transformation of timed automata into finite state automata. Real Time Syst. 46(2): 189-250 (2010) - [c26]Ahmed Khoumsi:
An unifying decision-making framework in discrete-event systems: Application to centralized and decentralized control, diagnosis and prognosis. WODES 2010: 135-142
2000 – 2009
- 2009
- [c25]Ahmed Khoumsi, Hicham Chakib:
Multi-decision decentralized prognosis of failures in discrete event systems. ACC 2009: 4974-4981 - [c24]Hicham Chakib, Ahmed Khoumsi:
Multi-decision diagnosis: Parallel decentralized architectures cooperating for diagnosing discrete event systems. ECC 2009: 2596-2601 - 2008
- [c23]Hicham Chakib, Ahmed Khoumsi:
Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems. CASE 2008: 187-193 - [c22]Abdelhamid Mammeri, Ahmed Khoumsi, Djemel Ziou, Brahim Hadjou:
Modeling and Adapting JPEG to the Energy Requirements of VSN. ICCCN 2008: 806-811 - [c21]Abdelhamid Mammeri, Ahmed Khoumsi, Djemel Ziou, Brahim Hadjou:
Energy-efficient transmission scheme of JPEG images over Visual Sensor Networks. LCN 2008: 639-647 - 2006
- [j7]Ahmed Khoumsi:
On Synthesizing Test Cases in Symbolic Real-time Testing. J. Braz. Comput. Soc. 12(2): 31-48 (2006) - [j6]Mustapha Nourelfath
Grid automata and supervisory control of dense real-time discrete event systems. Math. Comput. Simul. 70(5-6): 408-418 (2006) - [c20]Qiang Fan, Roch H. Glitho
Creation of internet-telephony services using Siplet technology. AICT/ICIW 2006: 68 - [c19]Zohair Chentouf, Ahmed Khoumsi:
Presence Interaction Management in SIP SOHO Architecture. FORTE 2006: 93-98 - 2005
- [j5]Ahmed Khoumsi:
A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems. Discret. Event Dyn. Syst. 15(4): 397-431 (2005) - [c18]Ahmed Khoumsi:
Coordination of Components in a Distributed Discrete-Event System. ISPDC 2005: 299-306 - 2004
- [c17]Ahmed Khoumsi:
Complete Test Graph Synthesis For Symbolic Real-time Systems. SBMF 2004: 79-100 - [c16]Ahmed Khoumsi, Lucien Ouedraogo:
A New Method for Transforming Timed Automata. SBMF 2004: 101-128 - 2003
- [j4]Ahmed Khoumsi:
Testing distributed real-time systems in the presence of inaccurate clock synchronizations. Inf. Softw. Technol. 45(12): 853-864 (2003) - [j3]Zohair Chentouf, Soumaya Cherkaoui, Ahmed Khoumsi:
Experimenting with Feature Interaction Management in SIP Environment. Telecommun. Syst. 24(2-4): 251-274 (2003) - [c15]Ahmed Khoumsi, Thierry Jéron, Hervé Marchand:
Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146 - [c14]Zohair Chentouf, Ahmed Khoumsi, Soumaya Cherkaoui:
Conceptual Foundations of User Preference Modeling. Net-Con 2003: 238-250 - [c13]Zohair Chentouf, Soumaya Cherkaoui, Ahmed Khoumsi:
New Management Methods for Feature and Preference Interactions. MMNS 2003: 233-245 - 2002
- [j2]Ahmed Khoumsi:
A Temporal Approach for Testing Distributed Systems. IEEE Trans. Software Eng. 28(11): 1085-1103 (2002) - [c12]Jawad Drissi, Ahmed Khoumsi:
Submodule construction for timed systems. CDC 2002: 28-33 - [c11]Ahmed Khoumsi:
A Method for Testing the Conformance of Real Time Systems. FTRTFT 2002: 331-354 - 2001
- [c10]Ahmed Khoumsi:
Testing Distributed Real Time Systems Using a Distributed Test Architecture. ISCC 2001: 648-654 - [c9]Ahmed Khoumsi:
Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS. ISSS 2001: 268-273 - [c8]Ahmed Khoumsi, Soumaya Cherkaoui:
Use of Agents for Resolving Feature Interactions. MATA 2001: 11-20 - 2000
- [c7]Ahmed Khoumsi, Rodolpho J. Bevelo:
A Detection Method Developed after a Thorough Study of the Contest Held in 1998. FIW 2000: 226-240 - [c6]Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger:
An Approach for Testing Real Time Protocol Entities. TestCom 2000: 281-300 - [c5]Ahmed Khoumsi:
A new method for testing real time systems. RTCSA 2000: 441-
1990 – 1999
- 1999
- [c4]Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli:
Protocol Synthesis for Real-Time Applications. FORTE 1999: 417-433 - 1997
- [j1]Ahmed Khoumsi, Kassem Saleh:
Two formal methods for the synthesis of discrete event systems. Comput. Networks ISDN Syst. 29(7): 759-780 (1997) - [c3]Ahmed Khoumsi:
Detection and Resolution of Interactions between Services of Telephone Networks. FIW 1997: 78-92 - 1995
- [c2]Ahmed Khoumsi, Gregor von Bochmann:
Protocol synthesis using basic Lotos and global variables. ICNP 1995: 126- - 1994
- [c1]Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli:
On specifying services and synthesizing protocols for real-time applications. PSTV 1994: 185-200
Coauthor Index
Mohammed Erradi
aka: Mohamed Erradi
aka: Mohamed Erradi
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.
last updated on 2024-06-27 21:31 CEST 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: