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., Hallerstede, S., Hansen, D., Kuppe, M., Mejia, F., Merz, S., Vanzetto, H. & Winter, K. (2014). Modeling Dijkstra’s Termination Detection Algorithm in TLA+. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Larsen, P. G. & Agerholm, S. (1997). Modeling and Validating SAFER in VDM-SL. Paper presented at Fourth NASA Langley Formal Methods Workshop, Langley, United States. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.4157&rep=rep1&type=pdf

Larsen, P. G., Verhoef, M. & Hooman, J. (2006). Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. In J. Misra, T. Nipkow & E. Sekerinski (Eds.), FM 2006: Formal Methods: 14th International Symposium on Formal Methods. Proceedings (pp. 147-162). Springer.

Boudjadar, J., Kim, J. H., G. Larsen, K. & Nyman, U. M. (2014). Model Checking Process Algebra of Communicating Resources for Real-time Systems. In 2014 26th Euromicro Conference on Real-Time Systems (pp. 51-60) https://doi.org/10.1109/ECRTS.2014.24

Ye, K. & Woodcock, J. (2015). Model checking of state-rich formalism by linking to CSP∥B. International Journal on Software Tools for Technology Transfer, 19(1), 73–96. https://doi.org/10.1007/s10009-015-0402-1

Mota, A., Farias, A., Woodcock, J. & Larsen, P. G. (2015). Model checking CML : tool development and industrial applications. Formal Aspects of Computing, 5(27), 975–1001. https://doi.org/10.1007/s00165-015-0342-2

Feng, H., Gomes, C., Iosifidis, A. & Larsen, P. G. (2021). Model-based monitoring and state estimation for digital twins: The Kalman filter. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.), Annual Modeling and Simulation Conference (ANNSIM 2021) (pp. 1-2)

Ishikawa, F., Larsen, P. G. & S. Fitzgerald, J. (2018). Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications: NII Shonan Meeting Report No. 2017-18. National Institute of Informatics, Tokyo. NII Shonan Meeting Report http://shonan.nii.ac.jp/shonan/wp-content/uploads/2018/06/No.2017-18.pdf

Woodcock, J., Wellings, A. & Cavalcanti, A. L. C. (2016). Mobile CSP. In M. Cornélio & B. Roscoe (Eds.), Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Proceedings (pp. 39-55). Springer. https://doi.org/10.1007/978-3-319-29473-5_3

Jastram, M., Hallerstede, S. & Ladenberger, L. (2011). Mixing Formal and Informal Model Elements for Tracing Requirements. In AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (pp. (53-67)). European Association of Software Science and Technology. http://deploy-eprints.ecs.soton.ac.uk/330/1/avocs2011.pdf

Gomes, C., Jungers, R. M., Legat, B. & Vangheluwe, H. (2019). Minimally Constrained Stable Switched Systems and Application to Co-simulation. In 2018 IEEE Conference on Decision and Control (CDC) (pp. 5676-5681). Article 8619223 IEEE. https://doi.org/10.1109/CDC.2018.8619223

Gomes, C., Jungers, R. M., Legat, B. & Vangheluwe, H. (2018). Minimally Constrained Stable Switched Systems and Application to Co-simulation. ArXiv. https://arxiv.org/pdf/1809.02648.pdf

Bayard Rasmussen, M., Thule, C., Macedo, H. D. & Larsen, P. G. (2019). Migrating the INTO-CPS Application to the Cloud. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 47-62). Newcastle University.

Macedo, H. D., Bayard Rasmussen, M., Thule, C. & Larsen, P. G. (2020). Migrating the INTO-CPS Application to the Cloud. In E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (Eds.), Formal Methods: FM 2019 International Workshops (pp. 254-271). Springer. https://doi.org/10.1007/978-3-030-54997-8_17

Larsen, P. G., Fitzgerald, J. & Wolff, S. (2009). Methods for the Development of Distributed Real-Time Embedded Systems using VDM. International Journal of Software and Informatics, 3(2-3).

Le, L. & Bennedsen, J. (2014). Methodological Analysis of CDIO Papers. In Proceedings of the 10th International CDIO Conference: Sharing Successful Engineering Education Experiences Worldwide CDIO Initiative. http://www.cdio.org/node/6217

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), Article 3763. https://doi.org/10.3390/ma14133763

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

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

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

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

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

Merhi, Y., Mikkelsen, P. H., Suetta, C., Nygaard, J. V. & Agarwala, S. (2020). Mechanical performance of electronically functional smart textiles. In T. M. Buzug & H. Seitz (Eds.), Transactions on additive manufacturing meets medicine Infinite Science. https://doi.org/10.18416/AMMM.2020.2009012

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

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. In 2021 International Balkan Conference on Communications and Networking, BalkanCom 2021 (pp. 143-147). IEEE. https://doi.org/10.1109/BalkanCom53780.2021.9593258

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

Larsen, P. G., Andersen, M., Elmstrøm, R. & Bøgh Lassen, P. (1992). Making specifications executable - using IPTES Meta-IV. Paper presented at 18th EUROMICRO Symposium on Microprocessing and Microprogramming - EUROMICRO 92, Paris, France. http://pglconsult.dk/private/euro.pdf

Thule, C., Lausdahl, K. G., Gomes, C., Meisl, G. & Larsen, P. G. (2019). Maestro: The INTO-CPS co-simulation framework. Simulation Modelling Practice and Theory, 92, 45-61. https://doi.org/10.1016/j.simpat.2018.12.005

