Travelled to:1 × Denmark
1 × USA
Collaborated with:∅ H.Sivaraj G.Gopalakrishnan
Talks about:verif (3) memori (2) model (2) streamlin (1) protocol (1) properti (1) compress (1) process (1) consist (1) against (1)
Person: Prosenjit Chatterjee
DBLP: Chatterjee:Prosenjit
Contributed to:
2005
2002Wrote 2 papers:
- DAC-2005-Chatterjee #design #process #verification
- Streamline verification process with formal property verification to meet highly compressed design cycle (PC), pp. 674–677.
- CAV-2002-ChatterjeeSG #consistency #memory management #model checking #modelling #protocol #refinement #verification
- Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking (PC, HS, GG), pp. 123–136.