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

Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G., Kamari, A. & Schultz, C. P. L. (2024). The Anatomy of an Architect´s Argument: Formally Capturing Socially-Oriented Design Intentions in the Built Environment. I M. Srećković, M. Kassem, R. Soman & A. Chassiakos (red.), Proceedings of the 2024 European Conference on Computing in Construction (s. 268-275) https://doi.org/10.35490/EC3.2024.186

Nordtorp, F., Baş, E. E., Gomes, C. & Abbiati, G. (2024). A Hybrid Testing Framework for Wind Turbine Mechanical Components. Journal of Physics: Conference Series, 2767(5), Artikel 052046. https://doi.org/10.1088/1742-6596/2767/5/052046

Lokan, C. & Mendes, E. (2006). Cross-company and Single-company Effort Models using the ISBSG Database: a Further Replicated Study. I ISCE'06 - Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering (s. 75–84). Association for Computing Machinery. https://doi.org/10.1145/1159733.1159747

de la Cour, J. D., Johnsen, C.-J. & Avery, J. E. (2024). Lockstep-Parallel Dualization of Surface Triangulations. I PASC '24: Proceedings of the Platform for Advanced Scientific Computing Conference Artikel 9 Association for Computing Machinery. https://doi.org/10.1145/3659914.3659923

Kazemi, Z., Yildiz, E. & Larsen, P. G. (2024). Enabling Flexible Manufactuirng in Wind Industry Based on Movable Factory Concept: Definitions, Requirements, and Challenges. I 2024 IEEE International Conference on Industrial Technology (ICIT) Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICIT58233.2024.10540826

Caro, A., Calero, C., Mendes, E. & Piattini, M. (2007). A Probabilistic Approach to Web Portal’s Data Quality Evaluation. I 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007) (s. 3-11). Artikel 4335229 IEEE. https://doi.org/10.1109/QUATIC.2007.10

Corazza, A., Di Martino, S., Ferrucci, F., Gravino, C. & Mendes, E. (2009). Applying Support Vector Regression for Web Effort Estimation using a Cross-Company Dataset. I 2009 3rd International Symposium on Empirical Software Engineering and Measurement, ESEM 2009 (s. 191-202). Artikel 5315991 IEEE. https://doi.org/10.1109/ESEM.2009.5315991

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? I 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010 (s. 1–10). Artikel 4 Association for Computing Machinery. https://doi.org/10.1145/1868328.1868335

Turhan, B. & Mendes, E. (2014). A Comparison of Cross- versus Single-company Effort Prediction Models for Web Projects. I R. Rabiser, R. Torkar & R. Torkar (red.), Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014 (s. 285-292). Artikel 6928824 IEEE. https://doi.org/10.1109/SEAA.2014.41

Gil Arboleda, S. (2024). Towards realization of Digital Twins for systems with coupled behavior. Aarhus University. https://doi.org/10.7146/aul.545

Casadei, R., Esterle, L., Gamble, R., Harvey, P. & Wanner, E. F. (2024). Editorial: Understanding and engineering cyber-physical collectives. Frontiers in Robotics and AI, 11, Artikel 1407421. https://doi.org/10.3389/frobt.2024.1407421

Esterle, L., Montagna, S., Pianini, D., Aguzzi, G., Bellman, K. L., Ciatto, G., Contoli, C., Donati, M., Mariani, S., Rahmani, A., Savaglio, C., Storti, E., TaheriNejad, N., van der Sluis, O. & Wang, Z. (2024). MADTECC 2024: 1st Workshop on Medical Applications with Digital Twins and Edge-cloud Continuum - Welcome and Committees. I 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (s. 30-31). IEEE. https://doi.org/10.1109/PerComWorkshops59983.2024.10502899

Mendes, E., Counsell, S. & Mosley, N. (2002). Web hypermedia cost estimation: further assessment and comparison off cost estimation modelling techniques. New Review of Hypermedia and Multimedia, 8(1), 199-229. https://doi.org/10.1080/13614560208914741

Salleh, N., Mendes, E., Mendes, F., Lekamlage, D. & Petersen, K. (2023). Value-based Software Engineering: A Systematic Mapping Study. E-Informatica Software Engineering Journal , 17(1), Artikel 230106. https://doi.org/10.37190/e-Inf230106

Vishnubhotla, S. D. & Mendes, E. (2024). Exploring the relation between personality traits and agile team climate: Aggregating results from a twice replicated study in a telecom company. Journal of Systems and Software, 210, Artikel 111937. https://doi.org/10.1016/j.jss.2023.111937

Guimarães, G., Costa, I., Perkusich, M., Mendes, E., Santos, D., Almeida, H. & Perkusich, A. (2024). Investigating the relationship between personalities and agile team climate: A replicated study. Information and Software Technology, 169, Artikel 107407. https://doi.org/10.1016/j.infsof.2024.107407

