Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J.
, Lausdahl, K. & Verhoef, M. (2010).
The Overture Initiative – Integrating Tools for VDM. I
Harnessing Theories for Tool Support in Software (s. 9)
Larsen, P. G., Prinz, A., Snook, C. F. & Shahir , H. Y. (2014).
Comparison of Methods. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/DagRep.3.9.74
Larsen, P. G., Gamble, C., Pierce, K., Ribeiro, A.
& Lausdahl, K. (2014).
Support for Co-modelling and Co-simulation: The Crescendo Tool. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.),
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 97-114). Springer.
https://doi.org/10.1007/978-3-642-54118-6_5
Larsen, P. G., Fitzgerald, J.
, Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M.
, Green, O., Basagiannis, S. & Sadovykh, A. (2016).
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. I
2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (s. 1-6). IEEE.
https://doi.org/10.1109/CPSData.2016.7496424
Larsen, P. G., Fitzgerald, J.
, Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. (2016).
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. I M. Tiziana & S. Bernhard (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Bind II, s. 171-186). Springer.
https://doi.org/10.1007/978-3-319-47169-3_13
Larsen, P. G., Thule, C., Lausdahl, K. G., Bandur, V., Gamble, C., Brosse, E., Sadovykh, A., Bagnato, A. & Couto, L. D. (2016).
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems. I P. G. Larsen, N. Plat & N. Battle (red.),
The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28 (Bind 4/28, s. 63-79). Aarhus University, Department of Engineering.
http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669
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
Larsen, P. G., Fitzgerald, J., Woodcock, J., König, C., Basagiannis, S., Brosse, E., Gomes, C., Cabral, J.
, Macedo, H. D., Thule, C., Sadovykh, A., Zamfirescu, C.-B., Neghina, M., Pierce, K., Gamble, C. & Payne, R. (2018).
The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide.
http://into-cps.org/fileadmin/into-cps.org/Filer/INTO-CPS-Manifesto.pdf
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. I J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (red.),
Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers: FISEE 2019 (s. 196-213). Springer.
https://doi.org/10.1007/978-3-030-57663-9_13
Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Gusmeroli, S. & Jr, G. S. (2020).
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. I F. De Rango, T. Ören & M. Obaidat (red.),
Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (Bind Volume 1: SIMULTECH, s. 263-270). SCITEPRESS Digital Library.
https://doi.org/10.5220/0009892802630270
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., Soulioti, G.
, Macedo, H. D., Alifragkis, V., Fitzgerald, J., Livanos, N., Pfeifer, H., Pasquinelli, M., Benedict, M.
, Thule, C., Tonetta, S., Stritzelberger, B., Marguglio, A., Sutton, L. F., Obstbaum, M., Gusmeroli, S., Beutenmüller, F., Jr., G. S., Wijnands, Q.
& Talasila, P. (2020).
Enabling Combining Models and Tools in an Online MBSE Collaboration Platform. I
Model Based Space Systems and Software Engineering (MBSE2020) https://indico.esa.int/event/329/attachments/3868/5508/Abstracts_combined.pdf
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
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.
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
Kulik, T., Dongol, B.
, Larsen, P. G., Macedo, H. D., Schnieder, S.
, Tran-Jørgensen, P. W. V. & Woodcock, J. (2022).
A Survey of Practical Formal Methods for Security.
Formal Aspects of Computing,
34(1), Artikel 3522582.
https://doi.org/10.1145/3522582
Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022).
Towards Secure Digital Twins. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (s. 159-176). Springer.
https://doi.org/10.1007/978-3-031-19762-8_11
Krukar, J.
, Schultz, C. P. L. & Bhatt, M. (2017).
Towards Embodied 3D Isovists: Incorporating cognitively-motivated semantics of `space’ and the architectural environment in 3D visibility analysis. I T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (red.),
Proceedings - 11th International Space Syntax Symposium, SSS 2017 (s. 2549-2561). Artikel #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal.
http://www.11ssslisbon.pt/docs/book-proceedings-05072017.pdf
Kondyli, V.
, Schultz, C. P. L. & Bhatt, M. (2017).
Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. I E. Clementini, M. Donnelly, M. Yuan, C. Kray, P. Fogliaroni & A. Ballatore (red.),
13th International Conference on Spatial Information Theory, COSIT 2017 (s. 1-14). Artikel 11
https://doi.org/10.4230/LIPIcs.COSIT.2017.11
Koeva, M., Bennett, R., Crommelinck, S., Stöcker, C., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M.
, Schultz, C. P. L., Zein, T., Biraro, M., Wayumba, R. & Kundert, K. (2017).
Towards Innovative Geospatial Tools for Fit-for-Purpose Land Rights Mapping. I
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Bind XLII-2/W7, s. 37-43)
https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLII-2-W7/37/2017/isprs-archives-XLII-2-W7-37-2017.pdf
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
Karamesouti, M.
, Schultz, C. P. L., Chipofya, M., Jan, S., Murcia Galeano, C. E., Schwering, A. & Timm, C. (2018).
THE MAASAI OF SOUTHERN KENYA DOMAIN MODEL OF LAND USE. I
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences: ISPRS TC IV Mid-term Symposium “3D Spatial Information Science – The Engine of Change” (Bind IV-4, s. 105-112). International Society for Photogrammetry and Remote Sensing.
https://doi.org/10.5194/isprs-annals-IV-4-105-2018