Publications

Sort by: Date | Author | Title

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

Gomes, C., Jungers, R. M., Legat, B. & Vangheluwe, H. (2018). Minimally Constrained Stable Switched Systems and Application to Co-simulation. ArXiv. https://arxiv.org/pdf/1809.02648.pdf

Ishikawa, F., Larsen, P. G. & S. Fitzgerald, J. (2018). Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications: NII Shonan Meeting Report No. 2017-18. National Institute of Informatics, Tokyo. NII Shonan Meeting Report http://shonan.nii.ac.jp/shonan/wp-content/uploads/2018/06/No.2017-18.pdf

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/

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

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2018). NovaDM: Towards a formal, unified Renovation Domain Model for the generation of holistic renovation scenarios. In J. Karlshoj & R. Scherer (Eds.), eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the 12th European Conference on Product and Process Modelling, ECPPM 2018: Proceedings of the 12th European Conference on Product and Process Modelling (ECPPM 2018) (pp. 197-205). CRC Press/Balkema. https://www.taylorfrancis.com/chapters/edit/10.1201/9780429506215-25/novadm-towards-formal-unified-renovation-domain-model-generation-holistic-renovation-scenarios-kamari-schultz-kirkegaard

Sandberg, M., Hattel, J. H. & Spangenberg, J. (2018). Numerical modelling and optimisation of fibre wet-out in resin-injection pultrusion processes. In 18th European Conference on Composite Materials (ECCM-18) Applied Mechanics Laboratory.

Thule, C., Lausdahl, K. G. & Larsen, P. G. (2018). Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 23-39). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.9

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. In 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” (Vol. IV-4, pp. 105-112). International Society for Photogrammetry and Remote Sensing. https://doi.org/10.5194/isprs-annals-IV-4-105-2018

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. Proceedings of the Institute for System Programming, 30(4), 79-94. https://doi.org/10.15514/ISPRAS-2018-30(4)-5

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. In A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (Eds.), SYRCoSE 2018: Preliminary Proceedings of the 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering (pp. 20-25). Rossijskaja akademija nauk / Russian Academy of Sciences. http://syrcose.ispras.ru/2018/SYRCoSE2018_Proceedings.pdf

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

Nilsson, R. S., Lausdahl, K. G., Macedo, H. D. & Larsen, P. G. (2018). Transforming an industrial case study from VDM++ to VDM-SL. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 107-123). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.14

Oda, T., Keijiro, A. & Larsen, P. G. (2018). ViennaVM: a Virtual Machine for VDM-SL development. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 39-57). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.10

Suchan, J., Bhatt, M., Walega, P. & Schultz, C. P. L. (2018). Visual Explanation by High-Level Abduction On Answer-Set Programming Driven Reasoning about Moving Objects. In 32nd AAAI Conference on Artificial Intelligence, AAAI 2018: AAAI-18 (pp. 1965-1972). AAAI Press. https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17303/15902

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.

Oda, T., Araki, K. & Larsen, P. G. (2017). A Formal Modeling Tool for Exploratory Modeling in Software Development. IEICE Transactions on Information and Systems, E100.D(6), 1210-1217. https://doi.org/10.1587/transinf.2016FOP0003

Esparza Isasa, J. A., Larsen, P. G. & Hansen, F. O. (2017). A holistic approach to energy-aware design of cyber-physical systems. International Journal of Embedded Systems, 9(3), 283-295. https://doi.org/10.1504/IJES.2017.10005696

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. Paper presented at Land and Poverty Conference 2017, Washington, District of Columbia, United States. file:///C:/Users/au564491/Downloads/11-07-Bennett-288_paper.pdf

Jan, S., Schwering, A., Schultz, C. P. L. & Chipofya, M. (2017). Cognitively Plausible Representations for the Alignment of Sketch and Geo-referenced Maps. Journal of Spatial Information Science, 14(2017), 31-59. https://doi.org/10.5311/JOSIS.2017.14.294

Macedo, H. D., Fantechi, A. & Haxthausen, A. E. (2017). Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. In C. Barrett, M. Davies & T. Kahsai (Eds.), NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings: NFM 2017 (Vol. 10227, pp. 146-162). Springer. https://doi.org/10.1007/978-3-319-57288-8_11

Fantechi, A., Haxthausen, A. E. & Macedo, H. D. (2017). Compositional Verification of Interlocking Systems for Large Stations. In A. Cimatti & M. Sirjani (Eds.), Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Proceedings: SEFM 2017 (Vol. 10469, pp. 236-252). Springer. https://doi.org/10.1007/978-3-319-66197-1_15

Gomes, C., Thule, C., Broman, D., Larsen, P. G. & Vangheluwe, H. (2017). Co-simulation: State of the art: Technical Report. ArXiv. https://arxiv.org/pdf/1702.00686v1.pdf

Racz, 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. In ASCE International Workshop on Computing in Civil Engineering 2017 American Society of Civil Engineers (ASCE). http://ascelibrary.org/doi/10.1061/9780784480847.009

