PET - A Partial Exploration Tool for Probabilistic Verification.

Meggendorfer, T., 21/10/2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). p. 320-326 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Parametric Study of Pin-based Gap Waveguide for Millimeter Wave Slow Wave Structures

Zied Abozied, A. & Letizia, R., 17/10/2022, 2022 15th UK-Europe-China Workshop on Millimetre-Waves and Terahertz Technologies (UCMMT). IEEE, 3 p. (2022 15th UK-Europe-China Workshop on Millimetre-Waves and Terahertz Technologies (UCMMT)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Exploiting the Potential of the Edge-Cloud Continuum with Self-distributing Systems

Rodrigues Filho, R., Bittencourt, L., Porter, B. & Costa, F., 15/10/2022, (Accepted/In press) International Workshop on Cloud and Edge Computing. IEEE, 7 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Modelling Aerodynamics of a Floating Offshore Wind Turbine Using the Overset Mesh Solver In OpenFOAM

Lin, Z., Qian, L., Campobasso, M. S., Bai, W., Zhou, Y. & Ma, Z., 13/10/2022, ASME 2022 41st International Conference on Ocean, Offshore and Arctic Engineering. Hamburg: American Society of Mechanical Engineers (ASME), 7 p. (Volume 8: Ocean Renewable Energy; vol. Volume 8: Ocean Renewable Energy).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

HolonCraft-An Architecture for Dynamic Construction of Smart Home Workflows

Wang, Z., Elkhatib, Y. & Elhabbash, A., 10/10/2022, Proceedings - 2022 International Conference on Future Internet of Things and Cloud, FiCloud 2022. Younas, M., Awan, I. & Rahayu, W. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 213-220 8 p. (Proceedings - 2022 International Conference on Future Internet of Things and Cloud, FiCloud 2022).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Advanced Machine Learning Approach of Power Flow Optimization in Community Microgrid

Aldahmashi, J. & Ma, X., 10/10/2022, Proceedings of the 27th International Conference on Automation & Computing (ICAC2022). IEEE, 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Dual Quaternion Based Finite-Time Tracking Control for Mechatronic Systems with Actuation Allocation

Sun, L., Huang, Y., Wang, Z., Xiao, B. & Yeatman, E., 10/10/2022, 2022 27th International Conference on Automation and Computing (ICAC). IEEE, 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Data-driven Process Parameter Optimisation for Laser Wire Metal Additive Manufacturing

Roberts, M., Xia, M. & Kennedy, A., 10/10/2022, Proceedings of the 27th International Conference on Automation & Computing. IEEE, p. 1-6 6 p. 124

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Sustainable Technological Futures: Moving beyond a One-World-World perspective

Stead, M. & Coulton, P., 8/10/2022, NordiCHI 2022: Nordic Human-Computer Interaction Conference. New York: ACM, 17 p. 97

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Eco-Joy: Imagining Sustainable and Joyful Food Eco-label Futures

Shakeri, G., Jung, F., Bertran, F. A., Friday, A. & Galeote, D. F., 8/10/2022, Participative Computing for Sustainable Futures - Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022. New York: Association for Computing Machinery (ACM), p. 1:1-1:7 7 p. 1. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review