Publications within Software Engineering & Computing Systems

Woodcock, J. & Larsen, P. G. (1995). Guest Editorial: Introduction to Special Section. IEEE Transactions on Software Engineering, 21, 61-62. https://doi.org/10.1109/TSE.1995.10000

Hallerstede, S. (2003). Parallel hardware design in B. In D. Bert, J. P. Bowen, S. King & M. Walden (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 101-102). Springer Verlag. https://doi.org/10.1007/3-540-44880-2_8

Hallerstede, S. & Butler, M. (2004). Performance analysis of probabilistic action systems. Formal Aspects of Computing, 16(4), 313-331. https://doi.org/10.1007/s00165-004-0037-6

Voros, N. S., Snook, C. F., Hallerstede, S. & Masselos, K. (2005). Embedded system design using formal model refinement: An approach based on the combined use of UML and the B language. Design Automation for Embedded Systems, 9(2), 67-99. https://doi.org/10.1007/s10617-005-1184-6

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2006). An open extensible tool environment for event-B. In Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings (pp. 588-605). Springer Verlag. https://doi.org/10.1007/11901433_32

Hallerstede, S. (2006). Justifications for the event-b modelling notation. In J. Julliand & O. Kouchnarenko (Eds.), B 2007: Formal Specification and Development in B - 7th International Conference of B Users, Proceedings (pp. 49-63). Springer Verlag. https://doi.org/10.1007/11955757_7

Hallerstede, S. & Hoang, T. S. (2007). Qualitative probabilistic modelling in Event-B. In Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings (pp. 293-312). Springer Verlag. https://doi.org/10.1007/978-3-540-73210-5_16

Abrial, J. R. & Hallerstede, S. (2007). Refinement, decomposition, and instantiation of discrete models: Application to event-B. Fundamenta Informaticae, 77(1-2), 1-28. https://dl.acm.org/doi/10.5555/2366448.2366450

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2008). A roadmap for the rodin toolset. In Abstract State Machines, B and Z - First International Conference, ABZ 2008, Proceedings (pp. 347) https://doi.org/10.1007/978-3-540-87603-8_35

Macedo, H. D. & Touili, T. (2013). Mining Malware Specifications through Static Reachability Analysis.

Macedo, H. D. & Oliveira, J. N. (2013). Typing linear algebra: A biproduct-oriented approach.

Foster, S. D., Miyazawa, A., Woodcock, J., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G. (2014). An approach for managing semantic heterogeneity in Systems of Systems Engineering. In S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (Eds.), John Fitzgerald (pp. 113-118). IEEE. https://doi.org/10.1109/SYSOSE.2014.6892473

Fitzgerald, J., Gamble, C., Larsen, P. G., Pierce, K. & Woodcock, J. (2015). Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) (pp. 40-46). IEEE. https://doi.org/10.1109/FormaliSE.2015.14

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

Legaard, C. M., Thule, C. & Larsen, P. G. (2019). Towards Graphical Configuration in the INTO-CPS Application. In 17TH OVERTURE WORKSHOP

Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Gusmeroli, S. & Jr, G. S. (2020). A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. In F. De Rango, T. Ören & M. Obaidat (Eds.), Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 263-270). SCITEPRESS Digital Library. https://doi.org/10.5220/0009892802630270

Andalibi, M., Hajihosseini, M., Gheisarnejad, M., Boudjadar, J., Khooban, M. H. & Dragicevic, T. (2020). A New Nonlinear Controller for Multilevel DC/DC Boost Converter. In 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (pp. 276-280). Article 9244399 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244399

Gomes, C., Franceschini, R., Battle, N., Thule, C., Lausdahl, K., Vangheluwe, H. & Larsen, P. G. (2020). Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. In Proceedings of the American Modelica Conference 2020 (pp. 149-158). Linköping University Electronic Press. https://doi.org/10.3384/ecp20169149

Boudjadar, J. (2020). A Study of the Trade-off Energy Consumption-Performance-Schedulability for DVFS Multicore Systems. International Journal of Computer and Information Engineering, 14(11), 380-391.

Banaei, M., Boudjadar, J., Dragicevic, T. & Khooban, M. H. (2020). Cost Effective Operation of a Hybrid Zero-Emission Ferry Ship. In 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (pp. 23-28). Article 9244456 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244456

Larsen, P. G., Soulioti, G., Macedo, H. D., Alifragkis, V., Fitzgerald, J., Livanos, N., Pfeifer, H., Pasquinelli, M., Benedict, M., Thule, C., Tonetta, S., Stritzelberger, B., Marguglio, A., Sutton, L. F., Obstbaum, M., Gusmeroli, S., Beutenmüller, F., Jr., G. S., Wijnands, Q. & Talasila, P. (2020). Enabling Combining Models and Tools in an Online MBSE Collaboration Platform. In Model Based Space Systems and Software Engineering (MBSE2020) https://indico.esa.int/event/329/attachments/3868/5508/Abstracts_combined.pdf

