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 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.COSIT.2019.26
Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
Visual Studio Code VDM Support. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 35-50)
https://arxiv.org/pdf/2101.07261.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.
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
Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021).
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In A. L. Lafuente & A. Mavridou (Eds.),
Formal Methods for Industrial Critical Systems (pp. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O.
, Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022).
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
International Journal on Software Tools for Technology Transfer,
24(6), 999-1024.
https://doi.org/10.1007/s10009-022-00686-8
Oda, T., Yamamoto, Y., Nakakoji, K., Araki, K.
& Larsen, P. G. (2015).
VDM Animation for a Wider Range of Stakeholders. In
Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 18-32). National Institute of Informatics, Tokyo.
http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf
Schultz, C. P. L., R. Clephane, T., W. Guesgen, H. & Amor, R. (2006).
UTILISATION OF QUALITATIVE SPATIAL REASONING IN GEOGRAPHIC INFORMATION SYSTEMS. In A. Riedl, W. Kainz & G. A. Elmes (Eds.),
Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 ed., pp. 27-42). Springer Berlin, Heidelberg.
https://doi.org/10.1007/3-540-35589-8
Tøttrup, M. F., Hu, E. C., Kramer, B. A.
, Macedo, H. D. & Esterle, L. (2023).
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. In P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (Eds.),
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (pp. 200-209). Springer.
https://doi.org/10.1007/978-3-031-26236-4_18
Feng, H., Gomes, C., Sandberg, M., Macedo, H. D. & Larsen, P. G. (2022).
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini & G. Venture (Eds.),
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 143-155). Springer.
https://doi.org/10.1007/978-3-031-12429-7_11
Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G. (2021).
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 72-87). Springer.
https://doi.org/10.1007/978-3-030-83723-5_6
Bogomolov, S., Fitzgerald, J., Foldager, F. F., Gamble, C.
, Larsen, P. G., Pierce, K., Stankaitis, P. & Wooding, B. (2021).
Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 50-65)
https://arxiv.org/pdf/2101.07261.pdf
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.
Thule, C., Gomes, C., Deantoni, J.
, Larsen, P. G., Brauer, J. & Vangheluwe, H. (2018).
Towards the Verification of Hybrid Co-simulation Algorithms. In M. Mazzara, I. Ober & G. Salaün (Eds.),
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (pp. 5-20). Springer.
https://doi.org/10.1007/978-3-030-04771-9_1
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. In M. Tiziana & S. Bernhard (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Vol. II, pp. 171-186). Springer.
https://doi.org/10.1007/978-3-319-47169-3_13
Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022).
Towards Secure Digital Twins. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 159-176). Springer.
https://doi.org/10.1007/978-3-031-19762-8_11
Thule, C., Palmieri, M.
, Gomes, C., Lausdahl, K.
, Macedo, H. D., Battle, N.
& Larsen, P. G. (2020).
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. In J. Camara & M. Steffen (Eds.),
Software Engineering and Formal Methods (pp. 50-66). Springer.
https://doi.org/10.1007/978-3-030-57506-9_5
Fabbri, T., Verhoef, M.
, Bandur, V., Perrotin, M., Tsiodras, T.
& Larsen, P. G. (2016).
Towards integration of Overture into TASTE. In P. G. Larsen, N. Plat & N. Battle (Eds.),
The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Vol. 4/28, pp. 94-108). Aarhus University, Department of Engineering.
http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669