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

Li, B., Fitzgerald, J. & Schultz, C. (2022). Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement. Advanced Engineering Informatics, 51, Artikel 101452. https://doi.org/10.1016/j.aei.2021.101452

Li, B., Schultz, C., Teizer, J., Golovina, O. & Melzner, J. (2022). Towards a unifying domain model of construction safety, health and well-being: SafeConDM. Advanced Engineering Informatics, 51, Artikel 101487. https://doi.org/10.1016/j.aei.2021.101487

Bajovic, D., Bakhtiarnia, A., Bravos, G., Brutti, A., Burkhardt, F., Cauchi, D., Chazapis, A., Cianco, C., Dall'Asen, N., Delic, V., Dimou, C., Djokic, D., Escobar-Molero, A., Esterle, L., Eyben, F., Farella, E., Festi, T., Geromitsos, A., Giakoumakis, G. ... Zammit, J. (2021). MARVEL: Multimodal Extreme Scale Data Analytics for Smart Cities Environments. I 2021 International Balkan Conference on Communications and Networking, BalkanCom 2021 (s. 143-147). IEEE. https://doi.org/10.1109/BalkanCom53780.2021.9593258

Banaei, M., Boudjadar, J., Ebrahimy, R. & Madsen, H. (2021). Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. I IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society IEEE. https://doi.org/10.1109/IECON48115.2021.9589512

Strandberg, P. E., Frasheri, M. & Enoiu, E. P. (2021). Ethical AI-Powered Regression Test Selection. I 2021 IEEE International Conference on Artificial Intelligence Testing (AITest) (s. 83-84). IEEE. https://doi.org/10.1109/AITEST52744.2021.00025

Macedo, H. D., Højberg, J., Jensen, J. & Thomsen, U. (2022). Data-Driven Extraneous Water Quantification. Abstract fra 12th Urban Drainage Modeling Conference. https://udm2022.org/2021/11/09/data-driven-extraneous-water-quantification/

Tola, D. & Larsen, P. G. (2021). A Co-Simulation Based Approach for Developing Safety-Critical Systems. I Proceedings of the 18th International Overture Workshop https://arxiv.org/pdf/2101.07261.pdf#page=65

Weiß., G., Pietraroia., D., Sassanelli., C. & Macedo., H. (2021). Manufacturing Process Simulation in a Hybrid Cloud Setup. I Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021 (s. 49-58). SCITEPRESS Digital Library. https://doi.org/10.5220/0010641700003062

Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J. (2021). Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 62-73). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552073

Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A. & Larsen, P. G. (2021). Introduction to Digital Twin Engineering. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 1-12). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552135

Inci, E. O., Croes, J., Desmet, W., Gomes, C., Thule, C., Lausdahl, K. & Larsen, P. G. (2021). The Effect and Selection of Solution Sequence in Co-Simulation. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 1-12). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552130

Oda, T., Araki, K., Sahara, S., Chang, H.-M. & Larsen, P. G. (2021). Refactoring for Exploratory Specification in VDM-SL. I H. D. Macedo, C. Thule & K. Pierce (red.), Proceedings of the 19th International Overture Workshop (s. 21-35) https://arxiv.org/abs/2110.09371

Macedo, H. D., Thule, C. & Pierce, K. (2021). Proceedings of the 19th International Overture Workshop. https://arxiv.org/abs/2110.09371

Kulik, T., Talasila, P., Greco, P., Veneziano, G., Marguglio, A., Sutton, L. F., Larsen, P. G. & Macedo, H. D. (2021). Extending the Formal Security Analysis of the HUBCAP sandbox. I H. D. Macedo, C. Thule & K. Pierce (red.), Proceedings of the 19th International Overture Workshop (s. 36-50) https://arxiv.org/abs/2110.09371

Frasheri, M., Ejersbo, H., Thule, C. & Esterle, L. (2021). RMQFMU: Bridging the Real World with Co-simulation For Practitioners. I H. D. Macedo, C. Thule & K. Pierce (red.), Proceedings of the 19th International Overture Workshop (s. 66-80) https://arxiv.org/pdf/2110.09371.pdf

Böttjer, T., Sandberg, M., Larsen, P. G. & Macedo, H. D. (2021). Modelling an Injection Moulding Machine using the Vienna Development Method. I H. D. Macedo, C. Thule & K. Pierce (red.), Proceedings of the 19th International Overture Workshop (s. 51-65) https://arxiv.org/abs/2110.09371

