Freddy Y. C. Mang

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