Articles in Scholarly Journals [Incomplete List]

1. Local Module Checking for CTL Specifications
   Electronic Notes in Theoretical Computer Science, vol. 176, no. 2, pp. 125–141, 2007
2. Precise specification matching for adaptive reuse in embedded systems
   Journal of Applied Logic, vol. 5, no. 2, pp. 333–355, 2007
3. HiDRAâ??A reactive multiprocessor architecture for heterogeneous embedded systems
   Microprocessors and Microsystems, vol. 30, no. 2, pp. 72–85, 2006
4. Modeling Embedded Systems: From SystemC and Esterel to DFCharts
   IEEE Design and Test of Computers, vol. 23, no. 5, pp. 348–358, 2006
5. International Journal of Software Engineering and Knowledge Engineering, vol. 15, no. 2, p. 405, 2005
6. Adaptive Verification using Forced Simulation
   Electronic Notes in Theoretical Computer Science, vol. 141, no. 3, pp. 171–197, 2005
7. Tabled logic programming based IP matching tool using forced simulation
   IEE Proceedings - Computers and Digital Techniques, vol. 151, no. 3, p. 199, 2004
8. REFLIX: a processor core with native support for control-dominated embedded applications
   Microprocessors and Microsystems, vol. 28, no. 1, pp. 13–25, 2004
9. Forced simulation: A technique for automating component reuse in embedded systems
   ACM Transactions on Design Automation of Electronic Systems, vol. 6, no. 4, pp. 602–628, 2001
10. A new algorithm for implementation of design functions by available devices
    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 4, no. 2, pp. 170–180, 1996