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. I C. Gamble & L. Diogo Couto (red.),
Proceedings of the 17th Overture Workshop (s. 76-90). Newcastle University.
Li, B., Bhatt, M.
& Schultz, C. (2019).
λProlog(QS): Functional spatial reasoning in higher order logic programming. I S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (red.),
14th International Conference on Spatial Information Theory, COSIT 2019 Artikel 26 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.COSIT.2019.26
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
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
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
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. I L. Deka & M. Chowdhury (red.),
Transportation Cyber-Physical Systems (s. 51-79). Elsevier.
https://doi.org/10.1016/C2017-0-00963-1
Gomes, C., Thule, C., Broman, D.
, Larsen, P. G. & Vangheluwe, H. (2018).
Co-Simulation: A Survey.
ACM Computing Surveys,
51(3), Artikel 49.
https://doi.org/10.1145/3179993
Gomes, C.
, Thule, C., Deantoni, J.
, Larsen, P. G. & Vangheluwe, H. (2018).
Co-simulation: The Past, Future, and Open Challenges. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Bind III, s. 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. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Bind III, s. 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. I M. Mazzara, I. Ober & G. Salaün (red.),
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (s. 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. I
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. I
Book of Abstracts of the European Conference on Agricultural Engineering: AgEng2018 (s. 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. I A. Cerone & M. Roveri (red.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Bind 10729, s. 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. I A. Cerone & M. Roveri (red.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Bind 10729, s. 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. I A. Cerone & M. Roveri (red.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (s. 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. I E. Broch Johnsen & I. Schafer (red.),
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (s. 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. I A. Cerone & M. Roveri (red.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Bind 10729, s. 284-299). Springer.
https://doi.org/10.1007/978-3-319-74781-1_20
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 præsenteret på World Bank Conference on Land and Poverty 2018, Washington D. C., District of Columbia, USA.
https://its4land.com/world-bank-land-and-poverty-conference-2018/
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
Larsen, P. G., Fitzgerald, J., Woodcock, J., König, C., Basagiannis, S., Brosse, E., Gomes, C., Cabral, J.
, Macedo, H. D., Thule, C., Sadovykh, A., Zamfirescu, C.-B., Neghina, M., Pierce, K., Gamble, C. & Payne, R. (2018).
The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide.
http://into-cps.org/fileadmin/into-cps.org/Filer/INTO-CPS-Manifesto.pdf
Karamesouti, M.
, Schultz, C. P. L., Chipofya, M., Jan, S., Murcia Galeano, C. E., Schwering, A. & Timm, C. (2018).
THE MAASAI OF SOUTHERN KENYA DOMAIN MODEL OF LAND USE. I
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences: ISPRS TC IV Mid-term Symposium “3D Spatial Information Science – The Engine of Change” (Bind IV-4, s. 105-112). International Society for Photogrammetry and Remote Sensing.
https://doi.org/10.5194/isprs-annals-IV-4-105-2018
Thule, C., Gomes, C., Deantoni, J.
, Larsen, P. G., Brauer, J. & Vangheluwe, H. (2018).
Towards the Verification of Hybrid Co-simulation Algorithms. I M. Mazzara, I. Ober & G. Salaün (red.),
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (s. 5-20). Springer.
https://doi.org/10.1007/978-3-030-04771-9_1
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. I J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (red.),
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (s. 116-129). Newcastle University.
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