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

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

Boudjadar, J., Hyun Kim, J., Legay, A. & Choi, J.-Y. (2015). Optimizing the Resource Requirements of Hierarchical Scheduling Systems. I 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems https://www.researchgate.net/publication/284182983_Optimizing_the_Resource_Requirements_of_Hierarchical_Scheduling_Systems

Moradi, M., Gomes, C., Oakes, B. J. & Denil, J. (2019). Optimizing fault injection in fmi co-simulation through sensitivity partitioning. Simulation Series, 2019-July. https://bentleyjoakes.github.io/assets/publications/Moradi2019%20-%20Optimizing%20Fault%20Injection%20in%20FMI%20Co-Simulation%20Through%20Sensitivity%20Partitioning.pdf

Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. I R. Prasad, S. Ohmori & D. Šimunić (red.), Towards Green ICT (s. 185-210). River Pulishers.

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Optimal Energy Resources Scheduling of Hybrid Diesel/Battery Ships in Shallow Waters. I H. Selvaraj, G. Chmaj & D. Zydek (red.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 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. I 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. I J. Fitzgerald, I. J. Hayes & A. Tarlecki (red.), FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings (s. 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. I K. Araki, A. Galloway & K. Taguchi (red.), IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 (s. 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. Afhandling præsenteret på 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, Storbritannien.

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. I J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (red.), Frontiers in Software Engineering Education: FISEE 2019 (s. 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. I S. Qin & Z. Qiu (red.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (s. 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. I 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (s. 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. I T. Margaria, J. Padberg, G. Taentzer, J. Cabot, M. Gogolla & P. Van Gorp (red.), 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. I Learning and Teaching in Computing and Engineering (LaTiCE) 2013 - Proceedings (s. 9-16). Artikel 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. I 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. I Mechanics of Materials in Modern Manufacturing Methods and Processing Techniques: Elsevier Series in Mechanics of Advanced Materials (s. 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, Artikel 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, Artikel 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), Artikel 012003. https://doi.org/10.1088/1757-899X/942/1/012003

Ostrowski, H., Sandberg, M. & Budzik, M. K. (2025). Novel fracture mechanics tests for thin 3D printed materials. Abstract fra EPF European Polymer Congress, Groningen, Holland.

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. I J. Karlshoj & R. Scherer (red.), 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) (s. 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. I 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 (s. 1-12). Artikel 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. I N. Dawood , F. Pour Rahimian, S. Seyedzadeh & M. Sheikhkhoshkar (red.), Enabling the Development and Implementation of Digital Twins: Proceedings of the 20th International Conference on Construction Applications of Virtual Reality (s. 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. I D. Gollmann (red.), Computer Security — ESORICS 94: Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings (s. 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. I J. Bruun (red.), Profile 2020 (s. 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. Artikel 117. https://doi.org/10.1145/3357231

Haq, A. U., Sefati, S. S., Nawaz, S. J., Mihovska, A. & Beliatis, M. (2025). Need of UAVs and Physical Layer Security in Next-generation Non-terrestrial Wireless Networks- Potential Challenges and Open Issues. IEEE Open Journal of Vehicular Technology, 6, 554-595. https://doi.org/10.1109/OJVT.2025.3525781

Kamari, A., Li, B. & Schultz, C. P. L. (2021). Navigating the vast landscape of spatially valid renovation scenarios. I V. Semenov & R. J. Scherer (red.), 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 (s. 163-170). CRC Press/Balkema. https://doi.org/10.1201/9781003191476-22

Spangsberg, E., Hesselvig, J., Nygaard, R. T., Budzik, M. K. & Sandberg, M. (2025). Multiscale Modelling of Heat Transfer in Selective Laser Sintering. engrXiv. https://doi.org/10.31224/4704

Neghina, M., Zamfirescu, C.-B., Larsen, P. G. & Pierce, K. (2020). Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. I B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (red.), Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (s. 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. I 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. I H. Selvaraj, G. Chmaj & D. Zydek (red.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 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. I J. P. Bowen, A. Fett & M. G. Hinchey (red.), ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Bind 1, s. 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, Artikel 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. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 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 udg.) 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. I M. Butler & S. Hallerstede (red.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Viser resultater 351 til 400 ud af 989

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering