Modeling Bidirectional Switches for Enabling Logic Equivalence Checking in a Transistor-Level Programmable Fabric.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., January, 2025
Testing a Transistor-Level Programmable Fabric: Challenges and Solutions.
Proceedings of the 42nd IEEE VLSI Test Symposium, 2024
Quo Vadis Signal? Automated Directionality Extraction for Post-Programming Verification of a Transistor-Level Programmable Fabric.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Priority Allocation in a Rental Model with Decreasing Demand.
Manuf. Serv. Oper. Manag., 2015
A Single-Supplier, Multiple-Retailer Model with Single-Season, Multiple-Ordering Opportunities, and Fixed Ordering Cost.
Oper. Res., 2012
A supply chain model with direct and retail channels.
Eur. J. Oper. Res., 2008
Developing a process framework using principles of value-based software engineering.
Softw. Process. Improv. Pract., 2007
Value of capacity pooling in supply chains with heterogeneous customers.
Eur. J. Oper. Res., 2007
A Value-Based Software Process Framework.
Proceedings of the Software Process Change, 2006
SimVBSE: Developing a Game for Value-Based Software Engineering.
Proceedings of the 19th Conference on Software Engineering Education and Training (CSEE&T 2006), 2006
An Initial Theory of Value-Based Software Engineering.
Proceedings of the Value-Based Software Engineering, 2006
Developing a theory of value-based software engineering.
ACM SIGSOFT Softw. Eng. Notes, 2005
A Supply Chain Model with Reverse Information Exchange.
Manuf. Serv. Oper. Manag., 2005
The ROI of Software Dependability: The iDAVE Model.
IEEE Softw., 2004
Modeling the Impact of Merging Capacity in Production-Inventory Systems.
Manag. Sci., 2004
The Logistics Impact of a Mixture of Order - Streams in a Manufacturer - Retailer System.
Manag. Sci., 2003
Agile Meets CMMI: Culture Clash or Common Cause?
Proceedings of the Extreme Programming and Agile Methods, 2002