Travelled to:1 × Japan
1 × New Zealand
2 × USA
Collaborated with:M.Hagiya C.Artho Y.Tanabe W.Leungwattanakit K.Takahashi T.Sato R.Potter F.Weitl
Talks about:model (3) check (3) distribut (2) system (2) cach (2) base (2) checkpoint (1) asynchron (1) synchron (1) selector (1)
Person: Mitsuharu Yamamoto
DBLP: Yamamoto:Mitsuharu
Contributed to:
201320112009
2004Wrote 4 papers:
- ASE-2013-ArthoHPTWY #communication #distributed #model checking
- Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
- 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.
- FLOPS-2004-HagiyaTYS #abstraction #analysis #automaton #logic #using
- Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic (MH, KT, MY, TS), pp. 7–21.