BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mang:Freddy_Y=_C=

Contributed to:

DAC 20072007
DAC 20042004
CAV 20022002
ICALP 20022002
ICSE 20012001
CAV 20002000
SAS 20002000
CAV 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.