Hardware/Software Partitioning of Multirate System Using Static Scheduling Theory. - Romain Kamdem; Alain Fonkoua; Andre Zenatti (ICCD, 1999)

Galois Lattice Approach to Hardware/Software Partitioning. - Romain Kamdem; Patrick Njiwoua (PDPTA, 1999)

Coprocessor Synthesis of Multirate System Using Static Scheduling Theory. - Romain Kamdem; Alain Fonkoua (IEEE International Workshop on Rapid System Prototyping, 2000)

Combining System Level Modeling with Assertion Based Verification. - Anat Dahan; Daniel Geist; Leonid Gluhovsky; Dmitry Pidan; Gil Shapir; Yaron Wolfsthal; Lyes Benalycherif; Romain Kamdem; Younes Lahbib (ISQED, 2005)

An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. - Younes Lahbib; Romain Kamdem; Mohamed-Lyes Benalycherif; Rached Tourki (Comput. Electr. Eng., 2005)

Hardware/Firmware Verification of Graphic IP. - Romain Kamdem (IEEE International Workshop on Rapid System Prototyping, 2007)