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
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. In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (Eds.),
PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings (pp. 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. In
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020 (pp. 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. 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., Legat, B., Jungers, R. M. & Vangheluwe, H. (2019).
Stable Adaptive Co-simulation: A Switched Systems Approach. In B. Schweizer (Ed.),
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 (pp. 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. 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
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. Article 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), 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.
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. 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.
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
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