Publications
Search result : Author = Kerkouche Elhillali
2023
Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui
Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Information Processing 22(1) (2023)
2022
Abdelouahab Fortas; Elhillali Kerkouche; Allaoua Chaoui
Formal Verification of IoT Applications Using Rewriting Logic: An MDE-Based Approach. Science of Computer Programming 222: 102859 (2022)
Abdelkamel Hettab; Allaoua Chaoui; Mohamed Boubakir; Elhillali Kerkouche
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. Int. J. of Computer Aided Engineering and Technology 16(3): 379-415 (2022)
2021
Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa
Automatic design of quantum circuits: generation of quantum teleportation protocols. Quantum Information Processing 20(9) (2021)
2020
Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. of Computer Aided Engineering and Technology 12(2): 237-262 (2020)
Said Meghzili; Allaoua Chaoui; Martin Streckecker; Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. of Software Innovation (IJSI) 8(1): 33 (2020)
2018
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. of Embedded Systems (IJES) 10(6): 453-469 (2018)
Elhillali Kerkouche; Elbey Bourennane; Allaoua Chaoui
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. e-Informatica Software Engineering J. 12(1): 9–26 (2018)
Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers (2018)
Chafika Djaoui; Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. Int. Conf. on Information Reuse and Integration (IRI'18): 511-517 (2018)
2017
Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. 18th IEEE Int. Conf. on Information Reuse and Integration (IRI'17): 419-426 (2017)
2016
Aissam Belghiat; Elhillali Kerkouche; Allaoua Chaoui; Mokhtar Beldjehem
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. J. of Computing and Information Technology (CIT) 24(2): 149-163 (2016)
Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
Transformation and validation of BPMN models to Petri nets models using GROOVE. 2nd Int. Conf. on Advanced Aspects of Software Engineering (ICAASE'16): 22-29 (2016)
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)
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)
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)