Ahmed Khoumsi

Orcid: 0000-0003-4850-477X

According to our database1, Ahmed Khoumsi authored at least 87 papers between 1994 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Real-Time Torque-Distribution for Dual-Motor Off-Road Vehicle Using Machine Learning Approach.
IEEE Trans. Veh. Technol., April, 2024

Multi-Agent Deep Reinforcement Learning for content caching within the Internet of Vehicles.
Ad Hoc Networks, January, 2024

2023
ProMap: Effective Bilingual Lexicon Induction via Language Model Prompting.
Proceedings of the 13th International Joint Conference on Natural Language Processing and the 3rd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics, 2023

Automata-Based Study of Dynamic Access Control Policies.
Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

2022
AdaSL: An Unsupervised Domain Adaptation framework for Arabic multi-dialectal Sequence Labeling.
Inf. Process. Manag., 2022

UM6P-CS at SemEval-2022 Task 11: Enhancing Multilingual and Code-Mixed Complex Named Entity Recognition via Pseudo Labels using Multilingual Transformer.
Proceedings of the 16th International Workshop on Semantic Evaluation, SemEval@NAACL 2022, 2022

2021
BERT-based Multi-Task Model for Country and Province Level Modern Standard Arabic and Dialectal Arabic Identification.
CoRR, 2021

BERT-based Multi-Task Model for Country and Province Level MSA and Dialectal Arabic Identification.
Proceedings of the Sixth Arabic Natural Language Processing Workshop, 2021

Deep Multi-Task Model for Sarcasm Detection and Sentiment Analysis in Arabic Language.
Proceedings of the Sixth Arabic Natural Language Processing Workshop, 2021

LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System.
Proceedings of the Networked Systems - 9th International Conference, 2021

Domain Adaptation for Arabic Cross-Domain and Cross-Dialect Sentiment Analysis from Contextualized Word Embedding.
Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2021

Deep Reinforcement Learning for Content Caching Optimization in the Internet of Vehicles.
Proceedings of the IEEE Symposium on Computers and Communications, 2021

An Efficient Blockchain-based Electric Vehicle Charging Management System.
Proceedings of the IEEE Symposium on Computers and Communications, 2021

On the Role of Orthographic Variations in Building Multidialectal Arabic Word Embeddings.
Proceedings of the 34th Canadian Conference on Artificial Intelligence, 2021

2020
Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems.
Discret. Event Dyn. Syst., 2020

Arborescent architecture for decentralized diagnosis of discrete event systems.
Discret. Event Dyn. Syst., 2020

Weighted combination of BERT and N-GRAM features for Nuanced Arabic Dialect Identification.
Proceedings of the Fifth Arabic Natural Language Processing Workshop, 2020

A Log-Based Method to Detect and Resolve Efficiently Conflicts in Access Control Policies.
Proceedings of the 12th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2020), 2020

2019
Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis.
Proceedings of the Networked Systems - 7th International Conference, 2019

Sensor and Actuator Attacks of Cyber-Physical Systems: A Study Based on Supervisory Control of Discrete Event Systems.
Proceedings of the 8th International Conference on Systems and Control, 2019

Arborescent Architecture for Decentralized Prognosis of Discrete Event Systems.
Proceedings of the 17th European Control Conference, 2019

Managing Security Policies within Cloud Environments Using Aspect-Oriented State Machines.
Proceedings of the International Conference on Advanced Communication Technologies and Networking, 2019

Alternative Inference-Based Decentralized Prognosis of Discrete Event Systems.
Proceedings of the 6th International Conference on Control, 2019

2018
Decentralized Supervisory Control of Discrete Event Systems: An Arborescent Architecture to Realize Inference-Based Control.
IEEE Trans. Autom. Control., 2018

Formal Approach to Detect and Resolve Anomalies while Clustering ABAC Policies.
EAI Endorsed Trans. Security Safety, 2018

A formal basis for the design and analysis of firewall security policies.
J. King Saud Univ. Comput. Inf. Sci., 2018

Automata-Based Bottom-Up Design of Conflict-Free Security Policies Specified as Policy Expressions.
Proceedings of the Networked Systems - 6th International Conference, 2018

Validation and Correction of Large Security Policies: A Clustering and Access Log Based Approach.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017
Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey.
Adv. Comput., 2017

Clustering-based Approach for Anomaly Detection in XACML Policies.
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Aspect-Oriented State Machines for Resolving Conflicts in XACML Policies.
Proceedings of the Networked Systems - 5th International Conference, 2017

Access Domain-Based Approach for Anomaly Detection and Resolution in XACML Policies.
Proceedings of the Innovations in Bio-Inspired Computing and Applications, 2017

Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Arborescent architecture for decentralized supervisory control of discrete event systems.
Proceedings of the 4th International Conference on Control, 2017

Decentralized supervisory control of discrete event systems without loss of information.
Proceedings of the 4th International Conference on Control, 2017

