David Berner

Publications

112

Citations

H-Index

2005

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Virginia Tech

Institut de Recherche en Informatique et Systèmes Aléatoires

David Berner is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, systems engineering, and verification.

Top concepts

EngineeringSystems EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisFormal VerificationSoftware EngineeringSystem Software

Publications per year

2005–2006

Publications

SystemCXML: An Exstensible SystemC Front end Using XML.

David Berner, Jean-Pierre Talpin, Hiren Patel et al. · Forum on specification and Design Languages · 2005 · 35 citations

Engineering, Software Engineering, System-level Design +17

XFM

Syed Suhaib, Deepak A. Mathaikutty, Sandeep K. Shukla et al. · ACM Transactions on Design Automation of Electronic Systems · 2005 · 25 citations

Engineering, Verification, Software Engineering +17

Validating Families of Latency Insensitive Protocols

Syed Suhaib, Deepak A. Mathaikutty, David Berner et al. · IEEE Transactions on Computers · 2006 · 24 citations

Engineering, Hardware Verification Language, Verification +18

Automated translation of C/C++ models into a synchronous formalism

H. Kalla, Jean-Pierre Talpin, David Berner et al. · 2006 · 15 citations · Full text

Engineering, Compiler Technology, Verification +23

CARH: service-oriented architecture for validating system-level designs

Hiren Patel, Deepak A. Mathaikutty, David Berner et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 13 citations

Software Maintenance, Engineering, Verification +23

Rows per page

1–5 of 5