Concepedia

Yossi Lichtenstein

YL

14

Publications

554

Citations

12

H-Index

1988

Active since

Affiliations

University College Dublin(Current)

Ben-Gurion University of the Negev

IBM Research - Haifa

University of East Anglia

Queen Mary University of London

Yossi Lichtenstein is an author at University College Dublin specializing in engineering, business, and computer science.

Top concepts

EngineeringBusinessComputer ScienceFormal MethodsProgram AnalysisSoftware EngineeringManagementSoftware TestingSoftware AnalysisFormal Verification

Publications per year

1988–2021

14

Publications

14

Test program generation for functional verification of PowerPC processors in IBM

Aharon Aharon, Dave Goodman, Moshe Levinger et al. · 1995 · 164 citations

Contract Design Choices and the Balance of <i>Ex Ante</i> and <i>Ex Post</i> Transaction Costs in Software Development Outsourcing1

Michel Benaroch, Yossi Lichtenstein, Lior Fink · MIS Quarterly · 2016 · 76 citations

Puzzles in software development contracting

Yossi Lichtenstein · Communications of the ACM · 2004 · 73 citations

Software Maintenance, Negotiation, Project Management +19

Industrial experience with test generation languages for processor verification

Michael Behm, J. M. Ludden, Yossi Lichtenstein et al. · 2004 · 52 citations

Engineering, Hardware Verification Language, Verification +20

Fully abstract denotational semantics for flat Concurrent Prolog

Rob Gerth, Michael Codish, Yossi Lichtenstein et al. · 2003 · 32 citations

Abstract Denotational Semantics, Engineering, Well-founded Semantics +20

Rows per page

1–5 of 14