Research Output per year
Research Output 1983 2016
Reliability analysis of healthcare information systems: State of the art and future directions
Gawanmeh, A., Al-Hamadi, H., Al-Qutayri, M., Chin, S. K. & Saleem, K., Apr 15 2016, 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015. Institute of Electrical and Electronics Engineers Inc., p. 68-74 7 p. 7454475Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Reasoning about delegation and account access in retail payment systems
Chin, S. K. & Older, S. B., 2013, Communications in Computer and Information Science. PART II ed. Vol. 374. p. 99-114 16 p. (Communications in Computer and Information Science; vol. 374, no. PART II).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Credentials management for high-value transactions
Benson, G., Chin, S. K., Croston, S., Jayaraman, K. & Older, S. B., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6258 LNCS. p. 169-182 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6258 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Policy-based design and verification for mission assurance
Chin, S. K., Muccio, S., Older, S. B. & Vestal, T. N. J., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6258 LNCS. p. 125-138 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6258 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Reasoning about delegation and Account access in retail payment systems
Chin, S. K. & Older, S. B., 2007, Communications in Computer and Information Science. Vol. 1. p. 99-114 16 p. (Communications in Computer and Information Science; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A modal logic for role-based access control
Kosiyatrakul, T., Older, S. B. & Chin, S. K., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3685 LNCS. p. 179-193 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3685 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Outcomes-based assessment as an assurance education tool
Older, S. B. & Chin, S. K., 2003, IFIP Advances in Information and Communication Technology. Springer New York LLC, Vol. 125. p. 179-196 18 p. (IFIP Advances in Information and Communication Technology; vol. 125).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal analysis of a secure communication channel: Secure core-email protocol
Zhou, D. & Chin, S. K., 1999, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1708. p. 758-775 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1708).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal development of secure Email
Zhou, D., Kuo, J. C., Older, S. B. & Chin, S. K., 1999, Proceedings of the Hawaii International Conference on System Sciences. IEEE Computer Society, p. 132 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal verification of tree-structured carry-lookahead adders
Kim, S. H. & Chin, S. K., 1999, Proceedings of the IEEE Great Lakes Symposium on VLSI. IEEE Computer Society, p. 232-233 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
An instruction set process calculus
Chin, S. K. & Kim, J. D., 1998, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1522. p. 451-468 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1522).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Assured VLSI design with formal verification
Kim, J. D. & Chin, S. K., 1997, COMPASS - Proceedings of the Annual Conference on Computer Assurance. Anon (ed.). IEEE Computer Society, p. 13-22 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Experience extending VLSI design with mathematical logic
Chin, S. K., 1997, Proceedings of the IEEE International Conference on Microelectronic Systems Education, MSE. IEEE Computer Society, p. 11-12 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal methods applied to secure network engineering
Chin, S. K., Faust, J. & Giordano, J., 1996, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 344-351 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS
Barjaktarović, M., Chin, S. K. & Jabbour, K., May 1 1996, Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996. Association for Computing Machinery, Inc, p. 270-279 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Hardware composition with hardware flowcharts and process algebras
Lu, J. Y. J., Kim, J. D. & Chin, S. K., 1996, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 352-364 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Extending VLSI design with higher-order logic
Chavan, A., Chin, S. K. & Lu, J. Y., 1995, Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors. Anon (ed.). IEEE Computer Society, p. 85-94 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal specification and verification of communication protocols using automated tools
Barjaktarovic, M., Chin, S. K. & Jabbour, K., 1995, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 246-253 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal verification of serial pipeline multipliers
Kim, J. D. & Chin, S. K., 1995, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 971. p. 229-244 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 971).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Integrating formal methods tools to support system design
Chin, S. K., Faust, J. & Giordano, J., 1995, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 88-95 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Generating designs using an algorithmic register transfer language with formal semantics
Lu, J. Y. & Chin, S. K., 1994, Higher Order Logic Theorem Proving and Its Applications - 7th International Workshop, Proceedings. Springer Verlag, Vol. 859 LNCS. p. 316-331 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 859 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Linking higher order logic to a VLSI CAD system
Lu, J. Y. & Chin, S. K., 1994, Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG 1993, Proceedings. Springer Verlag, Vol. 780 LNCS. p. 199-212 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 780 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Parallel implementation of BDD algorithms using a distributed shared memory
Parasuram, Y., Stabler, E. & Chin, S. K., 1994, Proceedings of the Hawaii International Conference on System Sciences. Nunamaker, J. F. & Sprague, R. H. J. (eds.). IEEE Computer Society, Vol. 1. p. 16-25 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Server-process restrictiveness in HOL
Brackin, S. H. & Chin, S. K., 1994, Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG 1993, Proceedings. Springer Verlag, Vol. 780 LNCS. p. 450-463 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 780 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal specification and verification of OSI session layer protocol using CCS
Barjaktarovic, M., Chin, S. K. & Jabbour, K., 1993, Midwest Symposium on Circuits and Systems. IEEE Computer Society, Vol. 2. p. 1140-1143 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Implementing and verifying finite-state machines using types in higher-order logic
Chin, S. K. & Birtwistle, G., Jan 1 1991, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. Windley, P. J., Joyce, J. J., Levitt, K. N. & Archer, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 121-129 9 p. 596279. (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Verifying arithmetic hardware in higher-order logic
Chin, S. K., Jan 1 1991, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. Windley, P. J., Joyce, J. J., Levitt, K. N. & Archer, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 22-31 10 p. 596268. (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Combining engineering vigor with mathematical rigor
Chin, S. K., 1990, Hardware Specification, Verification and Synthesis: Mathematical Aspects - Mathematical Sciences Institute Workshop, Proceedings. Springer Verlag, Vol. 408 LNCS. p. 152-176 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 408 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Using higher order logic and functional languages to synthesize correct hardware
Chin, S. K., Stabler, E. P. & Greene, K. J., 1988, Int Conf on Comput Lang 1988 Proc. IEEE Computer Society, p. 396-403 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Verifiable and executable theories of design for synthesizing correct hardware
Chin, S. K. & Greene, K. J., 1988, 1988 IEEE Int Conf Comput Des VLSI Comput Process ICCD 88 Proc. IEEE Computer Society, p. 604-610 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
SYNTHESIS OF DIGITAL DESIGNS BY EQUIVALENCE TRANSFORMATIONS.
Chin, S. K. & Stabler, E. P., 1986, Unknown Host Publication Title. IEEE Computer Society, p. 558-560 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
HIGHLY DENSE VLSI COMPLEX ARRAY MULTIPLIER.
Shay, H., Gray, D. & Chin, S. K., 1983, Proceedings of the Custom Integrated Circuits Conference. IEEE Computer Society, p. 249-251 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution