Travelled to:1 × Denmark
1 × Spain
2 × Canada
4 × USA
Collaborated with:T.A.Henzinger L.d.Alfaro P.Ho A.Chakrabarti R.Majumdar W.Hou R.Alur S.C.Krishnan O.Kupferman J.Raskin M.Jurdzinski S.Qadeer S.K.Rajamani S.Tasiran R.Grosu M.Kang C.M.Kirsch B.Wang
Talks about:check (3) synthesi (2) interfac (2) abstract (2) model (2) interpret (1) distribut (1) techniqu (1) synchron (1) structur (1)
Person: Freddy Y. C. Mang
DBLP: Mang:Freddy_Y=_C=
Contributed to:
20072004
2002
2002
20012000
20001998Wrote 9 papers:
- DAC-2007-MangHH #distributed #effectiveness #physics #synthesis
- Techniques for Effective Distributed Physical Synthesis (FYCM, WH, PHH), pp. 859–864.
- DAC-2004-MangH #abstraction #analysis #refinement
- Abstraction refinement by controllability and cooperativeness analysis (FYCM, PHH), pp. 224–229.
- CAV-2002-ChakrabartiAHJM #interface
- Interface Compatibility Checking for Software Modules (AC, LdA, TAH, MJ, FYCM), pp. 428–441.
- CAV-2002-ChakrabartiAHM #bidirectional #component #interface
- Synchronous and Bidirectional Component Interfaces (AC, LdA, TAH, FYCM), pp. 414–427.
- ICALP-2002-HenzingerKKM #synthesis
- Synthesis of Uninitialized Systems (TAH, SCK, OK, FYCM), pp. 644–656.
- ICSE-2001-AlurAGHKKMMW #design #model checking #named
- JMOCHA: A Model Checking Tool that Exploits Design Structure (RA, LdA, RG, TAH, MK, CMK, RM, FYCM, BYW), pp. 835–836.
- CAV-2000-AlfaroHM #detection #fault
- Detecting Errors Before Reaching Them (LdA, TAH, FYCM), pp. 186–201.
- SAS-2000-HenzingerMMR #abstract interpretation #game studies
- Abstract Interpretation of Game Properties (TAH, RM, FYCM, JFR), pp. 220–239.
- CAV-1998-AlurHMQRT #composition #model checking #named
- MOCHA: Modularity in Model Checking (RA, TAH, FYCM, SQ, SKR, ST), pp. 521–525.