Thule, C., Gomes, C. & Lausdahl, K. G. (2020). Formally Verified FMI Enabled External Data Broker: Rabbitmq FMU. In Proceedings of the 2020 Summer Simulation Conference (Vol. 52, pp. 1-12). Article 12 Association for Computing Machinery. https://doi.org/10.5555/3427510.3427533

Thoft Krogshave, J., Böttjer, T. & Ramanujan, D. (2020). Machine-Specific Energy Estimation Using the Unit Process Life Cycle Inventory (UPLCI) Model. In ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: Volume 6: 25th Design for Manufacturing and the Life Cycle Conference (DFMLC) Article V006T06A031 American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2020-22483

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

Li, B., Schultz, C. P. L., Melzner, J., Golovina, O. & Teizer, J. (2020). Safe and Lean Location-based Construction Scheduling. In H. Osumi, H. Furuya & K. Tateyama (Eds.), Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020): From Demonstration to Practical Use - To New Stage of Construction Robot - (pp. 1409-1416). International Association for Automation and Robotics in Construction (IAARC). https://doi.org/10.22260/ISARC2020/0195

Battle, N., Thule, C., Gonçalves Gomes, C. Â., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. 272-288. https://doi.org/10.1007/978-3-030-54997-8_18

Tola, D. & Larsen, P. G. (2021). A Co-Simulation Based Approach for Developing Safety-Critical Systems. In Proceedings of the 18th International Overture Workshop https://arxiv.org/pdf/2101.07261.pdf#page=65

Ahmadi, H., Rafiei Foroushani, M., Afshari-Igder, M., Gheisarnejad Chirani, M. & Khooban, M. H. (2021). An Energy Efficient Solution for Fuel Cell Heat Recovery in Zero-Emission Ferry Boats: Deep Deterministic Policy Gradient. I E E E Transactions on Vehicular Technology, 70(8), 7571-7581. Article 9477203. https://doi.org/10.1109/TVT.2021.3094899.

Mohammadzadeh Shahir, F., Gheisarnejad Chirani, M., S. Sadabadi , M. & Khooban, M. H. (2021). A New Off-Board Electrical Vehicle Battery Charger: Topology, Analysis and Design. Designs, 5(3), Article 51. https://doi.org/10.3390/designs5030051

Mohammadzadeh Shahir, F., Gheisarnejad Chirani, M. & Khooban, M. H. (2021). A New Transformer-Less Structure for a Boost DC-DC Converter with Suitable Voltage Stress. Automation , 2(4), 220-237. https://doi.org/10.3390/automation2040014

Hansen, S. T., Thule, C. & Gomes, C. (2021). An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. In L. Cleophas & M. Massink (Eds.), Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops (pp. 295-310). Springer. https://doi.org/10.1007/978-3-030-67220-1_22

Andalibi, M., Hajihosseini, M., Gheisarnejad Chirani, M., Khooban, M. H. & Boudjadar, J. (2021). A Novel Method for Stabilizing Buck-Boost Converters with CPL using Model Prediction Control. In Proceedings - 2021 22nd IEEE International Conference on Industrial Technology, ICIT 2021 (pp. 541-545). Article 9453639 IEEE. https://doi.org/10.1109/ICIT46573.2021.9453639

Mohammadi Moghadam, H., Gheisarnejad Chirani, M., Yalsavar, M., Foroozan, H. & Khooban, M. H. (2021). A Novel Nonsingular Terminal Sliding Mode Control-Based Double Interval Type-2 Fuzzy Systems: Real-Time Implementation. Inventions, 6(2), Article 40. https://doi.org/10.3390/inventions6020040

Gheisarnejad Chirani, M., Sharifzadeh, M., Khooban, M. H. & Al-Haddad, K. (2021). A Robust Ultra-Local Model Control with DC Capacitor Voltage-Balancing for PEC9 Inverter. In 2021 IEEE Energy Conversion Congress and Exposition, ECCE 2021 - Proceedings (pp. 2601-2606). IEEE. https://doi.org/10.1109/ECCE47101.2021.9595329

Boudjadar, J. & Khooban, M. H. (2021). A Safety-Driven Cost Optimization for the Real-Time Operation of a Hybrid Energy System. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 390-400). Springer. https://doi.org/10.1007/978-3-030-65796-3_38

Bennedsen, J. (2021). Assessing students' professional criticism skills - a mathematics course case. In J. Bennedsen, K. Edström, M. S. Gudjonsdottir, I. Sæmundsdóttir, N. Kuptasthien, J. Roslöf & A. Sripakagorn (Eds.), The 17^th International CDIO Conference: Proceedings - Full papers (pp. 293-302). Chulalongkorn University. http://www.cdio2021.chula.ac.th/download/CDIO2021_proceeding.pdf

Legaard, C. M., Tola, D., Schranz, T., Macedo, H. D. & Larsen, P. G. (2021). A Universal Mechanism for Implementing Functional Mock-up Units. In G. Wagner, F. Werner, T. I. Ören & F. D. Rango (Eds.), Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021, Online Streaming, July 7-9, 2021 (pp. 121-129). SCITEPRESS Digital Library. https://doi.org/10.5220/0010577601210129

