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 × 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 DBLP: Chatterjee:Prosenjit

Contributed to:

DAC 20052005
CAV 20022002

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

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.