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 by: Date | Author | Title

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Optimal Energy Resources Scheduling of Hybrid Diesel/Battery Ships in Shallow Waters. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 369-378). Springer. https://doi.org/10.1007/978-3-030-65796-3_36

Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Homayounzadeh, M. & Khooban, M. H. (2023). Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network. I E E E Transactions on Vehicular Technology, 72(7), 8449-8458. https://doi.org/10.1109/TVT.2023.3247838

Banaei, M., Boudjadar, J., Ebrahimy, R. & Madsen, H. (2021). Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. In IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society IEEE. https://doi.org/10.1109/IECON48115.2021.9589512

Woodcock, J., Cavalcanti, A. L. C. & Freitas, L. (2005). Operational Semantics for Model Checking Circus. In J. Fitzgerald, I. J. Hayes & A. Tarlecki (Eds.), FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings (pp. 237-252). Springer. https://doi.org/10.1007/11526841_17

Bolton, C., Davies, J. & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes. In K. Araki, A. Galloway & K. Taguchi (Eds.), IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 (pp. 273-292). Springer. https://doi.org/10.1007/978-1-4471-0851-1

Hallerstede, S. (2011). On the Purpose of Event-B Proof Obligations. Formal Aspects of Computing, 23(1), 133-150. https://doi.org/10.1007/s00165-009-0138-3

Larsen, P. G. (1998). On the Industrial Value of Models. Paper presented at 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, United Kingdom.

Hallerstede, S., Larsen, P. G., Boudjadar, J., Schultz, C. P. L. & Esterle, L. (2020). On the Design of a New Software Engineering Curriculum in Computer Engineering. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.), Frontiers in Software Engineering Education: FISEE 2019 (pp. 178-195). Springer. https://doi.org/10.1007/978-3-030-57663-9_12, https://doi.org/10.1007%2F978-3-030-57663-9

Vejdanparast, A., Lewis, P. R. & Esterle, L. (2018). Online zoom selection approaches for coverage redundancy in visual sensor networks. -. https://doi.org/10.1145/3243394.3243697

Esterle, L. & Lewis, P. R. (2017). Online multi-object κ-coverage with mobile smart cameras. -, 107-112. https://doi.org/10.1145/3131885.3131909

Gmehlich, R., Grau, K., Hallerstede, S., Leuschel, M., Lösch, F. & Plagge, D. (2011). On Fitting a Formal Method into Practice. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (pp. 195-210). Springer. https://doi.org/10.1007/978-3-642-24559-6_15

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2008). Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (pp. 11-20). IEEE. https://doi.org/10.1109/ICSTW.2008.29

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2008). Observations for Assertion-based Scenarios in the context of ModelValidation. In T. Margaria, J. Padberg, G. Taentzer, J. Cabot, M. Gogolla & P. Van Gorp (Eds.), Electronic Communications of the EASST: Proceedings of the8th International Workshop onOCL Concepts and Tools (OCL 2008)at MoDELS 2008 https://journal.ub.tu-berlin.de/eceasst/article/view/181/178

Bennedsen, J. & Schulte, C. (2013). Object interaction competence model v. 2.0. In Learning and Teaching in Computing and Engineering (LaTiCE) 2013 - Proceedings (pp. 9-16). Article 6542233 IEEE. https://doi.org/10.1109/LaTiCE.2013.43

Sandberg, M. (2020). Numerical Modelling of Material Flow in the Resin-injection Pultrusion Process. Technical University of Denmark.

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.

Sandberg, M., Yuksel, O., Comminal, R. B., Sonne, M. R., Jabbari, M., Bo Salling, F., Baran, I., Spangenberg, J. & Hattel, J. H. (2020). Numerical modeling of the mechanics of pultrusion. In Mechanics of Materials in Modern Manufacturing Methods and Processing Techniques: Elsevier Series in Mechanics of Advanced Materials (pp. 173-195). Elsevier. https://doi.org/10.1016/B978-0-12-818232-1.00006-0

