An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. - Sujeong Woo; Jinho On; Moonkun Lee (COMPSAC, 2011)

A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems. - Jinho On; Sujeong Woo; Moonkun Lee (COMPSAC Workshops, 2012)

Behavior Ontology: A Framework to Detect Attack Patterns for Security. - Sujeong Woo; Jinho On; Moonkun Lee (AINA Workshops, 2013)