Publications

Sortér efter: Dato | Forfatter | Titel

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. I 32nd AAAI Conference on Artificial Intelligence, AAAI 2018: AAAI-18 (s. 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. 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.

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. 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

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. I C. Barrett, M. Davies & T. Kahsai (red.), NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings: NFM 2017 (Bind 10227, s. 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. I A. Cimatti & M. Sirjani (red.), Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Proceedings: SEFM 2017 (Bind 10469, s. 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. I 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. Afhandling præsenteret på 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italien. 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. 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/0006412700730082

Isasa, J. A. E., Larsen, P. G. & Hansen, F. O. (2017). Energy-aware model-driven development of a wearable healthcare device. I M. Huhn & L. Williams (red.), Software Engineering in Health Care: FHIES 2014 and SEHC 2014, Revised Selected Papers (Bind 9062 , s. 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. 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.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. Afhandling præsenteret på 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italien. 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. I Proceedings of the 16th International Symposium on Database Programming Languages, DBPL 2017; Held in conjunction with VLDB 2017: DBPL '17 Artikel 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 fra FMI User meeting, Prag, Tjekkiet.

Feo-Arenis, S., Verhoef, M. & Larsen, P. G. (2017). The Mars-Rover Case Study Modelled Using INTO-CPS. 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. 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. I T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (red.), Proceedings - 11th International Space Syntax Symposium, SSS 2017 (s. 2549-2561). Artikel #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. I The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Bind XLII-2/W7, s. 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. Afhandling præsenteret på 20th AGILE International Conference on Geographic Information Science, Wageningen, Holland. 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. 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. 16-30). Newcastle University.

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2016). Agricultural robotic candidate overview using co-model driven development. I 9th International Conference on Integrated Modeling and Analysis in Applied Control and Automation, IMAACA 2016: IMAACA 2016 (s. 41-48). Artikel IMAACA_10 Dime University of Genoa.

Schultz, C. P. L. & Bhatt, M. (2016). A Numerical Optimisation Based Characterisation of Spatial Reasoning. I Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings (s. 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. I 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (s. 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. I P. G. Larsen, N. Plat & N. Battle (red.), 14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28 (s. 32-47). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Oda, T., Akari, K. & Larsen, P. G. (2016). Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Bind 4/28, s. 48-63). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Gomes, C., Denil, J. & Vangheluwe, H. (2016). Causal-Block Diagrams. University of Antwerp. http://msdl.cs.mcgill.ca/people/claudio/pub/Gomes2016a.pdf

Fitzgerald, J., Gamble, C., Payne, R., Larsen, P. G., Basagiannis, S. & Mady, A. E.-D. (2016). Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study. INCOSE International Symposium, 26(1), 817-832. https://doi.org/10.1002/j.2334-5837.2016.00195.x

Larsen, P. G., Fitzgerald, J., Woodcock, J. & Lecomte, T. (2016). Collaborative Modeling and Simulation for Cyber-Physical Systems. I A. Romanovsky & F. Ishikawa (red.), Trustworthy Cyber-Physical Systems Engineering (s. 177-198). CRC Press. http://www.crcnetbase.com/doi/book/10.1201/9781315369105

Schultz, C. P. L. & Bhatt, M. (2016). Constructive Geometric Constraint Solving as a General Framework for KR-Based Commonsense Spatial Reasoning. I Workshop on Declarative Learning Based Programming

Lawrence, D. P. Y., Gomes, C., Denil, J., Vangheluwe, H. & Buchs, D. (2016). Coupling Petri nets with deterministic formalisms using co-simulation. Afhandling præsenteret på 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, USA. https://doi.org/10.23919/TMS.2016.7918812

Couto, L. D., Lausdahl, K. G., Plat, N., Larsen, P. G. & Pierce, K. (2016). Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Bind 4/28, s. 123-136). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Suchan, J., Bhatt, M. & Schultz, C. P. L. (2016). Deeply Semantic Inductive Spatio-Temporal Learning. I 26th International Conference on Inductive Logic Programming https://arxiv.org/pdf/1608.02693.pdf

Santos, P. E., Syfuss, L., Dee, H., Schultz, C. P. L. & Bhatt, M. (2016). Eclipse in Occlusion: A mereotopological representation of celestial eclipses. I 29th International Workshop on Qualitative Reasoning

Bhatt, M., Suchan, J., Kondyli, V. & Schultz, C. P. L. (2016). Embodied visuo-locomotive experience analysis: immersive reality based summarisation of experiments in environment-behaviour studies. I Proceedings of the ACM Symposium on Applied Perception, SAP 2016 (s. 133-133) https://doi.org/10.1145/2931002.2948720

Hasanagic, M., Tran-Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2016). Formalising and Validating the Interface Description in the FMI standard. I J. Fitzgerald, C. Heitmeyer, S. Gnesi & A. Philippou (red.), FM 2016: Formal Methods - 21st International Symposium, Proceedings (Bind 9995, s. 344-351). Springer. https://doi.org/10.1007/978-3-319-48989-6_21

Gomes, C. (2016). Foundations for continuous time hierarchical co-simulation. CEUR Workshop Proceedings, 1775. https://ceur-ws.org/Vol-1775/MODELS2016-SRC_paper_8.pdf

Ouy, J., Lecomte, T., Christiansen, M. P., Vill Henriksen, A., Hallerstede, S., Larsen, P. G., Jæger, C. D., Basagiannis, S., Couto, L. D., El-din Mady, A., Ridouanne, H., Moner Poy, H., Valverde Alcala, J., König, C. & Balcu, N. (2016). INtegrated TOol chain for model-based design of CPSs: D1.2 - Case Studies 2. http://projects.au.dk/fileadmin/D1.2a_Case_Studies.pdf

Larsen, P. G., Thule, C., Lausdahl, K. G., Bandur, V., Gamble, C., Brosse, E., Sadovykh, A., Bagnato, A. & Couto, L. D. (2016). Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28 (Bind 4/28, s. 63-79). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Larsen, P. G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S. & Sadovykh, A. (2016). Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. I 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (s. 1-6). IEEE. https://doi.org/10.1109/CPSData.2016.7496424

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. I A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (red.), Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (s. 223-228). Institute for System Programming of the Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2016/SYRCoSE2016_Proceedings.pdf

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. Proceedings of the Institute for System Programming, 28(2), 139-156. https://doi.org/10.15514/ISPRAS-2016-28(2)-9

Plat, N., Larsen, P. G. & Pierce, K. (2016). Modelling Collaborative Systems and Automated Negotiations. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Bind 4/28, s. 108-123). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Mustafiz, S., Gomes, C., Barroca, B. & Vangheluwe, H. (2016). Modular design of hybrid languages by explicit modeling of semantic adaptation. Afhandling præsenteret på 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, USA. https://doi.org/10.23919/TMS.2016.7918835

Viser resultater 251 til 300 ud af 490

Forrige

Næste

Revideret 10.08.2023

Peter Gorm Larsen