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

Freitas, L., Mokos, K. & Woodcock, J. (2007). Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. I 2007 IEEE International Conference on Engineering of Complex Computer Systems (Bind 1, s. 290-298). IEEE. https://doi.org/10.1109/ICECCS.2007.45

Gil Arboleda, S., D. Zapata-Madrigal, G. & García-Sierra, R. (2021). A Smart City Hub based on 5G to Revitalize Assets of the Electrical Infrastructure. I K. Arai (red.), Intelligent Computing - Proceedings of the 2021 Computing Conference: Proceedings of the 2021 Computing Conference (Bind 2, s. 1010-1031). Springer. https://doi.org/10.1007/978-3-030-80126-7_71

Gil Arboleda, S. & D. Zapata-Madrigal, G. (2019). Semantic Automation Systems, a Suitable Approach for Automation Networks in the Industry 4.0. I J. Garcia-Tirado, D. Munoz-Durango, H. Alvarez & H. Botero-Castro (red.), 4th IEEE Colombian Conference on Automatic Control: Automatic Control as Key Support of Industrial Productivity, CCAC 2019 - Proceedings Artikel 8921156 IEEE. https://doi.org/10.1109/CCAC.2019.8921156

Gil Arboleda, S., D. Zapata-Madrigal, G. & García-Sierra, R. (2020). Electrical Internet of Things - EIoT: A Platform for the Data Management in Electrical Systems. I K. Arai, R. Bhatia & S. Kapoor (red.), Proceedings of the Future Technologies Conference (FTC) 2019 (s. 49-65). Springer. https://doi.org/10.1007/978-3-030-32523-7_4

Gil Arboleda, S., M. Salazar, O. & A. Ovalle, D. (2018). A Fuzzy-Based Multi-agent Model to Control the Micro-grid Operation Based on Energy Market Dynamics. I J. Bajo, J. M. Corchado, E. M. Navarro Martínez, E. Osaba Icedo, P. Mathieu, P. Hoffa-Dąbrowska, E. del Val, S. Giroux, A. J.M. Castro, N. Sánchez-Pi, V. Julián, R. Azambuja Silveira, A. Fernández, R. Unland & R. Fuentes-Fernández (red.), Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection: International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings (s. 299-311). Springer. https://doi.org/10.1007/978-3-319-94779-2_26

Johansen, K. W., Nielsen, R., Schultz, C. & Teizer, J. (2021). Automated activity and progress analysis based on non-monotonic reasoning of construction operations. Smart and Sustainable Built Environment, 10(3), 457-486. https://doi.org/10.1108/SASBE-03-2021-0044

Yuksel, O., Sandberg, M., Hattel, J. H., Akkerman, R. & Baran, I. (2021). Mesoscale Process Modeling of a Thick Pultruded Composite with Variability in Fiber Volume Fraction. Materials, 14(13), Artikel 3763. https://doi.org/10.3390/ma14133763

Bennedsen, J. (2021). Assessing students' professional criticism skills - a mathematics course case. I J. Bennedsen, K. Edström, M. S. Gudjonsdottir, I. Sæmundsdóttir, N. Kuptasthien, J. Roslöf & A. Sripakagorn (red.), The 17^th International CDIO Conference: Proceedings - Full papers (s. 293-302). Chulalongkorn University. http://www.cdio2021.chula.ac.th/download/CDIO2021_proceeding.pdf

Banaei, M., Raouf-Sheybani, H., Oloomi-Buygi, M. & Boudjadar, J. (2021). Impacts of large-scale penetration of wind power on day-ahead electricity markets and forward contracts. International Journal of Electrical Power and Energy Systems, 125, Artikel 106450. https://doi.org/10.1016/j.ijepes.2020.106450

Woodcock, J. & Banach, R. (2007). The Verification Grand Challenge. Journal of Universal Computer Science, 13(5), 661-668. http://www.jucs.org/jucs_13_5/the_verification_grand_challenge/jucs_13_5_0661_0668_woodcock.pdf

Butterfield, A., Sherif, A. & Woodcock, J. (2007). Slotted-Circus: A UTP-Family of Reactive Theories. I J. Davies & J. Gibbons (red.), Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings (s. 75-97). Springer. https://doi.org/10.1007/978-3-540-73210-5_5

Freitas, L., Fu, Z. & Woodcock, J. (2007). POSIX file store in Z/Eves: an experiment in the verified software repository. I 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) (s. 3-14). IEEE. https://doi.org/10.1109/ICECCS.2007.36

G. Aydal, E., Woodcock, J. & Cavalcanti, A. L. C. (2007). Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. I J. Filipe, M. Helfert & B. Shishkov (red.), Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT (Bind 1: ICSOFT, s. 290-295.). SCITEPRESS Digital Library. https://doi.org/10.5220/0001324002900295

Butterfield, A. & Woodcock, J. (2007). Formalising Flash Memory: First Steps. I 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) IEEE. https://doi.org/10.1109/ICECCS.2007.23