Kristoffersen, A. E., Schultz, C. P. L. & Kamari, A. (2024). A critical comparison of concepts and approaches to social sustainability in the construction industry. Journal of Building Engineering , 91, Artikel 109530. https://doi.org/10.1016/j.jobe.2024.109530

Hallerstede, S. (2022, jun. 14). Book review: Decision Procedures – An Algorithmic Point of View. (2 udg.) Springer Berlin, Heidelberg. Texts in Theoretical Computer Science. An EATCS Series https://www.fmeurope.org/2022/06/14/book-review-decision-procedures-an-algorithmic-point-of-view/

Li, B. & Schultz, C. P. L. (2025). Clingo2DSR - A clingo-based software system for declarative spatial reasoning. Spatial Cognition & Computation, 25(1), 69-119. https://doi.org/10.1080/13875868.2024.2324875

Hallerstede, S. & Hatcliff, J. (2024). A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. I J. Cámara & S.-S. Jongmans (red.), Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (1 udg., s. 45-64). Springer. https://doi.org/10.1007/978-3-031-52183-6_3

Tola, D. & Corke, P. (2024). Understanding URDF: A Dataset and Analysis. IEEE Robotics and Automation Letters, 9(5), 4479-4486. Artikel 10478618. https://doi.org/10.1109/LRA.2024.3381482

Mendes, E., Watson, I., Triggs, C., Mosley, N. & Counsell, S. (2003). A Comparative Study of Cost Estimation Models for Web Hypermedia Applications. Empirical Software Engineering, 8, 163–196. https://doi.org/10.1023/A:1023062629183

Jahangir, M. F., Schultz, C. P. L. & Kamari, A. (2024). A review of drivers and barriers of Digital Twin adoption in building project development processes. Journal of Information Technology in Construction, 29, 141-178. https://doi.org/10.36680/j.itcon.2024.008

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

Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Schou, C. & Larsen, P. G. (2023). A Modeling Approach for Composed Digital Twins in Cooperative Systems. I 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation, ETFA 2023 (s. 1-8). IEEE. https://doi.org/10.1109/ETFA54631.2023.10275601

Lehner, D., Gil Arboleda, S., Mikkelsen, P. H., Larsen, P. G. & Wimmer, M. (2023). An Architectural Extension for Digital Twin Platforms to Leverage Behavioral ModelsBehaviors. I 2023 IEEE 19th International Conference on Automation Science and Engineering, CASE 2023 (s. 1-8). IEEE. https://doi.org/10.1109/CASE56687.2023.10260417

Gil Arboleda, S., Mikkelsen, P. H., Gomes, C. & Larsen, P. G. (2024). Survey on open-source digital twin frameworks–A case study approach. Software: Practice and Experience, 54(6), 929-960. https://doi.org/10.1002/spe.3305

Zayed, Y. N. H. (2023). Towards a Human-Centered Framework for the Assessment of Subjective Social Values in Buildings. I J. Vanthienen, T. Kliegr, P. Fodor, D. Lanti, D. Arndt, E. V. Kostylev, T. Mitsikas & A. Soylu (red.), RuleML+RR-Companion 2023: RuleML+RR Challenge and Doctoral Consortium 2023 CEUR-WS.org. https://ceur-ws.org/Vol-3485/paper6908.pdf

Frasheri, M., Lumer-Klabbers, G., Kvistgaard, J. L., Hausted, J. O., Thule, C., Esterle, L. & Larsen, P. G. (2023). Building Safer Robots: From Simulation to Hardware Deployment. 2023 27th International Conference on Methods and Models in Automation and Robotics, MMAR 2023 - Proceedings, 63-68. https://doi.org/10.1109/MMAR58394.2023.10242467

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

Hansen, S. T., Thule, C., Gomes, C., Lausdahl, K. G., Madsen, F. P., Abbiati, G. & Larsen, P. G. (2024). Co-simulation at different levels of expertise with Maestro2. Journal of Systems and Software, 209, Artikel 111905. https://doi.org/10.1016/j.jss.2023.111905

Abraham, E. (red.), Hallerstede, S. (red.), Hatcliff, J. (red.), Stewart, D. (red.) & 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

Hallerstede, S. & Kamburjan, E. (red.) (2023). Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023). CEUR-WS.org. CEUR Workshop Proceedings Bind 3507 https://ceur-ws.org/Vol-3507/

Macedo, H. D. & Pierce, K. (2023). Proceedings of the 21st International Overture Workshop. http://arxiv.org/pdf/2311.07120v2

Lund, J., Jensen, L. B., Battle, N., Larsen, P. G. & Macedo, H. D. (2023). Bidirectional UML Visualisation of VDM Models.

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

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

Jensen, L. B., Jonas Lund, J. L., Pedersen, P. & Macedo, H. D. (2023). Assessing Resource Availability in Floodwater Systems for Use in Power-To-X Technologies. I M. Affenzeller, A. G. Bruzzone, E. Jimenez, F. Longo & A. Petrillo (red.), Proceedings of the 35th European Modeling & Simulation Symposium (EMSS 2023) https://doi.org/10.46354/i3m.2023.emss.023

