Freddy Y. C. Mang

2007
14	EE	Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho: Techniques for Effective Distributed Physical Synthesis. DAC 2007: 859-864
2006
13	EE	Freddy Y. C. Mang, Pei-Hsin Ho: Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement. Int. J. Found. Comput. Sci. 17(4): 763-774 (2006)
2004
12	EE	Freddy Y. C. Mang, Pei-Hsin Ho: Abstraction refinement by controllability and cooperativeness analysis. DAC 2004: 224-229
2002
11	EE	Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427
10	EE	Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang: Interface Compatibility Checking for Software Modules. CAV 2002: 428-441
9	EE	Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang: Synthesis of Uninitialized Systems. ICALP 2002: 644-656
2001
8	EE	Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems, Part II. CONCUR 2001: 566-582
7		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: 835-836
6	EE	Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters 2001
2000
5		Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Detecting Errors Before Reaching Them. CAV 2000: 186-201
4	EE	Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems. CONCUR 2000: 458-473
3		Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin: Abstract Interpretation of Game Properties. SAS 2000: 220-239
1999
2	EE	Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Automating Modular Verification. CONCUR 1999: 82-97
1998
1		Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: MOCHA: Modularity in Model Checking. CAV 1998: 521-525

Coauthor Index

1	Luca de Alfaro	[2] [4] [5] [6] [7] [8] [10] [11]
2	Rajeev Alur	[1] [2] [7]
3	Arindam Chakrabarti	[10] [11]
4	Radu Grosu	[7]
5	Thomas A. Henzinger	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
6	Pei-Hsin Ho	[12] [13] [14]
7	Wenting Hou	[14]
8	Marcin Jurdzinski	[10]
9	M. Kang	[7]
10	Christoph M. Kirsch (Christoph Meyer)	[7]
11	Sriram C. Krishnan	[9]
12	Orna Kupferman	[9]
13	Rupak Majumdar	[3] [7]
14	Shaz Qadeer	[1]
15	Sriram K. Rajamani	[1]
16	Jean-François Raskin	[3]
17	Serdar Tasiran	[1]
18	Bow-Yaw Wang	[7]