Freddy Y. C. Mang

According to our database, Freddy Y. C. Mang authored at least 15 papers between 1998 and 2019.

Collaborative distances:

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

2019

An Analytical Approach for Time-Division Multiplexing Optimization in Multi-FPGA based Systems.

Chak-Wa Pui, Gang Wu, Freddy Y. C. Mang, Evangeline F. Y. Young

Proceedings of the 21st ACM/IEEE International Workshop on System Level Interconnect Prediction, 2019

2007

Techniques for Effective Distributed Physical Synthesis.

Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho

Proceedings of the 44th Design Automation Conference, 2007

2006

Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement.

Freddy Y. C. Mang, Pei-Hsin Ho

Int. J. Found. Comput. Sci., 2006

2004

Abstraction refinement by controllability and cooperativeness analysis.

Freddy Y. C. Mang, Pei-Hsin Ho

Proceedings of the 41th Design Automation Conference, 2004

2002

Synthesis of Uninitialized Systems.

Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Synchronous and Bidirectional Component Interfaces.

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Interface Compatibility Checking for Software Modules.

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

MCWEB: A Model-Checking Tool for Web Site Debugging.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.

Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang

Proceedings of the 23rd International Conference on Software Engineering, 2001

The Control of Synchronous Systems, Part II.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the CONCUR 2001, 2001

2000

Abstract Interpretation of Game Properties.

Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin

Proceedings of the Static Analysis, 7th International Symposium, 2000

The Control of Synchronous Systems.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the CONCUR 2000, 2000

Detecting Errors Before Reaching Them.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Automating Modular Verification.

Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

MOCHA: Modularity in Model Checking.

Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran

Proceedings of the Computer Aided Verification, 10th International Conference, 1998