Neta Aizenbud-Reshef

Model traceability

Julia Rubin, Neta Aizenbud-Reshef, Yael Shaham-Gafni, 2006, IBM Syst. J..

The perception of others: inferring reputation from social media in the enterprise

Ido Guy, Michal Jacovi, Sara Porat, 2014, CSCW.

Bon voyage: social travel planning in the enterprise

Artem Barger, Ido Guy, Yael Dubinsky, 2012, CSCW.

On the Effective Deployment of Functional Formal Verification

Ilan Beer, Cindy Eisner, Daniel Geist, 2001, Formal Methods Syst. Des..

Coverage analysis for message flows

Neta Aizenbud-Reshef, Neta Aizenbud-Reshef, 2001, Proceedings 12th International Symposium on Software Reliability Engineering.

Collaborative feed reading in a community

Ido Guy, Michal Jacovi, Neta Aizenbud-Reshef, 2009, GROUP.