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

Medeiros Oliveira, M. V., Soares De Medeiros Júnior, I. & Woodcock, J. (2013). A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. In R. M. Hierons, M. G. Merayo & M. Bravetti (Eds.), Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings (pp. 46-60). Springer. https://doi.org/10.1007/978-3-642-40561-7_4

Cavalcanti, A. L. C., Zeyda, F., Wellings, A., Woodcock, J. & Wei, K. (2013). Safety-critical Java programs from Circus models. Real-Time systems, 5(49), 614–667. https://doi.org/10.1007/s11241-013-9182-4

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

Mota, A., Farias, A., Didier, A. & Woodcock, J. (2014). Rapid Prototyping of a Semantically Well Founded Circus Model Checker. In D. Giannakopoulou & G. Salaün (Eds.), Software Engineering and Formal Methods (pp. 235-249). Springer. https://doi.org/10.1007/978-3-319-10431-7_17

Woodcock, J. (2014). Engineering UToPiA: Formal Semantics for CML. In C. Jones, P. Pihlajasaari & J. Sun (Eds.), FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 22-41). Springer. https://doi.org/10.1007/978-3-319-06410-9_3

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

Antonino, P., Sampaio, A. & Woodcock, J. (2014). A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. In C. Jones, P. Pihlajasaari & J. Sun (Eds.), FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 62-77). Springer. https://doi.org/10.1007/978-3-319-06410-9_5

Wei, K. & Woodcock, J. (2015). Towards Algebraic Semantics of Circus Time. In D. Naumann (Ed.), Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (pp. 84-104). Springer. https://doi.org/10.1007/978-3-319-14806-9_5

Canham, S. J. & Woodcock, J. (2015). Three Approaches to Timed External Choice in UTP. In D. Naumann (Ed.), Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (pp. 1-20). Springer. https://doi.org/10.1007/978-3-319-14806-9_1

Divakaran, S., D’Souza, D., Kushwah, A., Sampath, P., Sridhar, N. & Woodcock, J. (2015). Refinement-Based Verification of the FreeRTOS Scheduler in VCC. In M. Butler, S. Conchon & F. Zaïdi (Eds.), Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (pp. 170-186). Springer. https://doi.org/10.1007/978-3-319-25423-4_11

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

Woodcock, J., Wellings, A. & Cavalcanti, A. L. C. (2016). Mobile CSP. In M. Cornélio & B. Roscoe (Eds.), Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Proceedings (pp. 39-55). Springer. https://doi.org/10.1007/978-3-319-29473-5_3

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

Amálio, N., Payne, R., Cavalcanti, A. L. C. & Woodcock, J. (2016). Checking SysML Models for Co-Simulation. In K. Ogata, M. Lawford & S. Liu (Eds.), Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (pp. 450-465). Springer. https://doi.org/10.1007/978-3-319-47846-3_28

Cavalcanti, A. L. C., Woodcock, J. & Amalio, N. (2016). Behavioural Models for FMI Co-simulations. In A. Sampaio & F. Wang (Eds.), Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (pp. 255-273). Springer. https://doi.org/10.1007/978-3-319-46750-4_15

Ribeiro, P., Cavalcanti, A. L. C. & Woodcock, J. (2017). A Stepwise Approach to Linking Theories. In J. P. Bowen & H. Zhu (Eds.), Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers (pp. 134-154). Springer. https://doi.org/10.1007/978-3-319-52228-9_7

Foster, S. D., Zeyda, F. & Woodcock, J. (2016). Unifying Heterogeneous State-Spaces with Lenses. In A. Sampaio & F. Wang (Eds.), Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (pp. 295-314). Springer. https://doi.org/10.1007/978-3-319-46750-4_17

Ye, K. & Woodcock, J. (2015). Model checking of state-rich formalism by linking to CSP∥B. International Journal on Software Tools for Technology Transfer, 19(1), 73–96. https://doi.org/10.1007/s10009-015-0402-1

Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A. L. C., Woodcock, J. & Timmis, J. (2018). From Formalised State Machines to Implementations of Robotic Controllers. In Springer Proceedings in Advanced Robotics (pp. 517-529). Springer. https://doi.org/10.1007/978-3-319-73008-0_36

Chapman, R., White, N. & Woodcock, J. (2017). What can agile methods bring to high-integrity software development? Communications of the A C M, 60(10), 38-41. https://doi.org/10.1145/3133233

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

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

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

Foster, S. D., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F. (2018). Unifying theories of time with generalised reactive processes. Information Processing Letters, 135, 47-52. https://doi.org/10.1016/j.ipl.2018.02.017

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. In K. Bae & P. Csaba Ölveczky (Eds.), Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings (pp. 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. In T. Massoni & M. Reza Mousavi (Eds.), Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings (pp. 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. In J. Desharnais, W. Guttmann & S. Joosten (Eds.), 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 (pp. 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. In A. Adamatzky & V. Kendon (Eds.), From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday (pp. 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. Article 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. In P. Ribeiro & A. Sampaio (Eds.), 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 (pp. 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. In P. Ribeiro & A. Sampaio (Eds.), 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 (pp. 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), Article 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, Article 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 e-prints. 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. arXiv, abs/2009.09826. https://arxiv.org/pdf/2009.09826.pdf

Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. In 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 (pp. 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. 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/

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. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 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. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 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. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 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. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 5-20) https://arxiv.org/pdf/2101.07261.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

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

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 (pp. 1-12). Article 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. In L. Cleophas & M. Massink (Eds.), 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 (pp. 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. In M.-H. Khooban & T. Dragičević (Eds.), Control Strategy for Time-Delay Systems: Part II: Engineering Applications (Vol. 2, pp. 257-280). Academic Press.

Displaying results 351 to 400 out of 893

Back to the main page

Revised 10.08.2023

AU Engineering