Kulik, T., Talasila, P., Greco, P., Veneziano, G., Marguglio, A., Sutton, L. F.
, Larsen, P. G. & Macedo, H. D. (2021).
Extending the Formal Security Analysis of the HUBCAP sandbox. In H. D. Macedo, C. Thule & K. Pierce (Eds.),
Proceedings of the 19th International Overture Workshop (pp. 36-50)
https://arxiv.org/abs/2110.09371
Larsen, P. G., Mukherjee, P., Bousquet, F., Delabre, J. & Paynter, S. (2000).
Exploring Timing Properties using VDM++ on an Industrial Application. Paper presented at The Second VDM Workshop - in conjunction with ZB 2000, York, United Kingdom.
http://www.vdmportal.org/twiki/pub/Main/VDMWorkshop2/vicepaper.pdf
Glässer, U.
, Hallerstede, S., Leuschel, M. & Riccobene, E. (2014).
Executive Summary; Integration of Tools for Rigorous Software Construction and Analysis seminar. 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
Oakes, B. J.
, Gomes, C., Larsen, P. G., Denil, J., Deantoni, J., Cambeiro, J. & Fitzgerald, J. (2023).
Examining Model Qualities and Their Impact on Digital Twins. In M. J. Blas & G. Alvarez (Eds.),
2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 220-232). IEEE.
https://ieeexplore.ieee.org/document/10155350
Kondyli, V.
, Schultz, C. P. L. & Bhatt, M. (2017).
Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. In E. Clementini, M. Donnelly, M. Yuan, C. Kray, P. Fogliaroni & A. Ballatore (Eds.),
13th International Conference on Spatial Information Theory, COSIT 2017 (pp. 1-14). Article 11
https://doi.org/10.4230/LIPIcs.COSIT.2017.11
G. Aydal, E., Freeman Paige, R.
& Woodcock, J. (2007).
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. In H. Giese (Ed.),
Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (pp. 194-205). Springer.
https://doi.org/10.1007/978-3-540-69073-3_21
Fitzgerald, J.
, Larsen, P. G., Margaria, T.
& Woodcock, J. (2021).
Engineering of Digital Twins for Cyber-Physical Systems. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 49-53). Springer.
https://doi.org/10.1007/978-3-030-83723-5_4
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
Lyng, R.
, Bennedsen, J., Bettaieb, L., Bodsberg, N. R., Edström, K., Guðjónsdóttir, M. S., Roslöf, J., Solbjørg, O. K. & Øien, G. (2023).
Editorial. In
Proceedings of the 19th International CDIO Conference (pp. iv-v). NTNU Norwegian University of Science and Technology.
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