Find

Til studerende
Til ph.d.er
Til medarbejdere

Institut for Elektro- og Computerteknologi

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

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

Gil Arboleda, S., Mikkelsen, P. H., Gomes, C. & Larsen, P. G. (2024). Survey on open-source digital twin frameworks–A case study approach. Software: Practice and Experience, 54(6), 929-960. https://doi.org/10.1002/spe.3305

Esparza Isasa, J. A., Larsen, P. G. & Bjerge, K. (2012). Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT. Afhandling præsenteret på 10th overture workshop , Paris, Frankrig. http://eprint.ncl.ac.uk/file_store/production/186969/A035CB6F-B782-42ED-9C1F-CB4C29820CC0.pdf#page=5

Aher, G. R., Macedo, H. D., Larsen, P. G. & Ramanujan, D. (2023). Supporting Design for Circular Economy Using Lifecycle Co-Simulation. I ASME 2023 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: 28th Design for Manufacturing and the Life Cycle Conference (DFMLC) Artikel DETC2023-116537, V005T05A006; American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2023-116537

Larsen, P. G., Gamble, C., Pierce, K., Ribeiro, A. & Lausdahl, K. (2014). Support for Co-modelling and Co-simulation: The Crescendo Tool. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 97-114). Springer. https://doi.org/10.1007/978-3-642-54118-6_5

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

Hallerstede, S. (2010). Structured Event-B Models and Proofs. I M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (red.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (s. 273-286). Springer. https://doi.org/10.1007/978-3-642-11811-1_21

Kamari, A. & Schultz, C. P. L. (2025). Streamlining BIM-integrated LCA for rapid-iterative-informed-early stage upfront carbon assessment by architects and engineers. Architecture, Structures and Construction, 5(1), Artikel 5. https://doi.org/10.1007/s44150-024-00122-2

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels. IEEE Transactions on Industrial Informatics, 17(8), 5430-5440. https://doi.org/10.1109/TII.2020.3027808

Sandberg, M., Yuksel, O., Baran, I., Spangenberg, J. & Hattel, J. H. (2021). Steady-state modelling and analysis of process-induced stress and deformation in thermoset pultrusion processes. Composites Part B: Engineering, 216, Artikel 108812. https://doi.org/10.1016/j.compositesb.2021.108812

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikucionis, M., Nyman, U. M. & Skou, A. J. (2016). Statistical and exact Schedulability analysis of Hierarchical Scheduling Systems. Science of Computer Programming, 127, 103-130. https://doi.org/10.1016/j.scico.2016.05.008

Lewis, P. R., Esterle, L., Chandra, A., Rinner, B., Torresen, J. & Yao, X. (2015). Static, dynamic, and adaptive heterogeneity in distributed smart camera networks. ACM Transactions on Autonomous and Adaptive Systems, 10(2), Artikel 8. https://doi.org/10.1145/2764460

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

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

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

Larsen, P. G. & Plat, N. (1992). Standards for Nonexecutable Specification Languages. The Computer Journal, 35(6), 567-573. http://comjnl.oxfordjournals.org/content/35/6/567.full.pdf

Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H. (2019). Stable Adaptive Co-simulation: A Switched Systems Approach. I B. Schweizer (red.), IUTAM Symposium on Solver-Coupling and Co-Simulation: Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017 (s. 81-97). Springer. https://doi.org/10.1007/978-3-030-14883-6_5

Pierce, K., Lausdahl, K. & Frasheri, M. (2022). Speeding Up Design Space Exploration through Compiled Master Algorithms. I H. D. Macedo & K. Pierce (red.), Proceedings of the 20th International Overture Workshop (s. 66-81) https://doi.org/10.48550/arXiv.2208.10233

Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H.-M. & Larsen, P. G. (2021). Specifying Abstract User Interface in VDM-SL. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 5-20) https://arxiv.org/pdf/2101.07261.pdf

