Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Haiseung Yoo
MetaGame: An Animation Tool for Model-Checking Games
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Tool Support for Model Checking of Web Application Designs
Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering
Software
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Improved Shallow Water Equation Model for Water Animation
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
Journal of Applied Mathematics
Applied Mathematics
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Improvement of the Piggyback Algorithm for Parallel Model Checking
A Simulation and Animation Tool for Studying Multivariable Control
IFAC Proceedings Volumes
Model Checking
