Publications
2010
Sadek Benhammada; Salim Chikhi
A semi-formal specification for a generic model of artificial stock markets. Int. Conf. on Computational Science (ICCS'10): 1465-1474 (2010)
Rabah Mokhtari; Allaoua Chaoui; Mohamed Redha Bahri
Mapping UML Components diagrams to XML using Graph Transformation. Int. Conf. on Computer Applications in Industry and Engineering (CAINE'10): 245-250 (2010)
Mohamed Gharzouli; Mahmoud Boufaïda
A distributed P2P-based architecture for semantic Web services discovery and composition. Int. Conf. on New Technologies of Distributed Systems: 315-320 (2010)
Mounira Zerari; Mahmoud Boufaïda
Context-aware process mining framework for business process flexibility. 12th Int. Conf. on Information Integration and Web-based Applications and Services (iiWAS'10): 421-426 (2010)
Mounira Zerari; Mahmoud Boufaïda
An Artifact-based Architecture for a Better Flexibility of Business Processes. 12th Int. Conf. on Enterprise Information Systems (ICEIS'10): 359-365 (2010)
Kamel Messaoudi; El-Bay Bourennane; Salah Toumi; Elhillali Kerkouche; Ouassila Labbani
Memory requirements and simulation platform for the implementation of the H.264 encoder modules. 2nd Int. Conf. on Image Processing Theory Tools and Applications (IPTA'10): 133-137 (2010)
Laid Kahloul; Karim Djouani; Walid Tfaili; Allaoua Chaoui; Yacine Amirat
Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool. Int. Conf. on Networked Digital Technologies (NDT'10): 604-618 (2010)
Laid Kahloul; Allaoua Chaoui; Karim Djouani
Modeling Reconfirgurable Systems Using Flexible Petri Nets. 4th IEEE Int. Symp. on Theoretical Aspects of Software Engineering (TASE'10): 107-116 (2010)
Amer Draa; Souham Meshoul
A quantum inspired learning cellular automaton for solving the travelling salesman problem. 12th Int. Conf. on Computer Modelling and Simulation (UKSim'10): 45-50 (2010)
2009
Elhillali Kermouche; Allaoua Chaoui
A graphical tool support to process and simulate ECATNets models based on meta-modelling and graph grammars. INFOCOMP J. of Computer Science 8(4): 37-44 (2009)
Djamel Eddine Saidouni; Nabil Belala; Messaouda Bouneb
Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. of Information Technology (IAJIT) 6(5): 441-447 (2009)
Salim Chikhi; Sadek Benhammada
ReliefMSS: a variation on a feature ranking ReliefF algorithm. Int. J. of Business Intelligence and Data Mining (IJBIDM) 4(3): 375-390 (2009)
Hamdane Mohamed Elkamel; F. Lezzar; B. Chaouki; Mili Seif Eddine
Implementation of Multi-Agents System to Control Adaptability in Workflow Environment. 2nd Conférence internationale sur l'informatique et ses applications (CIIA'09) (2009)
Mohamed Gharzouli; Mahmoud Boufaïda
A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services. 4th Int. Conf. on Internet and Web Applications and Services (ICIW'09): 449-454 (2009)
Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani
Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. 18th Int. Conf. on Software Engineering and Data Engineering (SEDE'09): 111-118 (2009)
Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui
Transforming UML models to colored petri nets models using graph grammars. 14th IEEE Symp. on Computers and Communications (ISCC'09): 230-236 (2009)
Elhillali Kerkouche; Allaoua Chaoui
A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. 10th Int. Conf. on Distributed Computing and Networking (ICDCN'09): 206-211 (2009)
Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui
Exploiting P-invariant analysis for distributed systems diagnosis based on interacting behavioral Petri nets. Int. Symp. on Innovation in Informations and Communication Technology (ISIICT'09): 186-196 (2009)
Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui
Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. 8th Int. Symp. on Parallel and Distributed Computing (ISPDC’09): 99-106 (2009)
2008
Laid Kahloul; Allaoua Chaoui
Coloured Reconfigurable Nets For Code Mobility Modeling. Int. J. of Computers, Communications & Control (IJCCC) 3: 358-363 (2008)