Concepedia

Watcharin Leungwattanakit

WL

2

Publications

47

Citations

2

H-Index

2009

Active since

Affiliations

Tokyo University of Science(Current)

Chiba University

The University of Tokyo

Watcharin Leungwattanakit is an author at Tokyo University of Science specializing in formal methods, system software, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringSoftware Verification

Publications per year

2009–2013

2

Publications

2

Modular Software Model Checking for Distributed Systems

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya et al. · IEEE Transactions on Software Engineering · 2013 · 24 citations

Software Maintenance, Program Checking, Engineering +18

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya et al. · 2009 · 23 citations

Engineering, Verification, Computer-aided Verification +23

Rows per page

1–2 of 2