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

Butterfield, A. & Woodcock, J. (2003). Semantic Domains for Handel-C. Electronic Notes in Theoretical Computer Science, 74, 1-20. https://doi.org/10.1016/S1571-0661(04)80762-X

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (2002). Refinement of Actions in Circus. Electronic Notes in Theoretical Computer Science, 70(3), 132-162. https://doi.org/10.1016/S1571-0661(05)80489-X

Sampaio, A., Woodcock, J. & Cavalcanti, A. L. C. (2002). Refinement in Circus. I L.-H. Eriksson & P. A. Lindsay (red.), FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings (s. 451-470). Springer. https://doi.org/10.1007/3-540-45614-7_26

Derrick, J., A. Boiten, E., Woodcock, J. & von Wright, J. (2002). Preface: Volume 70, Issue 3. Electronic Notes in Theoretical Computer Science, 70(3), 1-2. https://doi.org/10.1016/S1571-0661(05)80478-5

Cooper, D., Stepney, S. & Woodcock, J. (2002). Derivation of Z Refinement Proof Rules: Forwards and backwards rules incorporating input/output refinement. University of York. https://www-users.cs.york.ac.uk/~susan/bib/ss/z/347.pdf

Cavalcanti, A. L. C. & Woodcock, J. (2003). Predicate transformers in the semantics of Circus. IEE Proceedings - Software, 2(150). https://doi.org/10.1049/ip-sen:20030131

Butterfield, A. & Woodcock, J. (2003). An Operational Semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 80, 235-250. https://doi.org/10.1016/S1571-0661(04)80821-1

Atiya, D.-A., King, S. & Woodcock, J. (2003). A Circus Semantics for Ravenscar Protected Objects. I K. Araki, S. Gnesi & D. Mandrioli (red.), FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa, Itlay, September 2003. Proceedings (s. 617-635). Springer. https://books.google.dk/books?id=nqZqCQAAQBAJ&printsec=frontcover&hl=da#v=onepage&q&f=false

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (2003). A Refinement Strategy for Circus. Formal Aspects of Computing, 15, 146–181. https://doi.org/10.1007/s00165-003-0006-5

Woodcock, J. (2004). Using Circus for Safety-critical Applications. Electronic Notes in Theoretical Computer Science, 95, 3-22. https://doi.org/10.1016/j.entcs.2004.04.003

Tang, X. & Woodcock, J. (2004). Travelling Processes. I D. Kozen (red.), Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings (s. 381-399). Springer. https://doi.org/10.1007/978-3-540-27764-4_20

Tang, X. & Woodcock, J. (2004). Towards Mobile Processes in Unifying Theories. I Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. IEEE. https://doi.org/10.1109/SEFM.2004.1347502

Nuka, G. & Woodcock, J. (2004). Mechanising the Alphabetised Relational Calculus. Electronic Notes in Theoretical Computer Science, 95, 209-225. https://doi.org/10.1016/j.entcs.2004.04.013

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2003). ArcAngel: a Tactic Language for Refinement. Formal Aspects of Computing, 15, 28–47. https://doi.org/10.1007/s00165-003-0003-8

McEwan, A. A. & Woodcock, J. (2004). A REFINEMENT BASED APPROACH TO CALCULATING A FAULT-TOLERANT RAILWAY SIGNAL DEVICE. I 18th World Computer Congress Topical Sessions (s. 621-627). Springer. https://www.readcube.com/articles/10.1007%2F978-1-4020-8157-6_60

Woodcock, J. & Cavalcanti, A. (2004). A Tutorial Introduction to Designs in Unifying Theories of Programming. I E. A. Boiten, J. Derrick & G. Smith (red.), Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings (s. 40-66). Springer. https://doi.org/10.1007/978-3-540-24756-2_4

Woodcock, J. (2005). Unifying Program Refinement Calculi. I Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France https://www.researchgate.net/publication/221612404_Unifying_Program_Refinement_Calculi

Atiya, D., King, S. & Woodcock, J. (2005). Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. Electronic Notes in Theoretical Computer Science, 137(2), 5-22. https://doi.org/10.1016/j.entcs.2005.04.022

Woodcock, J., Cavalcanti, A. L. C. & Freitas, L. (2005). Operational Semantics for Model Checking Circus. I J. Fitzgerald, I. J. Hayes & A. Tarlecki (red.), FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings (s. 237-252). Springer. https://doi.org/10.1007/11526841_17

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2005). Formal development of industrial-scale systems in Circus. Innovations in Systems and Software Engineering, 1, 125–146 . https://doi.org/10.1007/s11334-005-0014-0

Cavalcanti, A. L. C. & Woodcock, J. (2005). Angelic Nondeterminism and Unifying Theories of Programming. Electronic Notes in Theoretical Computer Science, 137(2), 45-66. https://doi.org/10.1016/j.entcs.2005.04.024

Butterfield, A. & Woodcock, J. (2005). prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer, 7, 248–267. https://doi.org/10.1007/s10009-004-0181-6

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (2005). Unifying classes and processes. Software and Systems Modeling, 4, 277–296. https://doi.org/10.1007/s10270-005-0085-2

Woodcock, J. & Freitas, L. (2006). Z/Eves and the Mondex Electronic Purse. I K. Barkaoui, A. Cavalcanti & A. Cerone (red.), Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings (s. 15-34). Springer. https://doi.org/10.1007/11921240_2

Woodcock, J. (2006). Verified Software Grand Challenge. I J. Misra, T. Nipkow & E. Sekerinski (red.), FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings (s. 617-617). Springer. https://doi.org/10.1007/11813040_45

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

Viser resultater 351 til 400 ud af 1053

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering