Concepedia

Elhillali Kerkouche

EK

8

Publications

143

Citations

8

H-Index

2008

Active since

Affiliations

University of Jijel(Current)

Université Constantine 2

University of Constantine 3

Université Toulouse III - Paul Sabatier

Institut de Recherche en Informatique de Toulouse

Elhillali Kerkouche is an author at University of Jijel specializing in computer science, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware DesignSystems EngineeringSoftware EngineeringProgram AnalysisSoftware AnalysisComputer Engineering

Publications per year

2008–2022

8

Publications

8

A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation.

Elhillali Kerkouche, Allaoua Chaoui, El‐Bay Bourennane et al. · The Journal of Object Technology · 2010 · 47 citations · Full text

A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation

Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche · Procedia Computer Science · 2015 · 17 citations · Full text

Engineering, Software Engineering, Business Process Modeling +24

Verification of Model Transformations Using Isabelle/HOL and Scala

Said Meghzili, Allaoua Chaoui, Martin Strecker et al. · Information Systems Frontiers · 2018 · 16 citations

Engineering, Automated Reasoning, Mechanical Verification +7

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

Said Meghzili, Allaoua Chaoui, Martin Strecker et al. · International Journal of Software Innovation · 2019 · 15 citations

Petri Net, Engineering, Industrial Engineering +20

A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams

Abdelkamel Hettab, Elhillali Kerkouche, Allaoua Chaoui · 2008 · 12 citations

Software Maintenance, Uml Activity Diagrams, Engineering +20

Rows per page

1–5 of 8