Šeta, B., Sandberg, M., Brander, M., Mollah, M. T., Pokkalla, D. K., Kumar, V. & Spangenberg, J. (2024). Numerical modeling of fiber orientation in multi-layer, isothermal material-extrusion big area additive manufacturing. Additive Manufacturing, 92, Article 104396. https://doi.org/10.1016/j.addma.2024.104396

Sandberg, M., Yuksel, O., Baran, I., Hattel, J. H. & Spangenberg, J. (2021). Numerical and experimental analysis of resin-flow, heat-transfer, and cure in a resin-injection pultrusion process. Composites Part A: Applied Science and Manufacturing, 143, Article 106231. https://doi.org/10.1016/j.compositesa.2020.106231

Salling, F. B., Sandberg, M., Spangenberg, J. & Hattel, J. H. (2020). Numerical and experimental analyses in composites processing: impregnation, heat transfer, resin cure and residual stresses. IOP Conference Series-Materials Science and Engineering, 942(1), Article 012003. https://doi.org/10.1088/1757-899X/942/1/012003

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

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

Li, B., Teizer, J. & Schultz, C. P. L. (2020). Non-Monotonic Spatial Reasoning for Safety Analysis in Construction. In Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020: 22nd International Symposium on Principles and Practice of Declarative Programming (pp. 1-12). Article 16 Association for Computing Machinery. https://doi.org/10.1145/3414080.3414096

Johansen, K. W., Nielsen, R. O., Schultz, C. P. L. & Teizer, J. (2020). Non-monotonic Reasoning For Automated Progress Analysis Of Construction Operations. In N. Dawood , F. Pour Rahimian, S. Seyedzadeh & M. Sheikhkhoshkar (Eds.), Enabling the Development and Implementation of Digital Twins: Proceedings of the 20th International Conference on Construction Applications of Virtual Reality (pp. 292-303) https://www.researchgate.net/profile/Farzad-Pour-Rahimian/publication/344444905_Enabling_the_Development_and_Implementation_of_Digital_Twins_Proceedings_of_the_20th_International_Conference_on_Construction_Applications_of_Virtual_Reality/links/5fb3ec4445851518fdad5eab/Enabling-the-Development-and-Implementation-of-Digital-Twins-Proceedings-of-the-20th-International-Conference-on-Construction-Applications-of-Virtual-Reality.pdf

Roscoe, A. W., Woodcock, J. & Wulf, L. (1996). Non-interference through Determinism. Journal of Computer Security, 4(1), 27-53. https://doi.org/10.3233/JCS-1996-4103

Roscoe, A. W., Woodcock, J. & Wulf, L. (2005). Non-interference through determinism. In D. Gollmann (Ed.), Computer Security — ESORICS 94: Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings (pp. 31-53). Springer. https://doi.org/10.1007/3-540-58618-0_55

Larsen, P. G. (2020). New platform to help SMEs get started with cyber-physical systems. In J. Bruun (Ed.), Profile 2020 (pp. 30-33). Aarhus University, Department of Engineering. http://www.e-pages.dk/aarhusuniversitet/2231/html5/

Gleirscher, M., Foster, S. D. & Woodcock, J. (2019). New Opportunities for Integrated Formal Methods. ACM Computing Surveys, 52(6), 1-36. Article 117. https://doi.org/10.1145/3357231

Kamari, A., Li, B. & Schultz, C. P. L. (2021). Navigating the vast landscape of spatially valid renovation scenarios. In V. Semenov & R. J. Scherer (Eds.), ECPPM 2021 - eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia (pp. 163-170). CRC Press/Balkema. https://doi.org/10.1201/9781003191476-22

Neghina, M., Zamfirescu, C.-B., Larsen, P. G. & Pierce, K. (2020). Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. In B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (Eds.), Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (pp. 169-193). Academic Press. https://www.elsevier.com/books/multi-paradigm-modelling-approaches-for-cyber-physical-systems/tekinerdogan/978-0-12-819105-7

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

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

