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 × France
1 × Italy
1 × Japan
1 × New Zealand
1 × Switzerland
1 × The Netherlands
1 × Uruguay
3 × USA
Collaborated with:
Y.Tanabe A.Tozawa C.Artho M.Yamamoto W.Leungwattanakit W.Chin K.Takahashi T.Sato K.Ono Y.Hirai N.Noda R.Potter F.Weitl
Talks about:
check (5) model (4) base (4) applic (3) use (3) distribut (2) program (2) network (2) analysi (2) system (2)

Person: Masami Hagiya

DBLP DBLP: Hagiya:Masami

Facilitated 1 volumes:

FLOPS 2006Ed

Contributed to:

ASE 20132013
ASE 20112011
SEFM 20112011
ASE 20092009
TOOLS Europe 20082008
FLOPS 20042004
CIAA 20032003
SAS 19981998
ICFP 19971997
ICLP 19911991
CADE 19901990

Wrote 11 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.
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.
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.
CIAA-2003-TozawaH #xml
XML Schema Containment Checking Based on Semi-implicit Techniques (AT, MH), pp. 213–225.
SAS-1998-HagiyaT #analysis #data flow #java #on the #virtual machine
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.
ICFP-1997-ChinH #bound
A Bounds Inference Method for Vector-Based Memoisation (WNC, MH), pp. 176–187.
ICLP-1991-Hagiya #higher-order #proving #theorem proving #unification
Higher-Order Unification as a Theorem Proving Procedure (MH), pp. 270–284.
CADE-1990-Hagiya #higher-order #programming #proving #unification #using
Programming by Example and Proving by Example Using Higher-order Unification (MH), pp. 588–602.

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.