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

Sandberg, M., Yuksel, O., Baran, I., Hattel, J. H. & Spangenberg, J. (2021). Numerical and experimental analysis of resin-flow, heat-transfer, and cure in a resin-injection pultrusion process. Composites Part A: Applied Science and Manufacturing, 143, Artikel 106231. https://doi.org/10.1016/j.compositesa.2020.106231

Sandberg, M., Tse, K. M., Tan, L. B. & Lee, H. P. (2018). A computational study of the EN 1078 impact test for bicycle helmets using a realistic subject-specific finite element head model. Computer Methods in Biomechanics and Biomedical Engineering, 21(12), 684-692. https://doi.org/10.1080/10255842.2018.1511775

Sandberg, M., Hattel, J. H. & Spangenberg, J. (2018). Numerical modelling and optimisation of fibre wet-out in resin-injection pultrusion processes. I 18th European Conference on Composite Materials (ECCM-18) Applied Mechanics Laboratory.

Sandberg, M., Rasmussen, F. S., Hattel, J. H. & Spangenberg, J. (2019). Simulation of resin-impregnation, heat-transfer and cure in a resin-injection pultrusion process. AIP Conference Proceedings, 2113(1). https://doi.org/10.1063/1.5112527

Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F. (2011). Safety-critical Java in Circus. I 9th Workshop on Java Technologies for Real-Time and Embedded System (s. 20–29) https://doi.org/10.1145/2043910.2043915

Liu, Z. & Woodcock, J. (2011). Editorial. Formal Aspects of Computing, 23(2), 151. https://doi.org/10.1007/s00165-011-0173-8

Woodcock, J. & Bandur, V. (2012). Unifying Theories of Undefinedness in UTP. I B. Wolff, M.-C. Gaudel & A. Feliachi (red.), Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Bind 1, s. 1-22). Springer. https://doi.org/10.1007/978-3-642-35705-3

Wei, K., Woodcock, J. & Cavalcanti, A. L. C. (2012). Circus Time with Reactive Designs. I B. Wolff, M.-C. Gaudel & A. Feliachi (red.), Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Bind 1, s. 68-87). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35705-3

Radjenovic, A., Freeman Paige, R., Rose, L., Woodcock, J. & King, S. (2012). A Plug-in Based Approach for UML Model Simulation. I A. Vallecillo, J.-P. Tolvanen, E. Kindler, H. Störrle & D. Kolovos (red.), Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings (Bind 1, s. 328-339). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31491-9

Foster, S. D. & Woodcock, J. (2013). Unifying Theories of Programming in Isabelle. I Z. Liu, J. Woodcock & H. Zhu (red.), Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Bind 1, s. 109-155). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39721-9

Bandur, V. & Woodcock, J. (2013). Unifying Theories of Logic and Specification. I J. Iyoda & L. de Moura (red.), Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings (Bind 1, s. 18-33). Springer. https://doi.org/10.1007/978-3-642-41071-0

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. I R. M. Hierons, M. G. Merayo & M. Bravetti (red.), Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings (s. 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. I D. Giannakopoulou & G. Salaün (red.), Software Engineering and Formal Methods (s. 235-249). Springer. https://doi.org/10.1007/978-3-319-10431-7_17

Woodcock, J. (2014). Engineering UToPiA: Formal Semantics for CML. I C. Jones, P. Pihlajasaari & J. Sun (red.), FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (s. 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. I S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (red.), John Fitzgerald (s. 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. I C. Jones, P. Pihlajasaari & J. Sun (red.), FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (s. 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. I D. Naumann (red.), Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (s. 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. I D. Naumann (red.), Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (s. 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. I M. Butler, S. Conchon & F. Zaïdi (red.), Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (s. 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), Artikel 04021006. https://doi.org/10.1061/(ASCE)CP.1943-5487.0000969

Woodcock, J., Wellings, A. & Cavalcanti, A. L. C. (2016). Mobile CSP. I M. Cornélio & B. Roscoe (red.), Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Proceedings (s. 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. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings (Bind 1, s. 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. I K. Ogata, M. Lawford & S. Liu (red.), 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 (s. 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. I A. Sampaio & F. Wang (red.), Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (s. 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. I J. P. Bowen & H. Zhu (red.), Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers (s. 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. I A. Sampaio & F. Wang (red.), Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (s. 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. I Springer Proceedings in Advanced Robotics (s. 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. I A. Cerone & M. Roveri (red.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (s. 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. I N. Dawood , F. Pour Rahimian, S. Seyedzadeh & M. Sheikhkhoshkar (red.), Enabling the Development and Implementation of Digital Twins: Proceedings of the 20th International Conference on Construction Applications of Virtual Reality (s. 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. Artikel 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. 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/

Viser resultater 451 til 500 ud af 1040

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering