Search the dblp DataBase

Publications of Author

1. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
   Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. [Citation Graph (0, 0)][DBLP]
   ACSD, 2003, pp:9-19 [Conf]
   
2. Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta
   Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated. [Citation Graph (0, 0)][DBLP]
   DATE, 2003, pp:10382-10387 [Conf]
   
3. Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta, Masato Otsuka
   An Environment for Dynamic Component Composition for Efficient Co-Design . [Citation Graph (0, 0)][DBLP]
   DATE, 2002, pp:736-743 [Conf]
   
4. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
   Polychrony for Refinement-Based Design. [Citation Graph (0, 0)][DBLP]
   DATE, 2003, pp:11172-11173 [Conf]
   
5. Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
   Structured Component Composition Frameworks for Embedded System Design. [Citation Graph (0, 0)][DBLP]
   HiPC, 2002, pp:663-678 [Conf]
   
6. Frederic Doucet, Rajesh K. Gupta, Masato Otsuka, Patrick Schaumont, Sandeep K. Shukla
   Interoperability as a design issue in C++ based modeling environments. [Citation Graph (0, 0)][DBLP]
   ISSS, 2001, pp:87-92 [Conf]
   
7. Vivek Sinha, Frederic Doucet, Chuck Siska, Rajesh K. Gupta, Stan Y. Liao, Abhijit Ghosh
   YAML: A Tool for Hardware Design Visualization and Capture. [Citation Graph (0, 0)][DBLP]
   ISSS, 2000, pp:9-17 [Conf]
   
8. Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin
   A Verification Approach for GALS Integration of Synchronous Components. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:146, n:2, pp:105-131 [Journal]
   
9. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
   Formal Refinement Checking in a System-level Design Methodology. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:62, n:2, pp:243-273 [Journal]
   
10. Frederic Doucet, Sandeep K. Shukla, Masato Otsuka, Rajesh K. Gupta
    BALBOA: a component-based design environment for system models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2003, v:22, n:12, pp:1597-1612 [Journal]
    
11. Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar
    Compositional interaction specifications for SystemC. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:201- [Conf]
    
12. 
    Reactivity in SystemC Transaction-Level Models. [Citation Graph (, )][DBLP]