Search the dblp DataBase

Publications of Author

1. Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta
   A Behavioral Type Inference System for Compositional System-on-Chip Design. [Citation Graph (0, 0)][DBLP]
   ACSD, 2004, pp:47-56 [Conf]
   
2. David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla
   Modular design through component abstraction. [Citation Graph (0, 0)][DBLP]
   CASES, 2004, pp:202-211 [Conf]
   
3. Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard
   Automated Translation of C/C++ Models into a Synchronous Formalism. [Citation Graph (0, 0)][DBLP]
   ECBS, 2006, pp:426-436 [Conf]
   
4. Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic
   Hard Real-Time Implementation of Embedded Software in JAVA. [Citation Graph (0, 0)][DBLP]
   FIDJI, 2003, pp:33-47 [Conf]
   
5. David Berner, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla
   Automated Extraction of Structural Information from SystemC-based IP for Validation. [Citation Graph (0, 0)][DBLP]
   MTV, 2005, pp:99-104 [Conf]
   
6. Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
   Extreme Formal Modeling (XFM) for Hardware Models. [Citation Graph (0, 0)][DBLP]
   MTV, 2004, pp:30-35 [Conf]
   
7. Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin
   A Functional Programming Framework for Latency Insensitive Protocol Validation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:146, n:2, pp:169-188 [Journal]
   
8. Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla
   Validating Families of Latency Insensitive Protocols. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 2006, v:55, n:11, pp:1391-1401 [Journal]
   
9. Hiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep K. Shukla
   CARH: service-oriented architecture for validating system-level designs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:8, pp:1458-1474 [Journal]
   
10. Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
    XFM: An incremental methodology for developing formal models. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2005, v:10, n:4, pp:589-609 [Journal]
    
11. 
    SystemCXML: An Exstensible SystemC Front end Using XML. [Citation Graph (, )][DBLP]