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

Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Miyazawa, A. & Woodcock, J. (2018). Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. I K. Bae & P. Csaba Ölveczky (red.), Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings (s. 137-155). Springer. https://doi.org/10.1007/978-3-030-02146-7_7

Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J. (2018). Analysing RoboChart with Probabilities. I T. Massoni & M. Reza Mousavi (red.), Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings (s. 198-214). Springer. https://doi.org/10.1007/978-3-030-03044-5_13

Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, J. (2018). Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. I J. Desharnais, W. Guttmann & S. Joosten (red.), Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings (s. 205-224). Springer. https://doi.org/10.1007/978-3-030-02149-8_13

Ye, K., Foster, S. D. & Woodcock, J. (2020). Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP. I A. Adamatzky & V. Kendon (red.), From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday (s. 215-254). Springer. https://doi.org/10.1007/978-3-030-15792-0_10

Heiji Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, J. (2019). RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling, 18(5), 3097–3149. https://doi.org/10.1007/s10270-018-00710-z

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

Woodcock, J., Cavalcanti, A. L. C., Foster, S. D., Mota, A. & Ye, K. (2019). Probabilistic Semantics for RoboChart: A Weakest Completion Approach. I P. Ribeiro & A. Sampaio (red.), Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (s. 80-105). Springer. https://doi.org/10.1007/978-3-030-31038-7_5

Hoare, T., Struth, G. & Woodcock, J. (2019). A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. I P. Ribeiro & A. Sampaio (red.), Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (s. 3-21). Springer. https://doi.org/10.1007/978-3-030-31038-7_1

Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, J. & Zeyda, F. (2020). Unifying theories of reactive design contracts. Theoretical Computer Science, 802, 105-140. https://doi.org/10.1016/j.tcs.2019.09.017

Chang, W., Wei, R., Zhao, S., Wellings, A., Woodcock, J. & Burns, A. (2020). Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Transactions on Embedded Computing Systems, 19(5), Artikel 3391897. https://doi.org/10.1145/3391897

Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F. (2020). Unifying semantic foundations for automated verification tools in Isabelle/UTP. Science of Computer Programming, 197, Artikel 102510. https://doi.org/10.1016/j.scico.2020.102510

Foster, S., Ye, K., Cavalcanti, A. L. C. & Woodcock, J. (2020). Automated Verification of Reactive and Concurrent Programs by Calculation. ArXiv. https://eprints.whiterose.ac.uk/164020/1/2007.13529v1.pdf

Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J. (2020). Learning Safe Neural Network Controllers with Barrier Certificates. (s. 177-185). ArXiv. https://doi.org/10.1007/978-3-030-62822-2_11

Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. I Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (s. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014

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. I M. D. E. al (red.), HiPEAC Vision 2021: High performance embedded architecture and compilation (s. 20-29). HiPEAC. https://www.hipeac.net/vision/2021/

Bogomolov, S., Fitzgerald, J., Foldager, F. F., Gamble, C., Larsen, P. G., Pierce, K., Stankaitis, P. & Wooding, B. (2021). Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 50-65) https://arxiv.org/pdf/2101.07261.pdf

Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G. (2021). Visual Studio Code VDM Support. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 35-50) https://arxiv.org/pdf/2101.07261.pdf

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

Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H.-M. & Larsen, P. G. (2021). Specifying Abstract User Interface in VDM-SL. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 5-20) https://arxiv.org/pdf/2101.07261.pdf

Knudsen, L. E. D., Wallace, J. & Sabroe, M. (2024). Mapping post-industrial areas through entanglements of time and space. I N. Lee, M. Mosavarzadeh, J. Ursino & R. Irwin (red.), Material and Digital A/r/tographic Explorations : Walking Matters (s. 189-208). Springer. https://doi.org/10.1007/978-981-99-5374-5

Li, B., Schultz, C. P. L., Melzner, J., Golovina, O. & Teizer, J. (2020). Safe and Lean Location-based Construction Scheduling. I H. Osumi, H. Furuya & K. Tateyama (red.), 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 - (s. 1409-1416). International Association for Automation and Robotics in Construction (IAARC). https://doi.org/10.22260/ISARC2020/0195

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. I Proceedings of the American Modelica Conference 2020 (s. 149-158). Linköping University Electronic Press. https://doi.org/10.3384/ecp20169149

Thule, C., Gomes, C. & Lausdahl, K. G. (2020). Formally Verified FMI Enabled External Data Broker: Rabbitmq FMU. I Proceedings of the 2020 Summer Simulation Conference (Bind 52, s. 254-265). Artikel 12 Association for Computing Machinery. https://doi.org/10.5555/3427510.3427533

Bellman, K., Botev, J., Diaconescu, A., Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Nelson, P. R., Pournaras, E., Stein, A. & Tomforde, S. (2021). Self-improving system integration: Mastering continuous change. Future Generation Computer Systems, 117, 29-46. https://doi.org/10.1016/j.future.2020.11.019

Talasila, P., Sanjari, A., Villadsen, K., Thule, C., Larsen, P. G. & Macedo, H. D. (2021). Introducing Regression Tests and Upgrades to the INTO-CPS Application. I L. Cleophas & M. Massink (red.), Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (s. 311-317). Springer. https://doi.org/10.1007/978-3-030-67220-1_23

