Gomes, C., Barroca, B. & Amaral, V. (2018).
Classification of Model Transformation Tools: Pattern Matching Techniques. I J. Dingel, W. Schulte, I. Ramos, S. Abrahao & E. Insfran (red.),
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings (Bind 8767, s. 619-635). Springer.
https://doi.org/10.1007/978-3-319-11653-2_38
Bennett, R., Gerke, M., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M.
, Schultz, C. P. L., Sein, T., Birado, M., Alemie, B., Wayumba, R., Kundert, K., Crommelinck, S. & Stöcker, C. (2017).
Building Third Generation Land Tools: Its4land, Smart Sketchmaps, UAVs, Automatic Feature Extraction, and the GeoCloud. Afhandling præsenteret på Land and Poverty Conference 2017, Washington, District of Columbia, USA.
file:///C:/Users/au564491/Downloads/11-07-Bennett-288_paper.pdf
Frasheri, M., Lumer-Klabbers, G., Kvistgaard, J. L., Hausted, J. O., Thule, C., Esterle, L. & Larsen, P. G. (2023).
Building Safer Robots: From Simulation to Hardware Deployment.
2023 27th International Conference on Methods and Models in Automation and Robotics, MMAR 2023 - Proceedings, 63-68.
https://doi.org/10.1109/MMAR58394.2023.10242467
Robinson, C., Bagnato, A., Pastrone, C., Weyer, T., Popov, P.
, Macedo, H. D., Sassanelli, C.
, Larsen, P. G., Luz, C. H., Henshaw, M., Buron, C., Akerkar, R. & Györffi, M. (2021).
Bridging the stakeholder communities that produce cyber-physical systems. I M. D. E. al (red.),
HiPEAC Vision 2021: High performance embedded architecture and compilation (s. 20-29). HiPEAC.
https://www.hipeac.net/vision/2021/
Bendisposto , J., Börger , E., Hayes , I.
, Larsen, P. G. & Prinz, A. (2014).
A VDM model of the Termination Detection Protocol. 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
Legaard, C. M., Tola, D., Schranz, T.
, Macedo, H. D. & Larsen, P. G. (2021).
A Universal Mechanism for Implementing Functional Mock-up Units. I G. Wagner, F. Werner, T. I. Ören & F. D. Rango (red.),
Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021, Online Streaming, July 7-9, 2021 (s. 121-129). SCITEPRESS Digital Library.
https://doi.org/10.5220/0010577601210129
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
Jensen, L. B., Jonas Lund, J. L., Pedersen, P.
& Macedo, H. D. (2023).
Assessing Resource Availability in Floodwater Systems for Use in Power-To-X Technologies. I M. Affenzeller, A. G. Bruzzone, E. Jimenez, F. Longo & A. Petrillo (red.),
Proceedings of the 35th European Modeling & Simulation Symposium (EMSS 2023) https://doi.org/10.46354/i3m.2023.emss.023
Piechottaa, C., Olsen, M. G., Jensen, A. E., Colemann , J. W.
& Larsen, P. G. (2016).
A secure dynamic collaboration environment in a cloud context.
Future Generation Computer Systems - The International Journal of eScience,
55(February), 165–175.
https://doi.org/10.1016/j.future.2015.07.018
Böttjer, T., Tola, D., Kakavandi, F., Wewer, C. R., Ramanujan, D., Gomes, C., Larsen, P. G. & Iosifidis, A. (2023).
A review of unit level digital twin applications in the manufacturing industry.
CIRP Journal of Manufacturing Science and Technology,
45, 162-189.
https://doi.org/10.1016/j.cirpj.2023.06.011
Gomes, C., Franceschini, R., Battle, N.
, Thule, C., Lausdahl, K., Vangheluwe, H.
& Larsen, P. G. (2020).
Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. I
Proceedings of the American Modelica Conference 2020 (s. 149-158). Linköping University Electronic Press.
https://doi.org/10.3384/ecp20169149
Schultz, C. P. L., Bhatt, M., Suchan, J. & Walega, P. A. (2018).
Answer Set Programming Modulo ‘Space-Time’. I C. Benzmüller, F. Ricca, X. Parent & D. Roman (red.),
Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Proceedings: Second International Joint Conference, RuleML+RR 2018, Proceedings (s. 318-326). Springer.
https://doi.org/10.1007/978-3-319-99906-7_24
Hallerstede, S., Larsen, P. G. & Fitzgerald, J. (2018).
A Non-unified View of Modelling, Specification and Programming. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings: 8th International Symposium, ISoLA 2018, Proceedings, Part I (Bind I, s. 52-68). Springer.
https://doi.org/10.1007/978-3-030-03418-4_4
Schweiger, G.
, Gomes, C., Engel, G., Hafner, I., Schoeggl, J., Posch, A. & Nouidui, T. S. (2019).
An empirical survey on co-simulation: Promising standards, challenges and research needs.
Simulation Modelling Practice and Theory,
95, 148-163.
https://doi.org/10.1016/j.simpat.2019.05.001