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

Masci, P., Monteiro Duarte Couto, L. D., Larsen, P. G. & Curzon, P. (2015). Integrating the PVSio-web modelling and prototyping environment with Overture. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 33-47). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Gil Arboleda, S., Schou, C., Mikkelsen, P. H. & Larsen, P. G. (2024). Integrating Skills into Digital Twins in Cooperative Systems. In 2024 IEEE/SICE International Symposium on System Integration (SII) (pp. 1124-1131). IEEE. https://doi.org/10.1109/SII58957.2024.10417610

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. In 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (pp. 1-6). IEEE. https://doi.org/10.1109/CPSData.2016.7496424

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. In P. G. Larsen, N. Plat & N. Battle (Eds.), The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28 (Vol. 4/28, pp. 63-79). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

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

Abraham, E. (Ed.), Hallerstede, S. (Ed.), Hatcliff, J. (Ed.), Stewart, D. (Ed.) & Abou El Wafa, N. (2023). Integrated Rigorous Analysis in Cyber-Physical Systems Engineering. Dagstuhl Reports, 13(1), 155-183. https://doi.org/10.4230/DagRep.13.1.155

Schultz, C. P. L. & Bhatt, M. (2013). InSpace3D: A Middleware for Built Environment Data Access and Analytics. In W. Agresti, J. O. Aje, S. Baek, I. Bojanova, F. Bouthillier, F. J. Cantu Ortiz, A. Carswell, I. Casas, G. Darkazalli, E. A. Edmonds, C. Ghezzi, R. Khan, M. Koval, M. Levi, B. Lin & R. V. McCarthy (Eds.), Procedia Computer Science (Vol. 18, pp. 80-89) https://doi.org/10.1016/j.procs.2013.05.171

Abdolmaleki, H., Haugen, A. B., Merhi, Y., Nygaard, J. V. & Agarwala, S. (2023). Inkjet-printed flexible piezoelectric sensor for self-powered biomedical monitoring. Materials Today Electronics, 5, Article 100056. https://doi.org/10.1016/j.mtelec.2023.100056

Couto, L. D., Basagiannis, S., Ridouane, E. H., Hasanagic, M. & Larsen, P. G. (2018). Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems. 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 (Vol. 10729, pp. 284-299). Springer. https://doi.org/10.1007/978-3-319-74781-1_20

Bicarregui, J. C., Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2009). Industrial Practice in Formal Methods : A Review. In FM 2009: Formal Methods : Lecture Notes in Computer Science (Vol. 5850/2009, pp. 810-813) https://doi.org/10.1007/978-3-642-05089-3_52

Zambrano, V., Mueller-Roemer, J., Sandberg, M., Talasila, P., Zanin, D., Larsen, P. G., Loeschner, E., Thronicke, W., Pietraroia, D., Landofi, G., Fontana, A., Laspalas, M., Antony, J., Poser, V., Kiss, T., Bergweiler, S., Pena Serna, S., Izquierdo, S., Viejo, I. ... Stork, A. (2022). Industrial Digitalization in the Industry 4.0 era: Classification, Reuse and Authoring of Digital Models on Digital Twin Platforms. Array, 14, Article 100176. https://doi.org/10.1016/j.array.2022.100176

Fitzgerald, J., Bicarregui, J. C., Larsen, P. G. & Woodcock, J. C. P. (2013). Industrial Deployment of Formal Methods: Trends and Challenges. In A. Romanovsky & M. Thomas (Eds.), The DEPLOY book: Industrial deployment of system engineering methods providing high dependability and productivity Springer.

Verhoef, M. & Larsen, P. G. (2014). Industrial Application of Co-modelling and Co-simulation Technology. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 223-258). Springer. https://doi.org/10.1007/978-3-642-54118-6_11

Esterle, L. & Lux, M. (2011). Indexing digital images based on overlap. -, 134-137. https://doi.org/10.1109/MUE.2011.35

Hallerstede, S. (2009). Incremental System Modelling in Event-B. In F. S. D. Boer, M. M. Bonsangue & E. Madelaine (Eds.), Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Revised Lectures (pp. 139-158). Springer. https://doi.org/10.1007/978-3-642-04167-9_8

Larsen, P. G., Daniel Macedo, H. & Fitzgerald, J. (2008). Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. In FM 2008: Formal Methods: 15th International Symposium on Formal Methods