Jones, C. B., Larsen, P. G., Prinz, A., Raschke, A. & Snook, C. F. (2014). Speciﬁcation of the Cash Dispenser in Parallel using ASM and VDM. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Schultz, C. P. L. & Bhatt, M. (2015). Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning. I S. I. Fabrikant, M. Raubal, M. Bertolotto, C. Davies, S. Freundschuh & S. Bell (red.), Spatial Information Theory (1 udg., s. 331-353). Springer International Publishing. https://doi.org/10.1007/978-3-319-23374-1

Jan, S., Schultz, C. P. L., Schwering, A. & Chipofya, M. (2015). Spatial Rules for Capturing Qualitatively Equivalent Configurations in Sketch maps. I T. Lechowski, P. Walega & M. Zawidzki (red.), Proceedings of the LQMR 2015 Workshop (Bind 7, s. 13-20) https://doi.org/10.15439/2015F372

Cavalcanti, A. L. C., Miyazawa, A., Payne, R. & Woodcock, J. (2017). Sound Simulation and Co-simulation for Robotics. I Present and Ulterior Software Engineering (s. 173-194). Springer. https://doi.org/10.1007/978-3-319-67425-4_11

Esterle, L., Lewis, P. R., Yao, X. & Rinner, B. (2014). Socio-economic vision graph generation and handover in distributed smart camera networks. ACM Transactions on Sensor Networks, 10(2), 1-24. Artikel 2530001. https://doi.org/10.1145/2530001

Sitarz, M. K. & Boudjadar, J. (2024). Smart Occupancy-driven Control for Ventilation Systems in Buildings with Privacy Concerns. I K. Arai (red.), Intelligent Systems and Applications: Proceedings of the 2023 Intelligent Systems Conference (IntelliSys) Volume 4 (s. 773-791) https://doi.org/10.1007/978-3-031-47718-8_50

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

Papadopoulos, A. V. & Esterle, L. (2020). Situational Trust in Self-aware Collaborating Systems. I 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 91-94). IEEE. https://doi.org/10.1109/ACSOS-C51401.2020.00037

Letafat, A., Rafiei Foroushani, M., Sheikh, M., Afshari-Igder, M., Banaei, M., Boudjadar, J. & Khooban, M. H. (2020). Simultaneous energy management and optimal components sizing of a zero-emission ferry boat. Journal of Energy Storage, 28, Artikel 101215. https://doi.org/10.1016/j.est.2020.101215

Sandberg, M., Rasmussen, F. S., Hattel, J. H. & Spangenberg, J. (2019). Simulation of resin-impregnation, heat-transfer and cure in a resin-injection pultrusion process. AIP Conference Proceedings, 2113(1). https://doi.org/10.1063/1.5112527

Sandberg, M., Hattel, J. H. & Spangenberg, J. (2019). Simulation of liquid composite moulding using a finite volume scheme and the level-set method. International Journal of Multiphase Flow, 118, 183-192. https://doi.org/10.1016/j.ijmultiphaseflow.2019.06.014

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

Gheisarnejad, M., Khooban, M. H., Dragicevic, T. & Boudjadar, J. (2019). Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. I Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society (s. 4063-4067). Artikel 8927457 IEEE. https://doi.org/10.1109/IECON.2019.8927457

Gomes, C., Lucani Rötter, D. E., Iosifidis, A., Feng, H., Ejersbo, H. & Frasheri, M. (2024). Sensing and Communication of Data from the Physical Twin. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 147-171). Springer. https://doi.org/10.1007/978-3-031-66719-0_7#citeas

Larsen, P. G. (1994). Semantics of Under-determined Expressions. Springer. Formal Aspects of Computing Bind ID-TR 1994-151

Lausdahl, K., Coleman, J. & Larsen, P. G. (2013). Semantics of the VDM Real-Time Dialect. Aarhus University, Department of Engineering. Technical report Nr. ECE-TR-13 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-13-_samlet.pdf

