Travelled to:1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:X.Deng M.B.Dwyer J.Hatcliff G.Singh M.L.Neilsen
Talks about:synchron (2) program (2) concurr (2) framework (1) synthesi (1) structur (1) approach (1) develop (1) specif (1) orient (1)
Person: Masaaki Mizuno
DBLP: Mizuno:Masaaki
Contributed to:
2004
2002
2000Wrote 3 papers:
- TACAS-2004-DengDHM #aspect-oriented #framework #named
- SyncGen: An Aspect-Oriented Framework for Synchronization (XD, MBD, JH, MM), pp. 158–162.
- ICSE-2002-DengDHM #concurrent #invariant #source code #specification #synthesis #verification
- Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (XD, MBD, JH, MM), pp. 442–452.
- UML-2000-MizunoSN #approach #concurrent #source code #uml
- A Structured Approach to Develop Concurrent Programs in UML (MM, GS, MLN), pp. 451–465.