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 × 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 DBLP: Tanabe:Yoshinori

Contributed to:

ASE 20132013
ASE 20112011
SEFM 20112011
ASE 20092009
TOOLS Europe 20082008

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

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.