Larsen, M., Tran-Jørgensen, P. W. V. & Larsen, P. G. (2015). Improving Time Estimates in VDM-RT Models. In Proceedings of the 13th Overture workshop (Vol. Grace-TR 2015-06, pp. 90-103). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Esterle, L., Rinner, B., Lewis, P. R. & Yao, X. (2012). Improved adaptivity and robustness in decentralised multi-camera networks. -. https://ieeexplore.ieee.org/document/6470132

Oda, T., Dur, G., Ducasse, S. & Macedo, H. D. (2023). Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL.

Banaei, M., Raouf-Sheybani, H., Oloomi-Buygi, M. & Boudjadar, J. (2021). Impacts of large-scale penetration of wind power on day-ahead electricity markets and forward contracts. International Journal of Electrical Power and Energy Systems, 125, Article 106450. https://doi.org/10.1016/j.ijepes.2020.106450

Brown, J. N. A. & Esterle, L. (2020). I'm already optimal: The Dunning-Kruger Effect, Sociogenesis, and Self-Integration. In E. El-Araby, S. Tomforde, T. Wood, P. Kumar, C. Raibulet, I. Petri, G. Valentini, P. Nelson & B. Porter (Eds.), 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 82-84). IEEE. https://doi.org/10.1109/ACSOS-C51401.2020.00035

Jensen, T. F., Hansen, F. O., Esparza Isasa, J. A., Mikkelsen, P. H., Hakala, T. & Vuorela, T. (2014). ICT-enabled Medical Compression Stocking for Treatment of Leg Venous Insufficiency. In Proceedings of the 7th International Conference on Biomedical Electronics and Devices: BIODEVICES 2014 - Part of 7th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC (pp. 212-217). SCITEPRESS Digital Library. https://doi.org/10.5220/0004903402120217

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

Gheisarnejad Chirani, M., Mosayebi, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2023). Hybrid Power Systems for Smart Marine Power Grids: Demonstration and Case Study. In Electric Transportation Systems in Smart Power Grids (pp. 473-492). CRC Press. https://doi.org/10.1201/9781003293989

Abbiati, G., Baş, E. E., Gomes, C. & Larsen, P. G. (2023). Hybrid fire testing using FMI-based co-simulation. Fire Safety Journal, 139, Article 103832. https://doi.org/10.1016/j.firesaf.2023.103832

Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Veneziano, G., Sutton, L., Gusmeroli, S. & Suciu, G. (2022). HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. In M. S. Obaidat, T. Oren & F. D. Rango (Eds.), Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020 (pp. 90-110). Springer. https://doi.org/10.1007/978-3-030-84811-8_5

Hallerstede, S. (2009). How to make mistakes. In C. Attiogbé & D. Mery (Eds.), From Research to Teaching Formal Methods: The B Method: (TFM-B’2009) (pp. 93-108). APCB. http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2009/TFMB09_proceedings.pdf

Hallerstede, S. & Leuschel, M. (2009). How to explain mistakes. In Teaching Formal Methods. Proceedings Second International Conference, TFM 2009 (pp. 105-124)

Corazza, A., DI MARTINO, SERGIO., FERRUCCI, FILOMENA., GRAVINO, CARMINE., Sarro, F. & Mendes, E. (2010). How Effective is Tabu search to configure support vector regression for effort estimation? In 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010 (pp. 1–10). Article 4 Association for Computing Machinery. https://doi.org/10.1145/1868328.1868335

Kamari, A. & Schultz, C. P. L. (2023). How can LCA inform early-stage design to meet Danish regulations? The sustainability opportunity metric. In E. Hjelseth, S. F. Sujan & R. J Scherer (Eds.), ECPPM 2022 - eWork and eBusiness in Architecture, Engineering and Construction 2022: Proceedings of the 14th European Conference on Product and Process Modelling (ECPPM 2022), September 14-16, 2022, Trondheim, Norway (pp. 27-34). CRC Press. https://doi.org/10.1201/9781003354222-4

Gomes, C., Oakes, B. J., Moradi, M., Torres Gamiz, A., Mendo, J. C., Dutre, S., Denil, J. & Vangheluwe, H. (2019). HintCO - Hint-Based Configuration of Co-Simulations. In SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 57-68) http://msdl.cs.mcgill.ca/people/bentley/research/HintCO.pdf

Oakes, B. J., Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J. & Vangheluwe, H. (2021). Hint-based configuration of co-simulations with algebraic loops. In M. S. Obaidat, M. S. Obaidat, M. S. Obaidat, T. Ören & H. Szczerbicka (Eds.), Simulation and Modeling Methodologies, Technologies and Applications - 9th International Conference, SIMULTECH 2019, Revised Selected Papers (pp. 1-28). Springer. https://doi.org/10.1007/978-3-030-55867-3_1

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2013). Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. In Formal Aspects of Component Software (pp. 61-78). Springer. https://link.springer.com/chapter/10.1007/978-3-319-07602-7_6

