If you made any changes in Pure these will be visible here soon.

Research Output 2011 2016

  • 105 Citations
  • 7 h-Index
  • 9 Conference contribution
  • 4 Other contribution
  • 1 Chapter
  • 1 Article
Filter
Conference contribution
2016

Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow

Kang, E. Y., Chen, J., Ke, L. & Chen, S., 19 Oct 2016, Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016. Institute of Electrical and Electronics Engineers Inc., p. 1328-1333 6 p. 7603790

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Statistical Analysis
Statistical methods
Real-time
Formal Analysis
Energy
2014
69 Downloads (Pure)

Schedulability analysis support for automotive systems: From requirement to implementation

Kang, E-Y. & Schobbens, P. Y., 24 Mar 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Scheduling
Interchanges
Model checking
Brakes
Costs
2013

Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

Kang, E-Y. & Schobbens, P-Y., 1 Jan 2013, Simulation Series. Vol. 45. p. 62-69 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Embedded systems
Telecommunication systems
Model checking
Real time systems
Brakes

Formal modeling and verification of SDN-OpenFlow

Kang, M., Kang, E-Y., Hwang, D. Y., Kim, B. J., Nam, K. H., Shin, M. K. & Choi, J. Y., 9 Sep 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013. p. 481-482 2 p. 6569764

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Computer simulation
Specifications
Network architecture
Flow control
Software defined networking

Model-based verification of energy-aware real-time automotive systems

Kang, E-Y., Perrouin, G. & Schobbens, P. Y., 15 Oct 2013, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 135-144 10 p. 6601814

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Model checking
Real time systems
Brakes
Embedded systems
Semantics
2012
109 Downloads (Pure)

A vision for behavioural model-driven validation of software product lines

Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 Oct 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol. 7609 LNCS. p. 208-222 15 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Quality assurance
Model checking
Vending machines
Testing

Towards formal energy and time aware behaviors in EAST-ADL: An MDE approach

Kang, E-Y., Perrouin, G. & Schobbens, P-Y., 1 Jan 2012, Proceedings - International Conference on Quality Software. p. 124-127 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Telecommunication systems
Interchanges
Real time systems
Energy utilization
Modeling languages

Verification of Component-based Architectural Models on an Autonomous Truck System

Kang, E-Y., Schobbens, P-Y. & Legay, A., 2012, 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

2011

Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

Kang, E-Y., Schobbens, P-Y. & Pettersson, P., 2011, 30th International Conference on Computer Safety, Reliability and Security, Naples, Italy, September 19-21, 2011 : Programming and Software Engineering. Lecture Notes in Computer Science, Vol. 6894. p. 243-256 14 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Brakes
Semantics
Systems analysis
Wire
Chemical analysis