Battle, N., Thule, C., Gomes, C.
, Macedo, H. D. & Larsen, P. G. (2020).
Towards a Static Check of FMUs in VDM-SL. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods: FM 2019 International Workshops (s. 272-288). Springer.
https://doi.org/10.1007/978-3-030-54997-8_18
Macedo, H. D., Bayard Rasmussen, M., Thule, C. & Larsen, P. G. (2020).
Migrating the INTO-CPS Application to the Cloud. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods: FM 2019 International Workshops (s. 254-271). Springer.
https://doi.org/10.1007/978-3-030-54997-8_17
Oda, T., Araki, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H. M.
& Larsen, P. G. (2020).
ViennaDoc: An animatable and testable specification documentation tool. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods. FM 2019 International Workshops (s. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8_19
Miloradovic, B.
, Frasheri, M., Çürüklü, B., Ekström, M. & Papadopoulos, A. V. (2019).
TAMER: Task Allocation in Multi-robot Systems Through an Entity-Relationship Model. I M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (red.),
PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings (s. 478-486). Springer.
https://doi.org/10.1007/978-3-030-33792-6
Frasheri, M., Cano-Garcia, J., Gonzalez-Parada, E., Çürüklü, B., Ekström, M., Papadopoulos, A. & Urdiales, C. (2020).
Adaptive Autonomy in Wireless Sensor Networks. I
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020 (s. 375-383)
http://www.es.mdh.se/publications/5742-Adaptive_Autonomy_in_Wireless_Sensor_Networks
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H.-M.
& Larsen, P. G. (2020).
ViennaDoc: An Animatable and Testable Specification Documentation Tool. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods: FM 2019 International Workshops (Bind Revised Selected Papers, Part II, s. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8
Banaei, M., Ghanami, F.
, Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2020).
Energy Management of Hybrid Diesel/Battery Ships in Multidisciplinary Emission Policy Areas.
Energies,
13(16), Artikel 4179.
https://doi.org/10.3390/en13164179
Larsen, P. G., Macedo, H. D., Gonçalves Gomes, C. Â., Esterle, L., Thule, C., Fitzgerald, J. & Pierce, K. (2020).
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. I J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (red.),
Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers: FISEE 2019 (s. 196-213). Springer.
https://doi.org/10.1007/978-3-030-57663-9_13
Hallerstede, S., Larsen, P. G., Boudjadar, J., Schultz, C. P. L. & Esterle, L. (2020).
On the Design of a New Software Engineering Curriculum in Computer Engineering. I J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (red.),
Frontiers in Software Engineering Education: FISEE 2019 (s. 178-195). Springer.
https://doi.org/10.1007/978-3-030-57663-9_12,
https://doi.org/10.1007%2F978-3-030-57663-9
Letafat, A.
, Rafiei, M., Ardeshiri, M., Sheikh, M.
, Banaei, M., Boudjadar, J. & Khooban, M. H. (2020).
An Efficient and Cost-Effective Power Scheduling in Zero-Emission Ferry Ships.
Complexity,
2020, Artikel 6487873.
https://doi.org/10.1155/2020/6487873
Bennedsen, J., Keiding, T. B. & Godsk, M. (2020).
Learning design and the tension between strategy and didactics. I J. Malmqvist, J. Bennedsen, K. Edström, N. Kuptasthien, A. Sripakagorn, J. Roslöf, I. Saemundsdottir & M. Siiskonen (red.),
The 16th International CDIO Conference: Proceedings – Full Papers (Bind 2, s. 285-295). Chalmers tekniska högskola.
https://research.chalmers.se/publication/519263/file/519263_Fulltext.pdf
Mühling, A., Schulte, C.
, Bennedsen, J., Budde, L. & Große-Bölting, G. (2019).
Assessing students' understanding of object structures. I
19th Koli Calling International Conference on Computing Education Re-search (Koli Calling ’19), November 21–24, 2019, Koli, Finland Artikel 1 Association for Computing Machinery.
https://doi.org/10.1145/3364510.3364511
Gomes, C., Barroca, B. & Amaral, V. (2018).
Classification of Model Transformation Tools: Pattern Matching Techniques. I J. Dingel, W. Schulte, I. Ramos, S. Abrahao & E. Insfran (red.),
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings (Bind 8767, s. 619-635). Springer.
https://doi.org/10.1007/978-3-319-11653-2_38
Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H. (2019).
Stable Adaptive Co-simulation: A Switched Systems Approach. I B. Schweizer (red.),
IUTAM Symposium on Solver-Coupling and Co-Simulation: Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017 (s. 81-97). Springer.
https://doi.org/10.1007/978-3-030-14883-6_5
Gomes, C., Oakes, B. J., Moradi, M., Torres Gamiz, A., Mendo, J. C., Dutre, S., Denil, J. & Vangheluwe, H. (2019).
HintCO - Hint-Based Configuration of Co-Simulations. I
SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (s. 57-68)
http://msdl.cs.mcgill.ca/people/bentley/research/HintCO.pdf
Schweiger, G.
, Gomes, C., Engel, G., Hafner, I., Schoeggl, J., Posch, A. & Nouidui, T. S. (2019).
An empirical survey on co-simulation: Promising standards, challenges and research needs.
Simulation Modelling Practice and Theory,
95, 148-163.
https://doi.org/10.1016/j.simpat.2019.05.001
Hasanagic, M., Fabri, T.
, Larsen, P. G., Bandur, V., Tran-Jørgensen, P. W. V. & Ouy, J. (2019).
Code generation for distributed embedded systems with VDM-RT.
Design Automation for Embedded Systems,
23(3-4), 153-177.
https://doi.org/10.1007/s10617-019-09227-0
Khooban, M. H., Gheisarnejad, M., Farsizadeh, H., Masoudian, A.
& Boudjadar, J. (2020).
A New Intelligent Hybrid Control Approach for DC/DC Converters in Zero-Emission Ferry Ships.
IEEE Transactions on Power Electronics,
35(6), 5832-5841. Artikel 8890831.
https://doi.org/10.1109/TPEL.2019.2951183
Lewis, P. R.
, Esterle, L., Chandra, A., Rinner, B., Torresen, J. & Yao, X. (2015).
Static, dynamic, and adaptive heterogeneity in distributed smart camera networks.
ACM Transactions on Autonomous and Adaptive Systems,
10(2), Artikel 8.
https://doi.org/10.1145/2764460
Piciarelli, C.
, Esterle, L., Khan, A., Rinner, B. & Foresti, G. L. (2016).
Dynamic Reconfiguration in Camera Networks: A Short Survey.
IEEE Transactions on Circuits and Systems for Video Technology,
26(5), 965-977. Artikel 7095560.
https://doi.org/10.1109/TCSVT.2015.2426575
Esterle, L., Simonjan, J., Nebehay, G., Pflugfelder, R., Domínguez, G. F. & Rinner, B. (2016).
Self-aware object tracking in multi-camera networks. I
Self-aware Computing Systems: An Engineering Approach (s. 261-277). Springer.
https://doi.org/10.1007/978-3-319-39675-0_13
Lukina, A., Tiwari, A., Smolka, S. A.
, Esterle, L., Yang, J. & Grosu, R. (2018).
Resilient control and safety for cyber-physical systems.
Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018, 16-17.
https://doi.org/10.1109/MT-CPS.2018.00015
Andras, P.
, Esterle, L., Guckert, M., Han, T. A., Lewis, P. R., Milanovic, K., Payne, T., Perret, C., Pitt, J., Powers, S. T., Urquhart, N. & Wells, S. (2018).
Trusting Intelligent Machines: Deepening Trust Within Socio-Technical Systems.
IEEE Technology and Society Magazine,
37(4), 76-83. Artikel 8558724.
https://doi.org/10.1109/MTS.2018.2876107
Bellman, K., Botev, J., Diaconescu, A.
, Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Stein, A., Tomforde, S. & Wurtz, R. P. (2019).
Self-improving system integration - Status and challenges after five years of SISSY.
Proceedings - 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2018, 160-167.
https://doi.org/10.1109/FAS-W.2018.00042
Taherinejad, N., Lewis, P., Jantsch, A., Rahmani, A.
& Esterle, L. (2019).
Resource constrained self-aware cyber-physical systems (Tutorial).
Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, 259-260.
https://doi.org/10.1109/FAS-W.2019.00071