<  Back to the Polytechnique Montréal portal

Items where Author is "Vangheluwe, Hans"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Publication Date | Document subtype | No Grouping
Number of items: 14.

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

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

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

Oakes, B., Parsai, A., Van Mierlo, S., Demeyer, S., Denil, J., De Meulenaere, P., & Vangheluwe, H. (2021, February). Improving digital twin experience reports [Paper]. 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021). External link

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

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

Van Mierlo, S., Oakes, B., Van Acker, B., Eslampanah, R., Denil, J., & Vangheluwe, H. (2020, June). Exploring Validity Frames in Practice [Paper]. First International Conference on Systems Modelling and Management (ICSMM 2020), Bergen, Norway. External link

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

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

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

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

Oakes, B., Verbrugge, C., Lúcio, L., & Vangheluwe, H. (2018, October). Debugging of Model Transformations and Contracts in SyVOLT [Paper]. MDEbug Workshop, colocated with 21st Model Driven Engineering Languages and Systems (MODELS MDEbug 2018), Copenhagen, Denmark. External link

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

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

List generated on: Tue Dec 3 08:38:50 2024 EST