Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H.-M. & Larsen, P. G. (2020). ViennaDoc: An Animatable and Testable Specification Documentation Tool. In E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (Eds.), Formal Methods: FM 2019 International Workshops (Vol. Revised Selected Papers, Part II, pp. 289-302). Springer. https://doi.org/10.1007/978-3-030-54997-8

Oda, T., Araki, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H. M. & Larsen, P. G. (2020). ViennaDoc: An animatable and testable specification documentation tool. In E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (Eds.), Formal Methods. FM 2019 International Workshops (pp. 289-302). Springer. https://doi.org/10.1007/978-3-030-54997-8_19

Pedersen, N., Lausdahl, K. G., Vidal, E. S., Thule, C., Larsen, P. G. & Madsen, J. (2019). Distributed Co-simulation of Embedded Control Software Using INTO-CPS. In M. S. Obaidat, T. Ören & F. De Rango (Eds.), Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers: SIMULTECH 2017, Revised Selected Papers (pp. 33-54). Springer. https://doi.org/10.1007/978-3-030-01470-4_3

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. In SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 57-68) http://msdl.cs.mcgill.ca/people/bentley/research/HintCO.pdf

Bayard Rasmussen, M., Thule, C., Macedo, H. D. & Larsen, P. G. (2019). Migrating the INTO-CPS Application to the Cloud. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 47-62). Newcastle University.

Gomes, C., Jungers, R. M., Legat, B. & Vangheluwe, H. (2019). Minimally Constrained Stable Switched Systems and Application to Co-simulation. In 2018 IEEE Conference on Decision and Control (CDC) (pp. 5676-5681). Article 8619223 IEEE. https://doi.org/10.1109/CDC.2018.8619223

Tran-Jørgensen, P. W. V., Kulik, T., Boudjadar, J. & Larsen, P. G. (2019). Security analysis of cloud-connected industrial control systems using combinatorial testing. In MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (pp. 1-11). Article 13 Association for Computing Machinery. https://doi.org/10.1145/3359986.3361211

Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H. (2019). Stable Adaptive Co-simulation: A Switched Systems Approach. In B. Schweizer (Ed.), 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 (pp. 81-97). Springer. https://doi.org/10.1007/978-3-030-14883-6_5

Boudjadar, J. & Macedo, H. D. (2019). Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. In Proceedings of the 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018 (pp. 37-46). Article 8600927 IEEE. https://doi.org/10.1109/DISTRA.2018.8600927

Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G. (2019). Towards a Static Check of FMUs in VDM-SL. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 17-32). Newcastle University. https://www.researchgate.net/publication/336409277_Towards_a_Static_Check_of_FMUs_in_VDM-SL

Legaard, C. M., Thule, C. & Larsen, P. G. (2019). Towards Graphical Configuration in the INTO-CPS Application. In 17TH OVERTURE WORKSHOP

Møldrup Legaard, C., Thule, C. & Larsen, P. G. (2019). Towards Graphical Conguration in the INTO-CPS Application. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 3-16). Newcastle University.

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Unleashing the diversity of conceptual building renovation design: Integrating high-fidelity simulation with rapid constraint-based scenario generation. In S. Rockcastle, T. Rakha, C. Cerezo Davila, D. Papanikolaou & T. Zakula (Eds.), SimAUD 2019. 2019 Proceedings of the Symposium on Simulation for Architecture & Urban Design: 10th anniversary edition (Vol. 51, pp. 29-36). The Society for Modeling and Simulation International (SCS). http://simaud.org/proceedings/download.php?f=SimAUD2019_Proceedings_HiRes.pdf

Oda, T., Keijiro, A., Yamamoto, Y., Nakakoji, K., Hiroshi, S., Chang, H.-M. & Larsen, P. G. (2019). ViennaDoc: An Animatable and Testable Specication Documentation Tool. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 76-90). Newcastle University.

Li, B., Bhatt, M. & Schultz, C. (2019). λProlog(QS): Functional spatial reasoning in higher order logic programming. In S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (Eds.), 14th International Conference on Spatial Information Theory, COSIT 2019 Article 26 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.COSIT.2019.26

Kulik, T., Tran-Jørgensen, P. W. V., Boudjadar, J. & Schultz, C. P. L. (2018). A Framework for Threat-Driven Cyber Security Verification of IoT Systems. In Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018: Proceedings (pp. 89-97). IEEE. https://doi.org/10.1109/ICSTW.2018.00033

Hallerstede, S., Larsen, P. G. & Fitzgerald, J. (2018). A Non-unified View of Modelling, Specification and Programming. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings: 8th International Symposium, ISoLA 2018, Proceedings, Part I (Vol. I, pp. 52-68). Springer. https://doi.org/10.1007/978-3-030-03418-4_4

Schultz, C. P. L., Bhatt, M., Suchan, J. & Walega, P. A. (2018). Answer Set Programming Modulo ‘Space-Time’. In C. Benzmüller, F. Ricca, X. Parent & D. Roman (Eds.), Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Proceedings: Second International Joint Conference, RuleML+RR 2018, Proceedings (pp. 318-326). Springer. https://doi.org/10.1007/978-3-319-99906-7_24

Fitzgerald, J., Gamble, C., Mansfield, M., Ouy, J., Palacin, R., Pierce, K. & Larsen, P. G. (2018). Collaborative modelling and co-simulation for Transportation Cyber-Physical Systems. In L. Deka & M. Chowdhury (Eds.), Transportation Cyber-Physical Systems (pp. 51-79). Elsevier. https://doi.org/10.1016/C2017-0-00963-1

Gomes, C., Thule, C., Deantoni, J., Larsen, P. G. & Vangheluwe, H. (2018). Co-simulation: The Past, Future, and Open Challenges. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Vol. III, pp. 504-520). Springer. https://doi.org/10.1007/978-3-030-03424-5_34

Gibson, P., Larsen, P. G., Pantel, M., Fitzgerald, J. & Woodcock, J. (2018). Cyber-Physical Systems Engineering: An Introduction. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Vol. III, pp. 407-411). Springer. https://doi.org/10.1007/978-3-030-03424-5_27

Gomes, C., Thule, C., Lausdahl, K. G., Larsen, P. G. & Vangheluwe, H. (2018). Demo: Stabilization Technique in INTO-CPS. In M. Mazzara, I. Ober & G. Salaün (Eds.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (pp. 45-51). Springer. https://doi.org/10.1007/978-3-030-04771-9_4

Foldager, F., Balling, O., Boel, M., Gamble, C., Larsen, P. G. & Green, O. (2018). Design Space Exploration in the Development of Agricultural Robots. In Proceedings of the EurAgEng 2018

Foldager, F., Balling, O., Boel, M., Gamble, C., Larsen, P. G. & Green, O. (2018). Design Space Exploration in the Development of Agricultural Robots. In Book of Abstracts of the European Conference on Agricultural Engineering: AgEng2018 (pp. 60-61). Wageningen University. https://doi.org/10.18174/471678

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

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

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 (pp. 377-390). Springer. https://doi.org/10.1007/978-3-319-74781-1_26

Hallerstede, S., Hasanagic, M., Krings, S., Larsen, P. G. & Leuschel, M. (2018). From Software Specifications to Constraint Programming. In E. Broch Johnsen & I. Schafer (Eds.), Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (pp. 21-36). Springer. https://doi.org/10.1007/978-3-319-92970-5_2

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