Gomes, C., Lucio, L. & Vangheluwe, H. (2019). Semantics of co-simulation algorithms with simulator contracts. Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019, 784-789. https://doi.org/10.1109/MODELS-C.2019.00124

Coleman, J., Lausdahl, K. & Larsen, P. G. (2014). Semantics of Co-simulation. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 273-291). Springer. https://doi.org/10.1007/978-3-642-54118-6_13

Larsen, P. G. & Hansen, B. S. (1996). Semantics for Underdetermined Expressions. Formal Aspects of Computing, 8(1), 47-66. http://www.springerlink.com/content/102822/?Copyright=1996&sortorder=asc&v=condensed&sw=semantics

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

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

Gomes, C., Meyers, B., Denil, J., Thule, C., Lausdahl, K. G., Vangheluwe, H. & De Meulenaere, P. (2019). Semantic adaptation for FMI co-simulation with hierarchical simulators. Simulation, 95(3), 241-269. https://doi.org/10.1177/0037549718759775

Esterle, L., Rinner, B. & Lewis, P. R. (2015). Self-Organising Zooms for Decentralised Redundancy Management in Visual Sensor Networks. International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 41-50. https://doi.org/10.1109/SASO.2015.12

Bellman, K. L., Landauer, C., Nelson, P., Bencomo, N., Götz, S., Lewis, P. & Esterle, L. (2017). Self-modeling and self-awareness. I Self-Aware Computing Systems (s. 279-304). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_9

Bellman, K., Botev, J., Diaconescu, A., Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Stein, A., Tomforde, S. & Wurtz, R. P. (2019). Self-improving system integration - Status and challenges after five years of SISSY. -, 160-167. https://doi.org/10.1109/FAS-W.2018.00042

Bellman, K., Botev, J., Diaconescu, A., Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Nelson, P. R., Pournaras, E., Stein, A. & Tomforde, S. (2021). Self-improving system integration: Mastering continuous change. Future Generation Computer Systems, 117, 29-46. https://doi.org/10.1016/j.future.2020.11.019

Esterle, L., Simonjan, J., Nebehay, G., Pflugfelder, R., Domínguez, G. F. & Rinner, B. (2016). Self-aware object tracking in multi-camera networks. I Self-aware Computing Systems: An Engineering Approach (s. 261-277). Springer. https://doi.org/10.1007/978-3-319-39675-0_13

Esterle, L., Dutt, N., Gruhl, C., Lewis, P. R., Marcenaro, L., Regazzoni, C. & Jantsch, A. (2023). Self-awareness in Cyber-Physical Systems: Recent Developments and Open Challenges. I 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) IEEE. https://doi.org/10.23919/DATE56975.2023.10137197

Bellman, K., Landauer, C., Dutt, N., Esterle, L., Herkersdorf, A., Jantsch, A., Taherinejad, N., Lewis, P. R., Platzner, M. & Tammemäe, K. (2020). Self-aware Cyber-Physical Systems. ACM Transactions on Cyber-Physical Systems, 4(4), Artikel 38. https://doi.org/10.1145/3375716

Birke, R., Cámara, J., Chen, L. Y., Esterle, L., Geihs, K., Gelenbe, E., Giese, H., Robertsson, A. & Zhu, X. (2017). Self-aware computing systems: Open challenges and future research directions. I Self-Aware Computing Systems (s. 709-722). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_26

Kephart, J. O., Diaconescu, A., Giese, H., Robertsson, A., Abdelzaher, T., Lewis, P., Filieri, A., Esterle, L. & Frey, S. (2017). Self-adaptation in Collective Self-aware Computing Systems. I Self-Aware Computing Systems (s. 401-435). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_13

Viser resultater 201 til 250 ud af 989

5

Back to the main page

Revideret 10.08.2023

-

AU Engineering