Publications
Search result :
Team = MFGL
2015
|
Sofiane Chemaa; Mouna Bouarioua; Allaoua Chaoui
A high-level Petri net based model for web services composition and verification. Int. J. of Computer Applications in Technology (IJCAT) 51(4): 306-323 (2015) |
|
|
Wafa Chama; Allaoua Chaoui; Seidali Rehab
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 6(2): 48-64 (2015) |
|
|
Tarek Alloui; Imane Boussebough; Allaoua Chaoui
A Particle Swarm Optimization Algorithm for Web Information Retrieval: A Novel Approach. Int. J. of Intelligent Information Technologies (IJIIT) 11(3): 15-29 (2015) |
|
|
Abdelkamel Hettab; Elhillali Kerkouche; Allaoua Chaoui
A Graph Transformation Approach for Automatic test cases generation from UML Activity Diagrams. 8th Int. C* Conf. on Computer Science & Software Engineering: 88–97 (2015) |
|
|
Khaled Khalfaoui; Elhillali Kerkouche; Allaoua Chaoui; Cherif Foudil
Automatic generation of SPL structurally valid products: An approach based on progressive composition of partial configurations. Int. Conf. on Information and Communication Systems (ICICS'15): 25-31 (2015) |
|
|
Tarek Alloui; Imane Boussebough; Allaoua Chaoui; Ahmed Zakaria Nouar; Mohamed Chaouki Chettah
Usearch: A Meta Search Engine based on a New Result Merging Strategy. Int. Joint Conf. on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K'15): 531-536 (2015) |
|
|
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. 8th Int. C* Conf. on Computer Science \& Software Engineering (C3S2E'15): 138-143 (2015) |
|
|
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
From UML Statecharts to LOTOS Expressions Using Graph Transformation. 21st Int. Conf. on Information and Software Technologies (ICIST'15): 548-559 (2015) |
|
|
Riad Boussetoua; Hammadi Bennoui; Allaoua Chaoui; Khaled Khalfaoui; Elhillali Kerkouche
An automatic approach to transform BPMN models to Pi-Calculus. 12th Int. Conf. of Computer Systems and Applications (AICCSA'15): 1-8 (2015) |
|
|
Abdelkamel Hettab; Elhillali Kerkouche; Allaoua Chaoui
A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams. 8th Int. C* Conf. on Computer Science & Software Engineering (C3S2E'15): 88-97 (2015) |
|
|
Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. 10th Int. Conf. on Future Networks and Communications (FNC '15): 604-611 (2015) |
|
|
Yasmina Rahmoune; Allaoua Chaoui; Elhillali Kerkouche
A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation. 10th Int. Conf. on Future Networks and Communications (FNC'15): 612-617 (2015) |
2014
|
Mohamed Gharzouli; Youcef Messelem; Mohamed Elhadi Bounas
TTL-Chord: A Chord-based Approach for Semantic Web Services Discovery. Scalable Computing: Practice and Experience (SCPE) 15(1): 89-99 (2014) |
|
|
Mohamed Gharzouli; Derdour Makhlouf
To Implement an Open-MAS Architecture for Semantic Web Services Discovery: What Kind of P2P Protocol Do We Need?. Int. J. of Agent Technologies and Systems (IJATS) 6(3): 58-71 (2014) |
|
|
Laid Kahloul; Samir Bourekkache; Karim Djouani; Allaoua Chaoui; Okba Kazar
Using high level Petri nets in the modelling, simulation and verification of reconfigurable manufacturing systems. Int. J. of Software Enegineering and Knowledge Engineering 24(3): 419-443 (2014) |
|
|
Aouatef Chaib; Iman Boussebough; Allaoua Chaoui
Adaptive composition of services in context-aware ambient intelligent systems. Int. C* Conf. on Computer Science & Software Engineering (C3S2E'14): 1-5 (2014) |
|
|
Nabil Berrehouma; Allaoua Chaoui; Elbey Bourennane
A Model Driven Engineering Approach for Soc Design with Archc/Systemc. Int. Symp. on Modeling and Implementation of Complexe Systems (MISC'14) (2014) |
|
|
Seidali Rehab; Allaoua Chaoui; Jérémy Buisson; Mohamed Ayache; Mohammed Zeghib
Triple Graph Transformation of UML Structural Diagrams to the B Method Using TGG-Interpreter. Int. Symp. on Modeling and Implementation of Complexe Systems (MISC'14) (2014) |
|
|
Aissam Belghiat; Allaoua Chaoui; Mourad Maouche; Mokhtar Beldjehem
Formalization of Mobile UML Statechart Diagrams Using the pi-calculus: An Approach for Modeling and Analysis. Int. Conf. on Information and Software Technologies: 236-247 (2014) |
|
|
Serial Boussalia; Allaoua Chaoui
Optimizing QoS-Based Web Services Composition by Using Quantum Inspired Cuckoo Search Algorithm. Int. Conf. on Mobile Web and Information Systems: 41-55 (2014) |