Frederic Doucet

According to our database, Frederic Doucet authored at least 15 papers between 2000 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

A methodology to take credit for high-level verification during RTL verification.

Frederic Doucet, Robert P. Kurshan

Formal Methods Syst. Des., 2017

2016

Designing high-quality hardware on a development effort budget: A study of the current state of high-level synthesis.

Zelei Sun, Keith A. Campbell, Wei Zuo, Kyle Rupnow, Swathi T. Gurumani, Frederic Doucet, Deming Chen

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2007

Reactivity in SystemC Transaction-Level Models.

Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Compositional interaction specifications for SystemC.

Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2005

A Verification Approach for GALS Integration of Synchronous Components.

Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

2004

Formal Refinement Checking in a System-level Design Methodology.

Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta

Fundam. Informaticae, 2004

2003

BALBOA: a component-based design environment for system models.

Frederic Doucet, Sandeep K. Shukla, Masato Otsuka, Rajesh K. Gupta

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

Polychrony for Refinement-Based Design.

Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet

Proceedings of the 2003 Design, 2003

Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated.

Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta

Proceedings of the 2003 Design, 2003

Typing abstractions and management in a component framework.

Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.

Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Structured Component Composition Frameworks for Embedded System Design.

Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta

Proceedings of the High Performance Computing, 2002

An Environment for Dynamic Component Composition for Efficient Co-Design .

Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta, Masato Otsuka

Proceedings of the 2002 Design, 2002

2001

Interoperability as a design issue in C++ based modeling environments.

Frederic Doucet, Rajesh K. Gupta, Masato Otsuka, Patrick Schaumont, Sandeep K. Shukla

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

2000

YAML: A Tool for Hardware Design Visualization and Capture.

Vivek Sinha, Frederic Doucet, Chuck Siska, Rajesh K. Gupta, Stan Y. Liao, Abhijit Ghosh

Proceedings of the 13th International Symposium on System Synthesis, 2000