Krukar, J., Manivannan, C., Bhatt, M. & Schultz, C. P. L. (2021). Embodied 3D isovists: A method to model the visual perception of space. Environment and Planning B: Urban Analytics and City Science, 48(8), 2307-2325. https://doi.org/10.1177/2399808320974533

Feng, H., Macedo, H. D. & Larsen, P. G. (2021). Estimating the maximum allowable delay bound for networked control systems using co-simulation and design space exploration. I M.-H. Khooban & T. Dragičević (red.), Control Strategy for Time-Delay Systems: Part II: Engineering Applications (Bind 2, s. 257-280). Academic Press.

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. I F. De Rango, T. Ören & M. Obaidat (red.), Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications SIMULTECH - Volume 1 (s. 263-270). SCITEPRESS Digital Library. https://doi.org/10.5220/0009892802630270

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-194). Academic Press. https://doi.org/10.1016/B978-0-12-819105-7.00012-X

Esterle, L. & Brown, J. N. A. (2020). I Think Therefore You Are: Models for Interaction in Collectives of Self-aware Cyber-physical Systems. ACM Transactions on Cyber-Physical Systems, 4(4), Artikel 39. https://doi.org/10.1145/3375403

Bellman, K., Landauer, C., Dutt, N., Esterle, L., Herkersdorf, A., Jantsch, A., Taherinejad, N., Lewis, P. R., Platzner, M. & Tammemäe, K. (2020). Self-aware Cyber-Physical Systems. ACM Transactions on Cyber-Physical Systems, 4(4), Artikel 38. https://doi.org/10.1145/3375716

Gomes, C., Karalis, P., Navarro-López, E. M. & Vangheluwe, H. (2018). Approximated stability analysis of bi-modal hybrid co-simulation scenarios. Lecture Notes in Computer Science, 345-360. https://doi.org/10.1007/978-3-319-74781-1_24

Cambeiro, J., Gomes, C., Amaral, V., Rodrigues, A. & Cunha, J. (2018). A building automation case study setup and challenges. Proceedings - International Conference on Software Engineering, 41-44. https://doi.org/10.1145/3196478.3196482

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

Gomes, C., Lucio, L. & Vangheluwe, H. (2019). Semantics of co-simulation algorithms with simulator contracts. Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019, 784-789. https://doi.org/10.1109/MODELS-C.2019.00124

Gomes, C. & Vangheluwe, H. (2019). Co-Simulation of Continuous Systems: A Hands-on Approach. Proceedings - Winter Simulation Conference, 1469-1481. https://doi.org/10.1109/WSC40007.2019.9004704

Thule, C., Palmieri, M., Gomes, C., Lausdahl, K., Macedo, H. D., Battle, N. & Larsen, P. G. (2020). Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. I J. Camara & M. Steffen (red.), Software Engineering and Formal Methods (s. 50-66). Springer. https://doi.org/10.1007/978-3-030-57506-9_5

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

Kamari, A., Kirkegaard, P. H. & Schultz, C. P. L. (2021). PARADIS - A process integrating tool for rapid generation and evaluation of holistic renovation scenarios. Journal of Building Engineering , 34, Artikel 101944. https://doi.org/10.1016/j.jobe.2020.101944

Boudjadar, J. & Khooban, M. H. (2020). A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System. I D. Maga & J. Hajek (red.), Proceedings of the 2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2020 Artikel 9213541 IEEE. https://doi.org/10.1109/DS-RT50469.2020.9213541

Merhi, Y., Mikkelsen, P. H., Suetta, C., Nygaard, J. V. & Agarwala, S. (2020). Mechanical performance of electronically functional smart textiles. I T. M. Buzug & H. Seitz (red.), Transactions on additive manufacturing meets medicine Infinite Science. https://doi.org/10.18416/AMMM.2020.2009012

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

Esterle, L. & Brown, J. N. A. (2020). The Competence Awareness Window: Knowing what i can and cannot do. I E. El-Araby, S. Tomforde, T. Wood, P. Kumar, C. Raibulet, I. Petri, G. Valentini, P. Nelson & B. Porter (red.), 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 62-63). IEEE. https://doi.org/10.1109/ACSOS-C51401.2020.00031

Papadopoulos, A. V. & Esterle, L. (2020). Situational Trust in Self-aware Collaborating Systems. I 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 91-94). IEEE. https://doi.org/10.1109/ACSOS-C51401.2020.00037

Wallace, J., Frederiksen, P. L. & Stenger, M. (2020). Cobots I dansk produktion: gevinster og barrierer ved brug af kollaborative robotter. Teknologisk Institut. https://via.ritzau.dk/data/attachments/00621/2d17735f-621c-487d-be9f-260a149c05bc.pdf

Wallace, J. & Knudsen, L. E. D. (2023). Walking towards a method for multi-sited drawing. I J. Roldan, R. M. Viadel, M. Mosavarzadeh, K. Morimoto & R. L. Irwin (red.), Visual Methods, A/r/tography and Walking (s. 144-159). Tirant Lo Blanch.

Afshari-Igder, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2021). Reliability and Safety Improvement of Emission-Free Ships: Systemic Reliability Centered Maintenance. IEEE Transactions on Transportation Electrification, 7(1), 256-266. Artikel 9220168. https://doi.org/10.1109/TTE.2020.3030082

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

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels. IEEE Transactions on Industrial Informatics, 17(8), 5430-5440. https://doi.org/10.1109/TII.2020.3027808

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

Viser resultater 501 til 550 ud af 1055

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering