Concepedia

Jad Hamza

JH

7

Publications

213

Citations

7

H-Index

2010

Active since

Affiliations

Université Paris Cité(Current)

Délégation Paris 7

IMDEA Software Institute

Laboratoire d'Informatique Algorithmique: Fondements et Applications

École Polytechnique Fédérale de Lausanne

Jad Hamza is an author at Université Paris Cité specializing in formal methods, verification, and computer science.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProgram AnalysisAutomated ReasoningSoftware AnalysisSoftware TestingSystem Software

Publications per year

2010–2020

7

Publications

7

On verifying causal consistency

Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui et al. · 2016 · 53 citations · Full text

Engineering, Verification, Software Engineering +22

Verifying eventual consistency of optimistic replication systems

Ahmed Bouajjani, Constantin Enea, Jad Hamza · 2014 · 46 citations

Model Checking Problems, Data Consistency, Engineering +12

Tractable Refinement Checking for Concurrent Objects

Ahmed Bouajjani, Michael Emmi, Constantin Enea et al. · 2014 · 46 citations

Tractable Refinement Checking, Engineering, Verification +17

Synthesis for regular specifications over unbounded domains

Jad Hamza, Barbara Jobstmann, Viktor Kunčak · Formal Methods in Computer-Aided Design · 2010 · 22 citations

Engineering, Verification, Synthesis Algorithm +17

Monitoring refinement via symbolic reasoning

Michael Emmi, Constantin Enea, Jad Hamza · 2015 · 21 citations

Engineering, Verification, Software Systems +21

Rows per page

1–5 of 7