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 × 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 DBLP: Yamamoto:Mitsuharu

Contributed to:

ASE 20132013
ASE 20112011
ASE 20092009
FLOPS 20042004

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

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.