Johansen, K. W., Nielsen, R., Schultz, C. & Teizer, J. (2021). Automated activity and progress analysis based on non-monotonic reasoning of construction operations. Smart and Sustainable Built Environment, 10(3), 457-486. https://doi.org/10.1108/SASBE-03-2021-0044

Robinson, C., Bagnato, A., Pastrone, C., Weyer, T., Popov, P., Macedo, H. D., Sassanelli, C., Larsen, P. G., Luz, C. H., Henshaw, M., Buron, C., Akerkar, R. & Györffi, M. (2021). Bridging the stakeholder communities that produce cyber-physical systems. In M. D. E. al (Ed.), HiPEAC Vision 2021: High performance embedded architecture and compilation (pp. 20-29). HiPEAC. https://www.hipeac.net/vision/2021/

Frasheri, M., Esterle, L. & Papadopoulos, A. V. (2021). Cooperative Multi-agent Systems for the Multi-target κ -Coverage Problem. In A. P. Rocha, L. Steels & J. van den Herik (Eds.), Agents and Artificial Intelligence: ICAART 2020 (pp. 106-131). Springer. https://doi.org/10.1007/978-3-030-71158-0_5

Banaei, M., Ghanami, F., Khooban, M. H. & Boudjadar, J. (2021). Cost-effective control of Roll-on/Roll-off Emission-Free Ships. In 2021 25th International Conference on Methods and Models in Automation and Robotics, MMAR 2021 (pp. 315-320). IEEE. https://doi.org/10.1109/MMAR49549.2021.9528473

Falay, B., Wilfling, S., Alfalouji, Q., Exenberger, J., Schranz, T., Legaard, C. M., Leusbrock, I. & Schweiger, G. (2021). Coupling physical and machine learning models: case study of a single-family house. In Proceedings of 14th Modelica Conference 2021 (pp. 335-341) https://doi.org/10.3384/ecp21181335

Böttjer, T., Ørnskov Rønsch, G., Gonçalves Gomes, C. Â., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2021). Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds. In A.-L. Andersen, R. Andersen, D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (Eds.), Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems: Proceedings of the Changeable, Agile, Reconﬁgurable and Virtual Production Conference and the World Mass Customization & Personalization Conference (pp. 431-439). Springer. https://www.springerprofessional.de/en/data-driven-identification-of-remaining-useful-life-for-plastic-/19816878

Rafiei Foroushani, M., Griffiths, M. P., Boudjadar, J. & Khooban, M. H. (2021). Deep Learning-Based Energy Management of an All-electric City Bus with Wireless Power Transfer. IEEE Access, 9, 43981-43990. Article 9380640. https://doi.org/10.1109/ACCESS.2021.3066300

Li, B., Schultz, C. P. L., Dimyadi, J. & Amor, R. (2021). Defeasible reasoning for automated building code compliance checking. 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. 229-236). CRC Press. https://doi.org/10.1201/9781003191476

Badicu, A., Iordache, G., Suciu, G., Macedo, H. D., Sassanelli, C., Terzi, S. & Larsen, P. G. (2021). Deploying the Smart Energy Tool for Investment Simulation inside the HUBCAP Sandbox. In A. G. Bruzzone, J. S. Janosy, L. Nicoletti & G. Zacharewicz (Eds.), 9th International Workshop on Simulation for Energy, Sustainable Development and Environment, SESDE 2021 (pp. 18-26) https://doi.org/10.46354/i3m.2021.sesde.003

Feng, H., Gomes, C., Sandberg, M., Thule, C., Lausdahl, K. & Larsen, P. G. (2021). Developing a Physical and Digital Twin: An Example Process Model. In Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 (pp. 286-295). IEEE. https://doi.org/10.1109/MODELS-C53483.2021.00050

Macedo, H. D. (2021). Digital Twins. 12-15. Paper presented at Digitale tvillinger i afløbs- og spildevandsbranchen . http://www.evanet.dk/wp-content/uploads/2021/09/2021_03_EVA_blad.pdf

Esterle, L., Gomes, C., Frasheri, M., Ejersbo, H., Tomforde, S. & Larsen, P. G. (2021). Digital twins for collaboration and self-integration. In E. El-Araby, V. Kalogeraki, D. Pianini, F. Lassabe, B. Porter, S. Ghahremani, I. Nunes, M. Bakhouya & S. Tomforde (Eds.), Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (pp. 172-177). IEEE. https://doi.org/10.1109/ACSOS-C52956.2021.00040

Schultz, C. P. L. & Kamari, A. (2021). Diversity in Renovation Design: Theoretical Foundations of the Renovation Domain Model. Journal of Computing in Civil Engineering, 35(4), Article 04021006. https://doi.org/10.1061/(ASCE)CP.1943-5487.0000969

Displaying results 1 to 50 out of 343

Revised 10.08.2023

Heidi Søndergaard