Eun-Young Kang

Identifiers

No identifiers captured yet.

Papers (6)

1. SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems cs.SE · 2019 · author #2
2. A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL cs.SE · 2019 · author #1
3. Probabilistic Analysis of Weakly-Hard Real-Time Systems cs.SE · 2018 · author #1
4. Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier cs.SE · 2018 · author #1
5. Model-based Verification and Validation of an Autonomous Vehicle System cs.SE · 2018 · author #1
6. Formal Analysis of Non-functional Properties for a Cooperative Automotive System cs.SE · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Li Huang 5 shared papers
• Dongrui Mu 3 shared papers
• Qianqing Lan 1 shared papers