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 × New Zealand
1 × Switzerland
1 × USA
Collaborated with:
C.Artho M.Hagiya Y.Tanabe M.Yamamoto
Talks about:
model (3) check (3) network (2) applic (2) cach (2) checkpoint (1) distribut (1) process (1) system (1) linear (1)

Person: Watcharin Leungwattanakit

DBLP DBLP: Leungwattanakit:Watcharin

Contributed to:

ASE 20112011
ASE 20092009
TOOLS Europe 20082008

Wrote 3 papers:

ASE-2011-LeungwattanakitAHTY #distributed #model checking #process
Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.
ASE-2009-ArthoLHTY #branch #linear #model checking
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time (CA, WL, MH, YT, MY), pp. 447–458.
TOOLS-EUROPE-2008-ArthoLHT #model checking #performance
Efficient Model Checking of Networked Applications (CA, WL, MH, YT), pp. 22–40.

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.