Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Byeong-Mo Chang
A Visualization System for Permission Check in Java Using Static Analysis
The KIPS Transactions:PartA
Granularity of Constraint-Based Analysis for Java
Visualization of Permission Checks in Java Using Static Analysis
Related publications
Permission-Based Separation Logic for Multithreaded Java Programs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Static Analysis of Malicious Java Applets
Impact Analysis and Visualization Toolkit for Static Crosscutting in AspectJ
Axiomatizations of Permission Values for Games With a Hierarchical Permission Structure Using Split Neutrality
SSRN Electronic Journal
Analysis of Learner Performance on a Tutoring System for Java
Design of Crowdsourcing System for Analysis of Gravitational Flow Using X-Ray Visualization
Banzhaf Permission Values for Games With a Permission Structure
HeloVis: A Helical Visualization for SIGINT Analysis Using 3D Immersion