Brunell, C. & Bennedsen, J. (2013). Multi-level graduations in double degree engineering programmes between France and Denmark. In Procedings of the iCEER 2013 conference

Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Derakhshandeh, S. Y. & Khooban, M. H. (2023). Multi-Criteria Design of Electric Transit Bus Based on Wireless Charging Infrastructure: A Case Study of Real Road Map in Wakefield. Automation , 4(3), 291-308. https://doi.org/10.3390/automation4030017

Kazemi, Z., Rask, J. K., Gomes, C., Yildiz, E. & Larsen, P. G. (2023). Movable factory—A systematic literature review of concepts, requirements, applications, and gaps. Journal of Manufacturing Systems, 69, 189-207. https://doi.org/10.1016/j.jmsy.2023.06.008

Iraji, M., Dehghani, M., Mohammadi, M., Vafamand, N. & Boudjadar, J. (2021). Motor Current Signature Analysis Using Shapelet. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 23-33). Springer. https://doi.org/10.1007/978-3-030-65796-3_3

Stepney, S., Cooper, D. & Woodcock, J. (1998). More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. In J. P. Bowen, A. Fett & M. G. Hinchey (Eds.), ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Vol. 1, pp. 284-307). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49676-2_20

Vafamand, N., Boudjadar, J. & Khooban, M. H. (2020). Model predictive energy management in hybrid ferry grids. Energy Reports, 6(Supplement 2), 550-557. https://doi.org/10.1016/j.egyr.2019.11.118

Li, B., Fitzgerald, J. & Schultz, C. (2022). Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement. Advanced Engineering Informatics, 51, Article 101452. https://doi.org/10.1016/j.aei.2021.101452

Kulik, T., Macedo, H. D., Talasila, P. & Larsen, P. G. (2021). Modelling the HUBCAP Sandbox Architecture In VDM: A Study In Security. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 20-35) https://arxiv.org/pdf/2101.07261.pdf

Wei, K., Woodcock, J. & Burns, A. (2013). Modelling temporal behaviour in complex systems with Timebands. Formal Methods in System Design, 3(43), 520–551. https://doi.org/10.1007/s10703-013-0193-5

Fitzgerald, J. & Larsen, P. G. (1998). Modelling Systems: Practical Tools and Techniques in Software Development. (1 ed.) Cambridge: Cambridge University Press.

Hallerstede, S., Kristensen, K. & Larsen, P. G. (2014). Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.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/

Abbiati, G., Gomes, C., Sandberg, M., Kazemi, Z., Hansen, S. T. & Larsen, P. G. (2024). Modelling for Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 89-127). Springer. https://doi.org/10.1007/978-3-031-66719-0_5

Esparza Isasa, J. A., Jørgensen, P. W. V., Nielsen, C. B. & Hallerstede, S. (2014). Modelling Energy Consumption in Embedded Systems with VDM-RT. In Y. Ameur & K.-D. Schewe (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z: v (pp. 130-135 ). Springer VS. https://doi.org/10.1007/978-3-662-43652-3_1

Esparza Isasa, J. A. & Larsen, P. G. (2013). Modelling different CPU power states in VDM-RT. In K. Pierce & S. Hallerstede (Eds.), Proceedings of the 11th Overture Workshop, 2013 Aarhus University, Department of Engineering. http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Li, B., Fitzgerald, J. & Schultz, C. P. L. (2020). Modelling Co-presence in the Built Environment - a Spatio-temporal Approach to Human Perception and Movement. In L. C. Ungureanu & T. Hartmann (Eds.), EG-ICE 2020 Workshop on Intelligent Computing in Engineering, Proceedings: Workshop on Intelligent Computing in Engineering (pp. 215-225). Universitätsverlag der TU Berlin. https://doi.org/10.14279/depositonce-9977

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

Hallerstede, S. & Larsen, P. G. (2013). Modelling a Smart Grid System-of-Systems using VDM. In K. Pierce & S. Hallerstede (Eds.), Proceedings of The 11th Overture Workshop, 2013 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Displaying results 351 to 400 out of 965

Back to the main page

Revised 10.08.2023

AU Engineering