Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G. & Pierce, K. (2020).
Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. In B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (Eds.),
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (pp. 169-193). Academic Press.
https://www.elsevier.com/books/multi-paradigm-modelling-approaches-for-cyber-physical-systems/tekinerdogan/978-0-12-819105-7
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2018).
Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems.
Studies in Informatics and Control,
27(1), 33-42.
https://doi.org/10.24846/v27i1y201804
Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Derakhshandeh, S. Y.
& Khooban, M. H. (2023).
Multi-Criteria Design of Electric Transit Bus Based on Wireless Charging Infrastructure: A Case Study of Real Road Map in Wakefield.
Automation ,
4(3), 291-308.
https://doi.org/10.3390/automation4030017
Kazemi, Z., Rask, J. K., Gomes, C., Yildiz, E.
& Larsen, P. G. (2023).
Movable factory—A systematic literature review of concepts, requirements, applications, and gaps.
Journal of Manufacturing Systems,
69, 189-207.
https://doi.org/10.1016/j.jmsy.2023.06.008
Iraji, M., Dehghani, M., Mohammadi, M.
, Vafamand, N. & Boudjadar, J. (2021).
Motor Current Signature Analysis Using Shapelet. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.),
Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 23-33). Springer.
https://doi.org/10.1007/978-3-030-65796-3_3
Stepney, S., Cooper, D.
& Woodcock, J. (1998).
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. In J. P. Bowen, A. Fett & M. G. Hinchey (Eds.),
ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Vol. 1, pp. 284-307). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-540-49676-2_20
Chipofya, M., Karamesouti, M., Jan, S., Schwering, A., Murcia, C.
, Schultz, C. P. L., Ho, S., Osewe, G. & Chika, B. (2018).
Modelling Local Knowledge for Inclusive and Responsive Land Information Systems: The Southern Kenyan Maasai Ontology. Poster session presented at World Bank Conference on Land and Poverty 2018, Washington D. C., District of Columbia, United States.
https://its4land.com/world-bank-land-and-poverty-conference-2018/
Freitas, L.
, Hallerstede, S., Hansen, D., Kuppe, M., Mejia, F., Merz, S., Vanzetto, H. & Winter, K. (2014).
Modeling Dijkstra’s Termination Detection Algorithm in TLA+. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/DagRep.3.9.74
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
Yuksel, O.
, Sandberg, M., Hattel, J. H., Akkerman, R. & Baran, I. (2021).
Mesoscale Process Modeling of a Thick Pultruded Composite with Variability in Fiber Volume Fraction.
Materials,
14(13), Article 3763.
https://doi.org/10.3390/ma14133763
Nuka, G.
& Woodcock, J. (2006).
Mechanising a Unifying Theory. In S. Dunne & B. Stoddart (Eds.),
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (pp. 217-235). Springer.
https://doi.org/10.1007/11768173_13
Yuksel, O.
, Sandberg, M., Baran, I., Ersoy, N., Hattel, J. H. & Akkerman, R. (2021).
Material characterization of a pultrusion specific and highly reactive polyurethane resin system: Elastic modulus, rheology, and reaction kinetics.
Composites Part B: Engineering,
207, Article 108543.
https://doi.org/10.1016/j.compositesb.2020.108543
Bajovic, D.
, Bakhtiarnia, A., Bravos, G., Brutti, A., Burkhardt, F., Cauchi, D., Chazapis, A., Cianco, C., Dall'Asen, N., Delic, V., Dimou, C., Djokic, D., Escobar-Molero, A.
, Esterle, L., Eyben, F., Farella, E., Festi, T., Geromitsos, A., Giakoumakis, G. ... Zammit, J. (2021).
MARVEL: Multimodal Extreme Scale Data Analytics for Smart Cities Environments. In
2021 International Balkan Conference on Communications and Networking, BalkanCom 2021 (pp. 143-147). IEEE.
https://doi.org/10.1109/BalkanCom53780.2021.9593258
Thule, C., Lausdahl, K. G., Gomes, C., Meisl, G.
& Larsen, P. G. (2019).
Maestro: The INTO-CPS co-simulation framework.
Simulation Modelling Practice and Theory,
92, 45-61.
https://doi.org/10.1016/j.simpat.2018.12.005