Concepedia

Neila Ben Lakhal

NB

4

Publications

105

Citations

4

H-Index

2003

Active since

Affiliations

Tokyo Institute of Technology(Current)

Neila Ben Lakhal is an author at Tokyo Institute of Technology specializing in engineering, formal verification, and systems engineering.

Top concepts

EngineeringFormal VerificationCloud ComputingComputer ScienceSystems EngineeringVerificationFormal MethodsSoftware AnalysisSoftware EngineeringSoftware Maintenance

Publications per year

2003–2008

4

Publications

4

THROWS : an architecture for highly available distributed execution of web services compositions

Neila Ben Lakhal, Takashi Kobayashi, Haruo Yokota · 2004 · 41 citations

Web Service Specification, Engineering, Software Engineering +19

FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis

Neila Ben Lakhal, Takashi Kobayashi, Haruo Yokota · The VLDB Journal · 2008 · 39 citations

Composite Web Services, Web Service Specification, Engineering +12

WS-SAGAS: Transaction Model for Reliable Web-Services-Composition Specification and Execution

Neila Ben Lakhal, Takashi Kobayashi, Haruo Yokota · Medical Entomology and Zoology · 2003 · 13 citations

Software Maintenance, Web Service Specification, Engineering +6

A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions

Neila Ben Lakhal, Takashi Kobayashi, Haruo Yokota · 2006 · 12 citations · Full text

Software Maintenance, Web Service Specification, Web Services Composition +23

Rows per page

1–4 of 4