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
54 Downloads (Pure)
File

A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL

Kang, E-Y., 2011, (Non publié)

Résultats de recherche: Autre contribution

A methodology for formal analysis and verification of EAST-ADL models

Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 juil. 2013, Dans : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Formal Analysis
Formal Verification
Methodology
Timing
Requirements
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.

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

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

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems

Kang, E-Y. & Schobbens, P-Y., 1 janv. 2013, IEEE International Conference on Control and Automation, ICCA. p. 1890-1895 6 p.

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

Real time systems
Telecommunication systems
Brakes
Semantics
Wire

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

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

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

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
94 Downloads (Pure)
File