Ilham Kitouni

Orcid: 0000-0001-6985-0124

According to our database1, Ilham Kitouni authored at least 25 papers between 2012 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Quality evaluation of commercially available healthcare applications for prostate cancer management.
Multim. Tools Appl., 2023

Enhancing Container Runtime Security: A Case Study in Threat Detection.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023

Internet of Things Based Smart Healthcare System.
Proceedings of the Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023), 2023

2022
IDT: An incremental deep tree framework for biological image classification.
Artif. Intell. Medicine, 2022

2020
IoT for Monitoring and Control of Water Quality Parameters.
Int. J. Interact. Mob. Technol., 2020

An Approach Based Natural Language Processing for DNA Sequences Encoding Using the Global Vectors for Word Representation.
Proceedings of the Innovative Systems for Intelligent Health Informatics, 2020

2018
Smart Agricultural Enterprise System Based on Integration of Internet of Things and Agent Technology.
J. Organ. End User Comput., 2018

Multi-Layer Agent Based Architecture for Internet of Things Systems.
J. Inf. Technol. Res., 2018

Internet of Things Agents Diagnosis Architecture : Application to Healtcare IoT System.
Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

2017
A GRC-Centric Approach for Enhancing Management Process of IoT-Based Health Institution.
Proceedings of the Mobile, Secure, and Programmable Networking, 2017

An Interaction-Centric Approach to Support Coordination in IoT-Based Enterprise Systems.
Proceedings of the Intelligent Computing Methodologies - 13th International Conference, 2017

2016
Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems.
Int. J. Intell. Inf. Technol., 2016

Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution.
Int. J. Distributed Syst. Technol., 2016

Relative time rates in dynamic timed automata.
Int. J. Commun. Networks Distributed Syst., 2016

Two-Level Data Collection for an Energy-Efficient Solution in Wireless Sensor Networks: Multi-Agent System Approach.
Int. J. Agric. Environ. Inf. Syst., 2016

2015
Formal testing theory of stochastic systems under maximality semantics.
Int. J. Comput. Aided Eng. Technol., 2015

Relative Timed Model for Coordinated Multi Agent Systems.
Proceedings of the Computer Science and Its Applications, 2015

2014
True Concurrency Semantics: Towards a Verification of Timed Systems.
Int. J. Embed. Real Time Commun. Syst., 2014

Timed Automata with Action Durations - From Theory to Implementation.
Proceedings of the Information and Software Technologies - 20th International Conference, 2014

Maximality-based Region Graph: A Novel Alternative.
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Forward Analysis of Timed Automata with Action Durations: Theory and Implementation.
Proceedings of the 2014 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2014

2013
Testing Stochastic Systems Using MoVoS Tool: Case Studies.
Proceedings of the Information and Software Technologies - 19th International Conference, 2013

2012
Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems
CoRR, 2012

A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars
CoRR, 2012

A Graph Transformation Approach for Testing Timed Systems.
Proceedings of the Information and Software Technologies - 18th International Conference, 2012


  Loading...