[30] Safety and Security Assessments in Robotics, R-24 (Robotics, Automation, and Drones event),  Odense Congress Center, Odense, Denmark, March 13th, 2024.

[29] Towards safety assessment of robot behaviors in SMACH, APSEC'23, Seoul, Korea, December 6th, 2023.

[28] Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata, APSEC'23, Seoul, Korea, December 6th, 2023.

[27] Automated Formal Safety and Security Assessments in Cyber-Physical systems, ICSRS'23, Bologna, Italy, November 23rd, 2023.

[26] Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation, CPS&IoT'23, Budva, Montenegro, June 6th, 2023.

[25] Keeping Safety-critical Systems Safe, Information Event on the European Defense Fund, Kolding, Denmark, May 25th, 2023.

[24] Model-Driven Software Development Approach: Ensuring Safety of an IoT-based Plant Health Monitoring System, ICSRS'22, Venice, Italy, November 25th, 2022.

[23] Necessity meets Opportunity: Towards formal analysis of human-robot interactions, SDU Rototics, Maersk Mc-Kinney Moller Institute, Odense, Denmark, October 29th,  2021. 

[22] Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostic, CPS&IoT'20, Budva, Montenegro, June 8th, 2020. 

[21] Probabilistic Verification on Timing Constraints in Automotive Systems using UPPAAL-SMC, iFM'18, Maynooth, Ireland, September 5th, 2018. 

[20] Formal Verification of Energy and Timed Requirements for A Cooperative Automotive System,  SAC18, Pau, France, April 11th, 2018.

[19] Model-Based Analysis of Timing and Energy Constraints in An Autonomous Vehicle System, QRS17, MVV17,  Czech Technical University, Prague,  July 28th, 2017.

[18] Verification and Validation of A Cyber-Physical System in the Automotive Domain, QRS17, SSCPS17,   Czech Technical University, Prague,  July 28th, 2017.

[17] An Architectural Approach to the Analysis of Automotive Systems, Safety-Critical Software Workshop, Seoul, May 28th, 2015.

[16] Formal Design and Analysis of ERT Automotive Systems, Secure Software Development Research Center, Korea University, Seoul, March 21, 2014.

[15] Enabling Schedulability Analysis for Automotive Systems, Centre Federe en Verification, Universite Libre de Bruxelles, Belgium, February, 2014.

[14] Verification and Validation Techniques for Reliable Safety Critical Systems, School of Mobile Information Engineering, Sun Yat-Sen University, China, December, 2013.

[13] An integrated framework for design and analysis of real-time embedded systems, University of Eindhoven, The Netherlands, September, 2013.

[12] Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time automotive systems (Invited lecture by Professor Insup Lee, Director PRECISE Center, University of Pennsylvania, USA and Visiting Professor at DGIST) at Daegu Gyeongbuk Institute of Science and Technology (DGIST), South Korea, July 12, 2013. 

[11] Formal Design and Verification of automotive systems functional behaviors at PReCISE Research Centre, University of Namur, April, 2011.

[10] Methods for analyzing and relating abstract models of real-time and embedded systems at KOREA Univ., Seoul, August 2010.

[9] Tool supported real-time system verification with combination of abstraction/deduction and model checking at PROGRESS, Sweden, November 2009.

[8] Real-time system verification techniques based on abstract/deduction and model checking at KAIST, Korea, October 2009.

[7] Theory and tools for component-based model driven development at ISCAS, Beijing, 29 March 2008.

[6] Composition and publication of component-based systems at United Nations (UN) Board meeting, Macau, July 2008.

[5] Boolean abstractions for real-time system verification at KOREA Univ., Seoul, January 2008.

[4] SAT-based model checking for real-time systems at TU-Konstanz, Germany, December 2007.

[3] Refinement and predicate diagrams of reactive systems at INRIA-LORIA, Nancy, France, December 2004.

[2] Model checking for computing systems at TU-Eindhoven, The Netherlands, May 2004.

[1] Parametric analysis of real-time systems at IRISA, Rennes, France, December 2003.