The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Freddy Y. C. Mang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.012secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002