Publikationer 2003 2019

Filtrer
Rapport
2019

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

Kang, E-Y., mar. 2019, arXiv. 19 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
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 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
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., apr. 2019, 36 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Synchronization
Specification languages
Interchanges
Communication
Specifications
2016
550 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 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskningpeer review

Åben adgang
Fil
2007

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

Kang, E-Y., nov. 2007

Publikation: Bog/antologi/afhandling/rapportRapportForskningpeer review