Freddy Y. C. Mang Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2007
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho: Techniques for Effective Distributed Physical Synthesis. DAC 2007: 859-864
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Freddy Y. C. Mang, Pei-Hsin Ho: Abstraction refinement by controllability and cooperativeness analysis. DAC 2004: 224-229
2002
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang: Interface Compatibility Checking for Software Modules. CAV 2002: 428-441
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang: Synthesis of Uninitialized Systems. ICALP 2002: 644-656
2001
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems, Part II. CONCUR 2001: 566-582
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters 2001
2000
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Detecting Errors Before Reaching Them. CAV 2000: 186-201
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems. CONCUR 2000: 458-473
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin: Abstract Interpretation of Game Properties. SAS 2000: 220-239
1999
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Automating Modular Verification. CONCUR 1999: 82-97
1998
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Luca de Alfaro
[c11] [c10] [c8] [c7] [c6] [c5] [c4] [c2]
2Rajeev Alur
[c7] [c2] [c1]
3Arindam Chakrabarti
[c11] [c10]
4Radu Grosu
[c7]
5Thomas A. Henzinger
[c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
6Pei-Hsin Ho
[c13] [j1] [c12]
7Wenting Hou
[c13]
8Marcin Jurdzinski
[c10]
9M. Kang
[c7]
10Christoph M. Kirsch (Christoph Meyer)
[c7]
11Sriram C. Krishnan
[c9]
12Orna Kupferman
[c9]
13Rupak Majumdar
[c7] [c3]
14Shaz Qadeer
[c1]
15Sriram K. Rajamani
[c1]
16Jean-François Raskin
[c3]
17Serdar Tasiran
[c1]
18Bow-Yaw Wang
[c7]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 22:58:11 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page