Explanipedia

Goéland: A Concurrent Tableau-Based Theorem Prover (System Description) Open

Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde Lilia Bouziane · 2022

We describe , an automated theorem prover for first-order logic that relies on a concurrent search procedure to find tableau proofs, with concurrent processes corresponding to individual branches of the tableau. Since branch closure may re…

From Monolithic Architecture Style to Microservice one Based on a Semi-Automatic Approach Open

Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, Rahina Oumarou Mahamane, Pascal Zaragoza , et al. · 2020

International audience

From Object-Oriented to Workflow: Refactoring of OO Applications into Workflows for an Efficient Resources Management in the Cloud Open

Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, Christophe Dony · 2019

Re-architecting OO Software into Microservices Open

Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, Christophe Dony, Rahina Oumarou Mahamane · 2018

Refactoring Object-Oriented Applications for a Deployment in the Cloud - Workflow Generation based on Static Analysis of Source Code Open

Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, Christophe Dony, Chouki Tibermacine · 2018

Cloud Computing delivers to customers computing/storage resources as services via the internet.It is characterized by its elastic nature and its payment model (pay-as-you-go).To optimize the use of these resources, one of the requirements …

Refactoring Object-Oriented Applications towards a better Decoupling and Instantiation Unanticipation Open

Soumia Zellagui, Chouki Tibermacine, Hinde Lilia Bouziane, Abdelhak-Djamel Seriai, Christophe Dony · 2017

International audience

Materializing Architecture Recovered from Object-Oriented Source Code in Component-Based Languages Open

Zakarea Alshara, Abdelhak-Djamel Seriai, Chouki Tibermacine, Hinde Lilia Bouziane, Christophe Dony , et al. · 2016

Migrating large object-oriented Applications into component-based ones: instantiation and inheritance transformation Open

Zakarea Alshara, Abdelhak-Djamel Seriai, Chouki Tibermacine, Hinde Lilia Bouziane, Christophe Dony , et al. · 2015

Large object-oriented applications have complex and numerous dependencies, and usually do not have explicit software architectures. Therefore they are hard to maintain, and parts of them are difficult to reuse. Component-based development …

Hinde Lilia Bouziane YOU? Author Swipe