Jinho On

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 1

Top Topics

Heterogeneous Environments

Dynamic Power Management

Process Algebra

Top Venues

COMPSAC Workshops

Publications

Baik Song An, Jinho On, Byunggyu Lee, Sumin Jang, Sungik Jun
Dynamic Power Management for Heterogeneous Server Environments. ICTC (2020)
Jinho On, Yeongbok Choe, Moonkun Lee
An Abstraction Method of Behaviors for Process Algebra. COMPSAC Workshops (2013)
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)
Jinho On
Onion: A Graphical Language for Process Algebra. COMPSAC (2011)
Sujeong Woo, Jinho On, Moonkun Lee
An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. COMPSAC (2011)
Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi
A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. NCM (1) (2008)
Jinho On, Jungrhan Choi, Moonkun Lee
A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. FCS (2008)