Learning the Parameters of Bayesian Networks from Uncertain DataSegev WasserkrugRadu Marinescuet al.2021AAAI 2021
Code-motion for API migration: Fixing SQL injection vulnerabilities in JavaAharon AbadiYishai A. Feldmanet al.2011ICSE 2011
CHASE: Contract-based requirement engineering for cyber-physical system designPierluigi NuzzoMichele Loraet al.2018DATE 2018
A parallel on-demand algorithm for computing interprocedural dominatorsAharon AbadiYishai A. Feldman2014SCAM 2014
A screen-oriented representation for mobile applicationsAharon AbadiYishai A. Feldmanet al.2013SPLASH 2013