MOCHA: Modularity in Model Checking. - Rajeev Alur; Thomas A. Henzinger; Freddy Y. C. Mang; Shaz Qadeer; Sriram K. Rajamani; Serdar Tasiran (CAV, 1998)

Automating Modular Verification. - Rajeev Alur; Luca de Alfaro; Thomas A. Henzinger; Freddy Y. C. Mang (CONCUR, 1999)

Detecting Errors Before Reaching Them. - Luca de Alfaro; Thomas A. Henzinger; Freddy Y. C. Mang (CAV, 2000)

The Control of Synchronous Systems. - Luca de Alfaro; Thomas A. Henzinger; Freddy Y. C. Mang (CONCUR, 2000)

Abstract Interpretation of Game Properties. - Thomas A. Henzinger; Rupak Majumdar; Freddy Y. C. Mang; Jean-François Raskin (SAS, 2000)

The Control of Synchronous Systems, Part II. - Luca de Alfaro; Thomas A. Henzinger; Freddy Y. C. Mang (CONCUR, 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 (ICSE, 2001)

MCWEB: A Model-Checking Tool for Web Site Debugging. - Luca de Alfaro; Thomas A. Henzinger; Freddy Y. C. Mang (WWW Posters, 2001)

Interface Compatibility Checking for Software Modules. - Arindam Chakrabarti; Luca de Alfaro; Thomas A. Henzinger; Marcin Jurdzinski; Freddy Y. C. Mang (CAV, 2002)

Synchronous and Bidirectional Component Interfaces. - Arindam Chakrabarti; Luca de Alfaro; Thomas A. Henzinger; Freddy Y. C. Mang (CAV, 2002)

Synthesis of Uninitialized Systems. - Thomas A. Henzinger; Sriram C. Krishnan; Orna Kupferman; Freddy Y. C. Mang (ICALP, 2002)

Abstraction refinement by controllability and cooperativeness analysis. - Freddy Y. C. Mang; Pei-Hsin Ho (DAC, 2004)

Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement. - Freddy Y. C. Mang; Pei-Hsin Ho (Int. J. Found. Comput. Sci., 2006)

Techniques for Effective Distributed Physical Synthesis. - Freddy Y. C. Mang; Wenting Hou; Pei-Hsin Ho (DAC, 2007)

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 (SLIP, 2019)