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

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2006). Unifying Theories in ProofPower-Z. I S. Dunne & B. Stoddart (red.), Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (s. 123-140). Springer. https://doi.org/10.1007/11768173_8

Freitas, L., Cavalcanti, A. L. C. & Woodcock, J. (2006). Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. I Z. Liu & J. He (red.), Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings (s. 697-716). Springer. https://doi.org/10.1007/11901433_38

Li, B., Nielsen, R. O., Johansen, K. W., Teizer, J., Larsen, P. G. & Schultz, C. (2021). Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 153-174). Springer. https://doi.org/10.1007/978-3-030-83723-5_11

Foldager, F. F., Thule, C., Balling, O. & Larsen, P. G. (2021). Towards a Digital Twin - Modelling an Agricultural Vehicle. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (s. 109-123). Springer. https://doi.org/10.1007/978-3-030-83723-5_8

Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G. (2021). Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 72-87). Springer. https://doi.org/10.1007/978-3-030-83723-5_6

Fitzgerald, J., Larsen, P. G., Margaria, T. & Woodcock, J. (2021). Engineering of Digital Twins for Cyber-Physical Systems. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 49-53). Springer. https://doi.org/10.1007/978-3-030-83723-5_4

Larsen, P. G., Soulioti, G., Macedo, H. D., Alifragkis, V., Fitzgerald, J., Livanos, N., Pfeifer, H., Pasquinelli, M., Benedict, M., Thule, C., Tonetta, S., Stritzelberger, B., Marguglio, A., Sutton, L. F., Obstbaum, M., Gusmeroli, S., Beutenmüller, F., Jr., G. S., Wijnands, Q. & Talasila, P. (2020). Enabling Combining Models and Tools in an Online MBSE Collaboration Platform. I Model Based Space Systems and Software Engineering (MBSE2020) https://indico.esa.int/event/329/attachments/3868/5508/Abstracts_combined.pdf

Legaard, C. M., Tola, D., Schranz, T., Macedo, H. D. & Larsen, P. G. (2021). A Universal Mechanism for Implementing Functional Mock-up Units. I G. Wagner, F. Werner, T. I. Ören & F. D. Rango (red.), Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021, Online Streaming, July 7-9, 2021 (s. 121-129). SCITEPRESS Digital Library. https://doi.org/10.5220/0010577601210129

Freitas, L., Woodcock, J. & Cavalcanti, A. L. C. (2006). State-rich model checking. Innovations in Systems and Software Engineering, 2, 49–64. https://doi.org/10.1007/s11334-006-0021-9

Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G. (2021). The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. I J. Proença & A. Paskevich (red.), Proceedings of the 6th Workshop on Formal Integrated Development Environment (Bind 338, s. 3-18). Open Publishing Association. https://doi.org/10.4204/EPTCS.338.3

Cavalcanti, A. L. C., Harwood, W. & Woodcock, J. (2006). Pointers and Records in the Unifying Theories of Programming. I S. Dunne & B. Stoddart (red.), Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (s. 200-216). Springer. https://doi.org/10.1007/11768173_12

Nuka, G. & Woodcock, J. (2006). Mechanising a Unifying Theory. I S. Dunne & B. Stoddart (red.), Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (s. 217-235). Springer. https://doi.org/10.1007/11768173_13

Hansen, S. T., Thule, C. & Gomes, C. (2021). An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. I L. Cleophas & M. Massink (red.), Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops (s. 295-310). Springer. https://doi.org/10.1007/978-3-030-67220-1_22

Iraji, M., Dehghani, M., Mohammadi, M., Vafamand, N. & Boudjadar, J. (2021). Motor Current Signature Analysis Using Shapelet. I H. Selvaraj, G. Chmaj & D. Zydek (red.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 23-33). Springer. https://doi.org/10.1007/978-3-030-65796-3_3

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Optimal Energy Resources Scheduling of Hybrid Diesel/Battery Ships in Shallow Waters. I H. Selvaraj, G. Chmaj & D. Zydek (red.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 369-378). Springer. https://doi.org/10.1007/978-3-030-65796-3_36

Amiri, M., Dehghani, M., Khayatian, A., Mohammadi, M., Vafamand, N. & Boudjadar, J. (2021). Investigation of Wind Energy Impact on Power Systems Stability Using Lyapunov Exponents. I H. Selvaraj, G. Chmaj & D. Zydek (red.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 12-22). Springer. https://doi.org/10.1007/978-3-030-65796-3_2

Boudjadar, J. & Khooban, M. H. (2021). A Safety-Driven Cost Optimization for the Real-Time Operation of a Hybrid Energy System. I H. Selvaraj, G. Chmaj & D. Zydek (red.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 390-400). Springer. https://doi.org/10.1007/978-3-030-65796-3_38

Frasheri, M., Esterle, L. & Papadopoulos, A. V. (2021). Cooperative Multi-agent Systems for the Multi-target κ -Coverage Problem. I A. P. Rocha, L. Steels & J. van den Herik (red.), Agents and Artificial Intelligence: ICAART 2020 (s. 106-131). Springer. https://doi.org/10.1007/978-3-030-71158-0_5

Schneider, S., Cavalcanti, A. L. C., Treharne, H. & Woodcock, J. (2006). A Layered Behavioural Model of Platelets. I 11th IEEE International Conference on Engineering of Complex Computer Systems IEEE. https://doi.org/10.1109/ICECCS.2006.1690359

Butterfield, A. & Woodcock, J. (2006). A “Hardware Compiler” Semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 161, 73-90. https://doi.org/10.1016/j.entcs.2006.04.026

Bicarregui, J. C. . Hoare, C. A. R. & Woodcock, J. (2006). The verified software repository: a step towards the verifying compiler. Formal Aspects of Computing, 18(2), 143–151. https://doi.org/10.1007/s00165-005-0079-4

Cavalcanti, A. L. C., Woodcock, J. & Dunne, S. (2006). Angelic nondeterminism in the unifying theories of programming. Formal Aspects of Computing, 18(3), 288–307 . https://doi.org/10.1007/s00165-006-0001-8

Woodcock, J. (2006). First Steps in the Verified Software Grand Challenge. Computer, 39(10), 57-64. https://doi.org/10.1109/MC.2006.340

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. International Journal of Computer and Information Engineering, 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

Viser resultater 351 til 400 ud af 1029

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering