Sujeong Woo

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Real Time Embedded

Protocol Specification

Concurrent Programs

Top Venues

COMPSAC Workshops

Publications

Sujeong Woo, Jinho On, Moonkun Lee
Behavior Ontology: A Framework to Detect Attack Patterns for Security. AINA Workshops (2013)
Jinho On, Sujeong Woo, Moonkun Lee
A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems. COMPSAC Workshops (2012)
Sujeong Woo, Jinho On, Moonkun Lee
An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. COMPSAC (2011)