Research Interests (Real-Time Software Engineering Lab)
   
- Cyber-Physical System (CPS)
- Embedded Software
- Model Driven Development (MDD)
- Model Checking
- Event-based Systems
- Complex Event Processing
- Event-oriented Architecture
- Publish-Subscribe Architecture
- Software Testing
- Unit Testing Framework
- Testing Framework for Database Systems
- Testing Framework for GUI Applications
- Software Development Methodologies
- Aspect-oriented Development
- Monitor-orientd Programming
- Run-time Monitoring
- Timing constraints monitoring
- Stream data monitoring
- Resource Safety monitoring
Education
-
Ph.D.:
Computer Science,
University of Texas at Austin, Austin,
TX, 2005.
-
M.S.:
Computer Science,
KAIST,
Daejon, Korea, 1998.
-
B.S.:
Computer Science and Engineering,
Chung-Ang University, Seoul, Korea,
1996.
Industry Experience
-
Sr. Software Engineer,
Intel, Hillsboro, Oregon, 2005-2007.
Selected Publications [Full
List]
-
Specifying
Timing Constraints and Composite Events: An Application in the Design of
Electronic Brokerages, Aloysius Mok, Prabhudev Konana, Guangtian Liu,
Chan-Gun Lee, and Honguk Woo. IEEE Transactions on Software Engineering (TSE),
2004.
-
Monitoring of Timing Constraints
with Confidence Threshold Requirements, Chan-Gun Lee, Aloysius K. Mok,
Prabhudev Konana. IEEE Transactions on Computers, 2007.
-
A Generic
Framework for Monitoring Timing Constraints over Uncertain Events, Honguk
Woo, Aloysius Mok, and Chan-Gun Lee. Proc. of IEEE Real-Time Systems
Symposium (RTSS), 2006.
-
Monitoring of Timing Constraints
on Time Intervals, Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev
Konana. Proc. of IEEE Real-Time Systems Symposium (RTSS), 2002.
Honors and Awards
-
Korea Foundation for Advanced Studies (KFAS) Scholarship, 1999-2005.
-
Hyundai Electronics Computer Progarmming Contest, Second Place, 1994.
-
Chung-Ang University Soorim Scholarship, 1991-1993.
|