Banaei, M., Ghanami, F., Khooban, M. H. & Boudjadar, J. (2021). Cost-effective control of Roll-on/Roll-off Emission-Free Ships. I 2021 25th International Conference on Methods and Models in Automation and Robotics, MMAR 2021 (s. 315-320). IEEE. https://doi.org/10.1109/MMAR49549.2021.9528473

Kamari, A., Petersen, J. H. & Schultz, C. P. L. (2021). Popularizing DGNB in the Danish construction industry: A field study of the industry via a qualitative comparative analysis. I Proceedings of the 38th International Conference of CIB W78, Luxembourg, 13-15 October: Joint Conference CIB W78 - LDAC 2021 (s. 638-649). Artikel 64. http://itc.scix.net/paper/w78-2021-paper-064

Tola, D., Gonçalves Gomes, C. Â., Schultz, C. P. L., Schlette, C., Hansen, C. & Esterle, L. (2021). RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. I A. Soylu, A. T. Nezhad, N. Nikolov, I. Toma, A. Fensel & J. Vennekens (red.), Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021 CEUR-WS.org. http://ceur-ws.org/Vol-2956/paper12.pdf

Lumer-Klabbers, G., Hausted, J. O., Kvistgaard, J. L., Macedo, H. D., Frasheri, M. & Larsen, P. G. (2021). Towards a digital twin framework for autonomous robots. I W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (red.), 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (s. 1254-1259). IEEE. https://doi.org/10.1109/COMPSAC51774.2021.00174

Li, B., Schultz, C. P. L., Dimyadi, J. & Amor, R. (2021). Defeasible reasoning for automated building code compliance checking. I V. Semenov & R. J. Scherer (red.), ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia (s. 229-236). CRC Press. https://doi.org/10.1201/9781003191476

Sufrin , B. & Woodcock, J. (1987). Towards the formal specification of a simple programming support environment. Software Engineering Journal, 2(4), 86 – 94. https://doi.org/10.1049/sej.1987.0012 ,

Woodcock, J. (2005). Using VDM with rely and guarantee-conditions: Experiences from a real project. I R. E. . Bloomfield, L. S. Marshall & R. B. Jones (red.), VDM '88 VDM — The Way Ahead: 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings (s. 434-458). Springer. https://doi.org/10.1007/3-540-50214-9_27

Woodcock, J. & Morgan, C. (2005). Refinement of state-based concurrent systems. I D. Bjørner, C. A. R. Hoare & H. Langmaack (red.), VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings (s. 340-351). Springer. https://doi.org/10.1007/3-540-52513-0_18

Woodcock, J. (1989). Structuring specifications in Z. Software Engineering Journal, 4(1), 51-66. https://doi.org/10.1049/sej.1989.0007

Asplund, F., Macedo, H. D. & Sassanelli, C. (2021). Problematizing the Service Portfolio of Digital Innovation Hubs. I L. M. Camarinha-Matos, X. Boucher & H. Afsarmanesh (red.), Smart and Sustainable Collaborative Networks 4.0 - 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Proceedings: 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22–24, 2021, Proceedings (s. 433-440). Springer. https://doi.org/10.1007/978-3-030-85969-5_40

Macedo, H. D. (2021). Digital Twins. 12-15. Afhandling præsenteret på Digitale tvillinger i afløbs- og spildevandsbranchen . http://www.evanet.dk/wp-content/uploads/2021/09/2021_03_EVA_blad.pdf

Gardiner , P. H. B., Lupton, P. J. & Woodcock, J. (1990). A Simpler Semantics for Z. I J. E. Nicholls (red.), Proceedings of the Fifth Annual Z User Meeting on Z User Workshop (s. 3-11). Springer. https://doi.org/10.1007/978-1-4471-3540-1_1

