• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
19952019

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2015

    Generating various contexts from permissions for testing Android applications

    Song, K., Han, A. R., Jeong, S. & Cha, S., 2015, Proceedings - SEKE 2015: 27th International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, p. 87-92 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • 2012

    Security engineering methodology for developing secure enterprise information systems: An overview

    Kim, Y. G. & Cha, S., 2012, Embedded and Multimedia Computing Technology and Service, EMC 2012. p. 393-400 8 p. (Lecture Notes in Electrical Engineering; vol. 181 LNEE).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Translation from ECML to linear hybrid automata

    Jo, J., Yoo, J., Choi, H., Cha, S., Lee, H. Y. & Kim, W. T., 2012, Embedded and Multimedia Computing Technology and Service, EMC 2012. p. 293-300 8 p. (Lecture Notes in Electrical Engineering; vol. 181 LNEE).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2011

    FBDtoVerilog: A vendor-independent translation from FBDs into Verilog programs

    Yoo, J., Lee, J. H., Jeong, S. & Cha, S., 2011, SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering. p. 48-51 4 p. (SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Formal verification of DEV and DESS formalism using symbolic model checker Hy Tech

    Choi, H., Cha, S., Jo, J. Y., Yoo, J., Lee, H. Y. & Kim, W. T., 2011, Control and Automation, and Energy System Engineering - International Conferences, CA and CES3 2011, Held as Part of the FGIT 2011, in Conjunction with GDC 2011, Proceedings. p. 112-121 10 p. (Communications in Computer and Information Science; vol. 256 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Testing of safety-critical software embedded in an artificial heart

    Cha, S., Jeong, S., Yoo, J. & Kim, Y. G., 2011, Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011. Kluwer Academic Publishers, p. 144-153 10 p. (Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Website risk assessment system for anti-phishing

    Kim, Y. G. & Cha, S., 2011, Future Information Technology - 6th International Conference, FutureTech 2011, Proceedings. PART 2 ed. p. 131-138 8 p. (Communications in Computer and Information Science; vol. 185 CCIS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • 2010

    Automated test coverage measurement for reactor protection system software implemented in function block diagram

    Jee, E., Kim, S., Cha, S. & Lee, I., 2010, Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings. p. 223-236 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6351 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Citations (Scopus)
  • Customization of Scrum methodology for outsourced e-commerce projects

    Hong, N., Yoo, J. & Cha, S., 2010, Proceedings - 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010. p. 310-315 6 p. 5693207. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Citations (Scopus)
  • VIS Analyzer: A visual assistant for VIS verification and analysis

    Jeong, S., Yoo, J. & Cha, S., 2010, ISORC 2010 - 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. p. 250-254 5 p. 5479548. (ISORC 2010 - 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • 2009

    ADAM: Web anomaly detection assistant based on feature matrix

    Cha, S., Lee, J., Kim, S. & Cho, S., 2009, QSIC 2009 - Proceedings of the 9th International Conference on Quality Software. p. 123-128 6 p. 5381495. (Proceedings - International Conference on Quality Software).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Software qualification activities for safety critical software

    Park, G. Y., Cheon, S. W., Kwon, K. C., Koh, K. Y., Seong, P. H., Jee, E. & Cha, S., 2009, 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009. p. 312-323 12 p. (6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • 2008

    A formal verification method of function block diagrams with tool supporting: Practical experiences

    Koh, K. Y., Jee, E. K., Jeon, S., Seong, P. H. & Cha, S., 2008, Annals of DAAAM for 2008 and Proceedings of the 19th International DAAAM Symposium "Intelligent Manufacturing and Automation: Focus on Next Generation of Intelligent Systems and Solutions". Danube Adria Association for Automation and Manufacturing, DAAAM, p. 713-714 2 p. (Annals of DAAAM and Proceedings of the International DAAAM Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Page-based anomaly detection in large scale web clusters using adaptive MapReduce

    Lee, J. & Cha, S., 2008, Recent Advances in Intrusion Detection - 11th International Symposium, RAID 2008, Proceedings. p. 404-405 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5230 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Visualization and formalization of User Constraints for tight estimation of worst-case execution time

    Lee, J. I., Bang, H. J., Kim, T. H. & Cha, S. D., 2008, 2008 IEEE Aerospace Conference, AC. 4526588. (IEEE Aerospace Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2007

    Masquerade detection based on SVM and sequence-based user commands profile

    Seo, J. & Cha, S., 2007, Proceedings of the 2nd ACM Symposium on Information, Computer and Communications Security, ASIACCS '07. p. 398-400 3 p. (Proceedings of the 2nd ACM Symposium on Information, Computer and Communications Security, ASIACCS '07).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Citations (Scopus)
  • 2006

    Testing of timer function blocks in FBD

    Jee, E., Jeon, S., Bang, H., Cha, S., Yoo, J., Park, G. & Kwon, K., 2006, Proceedings - APSEC 2006: Asia-Pacific Software Engineering Conference. p. 243-250 8 p. 4137424. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Timed high-level message sequence charts for real-time system design

    Kim, T. H. & Cha, S. D., 2006, System Analysis and Modeling: Language Profiles - 5th International Workshop, SAM 2006, Revised Selected Papers. p. 82-98 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4320 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • 2005

    A hybrid framework of worst-case execution time analysis for real-time embedded system software

    Lee, J. I., Park, S. H., Bang, H. J., Kim, T. H. & Cha, S. D., 2005, Proceedings - 2005 IEEE Aerospace Conference. 1559632. (IEEE Aerospace Conference Proceedings; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)
  • Control and data flow testing on function block diagrams

    Jee, E., Yoo, J. & Cha, S., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 67-80 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3688 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • NuEditor - A tool suite for specification and verification of NuSCR

    Cho, J., Yoo, J. & Cha, S., 2005, Software Engineering Research and Applications - Second International Conference, SERA 2004, Revised Selected Papers. p. 19-28 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3647 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • 2004

    Web server attack categorization based on root causes and their locations

    Seo, J., Kim, H. S., Cho, S. & Cha, S., 2004, International Conferen ON Information Technology: Coding Computing, ITCC 2004. Srimani, P. K., Abraham, A., Cannataro, M., Domingo-Ferrer, J. & Hashemi, R. (eds.). p. 90-96 7 p. (International Conference on Information Technology: Coding Computing, ITCC; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    14 Citations (Scopus)
  • 2002

    Construction of global finite state machine for testing task interactions written in message sequence charts

    Lee, N. H., Kim, T. H. & Cha, S. D., 2002, Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, SEKE '02. p. 369-376 8 p. (ACM International Conference Proceeding Series; vol. 27).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Formal verification of functional properties of an SCR-style software requirements specification using PVS

    Kim, T., Stringer-Calvert, D. & Cha, S., 2002, Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.. Katoen, J-P. & Stevens, P. (eds.). Springer Verlag, p. 205-220 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2280 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    1 Citation (Scopus)
  • 1999

    Safety verification of Ada95 programs using software fault trees

    Min, S. Y., Jang, Y. K., Cha, S. D., Kwon, Y. R. & Bae, D. H., 1999, Computer Safety, Reliability and Security - 18th International Conference, SAFECOMP 1999, Proceedings. Felici, M., Pasquini, A. & Kanoun, K. (eds.). Springer Verlag, p. 226-238 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1698).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • 1996

    Safety analysis using coloured Petri nets

    Cho, S. M., Hong, H. S. & Cha, S., 1996 Jan 1, Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996. IEEE Computer Society, p. 176-183 8 p. 566752. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • 1995

    An empirical study on software error detection: Voting, instrumentation and Fagan inspection

    So, S., Lim, Y., Cha, S. D. & Kwon, Y. R., 1995, Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995. Institute of Electrical and Electronics Engineers Inc., p. 345-350 6 p. 496983. (Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Testing of object-oriented programs based on finite state machines

    Hong, H. S., Kwon, Y. R. & Cha, S. D., 1995, Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995. Institute of Electrical and Electronics Engineers Inc., p. 234-241 8 p. 496972. (Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    36 Citations (Scopus)