Travelled to:1 × New Zealand
1 × Switzerland
1 × Uruguay
2 × USA
Collaborated with:M.Hagiya C.Artho W.Leungwattanakit M.Yamamoto Y.Maezawa H.Washizaki S.Honiden K.Ono Y.Hirai N.Noda R.Potter F.Weitl
Talks about:applic (4) model (4) check (4) base (3) distribut (2) network (2) system (2) cach (2) checkpoint (1) selector (1)
Person: Yoshinori Tanabe
DBLP: Tanabe:Yoshinori
Contributed to:
20132011
20112009
2008Wrote 6 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-2013-MaezawaWTH #ajax #automation #interactive #invariant #verification
- Automated verification of pattern-based interaction invariants in Ajax applications (YM, HW, YT, SH), pp. 158–168.
- 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.
- SEFM-2011-OnoHTNH #coq #pipes and filters #specification #using
- Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications (KO, YH, YT, NN, MH), pp. 350–365.
- 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.