Bennedsen, J. & Øien, G. (2023). TRANSNATIONAL COLLABORATION ON LIFELONG LEARNING BETWEEN HIGHER ENGINEERING EDUCATION INSTITUTIONS: A UNIVERSITY PERSPECTIVE. I G. Reilly, M. Murphy, B. V. Nagy & H.-M. Jarvinen (red.), SEFI 2023 - 51st Annual Conference of the European Society for Engineering Education: Engineering Education for Sustainability, Proceedings (s. 173-182). European Society for Engineering Education (SEFI). https://doi.org/10.21427/2F51-E932

Suetta, C., Merhi, Y., Agarwala, S., Mikkelsen, P. H. & Nygaard, J. V. (2023). Dry electrode integrated with garment. (Patentnummer WO2023209148 (A1)). https://dk.espacenet.com/publicationDetails/biblio?DB=EPODOC&II=0&ND=3&adjacent=true&locale=dk_DK&FT=D&date=20231102&CC=WO&NR=2023209148A1&KC=A1#

Øien, G. E. D. & Bennedsen, J. (2023). DEVELOPING A DIDACTIC FOUNDATION FOR THE TECH FACULTY AT AARHUS UNIVERSITY. I R. Lyng, J. Bennedsen, L. Bettaieb, N. R. Bodsberg, K. Edstrom, M. S. Guojonsdottir, J. Roslof, O. K. Solbjorg & G. Oien (red.), 19th CDIO International Conference: Proceedings - Full Papers (s. 45-55). NTNU Norwegian University of Science and Technology. https://www.ntnu.edu/documents/1308247420/0/CDIO+2023+Proceedings.pdf/6989d202-864d-52e5-fee7-15d84a281f41?t=1697116952671

Lyng, R., Bennedsen, J., Bettaieb, L., Bodsberg, N. R., Edström, K., Guðjónsdóttir, M. S., Roslöf, J., Solbjørg, O. K. & Øien, G. (2023). Editorial. I Proceedings of the 19th International CDIO Conference (s. iv-v). NTNU Norwegian University of Science and Technology.

Hallerstede, S. & Kamburjan, E. (2023). Applications of Formal Methods and Digital Twins. CEUR Workshop Proceedings, 3507. https://ceur-ws.org/Vol-3507/xpreface.pdf

Aher, G. R., Macedo, H. D., Larsen, P. G. & Ramanujan, D. (2023). Supporting Design for Circular Economy Using Lifecycle Co-Simulation. I ASME 2023 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: 28th Design for Manufacturing and the Life Cycle Conference (DFMLC) Artikel DETC2023-116537, V005T05A006; American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2023-116537

Merhi, Y. & Agarwala, S. (2021). Direct write of Dry electrodes on Healthcare Textiles. I FLEPS 2021 - IEEE International Conference on Flexible and Printable Sensors and Systems Artikel 9469835 IEEE. https://doi.org/10.1109/FLEPS51544.2021.9469835

Jensen, M., Toft Jacobsen, J., Sharifirad, I. & Boudjadar, J. (2023). Advanced Acceleration and Implementation of Convolutional Neural Networks on FPGAs. I J. Chen & L. T. Yang (red.), 2023 IEEE International Conference on High Performance Computing & Communications, Data Science & Systems, Smart City & Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys): Proceedings (s. 558-565). IEEE. https://doi.org/10.1109/HPCC-DSS-SmartCity-DependSys60770.2023.00082

Boudjadar, J. & Islam, S. U. (2024). AgriScanNet-18: A Robust Multilayer CNN for Identification of Potato Plant Diseases. 291-308. Afhandling præsenteret på Intelligent Systems Conference, Amsterdam, Holland. https://doi.org/10.1007/978-3-031-47724-9_20

Sitarz, M. K. & Boudjadar, J. (2024). Smart Occupancy-driven Control for Ventilation Systems in Buildings with Privacy Concerns. I K. Arai (red.), Intelligent Systems and Applications: Proceedings of the 2023 Intelligent Systems Conference (IntelliSys) Volume 4 (s. 773-791) https://doi.org/10.1007/978-3-031-47718-8_50

Andalibi, M., Shourangizhaghighi, A., Hajihosseini, M., Saaed Madani, S., Ziebert, C. & Boudjadar, J. (2023). Design and Simulation-Based Optimization of an Intelligent Autonomous Cruise Control System. Computers, 12(4), Artikel 84. https://doi.org/10.3390/computers12040084

Boudjadar, J. & Schultz, C. P. L. (2023). A Knowledge-Based Proactive Intelligent System for Buildings Occupancy Monitoring. 680-687. Afhandling præsenteret på 19th International Conference on Software Technologies, Rome, Italien.

Viser resultater 51 til 100 ud af 924

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering