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