Böttjer, T., Ørnskov Rønsch, G.
, Gonçalves Gomes, C. Â., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2021).
Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds. In A.-L. Andersen, R. Andersen, D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (Eds.),
Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems: Proceedings of the Changeable, Agile, Reconfigurable and Virtual Production Conference and the World Mass Customization & Personalization Conference (pp. 431-439). Springer.
https://www.springerprofessional.de/en/data-driven-identification-of-remaining-useful-life-for-plastic-/19816878
Böttjer, T., Ørnskov Rønsch, G.
, Gomes, C., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2021).
Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds. In A.-L. Andersen, R. Andersen, T. D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (Eds.),
Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems - Proceedings of the 8th Changeable, Agile, Reconfigurable and Virtual Production Conference CARV 2021 and 10th World Mass Customization and Personalization Conference MCPC 2021 (pp. 431-439). Springer.
https://doi.org/10.1007/978-3-030-90700-6_49
Gibson, P.
, Larsen, P. G., Pantel, M., Fitzgerald, J. & Woodcock, J. (2018).
Cyber-Physical Systems Engineering: An Introduction. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Vol. III, pp. 407-411). Springer.
https://doi.org/10.1007/978-3-030-03424-5_27
Naseri, F., Kazemi, Z., Larsen, P. G., Arefi, M. M. & Schaltz, E. (2023).
Cyber-Physical Cloud Battery Management Systems: Review of Security Aspects.
Batteries,
9(7), Article 382.
https://doi.org/10.3390/batteries9070382
Lawrence, D. P. Y.
, Gomes, C., Denil, J., Vangheluwe, H. & Buchs, D. (2016).
Coupling Petri nets with deterministic formalisms using co-simulation. Paper presented at 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, United States.
Volk, M., Yuksel, O., Baran, I., Hattel, J. H., Spangenberg, J.
& Sandberg, M. (2022).
Cost-efficient, automated, and sustainable composite profile manufacture: A review of the state of the art, innovations, and future of pultrusion technologies.
Composites Part B: Engineering,
246, Article 110135.
https://doi.org/10.1016/j.compositesb.2022.110135
Gomes, C., Thule, C., Deantoni, J.
, Larsen, P. G. & Vangheluwe, H. (2018).
Co-simulation: The Past, Future, and Open Challenges. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Vol. III, pp. 504-520). Springer.
https://doi.org/10.1007/978-3-030-03424-5_34
Alfalouji, Q., Schranz, T., Falay, B., Wilfling, S., Exenberger, J., Mattausch, T.
, Gomes, C. & Schweiger, G. (2023).
Co-simulation for buildings and smart energy systems — A taxonomic review.
Simulation Modelling Practice and Theory,
126, Article 102770.
https://doi.org/10.1016/j.simpat.2023.102770
Hansen, S. T., Thule, C.
, Gomes, C., Lausdahl, K. G., Madsen, F. P.
, Abbiati, G. & Larsen, P. G. (2024).
Co-simulation at different levels of expertise with Maestro2.
Journal of Systems and Software,
209, Article 111905.
https://doi.org/10.1016/j.jss.2023.111905
Gomes, C., Thule, C., Broman, D.
, Larsen, P. G. & Vangheluwe, H. (2018).
Co-Simulation: A Survey.
ACM Computing Surveys,
51(3), Article 49.
https://doi.org/10.1145/3179993
Woodcock, J., Cavalcanti, A., Fitzgerald, J., Foster, S.
& Larsen, P. G. (2014).
Contracts in CML. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (pp. 54-73). Springer.
https://doi.org/10.1007/978-3-662-45231-8_5
Legaard, C. M., Schranz, T., Schweiger, G., Drgona, J., Falay, B.
, Gomes, C., Iosifidis, A., Abkar, M. & Larsen, P. G. (2023).
Constructing Neural Network Based Models for Simulating Dynamical Systems.
ACM Computing Surveys,
55(11), 1-34. Article 236.
https://doi.org/10.1145/3567591
Coleman, J. W., Malmos, A. K.
, Larsen, P. G., Peleska, J. & Hains, R. (2012).
COMPASS Tool Vision for a System of Systems Collaborative Development Environment. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy.
https://doi.org/10.1109/SYSoSE.2012.6384150
Larsen, P. G., Prinz, A., Snook, C. F. & Shahir , H. Y. (2014).
Comparison of Methods. 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
Talasila, P., Crăciunean, C., Bogdan-Constantin, P.
, Larsen, P. G., Zamfirescu, C.-B. & Scovill, A. (2022).
Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri & G. Venture (Eds.),
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 238–244). Springer, Cham.
https://doi.org/10.1007/978-3-031-12429-7_17
Fitzgerald, J., Bryans, J.
, Larsen, P. G. & Salim, H. (2014).
Collaborative systems of systems need collaborative design. In L. M. Camarinha-Matos & H. Afsarmanesh (Eds.),
Collaborative systems for smart networked environements: 15th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2014, Proceedings (Vol. 434, pp. 16-23). Springer.
https://doi.org/10.1007/978-3-662-44745-1_2
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
Fitzgerald, J., Gamble, C., Mansfield, M., Ouy, J., Palacin, R., Pierce, K.
& Larsen, P. G. (2018).
Collaborative modelling and co-simulation for Transportation Cyber-Physical Systems. In L. Deka & M. Chowdhury (Eds.),
Transportation Cyber-Physical Systems (pp. 51-79). Elsevier.
https://doi.org/10.1016/C2017-0-00963-1
Fitzgerald, J., Gamble, C., Payne, R.
, Larsen, P. G., Basagiannis, S. & Mady, A. E.-D. (2016).
Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study.
INCOSE International Symposium,
26(1), 817-832.
https://doi.org/10.1002/j.2334-5837.2016.00195.x
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
Bhatt, M., Hee Lee, J.
& Schultz, C. P. L. (2011).
CLP(QS): A Declarative Spatial Reasoning Framework. In M. J. Egenhofer, N. Giudice, R. Moratz & M. Worboys (Eds.),
Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA (1 ed., pp. 210-230). Springer Verlag, Berlin, Heidelberg.
https://doi.org/10.1007/978-3-642-23196-4_12