Lúcio, L., Oakes, B. J.
, Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R. & Vangheluwe, H. (2015).
SyVOLT: Full model transformation verification using contracts.
CEUR Workshop Proceedings,
1554, 24-27.
Nielsen, C. B., Larsen, P. G., Fitzgerald, J.
, Woodcock, J. & Peleska, J. (2015).
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.
A C M Computing Surveys,
48(2).
https://doi.org/10.1145/2794381
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
Sandberg, M., Yuksel, O., Baran, I., Spangenberg, J. & Hattel, J. H. (2021).
Steady-state modelling and analysis of process-induced stress and deformation in thermoset pultrusion processes.
Composites Part B: Engineering,
216, Artikel 108812.
https://doi.org/10.1016/j.compositesb.2021.108812
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K.
, Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023).
State of the Art Report: Verified Computation.
https://doi.org/10.48550/arXiv.2308.15191
Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H. (2019).
Stable Adaptive Co-simulation: A Switched Systems Approach. I B. Schweizer (red.),
IUTAM Symposium on Solver-Coupling and Co-Simulation: Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017 (s. 81-97). Springer.
https://doi.org/10.1007/978-3-030-14883-6_5
Legat, B.
, Gomes, C., Karalis, P., Jungers, R. M., Navarro-Lopez, E. M. & Vangheluwe, H. (2020).
Stability of Planar Switched Systems under Delayed Event Detection.
Proceedings of the IEEE Conference on Decision and Control, 5792-5797.
https://doi.org/10.1109/CDC42340.2020.9304152
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H.-M.
& Larsen, P. G. (2021).
Specifying Abstract User Interface in VDM-SL. I J. Fitzgerald, T. Oda & H. D. Macedo (red.),
Proceedings of the 18th International Overture Workshop (s. 5-20)
https://arxiv.org/pdf/2101.07261.pdf
Jones, C. B.
, Larsen, P. G., Prinz, A., Raschke, A. & Snook, C. F. (2014).
Specification of the Cash Dispenser in Parallel using ASM and VDM. 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
Gomes, C., Meyers, B., Denil, J.
, Thule, C., Lausdahl, K. G., Vangheluwe, H. & De Meulenaere, P. (2019).
Semantic adaptation for FMI co-simulation with hierarchical simulators.
Simulation,
95(3), 241-269.
https://doi.org/10.1177/0037549718759775
Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G. (2021).
Seismic Hybrid Testing using FMI-based Co-Simulation. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 287-295)
https://doi.org/10.3384/ecp21181287
Li, B., Schultz, C. P. L., Melzner, J.
, Golovina, O. & Teizer, J. (2020).
Safe and Lean Location-based Construction Scheduling. I H. Osumi, H. Furuya & K. Tateyama (red.),
Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020): From Demonstration to Practical Use - To New Stage of Construction Robot - (s. 1409-1416). International Association for Automation and Robotics in Construction (IAARC).
https://doi.org/10.22260/ISARC2020/0195
Tola, D., Gonçalves Gomes, C. Â., Schultz, C. P. L., Schlette, C., Hansen, C.
& Esterle, L. (2021).
RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. I A. Soylu, A. T. Nezhad, N. Nikolov, I. Toma, A. Fensel & J. Vennekens (red.),
Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021 CEUR-WS.org.
http://ceur-ws.org/Vol-2956/paper12.pdf
Oda, T., Araki, K., Sahara, S., Chang, H.-M.
& Larsen, P. G. (2021).
Refactoring for Exploratory Specification in VDM-SL. I H. D. Macedo, C. Thule & K. Pierce (red.),
Proceedings of the 19th International Overture Workshop (s. 21-35)
https://arxiv.org/abs/2110.09371