Publications by Software Engineering & Computing Systems

Are you looking for publications by Section of Software Engineering & Computing Systems? On this page you can find all the publications made by the Section of Software Engineering & Computing Systems - Department of Electrical and Computer Engineering, Aarhus University.

Below you can find a list of all the publications, their publishing date, their author(s), and titles. The list can be sorted by date, author, and title:

List of Publications

Sortér efter: Dato | Forfatter | Titel

Bhatt, M. & Schultz, C. P. L. (2014). PEOPLE-CENTERED SPATIAL DESIGN: ON VISUO-SPATIAL COGNITION IN THE BUILT ENVIRONMENT. I INTERNATIONAL CONFERENCE ON HUMAN BEHAVIOR IN DESIGN https://doi.org/10.13140/2.1.4184.8327

Bhatt, M., Schultz, C. P. L. & Thosar, M. (2014). Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Indus- try Scale Computer-Aided Architecture Design. I 14th International Conference on Principles of Knowledge Representation and Reasonin

Schultz, C. P. L. & Bhatt, M. (2014). Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes. I ECAI 2014 (Bind 263, s. 795-800) https://doi.org/10.3233/978-1-61499-419-0-795

Schultz, C. P. L. & Bhatt, M. (2015). Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning. I S. I. Fabrikant, M. Raubal, M. Bertolotto, C. Davies, S. Freundschuh & S. Bell (red.), Spatial Information Theory (1 udg., s. 331-353). Springer International Publishing. https://doi.org/10.1007/978-3-319-23374-1

Walega, P. A., Bhatt, M. & Schultz, C. P. L. (2015). ASPMT(QS): Non- Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. I F. Calimeri, G. Ianni & M. Truszynski (red.), Logic Programming and Nonmonotonic Reasoning (1 udg.). Springer International Publishing. https://doi.org/10.1007/978-3-319-23264-5

Chipofya, M., Schwering, A., Jan, S., Schultz, C. P. L. & Harason, E. (2015). Left/right relations for Qualitative Spatial Representation of Networks. I 14th Mexican International Conference on Artificial Intelligence

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

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

Boudjadar, J. (2017). An Efficient Energy-driven Scheduling of DVFS-Multicore Systems with a Hierarchy of Shared Memories. I Proceedings - 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017: DS-RT 2017 (s. 1-8). IEEE. https://doi.org/10.1109/DISTRA.2017.8167661

Schultz, C. P. L., Bhatt, M. & Suchan, J. (2016). Probabilistic Spatial Reasoning in Constraint Logic Programming. I S. Schockaert & P. Senellart (red.), Scalable Uncertainty Management - 10th International Conference, SUM 2016, Proceedings (s. 289-302). Springer. https://doi.org/10.1007/978-3-319-45856-4_20

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

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. 166.1-166.13). Artikel #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal. http://www.11ssslisbon.pt/docs/book-proceedings-05072017.pdf

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

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

Amor, R., Schultz, C. P. L., Lobb, B. & Guesgen, H. W. (2008). Qualitative design support for engineering and architecture. Advanced Engineering Informatics, 23(1), 68-80. https://doi.org/10.1016/j.aei.2008.07.003

Schultz, C. P. L. & Bhatt, M. (2012). Multimodal spatial data access for architecture design assistance. Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 26(2), 177-203. https://doi.org/10.1017/S0890060412000066

Chipofya, M., Schultz, C. P. L. & Schwering, A. (2015). A meta- heuristic approach for efficient and effective sketch-to-metric map alignment. International Journal of Geographical Information Science, 29(1).

Schultz, C. P. L., Bhatt, M. & Borrmann, A. (2015). Bridging Qualitative Spatial Constraints and Feature-Based Parametric Modelling: Expressing Visibility and Movement Constraints. Advanced Engineering Informatics, 31, 2-17. https://doi.org/10.1016/j.aei.2015.10.004

Walega, P. A., Schultz, C. P. L. & Bhatt, M. (2016). Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. ArXiv. https://arxiv.org/pdf/1606.07860.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

Schrey-Niemenmaa, K., Clark, R., Matthiasdottir, A., Georgsson, F., Kontio, J., Bennedsen, J., Rouvrais, S. & Hermon, P. (2018). The Power of Self-evaluation Based Cross-Sparring in Developing the Quality of Engineering Programmes. I M. E. Auer & K.-S. Kim (red.), Engineering Education for a Smart Society - World Engineering Education Forum and Global Engineering Deans Council, 2016 (Bind 627, s. 158-174). Springer. https://doi.org/10.1007/978-3-319-60937-9_13

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

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

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

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

