Freddy Y. C. Mang

According to our database1, Freddy Y. C. Mang
  • authored at least 14 papers between 1998 and 2007.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Techniques for Effective Distributed Physical Synthesis.
Proceedings of the 44th Design Automation Conference, 2007

2006
Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement.
Int. J. Found. Comput. Sci., 2006

2004
Abstraction refinement by controllability and cooperativeness analysis.
Proceedings of the 41th Design Automation Conference, 2004

2002
Synthesis of Uninitialized Systems.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Synchronous and Bidirectional Component Interfaces.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Interface Compatibility Checking for Software Modules.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
MCWEB: A Model-Checking Tool for Web Site Debugging.
Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.
Proceedings of the 23rd International Conference on Software Engineering, 2001

The Control of Synchronous Systems, Part II.
Proceedings of the CONCUR 2001, 2001

2000
Abstract Interpretation of Game Properties.
Proceedings of the Static Analysis, 7th International Symposium, 2000

The Control of Synchronous Systems.
Proceedings of the CONCUR 2000, 2000

Detecting Errors Before Reaching Them.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Automating Modular Verification.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
MOCHA: Modularity in Model Checking.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998


  Loading...