Freddy Y. C. Mang

Publication Activity (10 Years)

Years Active: 1998-2019
Publications (10 Years): 1

Top Topics

Global Optimization

Objective Function

Building Blocks

Top Venues

Publications

Chak-Wa Pui, Gang Wu, Freddy Y. C. Mang, Evangeline F. Y. Young
An Analytical Approach for Time-Division Multiplexing Optimization in Multi-FPGA based Systems. SLIP (2019)
Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho
Techniques for Effective Distributed Physical Synthesis. DAC (2007)
Freddy Y. C. Mang, Pei-Hsin Ho
Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement. Int. J. Found. Comput. Sci. 17 (4) (2006)
Freddy Y. C. Mang, Pei-Hsin Ho
Abstraction refinement by controllability and cooperativeness analysis. DAC (2004)
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
Synchronous and Bidirectional Component Interfaces. CAV (2002)
Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang
Synthesis of Uninitialized Systems. ICALP (2002)
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang
Interface Compatibility Checking for Software Modules. CAV (2002)
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters (2001)
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE (2001)
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
The Control of Synchronous Systems, Part II. CONCUR (2001)
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
The Control of Synchronous Systems. CONCUR (2000)
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
Detecting Errors Before Reaching Them. CAV (2000)
Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin
Abstract Interpretation of Game Properties. SAS (2000)
Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
Automating Modular Verification. CONCUR (1999)
Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
MOCHA: Modularity in Model Checking. CAV (1998)