Résultat de recherche

Résultat de recherche par an 2011 2020

• 115 Citations
• 7 h-Index
• 10 Article dans les actes d'une conférence/un colloque
• 4 Autre contribution
• 1 Chapitre
• 1 Article

Résultat de recherche par an

Résultat de recherche par an

Résultats de recherche

• 2020

  InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

  Kang, E. Y. & Schobbens, P. Y., juin 2020, 2020 9th Mediterranean Conference on Embedded Computing, MECO 2020. Institute of Electrical and Electronics Engineers Inc., 9134341. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Cyber Physical System
  • health
  • maintenance
  • Health
  • energy
• 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

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Real-time
  • Statistical Analysis
  • Statistical methods
  • Formal Analysis
  • Energy
• 2014

  Schedulability analysis support for automotive systems: From requirement to implementation

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

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File

  • Scheduling
  • Interchanges
  • Model checking
  • Brakes
  • Costs
  87 Téléchargements (Pure)
• 2013

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

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

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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 sept. 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013. p. 481-482 2 p. 6569764

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Software defined networking
  • Specifications
  • Flow control
  • Network architecture
  • Controllers

• 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

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Model checking
  • Real time systems
  • Brakes
  • Embedded systems
  • Systems analysis
• 2012

  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.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  File

  • Quality assurance
  • Model checking
  • Vending machines
  • Testing
  124 Téléchargements (Pure)

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

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

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Telecommunication systems
  • Interchanges
  • Modeling languages
  • Real time systems
  • Energy utilization

• 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.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• 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.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Brakes
  • Systems analysis
  • Wire
  • Semantics
  • Chemical analysis