Jae-Hwan Sim

According to our database, Jae-Hwan Sim authored at least 5 papers between 2003 and 2009.

Collaborative distances:

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

2009

Ensuring Sound Numerical Simulation of Hybrid Automata.

Yerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi

J. Comput. Sci. Eng., 2009

2007

Resource-Oriented Design Framework for Embedded System Components.

Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Formal Embedded Operating System Model Based on Resource-Based Design Framework.

Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2004

Development of RTOS for PLC Using Formal Methods.

Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3).

Chol-U Lee, Gi-Young Byun, Bu-Sik Shin, Jae-Hwan Sim, Heung-Soo Kim

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003