Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche 2011 2016

  • 105 Citations
  • 7 h-Index
  • 9 Article dans les actes d'une conférence/un colloque
  • 4 Autre contribution
  • 1 Chapitre
  • 1 Article
Filtre
Article dans les actes d'une conférence/un colloque
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érenceArticle dans les actes d'une conférence/un colloque

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 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érenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
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 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érenceArticle 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érenceArticle dans les actes d'une conférence/un colloque

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

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

Model checking
Real time systems
Brakes
Embedded systems
Semantics
2012
111 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.

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

Accès ouvert
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 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érenceArticle dans les actes d'une conférence/un colloque

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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle 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érenceArticle dans les actes d'une conférence/un colloque

Brakes
Semantics
Systems analysis
Wire
Chemical analysis