2016
Analysis and Verification of XACML Policies in a Medical Cloud Environment.
Scalable Comput. Pract. Exp., 2016

User driven policy for selecting wireless communication technologies in intelligent transportation systems.
Proceedings of the 2016 International Conference on Wireless Networks and Mobile Communications, 2016

An Approach to Resolve NP-Hard Problems of Firewalls.
Proceedings of the Networked Systems - 4th International Conference, 2016

Decentralized Supervisory Control of Discrete Event Systems: Using Multi-Decision Control as an Alternative to Inference-Based Control.
Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016), 2016

Towards an Efficient Policy Evaluation Process in Multi-Tenancy Cloud Environments.
Proceedings of the 2016 ACM on Cloud Computing Security Workshop, 2016

2015
A Unifying Decision-Making Framework to study secrecy in decentralized discrete event systems.
Proceedings of the 23rd Mediterranean Conference on Control and Automation, 2015

2014
Automata-based approach to design and analyze security policies.
Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

Decentralized Supervisory Control of Discrete Event Systems - Moving Decisions Closer to Actions.
Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Vienna, Austria, 1, 2014

Describing Functionalities and Reactions of Cars and Managing Their Feature Interactions.
Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Vienna, Austria, 1, 2014

A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies.
Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014

2013
A high abstraction level approach for detecting feature interactions between telecommunication services.
J. King Saud Univ. Comput. Inf. Sci., 2013

A simple formal method to synthesize an orchestrator in web service composition.
Proceedings of the American Control Conference, 2013

2012
Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2012

Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems.
Discret. Event Dyn. Syst., 2012

2011
Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems.
IEEE Trans. Autom. Control., 2011

Multimedia Web Services Performance: Analysis and Quantification of Binary Data Compression.
J. Multim., 2011

2010
<i>SetExp</i>: a method of transformation of timed automata into finite state automata.
Real Time Syst., 2010

Cross-platform Approach to Advanced IP-Telephony Services using JAIN-SIP.
J. Networks, 2010

A new method for centralised and modular supervisory control of real-time discrete event systems.
Int. J. Control, 2010

An unifying decision-making framework in discrete-event systems: Application to centralized and decentralized control, diagnosis and prognosis.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009
Multi-decision diagnosis: Parallel decentralized architectures cooperating for diagnosing discrete event systems.
Proceedings of the 10th European Control Conference, 2009

Multi-decision decentralized prognosis of failures in discrete event systems.
Proceedings of the American Control Conference, 2009

2008
Energy-efficient transmission scheme of JPEG images over Visual Sensor Networks.
Proceedings of the LCN 2008, 2008

Modeling and Adapting JPEG to the Energy Requirements of VSN.
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

2006
Grid automata and supervisory control of dense real-time discrete event systems.
Math. Comput. Simul., 2006

On Synthesizing Test Cases in Symbolic Real-time Testing.
J. Braz. Comput. Soc., 2006

Presence Interaction Management in SIP SOHO Architecture.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Creation of internet-telephony services using Siplet technology.
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005
A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems.
Discret. Event Dyn. Syst., 2005

Coordination of Components in a Distributed Discrete-Event System.
Proceedings of the 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 2005

2004
A New Method for Transforming Timed Automata.
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Complete Test Graph Synthesis For Symbolic Real-time Systems.
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

2003
Experimenting with Feature Interaction Management in SIP Environment.
Telecommun. Syst., 2003

Testing distributed real-time systems in the presence of inaccurate clock synchronizations.
Inf. Softw. Technol., 2003

New Management Methods for Feature and Preference Interactions.
Proceedings of the Management of Multimedia Networks and Services, 2003

Conceptual Foundations of User Preference Modeling.
Proceedings of the Network Control and Engineering for QoS, 2003

Test Cases Generation for Nondeterministic Real-Time Systems.
Proceedings of the Formal Approaches to Software Testing, 2003

2002
A Temporal Approach for Testing Distributed Systems.
IEEE Trans. Software Eng., 2002

A Method for Testing the Conformance of Real Time Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Submodule construction for timed systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Use of Agents for Resolving Feature Interactions.
Proceedings of the Mobile Agents for Telecommunication Applications, 2001

Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS.
Proceedings of the 14th International Symposium on Systems Synthesis, 2001

Testing Distributed Real Time Systems Using a Distributed Test Architecture.
Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 2001

2000
A new method for testing real time systems.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

An Approach for Testing Real Time Protocol Entities.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

A Detection Method Developed after a Thorough Study of the Contest Held in 1998.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1999
Protocol Synthesis for Real-Time Applications.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1997
Two formal methods for the synthesis of discrete event systems.
Comput. Networks ISDN Syst., 1997

Detection and Resolution of Interactions between Services of Telephone Networks.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1995
Protocol synthesis using basic Lotos and global variables.
Proceedings of the 1995 International Conference on Network Protocols, 1995

1994
On specifying services and synthesizing protocols for real-time applications.
Proceedings of the Protocol Specification, 1994


  Loading...