Woodcock, J. (1991). Two Refinement Case Studies. I S. Prehn & H. Toetenel (red.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (s. 118-140). Springer. https://doi.org/10.1007/BFb0019996

Woodcock, J. (1991). The Refinement Calculus. I S. Prehn & H. Toetenel (red.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (s. 80-95). Springer. https://doi.org/10.1007/BFb0019996

Woodcock, J. (1991). An Introduction to Refinement in Z: A tutorial on the refinement calculus. I S. Prehn & W. J. Toetenel (red.), VDM´91 Formal Software Development Methods (Bind 2, s. 96-117). Springer Verlag. https://doi.org/10.1007/BFb0019996

Woodcock, J. (2005). A tutorial on the refinement calculus. I S. Prehn & H. Toetenel (red.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (s. 79-140). Springer. https://doi.org/10.1007/BFb0019996

Woodcock, J., Gardiner , P. H. B. & Hulance, J. R. (1994). The Formal Specification in Z of Defence Standard 00-56. I J. P. Bowen & J. A. Hall (red.), Z User Workshop (s. 9-28). Springer/BCS. https://doi.org/10.1007/978-1-4471-3452-7

Roscoe, A. W., Woodcock, J. & Wulf, L. (2005). Non-interference through determinism. I D. Gollmann (red.), Computer Security — ESORICS 94: Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings (s. 31-53). Springer. https://doi.org/10.1007/3-540-58618-0_55

Sinclair, J. & Woodcock, J. (2015). Event refinement in state-based concurrent systems. Formal Aspects of Computing, 7, 266–288. https://doi.org/10.1007/BF01211074

Roscoe, A. W., Woodcock, J. & Wulf, L. (1996). Non-interference through Determinism. Journal of Computer Security, 4(1), 27-53. https://doi.org/10.3233/JCS-1996-4103

Kamari, A., Li, B. & Schultz, C. P. L. (2021). Navigating the vast landscape of spatially valid renovation scenarios. I V. Semenov & R. J. Scherer (red.), ECPPM 2021 - eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia (s. 163-170). CRC Press/Balkema. https://doi.org/10.1201/9781003191476-22

Badicu, A., Iordache, G., Suciu, G., Macedo, H. D., Sassanelli, C., Terzi, S. & Larsen, P. G. (2021). Deploying the Smart Energy Tool for Investment Simulation inside the HUBCAP Sandbox. I A. G. Bruzzone, J. S. Janosy, L. Nicoletti & G. Zacharewicz (red.), 9th International Workshop on Simulation for Energy, Sustainable Development and Environment, SESDE 2021 (s. 18-26) https://doi.org/10.46354/i3m.2021.sesde.003

Martin, A. P., Gardiner , P. H. B. & Woodcock, J. (2015). A tactic calculus — abridged version. Formal Aspects of Computing, 8, 479–489 . https://doi.org/10.1007/BF01213535

Cavalcanti, A. L. C. & Woodcock, J. (2005). ZRC – A Refinement Calculus for Z. Formal Aspects of Computing, 10, 267–289. https://doi.org/10.1007/s001650050016

Johansen, K. W., Nielsen, R. O., Teizer, J. & Schultz, C. P. L. (2021). An AI-based approach for automated work progress estimation from construction activities using abductive reasoning. I V. Semenov & R. J. Scherer (red.), ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia (s. 237-244). CRC Press. https://doi.org/10.1201/9781003191476-33

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (1998). Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society , 5(1). https://doi.org/10.1590/S0104-65001998000200002

Stepney, S., Cooper, D. & Woodcock, J. (1998). More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. I J. P. Bowen, A. Fett & M. G. Hinchey (red.), ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Bind 1, s. 284-307). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49676-2_20

Cavalcanti, A. L. C. & Woodcock, J. (1998). A Weakest Precondition Semantics for Z. The Computer Journal, 41(1), 1-15. https://doi.org/10.1093/comjnl/41.1.1

Bolton, C., Davies, J. & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes. I K. Araki, A. Galloway & K. Taguchi (red.), IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 (s. 273-292). Springer. https://doi.org/10.1007/978-1-4471-0851-1

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (1999). An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, 33, 87-96 . https://core.ac.uk/download/pdf/82142214.pdf

Wing, J. & Woodcock, J. (2000). The First World Congress on Formal Methods in the Development of Computing Systems. Formal Aspects of Computing, 12, 145-146. https://doi.org/10.1007/PL00011167

Wing, J. & Woodcock, J. (2000). Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design, 17, 199–200. https://doi.org/10.1023/A:1026521916117

Woodcock, J. & Cavalcanti, A. L. C. (2001). A Concurrent Language for Refinement. I A. Butterfield, G. Strong & C. Pahl (red.), IW-FM'01: Proceedings of the 5th Irish conference on Formal Methods (s. 93–115). BCS Learning & Development Ltd. https://dl.acm.org/doi/10.5555/2227391.2227398

Woodcock, J. & Hughes, A. (2002). Unifying Theories of Parallel Programming. I C. George & H. Miao (red.), Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings (s. 24-37). Springer. https://doi.org/10.1007/3-540-36103-0_5

Viser resultater 151 til 200 ud af 866

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering