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
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-1Gomes, 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_34Gibson, 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-410). Springer.
https://doi.org/10.1007/978-3-030-03424-5_27Gomes, 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_4Foldager, 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_20Chipofya, 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/v27i1y201804Larsen, 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-2018Thule, 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.pdfRacz, P., Syfuss, L.
, Schultz, C. P. L., van Buiten, M., olde Scholtenhuis, L., Vahdatikhati, F. & Doree, A. (2017).
Decision Support for Test Trench Location Selection with 3D Semantic Subsurface Utility Models. I
ASCE International Workshop on Computing in Civil Engineering 2017 American Society of Civil Engineers (ASCE).
http://ascelibrary.org/doi/10.1061/9780784480847.009Pedersen, N.
, Lausdahl, K. G., Vidal, E. S.
, Larsen, P. G. & Madsen, J. (2017).
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. I
SIMULTECH 2017 - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications: Simultech 2017 (Bind 1, s. 73-82). SCITEPRESS Digital Library.
https://doi.org/10.5220/0006412700730082Kondyli, V.
, Schultz, C. P. L. & Bhatt, M. (2017).
Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. I E. Clementini, M. Donnelly, M. Yuan, C. Kray, P. Fogliaroni & A. Ballatore (red.),
13th International Conference on Spatial Information Theory, COSIT 2017 (s. 1-14). Artikel 11
https://doi.org/10.4230/LIPIcs.COSIT.2017.11Larsen, 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. Afhandling præsenteret på 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italien.
https://drive.google.com/open?id=0B2ej7mC7hWVrMEM0bjNqbWc1a0k