Esterle, L., Montagna, S., Pianini, D., Aguzzi, G., Bellman, K. L., Ciatto, G., Contoli, C., Donati, M., Mariani, S., Rahmani, A., Savaglio, C., Storti, E., TaheriNejad, N., van der Sluis, O. & Wang, Z. (2024). MADTECC 2024: 1st Workshop on Medical Applications with Digital Twins and Edge-cloud Continuum - Welcome and Committees. In 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (pp. 30-31). IEEE. https://doi.org/10.1109/PerComWorkshops59983.2024.10502899

Esterle, L. & King, D. W. (2021). Loosening Control—A Hybrid Approach to Controlling Heterogeneous Swarms. ACM Transactions on Autonomous and Adaptive Systems, 16(2), Article 5. https://doi.org/10.1145/3502725

de la Cour, J. D., Johnsen, C.-J. & Avery, J. E. (2024). Lockstep-Parallel Dualization of Surface Triangulations. In PASC '24: Proceedings of the Platform for Advanced Scientific Computing Conference Article 9 Association for Computing Machinery. https://doi.org/10.1145/3659914.3659923

Chipofya, M., Karamesouti, M., Schultz, C. & Schwering, A. (2020). Local Domain Models for Land Tenure Documentation and their Interpretation into the LADM. Land Use Policy, 99, Article 105005. https://doi.org/10.1016/j.landusepol.2020.105005

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

Fitzgerald, J., Larsen, P. G. & Verhoef, M. (2014). Linking Design Disciplines in Cyber-Physical System Development: The DESTECS/Crescendo Technology. ERCIM News, 97(April), 23-24. http://ercim-news.ercim.eu/images/stories/EN97/EN97-web.pdf

Esterle, L. & Brown, J. N. A. (2019). Levels of networked self-awareness. -, 237-238. https://doi.org/10.1109/FAS-W.2018.00054

Chipofya, M., Schwering, A., Jan, S., Schultz, C. P. L. & Harason, E. (2015). Left/right relations for Qualitative Spatial Representation of Networks. In 14th Mexican International Conference on Artificial Intelligence

Lewis, P. R., Esterle, L., Chandra, A., Rinner, B. & Yao, X. (2013). Learning to be different: Heterogeneity and efficiency in distributed smart camera networks. International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 209-218. https://doi.org/10.1109/SASO.2013.20

Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J. (2020). Learning Safe Neural Network Controllers with Barrier Certificates. ArXiv. https://arxiv.org/pdf/2009.09826.pdf

Bennedsen, J. & Fjuk, A. (2006). Learning object-orientation by professional adults. International Journal of Continuing Engineering Education and Life-Long Learning, 16(6), 453-465. https://doi.org/10.1504/IJCEELL.2006.011890

Godsk, M., Hougaard, R. F. & Bennedsen, J. (2018). Learning Design, Learning Analytics, and Learning Management Systems. 2149–2154. Paper presented at iCERi2018, Sevilla, Spain.

Bennedsen, J., Keiding, T. B. & Godsk, M. (2020). Learning design and the tension between strategy and didactics. In J. Malmqvist, J. Bennedsen, K. Edström, N. Kuptasthien, A. Sripakagorn, J. Roslöf, I. Saemundsdottir & M. Siiskonen (Eds.), The 16th International CDIO Conference: Proceedings – Full Papers (Vol. 2, pp. 285-295). Chalmers tekniska högskola. https://research.chalmers.se/publication/519263/file/519263_Fulltext.pdf

Larsen, P. G., Fitzgerald, J. & Riddle, S. (2006). Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. In Technical Report: CS-TR-992

Beevi, F. H. A., Pedersen, C. F., Wagner, S. R. & Hallerstede, S. (2014). Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. In C. Ramos, P. Novais, C. Ehrwein Nihan & J. M. Corchado Rodriguez (Eds.), Ambient Intelligence - Software and Applications: 5th International Symposium on Ambient Intelligence (Vol. 291, pp. 201-208). Springer. https://doi.org/10.1007/978-3-319-07596-9_22

Minku, L. L., Esterle, L., Nebehay, G. & Chen, R. (2016). Knowledge representation and modelling: Structures and trade-offs. In Natural Computing Series (pp. 79-111). Springer. https://doi.org/10.1007/978-3-319-39675-0_6

Omori , Y., Araki, K. & Larsen, P. G. (2015). JODTool on the Overture Tool to manage formal requirement dictionaries. In Proceedings of the 13th Overture Workshop (Vol. 2015-06, pp. 3-17). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Esterle, L. & Brown, J. N. A. (2020). I Think Therefore You Are: Models for Interaction in Collectives of Self-aware Cyber-physical Systems. ACM Transactions on Cyber-Physical Systems, 4(4), Article 39. https://doi.org/10.1145/3375403

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. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 12-22). Springer. https://doi.org/10.1007/978-3-030-65796-3_2

Guimarães, G., Costa, I., Perkusich, M., Mendes, E., Santos, D., Almeida, H. & Perkusich, A. (2024). Investigating the relationship between personalities and agile team climate: A replicated study. Information and Software Technology, 169, Article 107407. https://doi.org/10.1016/j.infsof.2024.107407

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. In A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (Eds.), Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (pp. 223-228). Institute for System Programming of the Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2016/SYRCoSE2016_Proceedings.pdf

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. Proceedings of the Institute for System Programming, 28(2), 139-156. https://doi.org/10.15514/ISPRAS-2016-28(2)-9

Displaying results 401 to 450 out of 938

Back to the main page

Revised 10.08.2023

AU Engineering