Woodcock, J., Foster, S. D. & Butterfield, A. (2016). Heterogeneous Semantics and Unifying Theories. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings (Vol. 1, pp. 374-394). Springer. https://doi.org/10.1007/978-3-319-47166-2_26

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). H-Complexity Metric for Qualitative Spatial and Temporal Reasoning Applications. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence: IJCAI-09 Contents (pp. 52-60). IJCAI Organization. https://pdfs.semanticscholar.org/12b5/5adfaf495e84f2e57988237691a8a2885b6b.pdf?_ga=2.69571411.251081761.1503904316-1579627791.1498545755

Johansen, K. W., Schultz, C. & Teizer, J. (2023). Hazard ontology and 4D benchmark model for facilitation of automated construction safety requirement analysis. Computer-Aided Civil and Infrastructure Engineering, 38(15), 2128-2144. https://doi.org/10.1111/mice.12988

Esparza Isasa, J. A., Jørgensen, P. W. V. & Larsen, P. G. (2014). Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. In Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development (pp. 209-216). SCITEPRESS Digital Library.

G. Aydal, E., Woodcock, J. & Cavalcanti, A. L. C. (2007). Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. In J. Filipe, M. Helfert & B. Shishkov (Eds.), Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT (Vol. 1: ICSOFT, pp. 290-295.). SCITEPRESS Digital Library. https://doi.org/10.5220/0001324002900295

Esterle, L. (2019). Goal-aware team affiliation in collectives of autonomous robots. International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 90-99. https://doi.org/10.1109/SASO.2018.00020

Frasheri, M., Miloradovic, B., Esterle, L. & Papadopoulos, A. V. (2023). GLocal: A Hybrid Approach to the Multi-Agent Mission Re-Planning Problem. Proceedings (IEEE Symposium Series on Computational Intelligence), 1696-1703. https://doi.org/10.1109/SSCI52147.2023.10371893

Larsen, P. G., Fitzgerald, J. & Coleman, J. W. (2012). Getting Software Engineering out of Isolation. Paper presented at SYRCoSE 2012, Perm, Russian Federation.

Boudjadar, J., Hyun Kim, J., Thi Xuan Phan, L., Lee, I., G. Larsen, K. & Nyman, U. M. (2018). Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. In Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018: Proceedings (pp. 51-58). Article 8421146 IEEE. https://doi.org/10.1109/ISORC.2018.00015

Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H. & Larsen, P. G. (2020). Generation of Co-simulation Algorithms Subject to Simulator Contracts. In J. Camara & M. Steffen (Eds.), Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (pp. 34-49). Springer. https://doi.org/10.1007/978-3-030-57506-9_4

Hasanagic, M., Larsen, P. G. & Tran-Jørgensen, P. W. V. (2015). Generating Java RMI code for the distributed aspects of VDM-RT models. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 75-89). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

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

Talasila, S. R. K. P. & Lucani Rötter, D. E. (2019). Generalized Deduplication: Lossless Compression by Clustering Similar Data. In Proceeding of the 2019 IEEE 8th International Conference on Cloud Networking, CloudNet 2019 Article 9064140 IEEE. https://doi.org/10.1109/CloudNet47604.2019.9064140

Larsen, P. G., Fitzgerald, J., Gomes, C., Woodcock, J., Basagiannis, S., Ulisse, A., Esterle, L., Lucani Rötter, D. E., Hansen, S. T. & Oakes, B. J. (2024). Future Directions and Challenges. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 363-386). Springer. https://doi.org/10.1007/978-3-031-66719-0_15

Saleem, B., Badar, R., Manzoor, A., Judge, M. A., Boudjadar, J. & Islam, S. U. (2022). Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System. IEEE Access, 10, 36464-36476. https://doi.org/10.1109/ACCESS.2022.3164455

Hallerstede, S., Hasanagic, M., Krings, S., Larsen, P. G. & Leuschel, M. (2018). From Software Specifications to Constraint Programming. In E. Broch Johnsen & I. Schafer (Eds.), Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (pp. 21-36). Springer. https://doi.org/10.1007/978-3-319-92970-5_2

Kirkelund, G. E. & Bennedsen, J. (2016). From PBL Supervisor to Product Owner: SCRUM based supervision of student projects. In 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

Displaying results 451 to 500 out of 903

Back to the main page

Revised 10.08.2023

AU Engineering