[학력]
2007. University of Pennsylvania Computer & Information Science 박사
2001. 고려대학교 컴퓨터 공학 석사
1998. 고려대학교 컴퓨터 공학 학사
[경력]
2010.03-현재 건국대학교 컴퓨터공학부 교수
[논문]
2024.04. RISOPA: Rapid Imperceptible Strong One-Pixel Attacks in Deep Neural NetworksMATHEMATICS
2023.04AESOP: Adjustable Exhaustive Search for One-Pixel Attacks in Deep Neural NetworksAPPLIED SCIENCES-BASEL
2022.01.Formal Verification of Blockchain Smart Contracts via ATL Model CheckingIEEE ACCESS
2021.12.ATL Model Checking for Analysis of Ethereum Smart ContractsTransactions of the Korean Institute of Electrical Engineers
2021.03. Automatic incremental recomposition algorithm for QoS-aware internet of things service compositionINTERNATIONAL JOURNAL OF WEB AND GRID SERVICES
2020.11. Efficient Replanning Technique for QoS-aware Web Service CompositionTransactions of the Korean Institute of Electrical Engineers
2020.04. Winning Strategy Tree Construction for BDD-Based ATL Model CheckersINTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
2019.11. Ensuring Vehicle Black Box Data Integrity by Using BlockchainInformation
2018.11. Reliable Approximated Number System with Exact Bounds and Three-valued LogicCOMPUTER SYSTEMS SCIENCE AND ENGINEERING
2018.05. Performance Analysis of Satisfiability Solvers for Bounded Model Checking
2017.07. MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance SystemsLecture Notes in Computer Science
2016.11. Optimal algorithm for Internet-of-Things service composition based on response timeINTERNATIONAL JOURNAL OF WEB AND GRID SERVICES
2016.02. Transaction history-based web service composition for uncertain QoSINTERNATIONAL JOURNAL OF WEB AND GRID SERVICES
2014.10. Automatic composition of internet-of-things in service level using boolean satisfiabilityInformation (Japan)
2014.10. Formal Verification of a Gravity-induced Loss-of-Consciousness Monitoring System for AircraftCOMPUTING IN SCIENCE ENGINEERING
2014.04. On-the-fly learning-based search for QoS-aware web service compositionApplied Mathematics and Information Sciences
2013.11. Semantic web service composition via model checking techniquesINTERNATIONAL JOURNAL OF WEB AND GRID SERVICES
2013.03. Efficient anytime algorithm for large-scale QoS-aware web service compositionINTERNATIONAL JOURNAL OF WEB AND GRID SERVICES
2013.03. Behavioural description based web service composition using abstraction and refinementINTERNATIONAL JOURNAL OF WEB AND GRID SERVICES
2012.12. Semantic web service composition using formal verification techniquesCommunications in Computer and Information Science
2012.11. SAT solving technique for semantic web service compositionCommunications in Computer and Information Science
2011.11. On the computational complexity of behavioral description-based web service compositionTHEORETICAL COMPUTER SCIENCE
2011.05. A model of multi-agent design for virtualization resource configuration in cloud computing국제학술지
2011.03. Anytime Algorithm for QoS Web Service Composition
2010.04. Active Learning of Plans for Safety and Reachability Goals With Partial ObservabilityIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS
2009.08. Graph theoretic topological analysis of web service networksWorld Wide Web
2008.12. DL2Go: Editable digital libraries in the pocketLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008.06. Automatic symbolic compositional verification by learning assumptionsFORMAL METHODS IN SYSTEM DESIGN
2006.10. Learning-based symbolic assume-guarantee reasoning with automatic decompositionLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005.07. Symbolic compositional verification by learning assumptionsLecture Notes in Computer Science
2005.04. Symbolic computational techniques for solving gamesInternational Journal on Software Tools for Technology Transfer
2005.01. Synthesis of interface specifications for Java classesACM SIGPLAN NOTICES
2004.04. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control SystemInternational Journal on Software Tools for Technology Transfer