Freddy Y. C. Mang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
1998–2007
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | DAC | Techniques for Effective Distributed Physical Synthesis. | Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho |
| 2004 | DAC | Abstraction refinement by controllability and cooperativeness analysis. | Freddy Y. C. Mang, Pei-Hsin Ho |
| 2002 | CAV | Interface Compatibility Checking for Software Modules. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang |
| 2002 | CAV | Synchronous and Bidirectional Component Interfaces. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2002 | ICALP | Synthesis of Uninitialized Systems. | Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang |
| 2001 | CONCUR | The Control of Synchronous Systems, Part II. | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2001 | ICSE | 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 |
| 2001 | WWW | MCWEB: A Model-Checking Tool for Web Site Debugging. | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2000 | CAV | Detecting Errors Before Reaching Them. | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2000 | CONCUR | The Control of Synchronous Systems. | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2000 | SAS | Abstract Interpretation of Game Properties. | Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-Franois Raskin |
| 1999 | CONCUR | Automating Modular Verification. | Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 1998 | CAV | MOCHA: Modularity in Model Checking. | Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |