| 2006 |
|---|
| 11 | EE | Hamoudi Kalla,
Jean-Pierre Talpin,
David Berner,
Loïc Besnard:
Automated Translation of C/C++ Models into a Synchronous Formalism.
ECBS 2006: 426-436 |
| 10 | EE | 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. 146(2): 169-188 (2006) |
| 9 | EE | Syed Suhaib,
Deepak Mathaikutty,
David Berner,
Sandeep K. Shukla:
Validating Families of Latency Insensitive Protocols.
IEEE Trans. Computers 55(11): 1391-1401 (2006) |
| 8 | EE | 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 25(8): 1458-1474 (2006) |
| 2005 |
|---|
| 7 | EE | David Berner,
Jean-Pierre Talpin,
Hiren D. Patel,
Deepak Mathaikutty,
Sandeep K. Shukla:
SystemCXML: An Exstensible SystemC Front end Using XML.
FDL 2005: 405-409 |
| 6 | EE | David Berner,
Hiren D. Patel,
Deepak Mathaikutty,
Sandeep K. Shukla:
Automated Extraction of Structural Information from SystemC-based IP for Validation.
MTV 2005: 99-104 |
| 5 | EE | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla,
David Berner:
XFM: An incremental methodology for developing formal models.
ACM Trans. Design Autom. Electr. Syst. 10(4): 589-609 (2005) |
| 2004 |
|---|
| 4 | EE | 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.
ACSD 2004: 47-56 |
| 3 | EE | David Berner,
Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla:
Modular design through component abstraction.
CASES 2004: 202-211 |
| 2 | EE | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla,
David Berner:
Extreme Formal Modeling (XFM) for Hardware Models.
MTV 2004: 30-35 |
| 2003 |
|---|
| 1 | EE | Jean-Pierre Talpin,
Abdoulaye Gamatié,
David Berner,
Bruno Le Dez,
Paul Le Guernic:
Hard Real-Time Implementation of Embedded Software in JAVA.
FIDJI 2003: 33-47 |
