Yossi Lichtenstein

According to our database, Yossi Lichtenstein authored at least 27 papers between 1988 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Machine Learning for Business Students: An Experiential Learning Approach.

Linus Wunderlich, Allen Higgins, Yossi Lichtenstein

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

2019

Strategies for Competing in the Automotive Industry's Software Ecosystem: Standards and Bottlenecks.

Yossi Lichtenstein, Stjepan Dujmovic, Charles Baden-Fuller

IEEE Softw., 2019

2017

Pre-defined and optional staging for the deployment of enterprise systems: a case study and a framework.

Yossi Lichtenstein, Shy Cucuy, Lior Fink

Enterp. Inf. Syst., 2017

2016

Contract Design Choices and the Balance of Ex Ante and Ex Post Transaction Costs in Software Development Outsourcing.

Michel Benaroch, Yossi Lichtenstein, Lior Fink

MIS Q., 2016

2015

Engaging Students in an MIS Course through the Creation of E-Business: A Self-Determination Theory Analysis.

Yossi Lichtenstein, Pamela Abbott, Amit Rechavi

Commun. Assoc. Inf. Syst., 2015

2014

Why project size matters for contract choice in software development outsourcing.

Lior Fink, Yossi Lichtenstein

Data Base, 2014

2010

Social Influence and Network Effects in the Diffusion of a Healthcare Information Exchange System.

Yossi Lichtenstein, Itamar Shabtai, Irena Milstein, Ofir Ben-Assuli

Proceedings of the 5th Mediterranean Conference on Information Systems, 2010

Contract Choice in Software Development Outsourcing: a Multidimensional View of Project Attributes.

Lior Fink, Edna Schechtman, Yossi Lichtenstein

Proceedings of the 5th Mediterranean Conference on Information Systems, 2010

2007

Looking for the Locus of Innovation in New Service Development.

Iris Ginzburg, Allen Higgins, Yossi Lichtenstein

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Business Familiarity as Risk Mitigation in Software Development Outsourcing Contracts.

David Gefen, Simon Wyss, Yossi Lichtenstein

MIS Q., 2006

Real Options in Information Technology Risk Management: An Empirical Validation of Risk-Option Relationships.

Michel Benaroch, Yossi Lichtenstein, Karl Robinson

MIS Q., 2006

Addressing Test Generation Challenges for Configurable Processor Verification.

Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2005

Reuse in system-level stimuli-generation.

Yoav Katz, Itai Jaeger, Roy Emek, Yossi Lichtenstein, Anita Devadason, Audrey Romonosky

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

VLIW: a case study of parallelism verification.

Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy

Proceedings of the 42nd Design Automation Conference, 2005

2004

Puzzles in software development contracting.

Yossi Lichtenstein

Commun. ACM, 2004

Industrial experience with test generation languages for processor verification.

Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov

Proceedings of the 41th Design Automation Conference, 2004

2003

Pricing software development services.

Yossi Lichtenstein, Alan McDonnell

Proceedings of the 11th European Conference on Information Systems, 2003

2002

The Optional Value of IS Projects - a Study of an IS Portfolio at a Multinational Manufacturer.

Jim Kenneally, Yossi Lichtenstein

Proceedings of the 10th European Conference on Information Systems, 2002

1996

Coverage-Directed Test Generation Using Symbolic Techniques.

Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Test Program Generation for Functional Verification of PowerPC Processors in IBM.

Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek

Proceedings of the 32st Conference on Design Automation, 1995

1994

Model Based Test Generation for Processor Verification.

Yossi Lichtenstein, Yossi Malka, Aharon Aharon

Proceedings of the Sixth Annual Conference on Innovative Applications of Artificial Intelligence, 1994

1992

Prolog versus Kee - A case study.

Alex Loopik, Yossi Lichtenstein

Artif. Intell. Eng., 1992

1991

AGATHA: An Integrated Expert System to Test and Diagnose Complex Personal Computer Boards.

Daryl Allred, Yossi Lichtenstein, Chris Preist, Michael A. Bennett, Ajay Gupta

Proceedings of the The Third Conference on Innovative Applications of Artificial Intelligence (IAAI-91), 1991

Time Representation in Prolog Circuit Modelling.

Yossi Lichtenstein, Bob Welham, Ajay Gupta

Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, 1991

1988

Concurrent Algorithmic Debugging.

Yossi Lichtenstein, Ehud Shapiro

Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

Fully Abstract Denotational Semantics for Flat Concurrent Prolog

Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Abstract Algorithmic Debugging.

Yossi Lichtenstein, Ehud Shapiro

Proceedings of the Logic Programming, 1988