Foldager, F. F., Larsen, P. G. & Green, O. (2017). Development of a Driverless Lawn Mower using Co-Simulation. Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy. https://drive.google.com/open?id=0B2ej7mC7hWVrNFA0MUVybUF2VTg

Pedersen, 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. In SIMULTECH 2017 - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications: Simultech 2017 (Vol. 1, pp. 73-82). SCITEPRESS Digital Library. https://doi.org/10.5220/0006412700730082

Isasa, J. A. E., Larsen, P. G. & Hansen, F. O. (2017). Energy-aware model-driven development of a wearable healthcare device. In M. Huhn & L. Williams (Eds.), Software Engineering in Health Care: FHIES 2014 and SEHC 2014, Revised Selected Papers (Vol. 9062 , pp. 44-63). Springer. https://doi.org/10.1007/978-3-319-63194-3_4

Larsen, P. G., Kristiansen, E. L., Bennedsen, J. & Bjerge, K. (2017). Enhancing non-technical skills by a multidisciplinary engineering summer school. European Journal of Engineering Education, 42(6), 1076-1096. https://doi.org/10.1080/03043797.2016.1261278

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

Van Mierlo, S., Gomes, C. & Vangheluwe, H. (2017). Explicit modelling and synthesis of debuggers for hybrid simulation languages. Simulation Series, 49(4), 37-48. https://dl.acm.org/doi/abs/10.5555/3108905.3108909

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

Gomes, C., Van Tendeloo, Y., Denil, J., De Meulenaere, P. & Vangheluwe, H. (2017). Hybrid System Modelling and Simulation with Dirac Deltas. University of Antwerp. https://scs.org/wp-content/uploads/2017/06/19_Final_Manuscript-1.pdf

Bandur, V., Larsen, P. G., Lausdahl, K., Thule, C., Gamble, C., Payne, R., Pop, A., Brosse, E., Brauer, J., Lapschies, F., Groothuis, M., Bokhove, T., Kleijn, C. & Couto, L. D. (2017). INTO-CPS tool chain user manual. Aarhus University. https://into-cps.github.io/download/

Nuno Oliveira, J. & Macedo, H. D. (2017). The data cube as a typed linear algebra operator. In Proceedings of the 16th International Symposium on Database Programming Languages, DBPL 2017; Held in conjunction with VLDB 2017: DBPL '17 Article 6 Association for Computing Machinery. https://doi.org/10.1145/3122831.3122834

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.

Feo-Arenis, S., Verhoef, M. & Larsen, P. G. (2017). The Mars-Rover Case Study Modelled Using 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. 130-144). Newcastle University.

Krukar, J., Schultz, C. P. L. & Bhatt, M. (2017). Towards Embodied 3D Isovists: Incorporating cognitively-motivated semantics of `space’ and the architectural environment in 3D visibility analysis. In T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (Eds.), Proceedings - 11th International Space Syntax Symposium, SSS 2017 (pp. 2549-2561). Article #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal. http://www.11ssslisbon.pt/docs/book-proceedings-05072017.pdf

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

Chipofya, M., Jan, S., Schultz, C. P. L. & Schwering, A. (2017). Towards Smart Sketch Maps for Community-driven Land Tenure Recording Activities. Paper presented at 20th AGILE International Conference on Geographic Information Science, Wageningen, Netherlands. https://agile-online.org/images/conference_2017/Proceedings2017/shortpapers/155_ShortPaper_in_PDF.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.

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2016). Agricultural robotic candidate overview using co-model driven development. In A. G. Bruzzone, S. Junco, G. Dauphin-Tanguy & Y. Merkuryev (Eds.), 9th International Conference on Integrated Modeling and Analysis in Applied Control and Automation, IMAACA 2016: IMAACA 2016 (pp. 41-48). Article IMAACA_10 Dime University of Genoa. https://www.msc-les.org/proceedings/imaaca/2016/IMAACA2016_41.pdf

Schultz, C. P. L. & Bhatt, M. (2016). A Numerical Optimisation Based Characterisation of Spatial Reasoning. In Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings (pp. 199-207). Springer. https://doi.org/10.1007/978-3-319-42019-6 13

Bhatt, M., Suchan, J., Schultz, C. P. L., Kondyli, V. & Goyal, S. (2016). Artificial Intelligence for Predictive and Evidence Based Architecture Design. In 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (pp. 4349-4350) file:///C:/Users/au564491/Downloads/12431-56479-1-PB.pdf

Piechottaa, C., Olsen, M. G., Jensen, A. E., Colemann , J. W. & Larsen, P. G. (2016). A secure dynamic collaboration environment in a cloud context. Future Generation Computer Systems - The International Journal of eScience, 55(February), 165–175. https://doi.org/10.1016/j.future.2015.07.018

Diswal, S. P., Tran-Jørgensen, P. W. V. & Larsen, P. G. (2016). Automated Generation of C# and .NET Code Contracts from VDM-SL Models. In P. G. Larsen, N. Plat & N. Battle (Eds.), 14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28 (pp. 32-47). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Displaying results 251 to 300 out of 510

Revised 10.08.2023

Peter Gorm Larsen