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
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. In A. Cerone & M. Roveri (Eds.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Vol. 10729, pp. 377-390). Springer.
https://doi.org/10.1007/978-3-319-74781-1_26
Foldager, F. F., Larsen, P. G. & Green, O. (2018).
Development of a driverless lawn mower using co-simulation. In A. Cerone & M. Roveri (Eds.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Vol. 10729, pp. 330-344). Springer.
https://doi.org/10.1007/978-3-319-74781-1_23
Gomes, C., Thule, C., Broman, D.
, Larsen, P. G. & Vangheluwe, H. (2018).
Co-Simulation: A Survey.
ACM Computing Surveys,
51(3), Article 49.
https://doi.org/10.1145/3179993
Boudjadar, J., Hyun Kim, J., Thi Xuan Phan, L., Lee, I., G. Larsen, K. & Nyman, U. M. (2018).
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. In
Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018: Proceedings (pp. 51-58). Article 8421146 IEEE.
https://doi.org/10.1109/ISORC.2018.00015
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2018).
Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems.
Studies in Informatics and Control,
27(1), 33-42.
https://doi.org/10.24846/v27i1y201804
Bennedsen, J., Rouvrais, S., Roslöf, J., Kontio, J., Georgsson, F. & McCartan, C. D. (2020).
Collaborative quality enhancement in engineering education: an overview of operational models at a programme level.
European Journal of Engineering Education,
45(1), 73-88.
https://doi.org/10.1080/03043797.2018.1443058
Chipofya, M., Karamesouti, M., Jan, S., Schwering, A., Murcia, C.
, Schultz, C. P. L., Ho, S., Osewe, G. & Chika, B. (2018).
Modelling Local Knowledge for Inclusive and Responsive Land Information Systems: The Southern Kenyan Maasai Ontology. Poster session presented at World Bank Conference on Land and Poverty 2018, Washington D. C., District of Columbia, United States.
https://its4land.com/world-bank-land-and-poverty-conference-2018/
Krings, S., Leuschel, M., Körner, P.
, Hallerstede, S. & Hasanagic, M. (2018).
Three is a crowd: SAT, SMT and CLP on a chessboard. In F. Calimeri, K. Hamlen & N. Leone (Eds.),
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Vol. 10702, pp. 63-79). Springer.
https://doi.org/10.1007/978-3-319-73305-0_5
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. In
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Vol. XLII-2/W7, pp. 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
Lausdahl, K. G., Thule, C., Larsen, P. G., Höll, J., Klueber, A., Pfeil, M. & Fässler, V. (2017).
The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions. Abstract from FMI User meeting, Prag, Czech Republic.
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
Neghina, M., Zamfirescu, C.-B.
, Larsen, P. G., Lausdahl, K. G. & Pierce, K. (2017).
A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems. In J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (Eds.),
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (pp. 116-129). Newcastle University.
Lausdahl, K. G., Bjerge, K., Bokhove, T., Groen, F.
& Larsen, P. G. (2017).
Transitioning from Crescendo to INTO-CPS. In J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (Eds.),
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (pp. 16-30). Newcastle University.
Couto, L. D., Basagiannis, S., Ridouane, E. H.
, Hasanagic, M. & Larsen, P. G. (2018).
Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems. In A. Cerone & M. Roveri (Eds.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Vol. 10729, pp. 284-299). Springer.
https://doi.org/10.1007/978-3-319-74781-1_20
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. Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy.
https://drive.google.com/open?id=0B2ej7mC7hWVrMEM0bjNqbWc1a0k
Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2014).
Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. In
2014 Theoretical Aspects of Software Engineering Conference (pp. 126-130). IEEE.
https://doi.org/10.1109/TASE.2014.27