Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: David
    Last name: Berner
    DBLP: 69/5309
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 12  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard.
    Automated Translation of C/C++ Models into a Synchronous Formalism.
    13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany 2006 (0) 2006
    Conference paper
    Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin.
    A Functional Programming Framework for Latency Insensitive Protocol Validation.
    Electr. Notes Theor. Comput. Sci. 2006, Volume 146 (0) 2006
    Conference paper
    Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla.
    Validating Families of Latency Insensitive Protocols.
    IEEE Trans. Computers 2006, Volume 55 (0) 2006
    Conference paper
    Hiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep K. Shukla.
    CARH: service-oriented architecture for validating system-level designs.
    IEEE Trans. on CAD of Integrated Circuits and Systems 2006, Volume 25 (0) 2006
    Conference paper
    Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner.
    Validating families of latency insensitive protocols.
    Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30 - December 2, 2005 2005 (0) 2005
    Conference paper
    David Berner, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla.
    Automated Extraction of Structural Information from SystemC-based IP for Validation.
    Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA 2005 (0) 2005
    Conference paper
    David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla.
    SystemCXML: An Exstensible SystemC Front end Using XML.
    Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings 2005 (0) 2005
    Conference paper
    Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner.
    XFM: An incremental methodology for developing formal models.
    ACM Trans. Design Autom. Electr. Syst. 2005, Volume 10 (0) 2005
    Conference paper
    Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh K. Gupta.
    A Behavioral Type Inference System for Compositional System-on-Chip Design.
    4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada 2004 (0) 2004
    Conference paper
    David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla.
    Modular design through component abstraction.
    Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2004, Washington DC, USA, September 22 - 25, 2004 2004 (0) 2004
    Show item 1 to 10 of 12  

    Your query returned 12 matches in the database.