Jinho On

According to our database, Jinho On authored at least 8 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Dynamic Power Management for Heterogeneous Server Environments.

Baik Song An, Jinho On, Byunggyu Lee, Sumin Jang, Sungik Jun

Proceedings of the International Conference on Information and Communication Technology Convergence, 2020

2013

An Abstraction Method of Behaviors for Process Algebra.

Jinho On, Yeongbok Choe, Moonkun Lee

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Behavior Ontology: A Framework to Detect Attack Patterns for Security.

Sujeong Woo, Jinho On, Moonkun Lee

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

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

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011

An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology.

Sujeong Woo, Jinho On, Moonkun Lee

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Onion: A Graphical Language for Process Algebra.

Jinho On

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2008

A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems.

Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi

Proceedings of the NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008, 2008

A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space.

Jinho On, Jungrhan Choi, Moonkun Lee

Proceedings of the 2008 International Conference on Foundations of Computer Science, 2008