Hard Real-Time Implementation of Embedded Software in JAVA. - Jean-Pierre Talpin; Abdoulaye Gamatié; David Berner; Bruno Le Dez; Paul Le Guernic (FIDJI, 2003)

A Behavioral Type Inference System for Compositional System-on-Chip Design. - Jean-Pierre Talpin; David Berner; Sandeep K. Shukla; Paul Le Guernic; Abdoulaye Gamatié; Rajesh Gupta 001 (ACSD, 2004)

Modular design through component abstraction. - David Berner; Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla (CASES, 2004)

Extreme Formal Modeling (XFM) for Hardware Models. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla; David Berner (MTV, 2004)

SystemCXML: An Exstensible SystemC Front end Using XML. - David Berner; Jean-Pierre Talpin; Hiren D. Patel; Deepak Mathaikutty; Sandeep K. Shukla (FDL, 2005)

Automated Extraction of Structural Information from SystemC-based IP for Validation. - David Berner; Hiren D. Patel; Deepak Mathaikutty; Sandeep K. Shukla (MTV, 2005)

A Functional Programming Framework for Latency Insensitive Protocol Validation. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla; David Berner; Jean-Pierre Talpin (FMGALS@MEMOCODE, 2005)

XFM: An incremental methodology for developing formal models. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla; David Berner (ACM Trans. Design Autom. Electr. Syst., 2005)

Automated Translation of C/C++ Models into a Synchronous Formalism. - Hamoudi Kalla; Jean-Pierre Talpin; David Berner; Loïc Besnard (ECBS, 2006)

Validating Families of Latency Insensitive Protocols. - Syed Suhaib; Deepak Mathaikutty; David Berner; Sandeep K. Shukla (IEEE Trans. Computers, 2006)

CARH: service-oriented architecture for validating system-level designs. - Hiren D. Patel; Deepak Mathaikutty; David Berner; Sandeep K. Shukla (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Automated Generation of Synchronous Formal Models from SystemC Descriptions. - Hamoudi Kalla; David Berner; Jean-Pierre Talpin (J. Circuits Syst. Comput., 2019)