Boudjadar, J. & Nadjm-Tehrani, S. (2017). Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. 263-274. Abstract fra the 8th ACM/SPEC International Conference on Performance Engineering, L'Aquila, Italien. https://doi.org/10.1145/3030207.3030233

Madzar, B., Boudjadar, J., Dingel, J., Fuhrman, T. & S, R. (2017). Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. I O. Kouchnarenko & R. Khosravi (red.), Formal Aspects of Component Software - 13th International Conference, FACS 2016, Revised Selected Papers: FACS 2016 (Bind 10231, s. 153-171). Springer. https://doi.org/10.1007/978-3-319-57666-4_10

Bennedsen, J. (2018). A Case Study on Mathematics. I L. Santos Green, J. R. Banas & R. A. Perkins (red.), The Flipped College Classroom: Conceptualized and Re-Conceptualized (Bind 44, s. 143-147). Springer. https://doi.org/10.1007/978-3-319-41855-1

Tran-Jørgensen, P. W. V., Larsen, P. G. & T. Leavens, G. (2018). Automated translation of VDM to JML-annotated Java. International Journal on Software Tools for Technology Transfer, 20(2), 211-235. https://doi.org/10.1007/s10009-017-0448-3

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

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

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

Clark, J., Bendisposto, J., Hallerstede, S., Hansen, D. & Leuschel, M. (2016). Generating Event-B Specifications from Algorithm Descriptions. I M. Butler, K.-D. Schewe, A. Mashkoor & M. Biro (red.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings: ABZ 2016 (Bind 9675, s. 183-197). Springer. https://doi.org/10.1007/978-3-319-33600-8_11

Kirkelund, G. E. & Bennedsen, J. (2016). From PBL Supervisor to Product Owner: SCRUM based supervision of student projects. I Proceedings of SEFI Annual Conference: SEFI 2016 - the44th annnual conference European Society for Engineering Education (SEFI). http://www.sefi.be/conference-2016/papers/Engineering_Skills/kirkelund-from-pbl-supervisor-to-product-owner-104.pdf

Larsen, P. G., Plat, N. & Battle, N. (2016). The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering, Technical Report - ECE-TR-28. Aarhus University, Department of Engineering. Technical report Bind 4 Nr. 28 http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

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

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

Fabbri, T., Verhoef, M., Bandur, V., Perrotin, M., Tsiodras, T. & Larsen, P. G. (2016). Towards integration of Overture into TASTE. 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. 94-108). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Tran-Jørgensen, P. W. V., Larsen, P. G. & Battle, N. (2016). Using JML-based Code Generation to Enhance Test Automation for VDM Models. I P. G. Larsen, N. Plat & N. Battle (red.), 14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28 (s. 79-93). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

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

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

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

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

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

Bennedsen, J. & Rouvrais, S. (2016). Finding Good Friends to Learn from and to Inspire. I FIE 2016 - Frontiers in Education 2016: The Crossroads of Engineering and Business (Bind 2016, s. 1-8). Artikel 7757426 IEEE. https://doi.org/10.1109/FIE.2016.7757426

Oda, T., Akari, K. & Larsen, P. G. (2016). ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. I IWST 2016 - Proceedings of the 11th International Workshop on Smalltalk Technologies, in conjunction with the 24th International Smalltalk Joint Conference: In conjunction with the 24th International Smalltalk Joint Conference Artikel 5 Association for Computing Machinery. https://doi.org/10.1145/2991041.2991045

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2016). Agricultural robotic candidate overview using co-model driven development. I A. G. Bruzzone, S. Junco, G. Dauphin-Tanguy & Y. Merkuryev (red.), 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. https://www.msc-les.org/proceedings/imaaca/2016/IMAACA2016_41.pdf

Hallerstede, S. (2016). The correctness of event-B inductive convergence. Science of Computer Programming, 131(December), 94-108. https://doi.org/10.1016/j.scico.2016.04.012

Kim, J. M., Jacobsen, R. H. & Brewer, R. S. (2016). CoFELS: Conceptual Framework for Electricity Load Shifting System Design. I Proceedings - 19th Euromicro Conference on Digital System Design, DSD 2016: (DSD 2016) (Bind 2016, s. 268-275). Artikel 7723563 IEEE. https://doi.org/10.1109/DSD.2016.48

Viser resultater 751 til 800 ud af 1030

Forrige