Publications

Filters: Author is Chris George  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
A. Abdukhamidov, and C. George, Extending the RSL C++ translator to generate SQL, : UNU-IIST, 05/2003. Abstract
S. Acharya, and C. George, Specifying a Mobile Computing Application Environment Using RSL, , 05/2004. Abstract  Download: report300.pdf (791.53 KB)
B
D. Bjørner, C. George, and S. Prehn, Scheduling and Rescheduling of Trains, , 12/1995. Abstract  Download: report52.pdf (315.24 KB)
D. Bjørner, C. George, and S. Prehn, Domain Analysis -- a Prerequisite for Requirements Capture, , 02/1995. Abstract  Download: report37.pdf (870.79 KB)
D
D. T. Dung, C. George, H. X. Huan, and P. P. Nam, A Financial Information System, , 09/1997. Abstract  Download: report115.pdf (722 KB)
D. T. Dung, L. L. Chi, D. L. Thu, P. P. Nam, T. M. Lien, and C. George, Developing a Financial Information System, , 09/1996. Abstract  Download: report81.pdf (336.07 KB)
R. Durmiendo, and C. George, Formal Development of a Digital Mutiplexed Radio-Telephone System, , 05/1996. Abstract  Download: report67.pdf (618.2 KB)
G
C. George, A Theory of Distributing Train Rescheduling, , 12/1995. Abstract  Download: report51.pdf (283.84 KB)
C. George, and A. E. Haxthausen, Specification, Proof, and Model Checking of the Mondex Electronic Purse using RAISE, , 02/2007. Abstract  Download: report352.pdf (388.39 KB)
C. George, Distributed Train Rescheduling, , 04/1995. Abstract  Download: report42.pdf (317.41 KB)
C. George, P. Krishnan, P. A. P. Salas, and J. W. Sanders, Specification for Testing, , 07/2007. Abstract  Download: report378.pdf (241.15 KB)
C. George, UNU-IIST Annual Report 2004, , 09/2004. Abstract  Download: report314.pdf (238.35 KB)
H
D. V. Hung, A. Pun, and C. George, Report on 2006 Survey of UNU-IIST Former Fellows, , 11/2006. Abstract  Download: report349.pdf (173.32 KB)
J
J. H. Jin, and C. George, Specifying and Verifying Multicast Communication Protocols, , 05/2007. Abstract  Download: report374.pdf (510.6 KB)
O
P. J. Ok, R. H. Sul, and C. George, A Management System for a University Library, , 05/2000. Abstract  Download: report186.pdf (318.27 KB)
P
J. I. Perna, and C. George, Model checking RAISE specifications, , 12/2005. Abstract  Download: report331.pdf (582.5 KB)
R
M. Reed, and C. George, UNU-IIST Annual Report 2007, , 02/2008. Abstract  Download: report392.pdf (297.23 KB)
M. Reed, and C. George, UNU-IIST Annual Report 2008, , 02/2009. Abstract  Download: report400.pdf (336.88 KB)
M. Reed, and C. George, UNU-IIST Annual Report 2006, , 02/2007. Abstract  Download: report351.pdf (275.22 KB)
S
J. K. Sik, and C. George, Specifying a Reliable Banking System in RSL, , 08/2006. Abstract  Download: report338.pdf (240.81 KB)