Ahmed Khoumsi
Orcid: 0000-0003-4850-477X
According to our database1,
Ahmed Khoumsi
authored at least 88 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Combining Cryptography and Discrete-Event Systems to Study Sensor and Actuator Cyberattacks.
Proceedings of the Information Security Theory and Practice, 2024
2023
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
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
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
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
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
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
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
EAI Endorsed Trans. Security Safety, 2018
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
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017
Proceedings of the Networked Systems - 5th International Conference, 2017
Proceedings of the Innovations in Bio-Inspired Computing and Applications, 2017
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
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
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
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
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
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
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
Proceedings of the American Control Conference, 2009
2008
Proceedings of the LCN 2008, 2008
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
Math. Comput. Simul., 2006
J. Braz. Comput. Soc., 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
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
Proceedings of the 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 2005
2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
2003
Telecommun. Syst., 2003
Testing distributed real-time systems in the presence of inaccurate clock synchronizations.
Inf. Softw. Technol., 2003
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
Proceedings of the Formal Approaches to Software Testing, 2003
2002
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
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
Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 2001
2000
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
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
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