Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Eun-Young Kang 0001

> Home > Persons

Person information

affiliation: University of Southern Denmark, Odense, Denmark
affiliation: University of Namur, Belgium
affiliation (former): Sun Yat-Sen University, School of Data and Computer Science, Guangzhou, China
affiliation (former): Malardalen University, Vasteras, Sweden
affiliation (former): United Nations University, International Institute for Software Technology, Macau
affiliation (PhD 2007): Henri Poincaré University, Nancy, France

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/KangS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/KangS23
Eun-Young Kang, Thiago Rocha Silva:
Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata. APSEC 2023: 612-616
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/KangC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/KangC23
Eun-Young Kang, Miguel Campusano:
Towards Safety Assessment of Robot Behaviors in SMACH. APSEC 2023: 617-621
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/Kang23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/Kang23
Eun-Young Kang:
ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems. ICSRS 2023: 518-522
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/meco/KangH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/meco/KangH23
Eun-Young Kang, Simon Hacks:
Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation. MECO 2023: 1-8
2022
[c26]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apsec/CampusanoH022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/CampusanoH022
Miguel Campusano, Simon Hacks, Eun-Young Kang:
Towards Model Driven Safety and Security by Design. QuASoQ/SEED@APSEC 2022: 34-41
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/KangBSKFMN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/KangBSKFMN22
Eun-Young Kang, Mathias Brix, Daniel Szenczi, Ábel Kováts, Renaud Formosa, Christian W. Melsen, Morten A. Nørgård:
Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System. ICSRS 2022: 251-258
2021
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fedcsis/SoltaniKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/SoltaniKM21
Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena:
Towards Energy-aware Cyber-Physical Systems Verification and Optimization. FedCSIS (Position Papers) 2021: 205-210
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-01574
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-01574
Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena:
Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS. CoRR abs/2109.01574 (2021)
2020
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/meco/0001S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/meco/0001S20
Eun-Young Kang, Pierre-Yves Schobbens:
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. MECO 2020: 1-5

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/HuangK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HuangK19
Li Huang, Eun-Young Kang:
Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. FASE 2019: 210-227
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/HuangL019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/HuangL019
Li Huang, Tian Liang, Eun-Young Kang:
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. ICECCS 2019: 11-20
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/HuangL019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/HuangL019
Li Huang, Tian Liang, Eun-Young Kang:
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems. QRS 2019: 228-239
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/Huang019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/Huang019
Li Huang, Eun-Young Kang:
Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. RTSS 2019: 580-583
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-06241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-06241
Eun-Young Kang:
A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL. CoRR abs/1903.06241 (2019)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07011
Li Huang, Eun-Young Kang:
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems. CoRR abs/1904.07011 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-14306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-14306
Li Huang, Eun-Young Kang:
Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. CoRR abs/1910.14306 (2019)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-14312
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-14312
Li Huang, Tian Liang, Eun-Young Kang:
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. CoRR abs/1910.14312 (2019)
2018
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KangMH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KangMH18
Eun-Young Kang, Dongrui Mu, Li Huang:
Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. IFM 2018: 236-254
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/KangHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/KangHM18
Eun-Young Kang, Li Huang, Dongrui Mu:
Formal verification of energy and timed requirements for a cooperative automotive system. SAC 2018: 1492-1499
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/KangH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/KangH18
Eun-Young Kang, Li Huang:
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. SETTA 2018: 170-186
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-06075
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-06075
Eun-Young Kang, Li Huang, Dongrui Mu:
Formal Analysis of Non-functional Properties for a Cooperative Automotive System. CoRR abs/1803.06075 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-06103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-06103
Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan:
Model-based Verification and Validation of an Autonomous Vehicle System. CoRR abs/1803.06103 (2018)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-07702
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-07702
Eun-Young Kang, Li Huang:
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier. CoRR abs/1806.07702 (2018)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-00003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-00003
Eun-Young Kang, Dongrui Mu, Li Huang:
Probabilistic Analysis of Weakly-Hard Real-Time Systems. CoRR abs/1807.00003 (2018)
2017
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/KangMHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/KangMHL17
Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan:
Verification and Validation of a Cyber-Physical System in the Automotive Domain. QRS Companion 2017: 326-333
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/KangMHL17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/KangMHL17a
Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan:
Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System. QRS Companion 2017: 525-532
2015
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/KangKHW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/KangKHW15
Eun-Young Kang, Liu Ke, Meng-Zhe Hua, Yu-Xuan Wang:
Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL. APSEC 2015: 143-150
2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/KangS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/KangS14
Eun-Young Kang, Pierre-Yves Schobbens:
Schedulability analysis support for automotive systems: from requirement to implementation. SAC 2014: 1080-1085
2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/KangEMSSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/KangEMSSP13
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson:
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120: 127-138 (2013)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icca/KangS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icca/KangS13
Eun-Young Kang, Pierre-Yves Schobbens:
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. ICCA 2013: 1890-1895
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/KangPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/KangPS13
Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ICECCS 2013: 135-144
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KangKHKNSC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KangKHKNSC13
Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi:
Formal Modeling and Verification of SDN-OpenFlow. ICST 2013: 481-482
[c8]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/KangS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/KangS13
Eun-Young Kang, Pierre-Yves Schobbens:
Enabling formal analysis of energy-aware automotive embedded systems in East-adl. SpringSim (TMS-DEVS) 2013: 9
2012
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DevroeyCPKSHLB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DevroeyCPKSHLB12
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry:
A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/KangPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/KangPS12
Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. QSIC 2012: 124-127
2011
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/KangSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/KangSP11
Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson:
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP 2011: 243-256
2010
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/SuryadevaraKSP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/SuryadevaraKSP10
Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson:
Bridging the Semantic Gap between Abstract Models of Embedded Systems. CBSE 2010: 55-73

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZhanKL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZhanKL08
Naijun Zhan, Eun-Young Kang, Zhiming Liu:
Component Publications and Compositions. UTP 2008: 238-257
2007
[b1]
- view
- export record
  dblp key:
  - phd/hal/Kang07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Kang07
Eun-Young Kang:
Tool supported real-time system verification with combination of abstraction/deduction and model checking. (Abstractions booléennes pour la vérification des systèmes temps-réel). Henri Poincaré University, Nancy, France, 2007
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/KangM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/KangM07
Eun-Young Kang, Stephan Merz:
Predicate diagrams for the verification of real-time systems. Formal Aspects Comput. 19(3): 401-413 (2007)
2005
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KangM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KangM06
Eun-Young Kang, Stephan Merz:
Predicate Diagrams for the Verification of Real-Time Systems. AVoCS 2005: 151-165
2004
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Kang04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Kang04
Eun-Young Kang:
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. ICSE 2004: 39-41

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.