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

Freitas, L., Woodcock, J. & Butterfield, A. (2008). POSIX and the Verification Grand Challenge: A Roadmap. In K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (Eds.), ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS (pp. 153-162). IEEE COMPUTER SOC. https://doi.org/10.1109/ICECCS.2008.35

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2008). Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (pp. 11-20). IEEE. https://doi.org/10.1109/ICSTW.2008.29

Woodcock, J. & Freitas, L. (2008). Linking VDM and Z. In K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (Eds.), 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) (pp. 143-152). IEEE. https://doi.org/10.1109/ICECCS.2008.36

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2007). Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. In H. Giese (Ed.), Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (pp. 194-205). Springer. https://doi.org/10.1007/978-3-540-69073-3_21

Jones, C. B. & Woodcock, J. (2007). Editorial. Formal Aspects of Computing, 20(1), 1-3. https://doi.org/10.1007/s00165-007-0064-1

Talasila, P. & Lucani Rötter, D. E. (2021). Performance of Generalized Deduplication Under Different Input Conditions. In European Wireless Conference: 26th European Wireless Conference IEEE. https://ieeexplore.ieee.org/document/9657095

Andalibi, M., Hajihosseini, M., Gheisarnejad, M., Boudjadar, J., Khooban, M. H. & Dragicevic, T. (2020). A New Nonlinear Controller for Multilevel DC/DC Boost Converter. In 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (pp. 276-280). Article 9244399 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244399

Banaei, M., Boudjadar, J., Dragicevic, T. & Khooban, M. H. (2020). Cost Effective Operation of a Hybrid Zero-Emission Ferry Ship. In 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (pp. 23-28). Article 9244456 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244456

Woodcock, J. & Boca, P. (2008). ABZ2008 VSR-Net Workshop. In E. Börger, M. Butler, J. P. Bowen & P. Boca (Eds.), Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (pp. 378-379). Springer. https://doi.org/10.1007/978-3-540-87603-8_48

Harwood, W., Cavalcanti, A. L. C. & Woodcock, J. (2008). A Theory of Pointers for the UTP. In J. S. Fitzgerald, A. E. Haxthausen & H. Yenigun (Eds.), Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 141-155). Springer. https://doi.org/10.1007/978-3-540-85762-4_10

Frydenlund, A., Poggi, A. I., Hansen, S. K., Brage-Andersen, M., Merhi, Y., Agarwala, S., Mikkelsen, P. H., Nygaard, J. V., Steffensen, I. E. & Suetta, C. (2021). Elektrisk stimulation mod muskel- og funktionstab hos en patient indlagt med COVID-19. Ugeskrift for Læger, 183(20), Article V03210275. https://ugeskriftet.dk/files/scientific_article_files/2021-05/v03210275_web.pdf

G. Aydal, E., Utting, M. & Woodcock, J. (2008). A Comparison of State-Based Modelling Tools for Model Validation. In R. F. Paige & B. Meyer (Eds.), Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings (Vol. 1, pp. 278-296). Springer. https://doi.org/10.1007/978-3-540-69824-1

Woodcock, J., Stepney, S., Cooper, D., Clark, J. & Jacob, J. (2007). The certification of the Mondex electronic purse to ITSEC Level E6. Formal Aspects of Computing, 20(1), 5–19. https://doi.org/10.1007/s00165-007-0060-5

Freitas, L. & Woodcock, J. (2007). Mechanising Mondex with Z/Eves. Formal Aspects of Computing, 20(1), 117–139. https://doi.org/10.1007/s00165-007-0059-y

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2008). Observations for Assertion-based Scenarios in the context of ModelValidation. In T. Margaria, J. Padberg, G. Taentzer, J. Cabot, M. Gogolla & P. Van Gorp (Eds.), Electronic Communications of the EASST: Proceedings of the8th International Workshop onOCL Concepts and Tools (OCL 2008)at MoDELS 2008 https://journal.ub.tu-berlin.de/eceasst/article/view/181/178

M. dos Santos, O., Woodcock, J., Freeman Paige, R. & King, S. (2009). The Use of Model Transformation in the INESS Project. In F. S. de Boer, M. M. Bonsangue, S. Hallerstede & M. Leuschel (Eds.), Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Vol. 1, pp. 147-165). Springer. https://doi.org/10.1007/978-3-642-17071-3

Butterfield, A., Gancarski, P. & Woodcock, J. (2009). State Visibility and Communication in Unifying Theories of Programming. In 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering IEEE. https://doi.org/10.1109/TASE.2009.57

Abrial, J.-R. (Ed.), Butler, M. J. (Ed.), Joshi, R. (Ed.), Troubitsyna, E. & Woodcock, J. (Ed.) (2009). Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. In Dagstuhl Seminar Proceedings, Schloss Dagstuhl https://researchr.org/publication/dagstuhl-2009P9381/authors

G. Aydal, E., Freeman Paige, R., Utting, M. & Woodcock, J. (2009). Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. In 2009 International Conference on Software Testing Verification and Validation (Vol. 1, pp. 131-140). IEEE. https://doi.org/10.1109/ICST.2009.20

Freeman Paige, R., Brooke, P. J., Song Dong, J. & Woodcock, J. (2009). Editorial. Formal Aspects of Computing, 21(4). https://doi.org/10.1007/s00165-009-0113-z

Abrial, J.-R., Butler, M., Joshi, R., Troubitsyna, E. & Woodcock, J. (Eds.) (2009). 09381 Extended Abstract Collection Renement Based Methods for the Construction of Dependable Systems. In Refinement Based Methods for the Construction of Dependable Systems Dagstuhl Publishing. https://drops.dagstuhl.de/opus/volltexte/2010/2374/pdf/09381_abstracts_collection.2374.pdf

Freitas, L. & Woodcock, J. (2008). FDR Explorer. Formal Aspects of Computing, 21, 133–154. https://doi.org/10.1007/s00165-008-0074-7

Freitas, L., Woodcock, J. & Zhang, Y. (2008). Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Science of Computer Programming, 74(4), 197-218. https://doi.org/10.1016/j.scico.2008.09.012

Freitas, L., Woodcock, J. & Fu, Z. (2008). POSIX file store in Z/Eves: An experiment in the verified software repository. Science of Computer Programming, 74(4), 238-257. https://doi.org/10.1016/j.scico.2008.08.001

Butterfield, A., Freitas, L. & Woodcock, J. (2008). Mechanising a formal model of flash memory. Science of Computer Programming, 74(4), 219-237. https://doi.org/10.1016/j.scico.2008.09.014

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

Displaying results 301 to 350 out of 893

Back to the main page

Revised 10.08.2023

AU Engineering