David Van Campenhout

According to our database, David Van Campenhout authored at least 10 papers between 1993 and 2003.

Collaborative distances:

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

2003

The Definition of a Temporal Clock Operator.

Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Reasoning with Temporal Logic on Truncated Paths.

Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2000

Collection and Analysis of Microprocessor Design Errors.

David Van Campenhout, Trevor N. Mudge, John P. Hayes

IEEE Des. Test Comput., 2000

1999

Functional design verification for microprocessors by error modeling.

David Van Campenhout

PhD thesis, 1999

Timing verification of sequential dynamic circuits.

David Van Campenhout, Trevor N. Mudge, Karem A. Sakallah

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

High-Level Test Generation for Design Verification of Pipelined Microprocessors.

David Van Campenhout, Trevor N. Mudge, John P. Hayes

Proceedings of the 36th Conference on Design Automation, 1999

1998

Specification and verification of pipelining in the ARM2 RISC microprocessor.

James K. Huggins, David Van Campenhout

ACM Trans. Design Autom. Electr. Syst., 1998

High-level design verification of microprocessors via error modeling.

David Van Campenhout, Hussain Al-Asaad, John P. Hayes, Trevor N. Mudge, Richard B. Brown

ACM Trans. Design Autom. Electr. Syst., 1998

1996

Timing verification of sequential domino circuits.

David Van Campenhout, Trevor N. Mudge, Karem A. Sakallah

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

1993

Interactive Outlining: An Improved Approach Using Active Contours.

Dirk Daneels, David Van Campenhout, Wayne Niblack, William Equitz, Ron Barber, Erwin Bellon, Freddy Fierens

Proceedings of the Storage and Retrieval for Image and Video Databases, 1993