Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. I J. Proença & A. Paskevich (red.),
Proceedings of the 6th Workshop on Formal Integrated Development Environment (Bind 338, s. 3-18). Open Publishing Association.
https://doi.org/10.4204/EPTCS.338.3
Lumer-Klabbers, G., Hausted, J. O., Kvistgaard, J. L., Macedo, H. D., Frasheri, M. & Larsen, P. G. (2021).
Towards a digital twin framework for autonomous robots. I W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (red.),
2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (s. 1254-1259). IEEE.
https://doi.org/10.1109/COMPSAC51774.2021.00174
Chronopoulos, C., Johansen, K. W., Teizer, J., Schultz, C. P. L. & Esterle, L. (2021).
Towards a Holistic, Self-Organised Safety Framework for Construction. I
Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (s. 238-243). IEEE.
https://doi.org/10.1109/ACSOS-C52956.2021.00060
Kruckel, C. J.
, Becker, H., Ban, Y.
, Heck, M. J. R., Van Campenhout, J. & Van Thourhout, D. (2021).
Towards Maximum Energy Efficiency of Carrier-Injection-Based Silicon Photonics.
Journal of Lightwave Technology,
39(9), 2931-2940.
https://doi.org/10.1109/JLT.2021.3059915
Bogomolov, S., Fitzgerald, J., Foldager, F. F., Gamble, C.
, Larsen, P. G., Pierce, K., Stankaitis, P. & Wooding, B. (2021).
Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. I J. Fitzgerald, T. Oda & H. D. Macedo (red.),
Proceedings of the 18th International Overture Workshop (s. 50-65)
https://arxiv.org/pdf/2101.07261.pdf
Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021).
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. I A. L. Lafuente & A. Mavridou (red.),
Formal Methods for Industrial Critical Systems (s. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
Visual Studio Code VDM Support. I J. Fitzgerald, T. Oda & H. D. Macedo (red.),
Proceedings of the 18th International Overture Workshop (s. 35-50)
https://arxiv.org/pdf/2101.07261.pdf
Farkhani, S., Skovsen, S. K., Dyrmann, M., Nyholm Jørgensen, R. & Karstoft, H. (2021).
Weed classification using explainable multi-resolution slot attention.
Sensors,
21(20), Artikel 6705.
https://doi.org/10.3390/s21206705
Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Gusmeroli, S. & Jr, G. S. (2020).
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. I F. De Rango, T. Ören & M. Obaidat (red.),
Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (s. 263-270). SCITEPRESS Digital Library.
https://doi.org/10.5220/0009892802630270
Cogato, A., Pezzuolo, A.
, Sørensen, C. G., De Bei, R., Sozzi, M. & Marinello, F. (2020).
A GIS-based multicriteria index to evaluate the mechanisability potential of Italian vineyard area.
Land,
9(11), 1-17. Artikel 469.
https://doi.org/10.3390/land9110469
Andalibi, M.
, Hajihosseini, M., Gheisarnejad, M.
, Boudjadar, J., Khooban, M. H. & Dragicevic, T. (2020).
A New Nonlinear Controller for Multilevel DC/DC Boost Converter. I
2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (s. 276-280). Artikel 9244399 IEEE.
https://doi.org/10.1109/PEDG48541.2020.9244399
Gomes, C., Franceschini, R., Battle, N.
, Thule, C., Lausdahl, K., Vangheluwe, H.
& Larsen, P. G. (2020).
Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. I
Proceedings of the American Modelica Conference 2020 (s. 149-158). Linköping University Electronic Press.
https://doi.org/10.3384/ecp20169149
Mukherjee, M., Kumar, V., Maity, D., Matam, R., Mavromoustakis, C. X.
, Zhang, Q. & Mastorakis, G. (2020).
Delay-sensitive and Priority-aware Task Offloading for Edge Computing-assisted Healthcare Services. Afhandling præsenteret på 2020 IEEE Global Communications Conference, Taipei, Taiwan.
https://globecom2020.ieee-globecom.org/program/symposia-thursday#S1569589216
Larsen, P. G., Soulioti, G.
, Macedo, H. D., Alifragkis, V., Fitzgerald, J., Livanos, N., Pfeifer, H., Pasquinelli, M., Benedict, M.
, Thule, C., Tonetta, S., Stritzelberger, B., Marguglio, A., Sutton, L. F., Obstbaum, M., Gusmeroli, S., Beutenmüller, F., Jr., G. S., Wijnands, Q.
& Talasila, P. (2020).
Enabling Combining Models and Tools in an Online MBSE Collaboration Platform. I
Model Based Space Systems and Software Engineering (MBSE2020) https://indico.esa.int/event/329/attachments/3868/5508/Abstracts_combined.pdf
Zhao, X., Hosseinzadeh, M., Hudson, N., Khamfroush, H.
& Lucani Rötter, D. E. (2020).
Improving the Accuracy-Latency Trade-off of Edge-Cloud Computation Offloading for Deep Learning Services. I
2020 IEEE Globecom Workshops, GC Wkshps 2020 - Proceedings Artikel 367470 IEEE.
https://doi.org/10.1109/GCWkshps50303.2020.9367470,
https://doi.org/10.1109/GCWkshps50303.2020.9367470
Sobolewska, E. K., Pelloux-Prayer, J., Becker, H., Li, G., Davies, C. S., Krückel, C. J., Avilés Félix, L., Olivier, A., Sousa, R. C., Prejbeanu, I. L., Kiriliouk, A. I., Van Thourhout, D., Rasing, T.
, Moradi, F. & Heck, M. J. R. (2020).
Integration platform for optical switching of magnetic elements. I G. S. Subramania & S. Foteinopoulou (red.),
Active Photonic Platforms XII Artikel 114612B SPIE - International Society for Optical Engineering.
https://doi.org/10.1117/12.2567662
Helmstedt, C., Manouselis , N. M., Martín-Moncunill, D., Protonotarios, V., Sicilia, M.-A., M. Stracke, C., Adamides, G., Aventurier, P., Belsis, P., Beyer, J., Biniari, K., Bouza, D., Ciotoli, F., Engel-Vermette, S., Nicola Ghirad, N. G., Koutoumanos, A.
, Jensen, A. L., Le Henaff, D., Masselin-Silvin , S. ... Tsiflidou, E. (2020).
Opening Up Access to Scientific Information: Recommendations for Improving Virtual Repositories and Online Communities. University Publisher.
https://hal.inrae.fr/hal-02806629/document