<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Vangheluwe, Hans"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Nombre de documents: 14

Oakes, B., Parsai, A., Meyers, B., David, I., Mierlo, S. V., Demeyer, S., Denil, J., Meulenaere, P. D., & Vangheluwe, H. (février 2022). A Digital Twin Description Framework and Its Mapping to Asset Administration Shell [Communication écrite]. Model-Driven Engineering and Software Development, Cham (24 pages). Lien externe

Karaduman, B., Oakes, B., Eslampanah, R., Denil, J., Vangheluwe, H., & Challenger, M. (2022). An Architecture and Reference Implementation for WSN-Based IoT Systems. Dans Taser, P. Y. (édit.), Emerging Trends in IoT and Integration with Data Science, Cloud Computing, and Big Data Analytics (p. 80-103). Lien externe

Oakes, B., Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J., & Vangheluwe, H. (juillet 2019). Hint-Based Configuration of Co-simulations with Algebraic Loops [Communication écrite]. Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2019), Prague, Czech Republic (28 pages). Non disponible

Oakes, B., Parsai, A., Van Mierlo, S., Demeyer, S., Denil, J., De Meulenaere, P., & Vangheluwe, H. (février 2021). Improving digital twin experience reports [Communication écrite]. 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021). Lien externe

Oakes, B., Moradi, M., Van Mierlo, S., Vangheluwe, H., & Denil, J. (septembre 2021). Machine learning-based fault injection for hazard analysis and risk assessment [Communication écrite]. 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2021), York, England. Lien externe

Oakes, B., Meyers, B., Janssens, D., & Vangheluwe, H. (septembre 2021). Structuring and Accessing Knowledge for Historical and Streaming Digital Twins [Communication écrite]. 1st Workshop on Ontology-Driven Conceptual Modelling of Digital Twins¸, co-located with Semantics 2021, Amsterdam, NL (13 pages). Non disponible

Van Mierlo, S., Oakes, B., Van Acker, B., Eslampanah, R., Denil, J., & Vangheluwe, H. (juin 2020). Exploring Validity Frames in Practice [Communication écrite]. First International Conference on Systems Modelling and Management (ICSMM 2020), Bergen, Norway. Lien externe

Oakes, B., Franceschini, R., Van Mierlo, S., & Vangheluwe, H. (septembre 2019). The computational notebook paradigm for multi-paradigm modeling [Communication écrite]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany. Lien externe

Gomes, C., Oakes, B., Moradi, M., Torres Gamiz, A. C., Mendo, J., Dutre, S., Denil, J., & Vangheluwe, H. (juillet 2019). HintCO: Hint-based configuration of co-simulations [Communication écrite]. 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2019), Prague, Czech Republic. Lien externe

Meyers, B., Gadeyne, K., Oakes, B., Bernaerts, M., Vangheluwe, H., & Denil, J. (septembre 2019). A model-driven engineering framework to support the functional safety process [Communication écrite]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany. Lien externe

Bernaerts, M., Oakes, B., Vanherpen, K., Aelvoet, B., Vangheluwe, H., & Denil, J. (septembre 2019). Validating industrial requirements with a contract-based approach [Communication écrite]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany. Lien externe

Oakes, B., Verbrugge, C., Lúcio, L., & Vangheluwe, H. (octobre 2018). Debugging of Model Transformations and Contracts in SyVOLT [Communication écrite]. MDEbug Workshop, colocated with 21st Model Driven Engineering Languages and Systems (MODELS MDEbug 2018), Copenhagen, Denmark. Lien externe

Lucio, L., Oakes, B., Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R., & Vangheluwe, H. (septembre 2015). SyVOLT: Full Model Transformation Verification Using Contract [Communication écrite]. Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont.. Lien externe

Lúcio, L., Oakes, B., & Vangheluwe, H. (2014). A technique for symbolically verifying properties of graph-based model transformations. (Rapport technique n° SOCS-TR-2014.1). Non disponible

Liste produite: Thu Dec 26 03:50:25 2024 EST.