Zambrano, V., Mueller-Roemer, J.
, Sandberg, M., Talasila, P., Zanin, D.
, Larsen, P. G., Loeschner, E., Thronicke, W., Pietraroia, D., Landofi, G., Fontana, A., Laspalas, M., Antony, J., Poser, V., Kiss, T., Bergweiler, S., Pena Serna, S., Izquierdo, S., Viejo, I. ... Stork, A. (2022).
Industrial Digitalization in the Industry 4.0 era: Classification, Reuse and Authoring of Digital Models on Digital Twin Platforms.
Array,
14, Artikel 100176.
https://doi.org/10.1016/j.array.2022.100176
Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Veneziano, G., Sutton, L., Gusmeroli, S. & Suciu, G. (2022).
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. I M. S. Obaidat, T. Oren & F. D. Rango (red.),
Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020 (s. 90-110). Springer.
https://doi.org/10.1007/978-3-030-84811-8_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. I
SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (s. 57-68)
http://msdl.cs.mcgill.ca/people/bentley/research/HintCO.pdf
Oakes, B. J.
, Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J. & Vangheluwe, H. (2021).
Hint-based configuration of co-simulations with algebraic loops. I M. S. Obaidat, M. S. Obaidat, M. S. Obaidat, T. Ören & H. Szczerbicka (red.),
Simulation and Modeling Methodologies, Technologies and Applications - 9th International Conference, SIMULTECH 2019, Revised Selected Papers (s. 1-28). Springer.
https://doi.org/10.1007/978-3-030-55867-3_1
Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H.
& Larsen, P. G. (2020).
Generation of Co-simulation Algorithms Subject to Simulator Contracts. I J. Camara & M. Steffen (red.),
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (s. 34-49). Springer.
https://doi.org/10.1007/978-3-030-57506-9_4
Hallerstede, S., Hasanagic, M., Krings, S.
, Larsen, P. G. & Leuschel, M. (2018).
From Software Specifications to Constraint Programming. I E. Broch Johnsen & I. Schafer (red.),
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (s. 21-36). Springer.
https://doi.org/10.1007/978-3-319-92970-5_2
Ubys, L., Vancea, V. N.
, Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F. (2022).
Formal Model In-The-Loop for Secure Industrial Control Networks. I
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (s. 74-89). Springer.
https://doi.org/10.1007/978-3-031-20872-0_5
Kulik, T., Dongol, B.
, Larsen, P. G., Macedo, H. D., Schneider, S.
, Tran-Jørgensen, P. W. V. & Woodcock, J. (2020).
Formal Methods in Security Survey. Manuskript afsendt til publicering.
Hasanagic, M., Tran-Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2016).
Formalising and Validating the Interface Description in the FMI standard. I J. Fitzgerald, C. Heitmeyer, S. Gnesi & A. Philippou (red.),
FM 2016: Formal Methods - 21st International Symposium, Proceedings (Bind 9995, s. 344-351). Springer.
https://doi.org/10.1007/978-3-319-48989-6_21
Larsen, P. G., Fitzgerald, J.
, Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018).
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. I A. Cerone & M. Roveri (red.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (s. 377-390). Springer.
https://doi.org/10.1007/978-3-319-74781-1_26
Larsen, P. G., Fitzgerald, J. S., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2017).
Features of Integrated Model-based Co-modelling and Co-simulation Technology. Afhandling præsenteret på 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italien.
https://drive.google.com/open?id=0B2ej7mC7hWVrMEM0bjNqbWc1a0k
Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018).
Features of integrated model-based co-modelling and co-simulation technology. I A. Cerone & M. Roveri (red.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Bind 10729, s. 377-390). Springer.
https://doi.org/10.1007/978-3-319-74781-1_26
Woodcock, J., Cavalcanti, A., Fitzgerald, J.
, Larsen, P. G., Miyazawa, A. & Perry, S. (2012).
Features of CML: a formal modelling language for Systems of Systems. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien.
https://doi.org/10.1109/SYSoSE.2012.6384144
Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021).
Fault Injecting Co-simulations for Safety. 6-13. Afhandling præsenteret på 5th International Conference on System Reliability and Safety, Palermo, Italien.
https://doi.org/10.1109/ICSRS53853.2021.9660728
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. I H. D. Macedo, C. Thule & K. Pierce (red.),
Proceedings of the 19th International Overture Workshop (s. 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. Afhandling præsenteret på The Second VDM Workshop - in conjunction with ZB 2000, York, Storbritannien.
http://www.vdmportal.org/twiki/pub/Main/VDMWorkshop2/vicepaper.pdf