Freitas, L. & Woodcock, J. (2007). FDR Explorer. Electronic Notes in Theoretical Computer Science, 187, 19-34. https://doi.org/10.1016/j.entcs.2006.08.042

Jones, C. & Woodcock, J. (2007). Editorial. Formal Aspects of Computing, 19(4), 415–416. https://doi.org/10.1007/s00165-007-0046-3

Oliveira, M. & Woodcock, J. (2007). Automatic Generation of Verified Concurrent Hardware. I M. Butler, M. G. Hinchey & M. M. Larrondo-Petrie (red.), Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings (s. 286-306). Springer. https://doi.org/10.1007/978-3-540-76650-6_17

Perna, J. I. & Woodcock, J. (2007). A Denotational Semantics for Handel-C Hardware Compilation. I M. Butler, M. G. Hinchey & M. M. Larrondo-Petrie (red.), Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings (s. 266-285). Springer. https://doi.org/10.1007/978-3-540-76650-6_16

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2007). A Denotational Semantics for Circus. Electronic Notes in Theoretical Computer Science, 187, 107-123. https://doi.org/10.1016/j.entcs.2006.08.047

Meyer, B. & Woodcock, J. (red.) (2005). Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. I B. Meyer & J. Woodcock (red.), Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Bind 1). Springer. https://doi.org/10.1007/978-3-540-69149-5

Beck, M. M., Boudjadar, J. & Chougui, Y. (2021). Energy Efficient Real-time Calibration of Wireless Sensor Networks for Smart Buildings. 63-77. Afhandling præsenteret på International Symposium on Intelligent and Autonomous Systems, Tallinn, Estland. https://doi.org/10.1007/978-3-030-87657-9_5

Boudjadar, J. & Beck, M. M. (2021). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. Afhandling præsenteret på Intelligent Systems Conference , Amsterdam, Holland.

McEwan, A. A. & Woodcock, J. (2008). Unifying Theories of Interrupts. I A. Butterfield (red.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (s. 122-141). Springer. https://doi.org/10.1007/978-3-642-14521-6_8

Andalibi, M., Hajihosseini, M., Gheisarnejad Chirani, M., Khooban, M. H. & Boudjadar, J. (2021). A Novel Method for Stabilizing Buck-Boost Converters with CPL using Model Prediction Control. I Proceedings - 2021 22nd IEEE International Conference on Industrial Technology, ICIT 2021 (s. 541-545). Artikel 9453639 IEEE. https://doi.org/10.1109/ICIT46573.2021.9453639

Perna, J. I. & Woodcock, J. (2008). UTP Semantics for Handel-C. I A. Butterfield (red.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (s. 142-160). Springer. https://doi.org/10.1007/978-3-642-14521-6_9

Boudjadar, J. (2020). A Study of the Trade-off Energy Consumption-Performance-Schedulability for DVFS Multicore Systems. Unspecified journal, 14(11), 380-391.

Woodcock, J. (2008). The Miracle of Reactive Programming. I A. Butterfield (red.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (s. 202-217). Springer. https://doi.org/10.1007/978-3-642-14521-6_12

Freitas, L., Woodcock, J. & Butterfield, A. (2008). POSIX and the Verification Grand Challenge: A Roadmap. I K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (red.), ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS (s. 153-162). IEEE Computer Society Press. 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. I 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (s. 11-20). IEEE. https://doi.org/10.1109/ICSTW.2008.29

Woodcock, J. & Freitas, L. (2008). Linking VDM and Z. I K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (red.), 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) (s. 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. I H. Giese (red.), Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (s. 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. I European Wireless Conference: 26th European Wireless Conference (s. 84-90). 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. I 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (s. 276-280). Artikel 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. I 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (s. 23-28). Artikel 9244456 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244456

Woodcock, J. & Boca, P. (2008). ABZ2008 VSR-Net Workshop. I E. Börger, M. Butler, J. P. Bowen & P. Boca (red.), Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (s. 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. I J. S. Fitzgerald, A. E. Haxthausen & H. Yenigun (red.), Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (s. 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), 1-4. Artikel 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. I R. F. Paige & B. Meyer (red.), Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings (Bind 1, s. 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. I T. Margaria, J. Padberg, G. Taentzer, J. Cabot, M. Gogolla & P. Van Gorp (red.), 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. I F. S. de Boer, M. M. Bonsangue, S. Hallerstede & M. Leuschel (red.), Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Bind 1, s. 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. I 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering IEEE. https://doi.org/10.1109/TASE.2009.57

Abrial, J.-R. (red.), Butler, M. J. (red.), Joshi, R. (red.), Troubitsyna, E. & Woodcock, J. (red.) (2009). Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. I 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. I 2009 International Conference on Software Testing Verification and Validation (Bind 1, s. 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. (red.) (2009). 09381 Extended Abstract Collection Renement Based Methods for the Construction of Dependable Systems. I 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

Viser resultater 401 til 450 ud af 1055

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering