Articles in Scholarly Journals [Incomplete List]

1. Polychronous design of embedded real-time applications
   ACM Transactions on Software Engineering and Methodology, vol. 16, no. 2, pp. 9–es, 2007
2. Synchronous Paradigm in Embedded Systems
   EURASIP Journal on Embedded Systems, vol. 2007, Article ID 32903, 2 pages, 2007
3. Guest editorial
   Formal Methods in System Design, vol. 30, no. 1, pp. 1–3, 2006
4. An algebraic theory for behavioral modeling and protocol synthesis in system design
   Formal Methods in System Design, vol. 28, no. 2, pp. 131–151, 2006
5. Preface
   Electronic Notes in Theoretical Computer Science, vol. 146, no. 2, pp. 1–3, 2006
6. A Verification Approach for GALS Integration of Synchronous Components
   Electronic Notes in Theoretical Computer Science, vol. 146, no. 2, pp. 105–131, 2006
7. A Functional Programming Framework for Latency Insensitive Protocol Validation
   Electronic Notes in Theoretical Computer Science, vol. 146, no. 2, pp. 169–188, 2006
8. Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
   Journal of Logic and Algebraic Programming, vol. 63, no. 2, pp. 241–269, 2005
9. A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking
   International Journal of Parallel Programming, vol. 33, no. 6, pp. 613–643, 2005
10. Journal of Circuits, Systems, and Computers, vol. 12, no. 3, p. 261, 2003
11. Region-Based Memory Management
    Information and Computation, vol. 132, no. 2, pp. 109–176, 1997
12. The Type and Effect Discipline
    Information and Computation, vol. 111, no. 2, pp. 245–296, 1994