Follow
Yossi Lichtenstein
Yossi Lichtenstein
University College Dublin, Centre for Innovation, Technology & Organisation
Verified email at ucd.ie - Homepage
Title
Cited by
Cited by
Year
Real options in information technology risk management: An empirical validation of risk-option relationships
M Benaroch, Y Lichtenstein, K Robinson
MIS quarterly, 827-864, 2006
2932006
Business familiarity as risk mitigation in software development outsourcing contracts
D Gefen, S Wyss, Y Lichtenstein
MIS quarterly, 531-551, 2008
2772008
Test program generation for functional verification of PowerPC processors in IBM
A Aharon, D Goodman, M Levinger, Y Lichtenstein, Y Malka, C Metzger, ...
Proceedings of the 32nd Annual ACM/IEEE Design Automation Conference, 279-285, 1995
2701995
Coverage-directed test generation using symbolic techniques
D Geist, M Farkas, A Landver, Y Lichtenstein, S Ur, Y Wolfsthal
International Conference on Formal Methods in Computer-Aided Design, 143-158, 1996
1291996
Contract design choices and the balance of ex ante and ex post transaction costs in software development outsourcing
M Benaroch, Y Lichtenstein, L Fink
MIS quarterly 40 (1), 57-82, 2016
982016
Puzzles in software development contracting
Y Lichtenstein
Communications of the ACM 47 (2), 61-65, 2004
922004
Designing scalable digital business models
J Jin Zhang, Y Lichtenstein, J Gander
Business models and modelling, 241-277, 2015
882015
Fully abstract denotational semantics for Concurrent Prolog
RT Gerth, M Codish, Y Lichtenstein, E Shapiro
Technische Universiteit Eindhoven, 1987
761987
Industrial experience with test generation languages for processor verification
M Behm, J Ludden, Y Lichtenstein, M Rimon, M Vinov
Proceedings of the 41st annual Design Automation Conference, 36-40, 2004
732004
Test program generator
A Aharon, Y Malka, Y Lichtenstein
US Patent 6,006,028, 1999
681999
Method for measuring architectural test coverage for design verification and building conformal test
A Aharon, L Fournier, A Gluska, Y Lichtenstein, Y Malka
US Patent 5,724,504, 1998
651998
Abstract algorithmic debugging
Y Lichtenstein, E Shapiro
Proceedings of the 5th Logic Programming: International Conference and Symposium, 1988
451988
Model-based test generation for processor design verification
Y Lichtenstein, Y Malka, A Aharon
Innovative Applications of Artificial Intelligence (IAAI), 1994
341994
The limits of risk management: A social construction approach
BC Stahl, Y Lichtenstein, A Mangan
Communications of the International Information Management Association 3 (3 …, 2003
322003
Concurrent algorithmic debugging
Y Lichtenstein, E Shapiro
ACM SIGPLAN Notices 24 (1), 248-260, 1988
271988
The ownership of digital infrastructure: Exploring the deployment of software libraries in a digital innovation cluster
L Fink, J Shao, Y Lichtenstein, S Haefliger
Journal of Information Technology 35 (3), 251-269, 2020
262020
Ex post adaptations and hybrid contracts in software development services
L Fink, Y Lichtenstein, S Wyss
Applied Economics 45 (32), 4533-4544, 2013
232013
Testing concurrent programs: a formal evaluation of coverage criteria
M Factor, E Farchi, Y Lichtenstein, Y Malka
Proceedings of the Seventh Israeli Conference on Computer Systems and …, 1996
231996
Model based test generation for processor verification
Y Lichtenstein, Y Malka, A Aharon
Proceedings of the American Association of AI's 6th Innovative Applications …, 1994
221994
Why project size matters for contract choice in software development outsourcing
L Fink, Y Lichtenstein
ACM SIGMIS Database: the DATABASE for Advances in Information Systems 45 (3 …, 2014
202014
The system can't perform the operation now. Try again later.
Articles 1–20