David Berner

13 papers C 1Misc 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2019 J jnl
Automated Generation of Synchronous Formal Models from SystemC Descriptions.
J. Circuits Syst. Comput.
Hamoudi Kalla, David Berner, Jean-Pierre Talpin
2006 — conf
Automated Translation of C/C++ Models into a Synchronous Formalism.
ECBS
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard
2006 J jnl
CARH: service-oriented architecture for validating system-level designs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep K. Shukla
2006 J jnl
Validating Families of Latency Insensitive Protocols.
IEEE Trans. Computers
Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla
2005 — conf
A Functional Programming Framework for Latency Insensitive Protocol Validation.
FMGALS@MEMOCODE
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin
2005 — conf
Automated Extraction of Structural Information from SystemC-based IP for Validation.
MTV
David Berner, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla
2005 C conf
SystemCXML: An Exstensible SystemC Front end Using XML.
FDL
David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla
2005 — conf
Validating families of latency insensitive protocols.
HLDVT
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
2005 J jnl
XFM: An incremental methodology for developing formal models.
ACM Trans. Design Autom. Electr. Syst.
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
2004 — conf
A Behavioral Type Inference System for Compositional System-on-Chip Design.
ACSD
Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta
2004 — conf
Extreme Formal Modeling (XFM) for Hardware Models.
MTV
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner
2004 Misc conf
Modular design through component abstraction.
CASES
David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla
2003 — conf
Hard Real-Time Implementation of Embedded Software in JAVA.
FIDJI
Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic