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

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2007). A UTP semantics for Circus. Formal Aspects of Computing, 21, 3–32. https://doi.org/10.1007/s00165-007-0052-5

Perna, J. I. & Woodcock, J. (2009). Mechanised Wire-wise Verification of Handel-C Synthesis. Electronic Notes in Theoretical Computer Science, 240, 201-219. https://doi.org/10.1016/j.entcs.2009.05.053

Woodcock, J., Oliveira, M., Burns, A. & Wei, K. (2010). Modelling and Implementing Complex Systems with Timebands. In Secure System Integration and Reliability Improvement (pp. 1-13) https://doi.org/10.1109/SSIRI.2010.7

Legaard, C. M., Gomes, C., Larsen, P. G. & Foldager, F. F. (2020). Rapid prototyping of self-adaptive-systems using python functional mockup units. Simulation Series, 52(3), 242-253.

M. dos Santos, O., Woodcock, J. & Freeman Paige, R. (2011). Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (pp. 117-126). IEEE. https://doi.org/10.1109/ICECCS.2011.19

Cavalcanti, A. L. C., Wellings, A. & Woodcock, J. (2011). The Safety-Critical Java Memory Model: A Formal Account. In M. Butler & W. Schulte (Eds.), FM 2011: Formal Methods (Vol. 1, pp. 246-261). Springer. https://doi.org/10.1007/978-3-642-21437-0

Sandberg, M. (2020). Numerical Modelling of Material Flow in the Resin-injection Pultrusion Process. Technical University of Denmark. https://orbit.dtu.dk/en/publications/numerical-modelling-of-material-flow-in-the-resin-injection-pultr

Feng, H., Gomes, C., Thule, C., Lausdahl, K., Sandberg, M. & Larsen, P. G. (2021). The Incubator Case Study for Digital Twin Engineering. ArXiv. https://arxiv.org/pdf/2102.10390.pdf

Sandberg, M., Yuksel, O., Baran, I., Spangenberg, J. & Hattel, J. H. (2021). Steady-state modelling and analysis of process-induced stress and deformation in thermoset pultrusion processes. Composites Part B: Engineering, 216, Article 108812. https://doi.org/10.1016/j.compositesb.2021.108812

Salling, F. B., Sandberg, M., Spangenberg, J. & Hattel, J. H. (2020). Numerical and experimental analyses in composites processing: impregnation, heat transfer, resin cure and residual stresses. IOP Conference Series-Materials Science and Engineering, 942(1), Article 012003. https://doi.org/10.1088/1757-899X/942/1/012003

Sandberg, M., Yuksel, O., Comminal, R. B., Sonne, M. R., Jabbari, M., Bo Salling, F., Baran, I., Spangenberg, J. & Hattel, J. H. (2020). Numerical modeling of the mechanics of pultrusion. In Mechanics of Materials in Modern Manufacturing Methods and Processing Techniques: Elsevier Series in Mechanics of Advanced Materials (pp. 173-195). Elsevier. https://doi.org/10.1016/B978-0-12-818232-1.00006-0

Sandberg, M., Kabachi, A., Volk, M., Bo Salling, F., Ermanni, P., Hattel, J. H. & Spangenberg, J. (2020). Permeability and compaction behaviour of air-texturised glass fibre rovings: A characterisation study. Journal of Composite Materials, 54(27), 4241-4252. https://doi.org/10.1177/0021998320926703

Sandberg, M., Hattel, J. H. & Spangenberg, J. (2019). Simulation of liquid composite moulding using a finite volume scheme and the level-set method. International Journal of Multiphase Flow, 118, 183-192. https://doi.org/10.1016/j.ijmultiphaseflow.2019.06.014

Yuksel, O., Sandberg, M., Baran, I., Ersoy, N., Hattel, J. H. & Akkerman, R. (2021). Material characterization of a pultrusion specific and highly reactive polyurethane resin system: Elastic modulus, rheology, and reaction kinetics. Composites Part B: Engineering, 207, Article 108543. https://doi.org/10.1016/j.compositesb.2020.108543

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, Article 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. In 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. In 9th Workshop on Java Technologies for Real-Time and Embedded System (pp. 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. In B. Wolff, M.-C. Gaudel & A. Feliachi (Eds.), Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Vol. 1, pp. 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. In B. Wolff, M.-C. Gaudel & A. Feliachi (Eds.), Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Vol. 1, pp. 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. In A. Vallecillo, J.-P. Tolvanen, E. Kindler, H. Störrle & D. Kolovos (Eds.), Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings (Vol. 1, pp. 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. In Z. Liu, J. Woodcock & H. Zhu (Eds.), 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 (Vol. 1, pp. 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. In J. Iyoda & L. de Moura (Eds.), Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings (Vol. 1, pp. 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. 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

Displaying results 301 to 350 out of 866

Back to the main page

Revised 10.08.2023

AU Engineering