Résultat de recherche par année
Résultat de recherche 2011 2016
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. 7603790Ré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
Statistical Analysis
Statistical methods
Real-time
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
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. 6569764Ré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
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. 6601814Ré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
Semantics
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
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
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é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
Semantics
Systems analysis
Wire
Chemical analysis