Research Output 2003 2019

Filter
Report
2007

Tool supported real-time system verification with combination of abstraction/deduction and model checking

Kang, E-Y., Nov 2007

Research output: Book/anthology/thesis/reportReportResearchpeer-review

2016
575 Downloads (Pure)

Drone Identification and Tracking in Denmark

Jensen, K., Skriver, M. & Schultz, U. P., 2016, Syddansk Universitet. Mærsk Mc-Kinney Møller Instituttet. 56 p.

Research output: Book/anthology/thesis/reportReportResearchpeer-review

Open Access
File
2019

A Formal Verification Techniques for Architecture-based Embedded Systems in EAST-ADL

Kang, E-Y., Mar 2019, arXiv. 19 p.

Research output: Book/anthology/thesis/reportReportResearch

Open Access
Embedded systems
Specifications
Model checking
Trucks
Computer systems

Translating EAST-ADL/Stateflow Models into Probabilistic Verifiable Models: Statistical Verification of Vehicle Systems in EAST-ADL/Stateflow using UPPAAL Tools

Kang, E-Y., Chen, J., Ke, L. & Chen, S., Mar 2019, 51 p.

Research output: Book/anthology/thesis/reportReportResearch

Open Access
Embedded systems
Statistical methods
Semantics
Systems analysis
Statistical Models

XFG Language and its Profile for Modeling and Analysis of Energy-aware and real-timed behaviors

Kang, E-Y. & Schobbens, P-Y., 2019, 36 p.

Research output: Book/anthology/thesis/reportReportResearch

Synchronization
Specification languages
Interchanges
Communication
Specifications