Articles in Scholarly Journals [Incomplete List]

1. Synchronous Paradigm in Embedded Systems
   EURASIP Journal on Embedded Systems, vol. 2007, Article ID 32903, 2 pages, 2007
2. Interprocedural slicing of multithreaded programs with applications to Java
   ACM Transactions on Programming Languages and Systems, vol. 28, no. 6, pp. 1088–1144, 2006
3. Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures
   IEE Proceedings - Computers and Digital Techniques, vol. 152, no. 1, p. 20, 2005
4. Tabled logic programming based IP matching tool using forced simulation
   IEE Proceedings - Computers and Digital Techniques, vol. 151, no. 3, p. 199, 2004
5. Slicing tools for synchronous reactive programs
   ACM SIGSOFT Software Engineering Notes, vol. 29, no. 4, p. 217, 2004
6. Slicing Synchronous Reactive Programs
   Electronic Notes in Theoretical Computer Science, vol. 65, no. 5, pp. 50–64, 2002
7. Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs
   IEEE Transactions on Software Engineering, vol. 27, no. 11, pp. 1037–1056, 2001
8. 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
9. Effect of grain network modifications due to additives on critical current (Ic) in Bi-2212 superconductor
   Physica C: Superconductivity, vol. 316, no. 1-2, pp. 119–128, 1999
10. Implementation of communicating reactive processes
    Parallel Computing, vol. 25, no. 6, pp. 703–727, 1999
11. Parallel Processing Letters, vol. 8, no. 1, p. 111, 1998
12. Extending statecharts with temporal logic
    IEEE Transactions on Software Engineering, vol. 24, no. 3, pp. 216–231, 1998
13. Measurement of surface finish using an optical diffraction technique
    Wear, vol. 195, no. 1-2, pp. 148–151, 1996
14. A direct characterization of completion
    Theoretical Computer Science, vol. 154, no. 2, pp. 379–385, 1996
15. Modelling an overdeveloped irrigation system in south India
    International Journal of Water Resources Development, vol. 8, no. 1, pp. 17–29, 1992
16. A compositional axiomatization of Statecharts
    Theoretical Computer Science, vol. 101, no. 2, pp. 289–335, 1992
17. On the completeness of modular proof systems
    Information Processing Letters, vol. 36, no. 4, pp. 195–201, 1990
18. A Methodology for Developing Distributed Programs
    IEEE Transactions on Software Engineering, vol. SE-13, no. 8, pp. 967–976, 1987
19. The liveness property of on-the-fly garbage collector—a proof
    Information Processing Letters, vol. 17, no. 4, pp. 189–195, 1983