Battle, N., Thule, C., Gomes, C.
, Macedo, H. D. & Larsen, P. G. (2020).
Towards a Static Check of FMUs in VDM-SL. In 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 (Eds.),
Formal Methods: FM 2019 International Workshops (pp. 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. In 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 (Eds.),
Formal Methods: FM 2019 International Workshops (pp. 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. In 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 (Eds.),
Formal Methods. FM 2019 International Workshops (pp. 289-302). Springer.
https://doi.org/10.1007/978-3-030-54997-8_19
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. In 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 (Eds.),
Formal Methods: FM 2019 International Workshops (Vol. Revised Selected Papers, Part II, pp. 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), Article 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. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.),
Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers: FISEE 2019 (pp. 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. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.),
Frontiers in Software Engineering Education: FISEE 2019 (pp. 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, Article 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. In J. Malmqvist, J. Bennedsen, K. Edström, N. Kuptasthien, A. Sripakagorn, J. Roslöf, I. Saemundsdottir & M. Siiskonen (Eds.),
The 16th International CDIO Conference: Proceedings – Full Papers (Vol. 2, pp. 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. In
19th Koli Calling International Conference on Computing Education Re-search (Koli Calling ’19), November 21–24, 2019, Koli, Finland Article 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. In J. Dingel, W. Schulte, I. Ramos, S. Abrahao & E. Insfran (Eds.),
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings (Vol. 8767, pp. 619-635). Springer.
https://doi.org/10.1007/978-3-319-11653-2_38
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. In
SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 57-68)
http://msdl.cs.mcgill.ca/people/bentley/research/HintCO.pdf
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. Article 8890831.
https://doi.org/10.1109/TPEL.2019.2951183
Becker, T., Agne, A., Lewis, P. R., Bahsoon, R., Faniyi, F.
, Esterle, L., Keller, A., Chandra, A., Jensenius, A. R. & Stilkerich, S. C. (2012).
EPiCS: Engineering proprioception in computing systems.
-, 353-360.
https://doi.org/10.1109/ICCSE.2012.56
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), Article 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. Article 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. In
Self-aware Computing Systems: An Engineering Approach (pp. 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.
-, 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. Article 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.
-, 160-167.
https://doi.org/10.1109/FAS-W.2018.00042
Li, B., Bhatt, M.
& Schultz, C. (2019).
λProlog(QS): Functional spatial reasoning in higher order logic programming. In S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (Eds.),
14th International Conference on Spatial Information Theory, COSIT 2019 Article 26 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.COSIT.2019.26
Oda, T., Keijiro, A., Yamamoto, Y., Nakakoji, K., Hiroshi, S., Chang, H.-M.
& Larsen, P. G. (2019).
ViennaDoc: An Animatable and Testable Specication Documentation Tool. In C. Gamble & L. Diogo Couto (Eds.),
Proceedings of the 17th Overture Workshop (pp. 76-90). Newcastle University.