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

Maggio, M., Abdelzaher, T., Esterle, L., Giese, H., Kephart, J. O., Mengshoel, O. J., Papadopoulos, A. V., Robertsson, A. & Wolter, K. (2017). Self-adaptation for individual self-aware computing systems. I Self-Aware Computing Systems (s. 375-399). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_12

Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G. (2021). Seismic Hybrid Testing using FMI-based Co-Simulation. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 287-295) https://doi.org/10.3384/ecp21181287

Kulik, T., Boudjadar, J. & Tran-Jørgensen, P. W. V. (2020). Security Verification of Industrial Control Systems using Partial Model Checking. I Proceedings - 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020 (s. 98-108). Artikel 3391558 Association for Computing Machinery. https://doi.org/10.1145/3372020.3391558

Kulik, T., Kazemi, Z. & Larsen, P. G. (2024). Security and Privacy-related Issues in a Digital Twin Context. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 313-334). Springer. https://doi.org/10.1007/978-3-031-66719-0_13

Tran-Jørgensen, P. W. V., Kulik, T., Boudjadar, J. & Larsen, P. G. (2019). Security analysis of cloud-connected industrial control systems using combinatorial testing. I MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (s. 1-11). Artikel 13 Association for Computing Machinery. https://doi.org/10.1145/3359986.3361211

Boudjadar, J. & Nadjm-Tehrani, S. (2017). Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. 263-274. Abstract fra the 8th ACM/SPEC International Conference on Performance Engineering, L'Aquila, Italien. https://doi.org/10.1145/3030207.3030233

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Nyman, U. M. & Skou, A. (2014). Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems. I Proceedings of ERTS2 2014 http://vbn.aau.dk/files/87334413/ERTSpaper.pdf

Cavalcanti, A. L. C., Zeyda, F., Wellings, A., Woodcock, J. & Wei, K. (2013). Safety-critical Java programs from Circus models. Real-Time systems, 5(49), 614–667. https://doi.org/10.1007/s11241-013-9182-4

Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F. (2011). Safety-critical Java in Circus. I 9th Workshop on Java Technologies for Real-Time and Embedded System (s. 20–29) https://doi.org/10.1145/2043910.2043915

Li, B., Schultz, C. P. L., Melzner, J., Golovina, O. & Teizer, J. (2020). Safe and Lean Location-based Construction Scheduling. I H. Osumi, H. Furuya & K. Tateyama (red.), Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020): From Demonstration to Practical Use - To New Stage of Construction Robot - (s. 1409-1416). International Association for Automation and Robotics in Construction (IAARC). https://doi.org/10.22260/ISARC2020/0195

Kristensen, M. H., Bonizzi, A., Gomes, C., Hansen, S. T., Isasa Martin, C. I., Iven, H., Kamburjan, E., Larsen, P. G., Leucker, M., Talasila, P., Evans, V. T., Tonetta, S., Vosteen, L. B. & Wright, T. D. (2024). Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. I 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 121-127). IEEE. https://doi.org/10.1109/ACSOS-C63493.2024.00042

Ribeiro, A., Lausdahl, K. & Larsen, P. G. (2011). Run-Time Validation of Timing Constraints for VDM-RT Models. http://wiki.overturetool.org/index.php/9th_Overture_Workshop

Abrial, J.-R., Butler, M. J., Hallerstede, S., Hoang, T. S., Mehta, F. & Voisin, L. (2010). Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer, 12(6), 447-466. https://doi.org/10.1007/s10009-010-0145-y

Vafamand, N., Khooban, M. H., Dragicevic, T., Blaabjerg, F. & Boudjadar, J. (2019). Robust Non-Fragile Fuzzy Control of Uncertain DC Microgrids Feeding Constant Power Loads. IEEE Transactions on Power Electronics, 34(11), 11300-11308. https://doi.org/10.1109/TPEL.2019.2896019

Khooban, M. H., Gheisarnejad, M., Vafamand, N., Jafari, M., Mobayen, S., Dragicevic, T. & Boudjadar, J. (2019). Robust Frequency Regulation in Mobile Microgrids: HIL Implementation. IEEE Systems Journal, 13(4), 4281-4291. https://doi.org/10.1109/JSYST.2019.2911210

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2015). Robotic Design Choice Overview using Co-simulation and Design Space Exploration. Robotics, 4, 398-421. https://doi.org/10.3390/robotics4040398

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2014). Robotic design choice overview using co-simulation. Abstract fra Agromek and NJF joint seminar, Herning, Danmark.

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

Tola, D., Gomes, C., Schultz, C., Schlette, C., Hansen, C. & Esterle, L. (2021). RoboCIM: Towards a domain model for industrial robot system configurators. CEUR Workshop Proceedings, 2956.

Heiji Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, J. (2019). RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling, 18(5), 3097–3149. https://doi.org/10.1007/s10270-018-00710-z

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

Boudjadar, J., Bodeveix, J.-P. & Filali, M. (2012). Revising and Extending the Uppaal Communication Mechanism. I Software Composition (s. 114-131). Springer. https://doi.org/10.1007/978-3-642-30564-1_8

Larsen, P. G. (1994). Response to “The Formal Specification of Safety Requirements for Storing Explosives”. Formal Aspects of Computing, 6(5), 565.

Taherinejad, N., Lewis, P., Jantsch, A., Rahmani, A. & Esterle, L. (2019). Resource constrained self-aware cyber-physical systems (Tutorial). -, 259-260. https://doi.org/10.1109/FAS-W.2019.00071

Rinner, B., Dieber, B., Esterle, L., Lewis, P. R. & Yao, X. (2012). Resource-aware configuration in smart camera networks. IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 58-65. https://doi.org/10.1109/CVPRW.2012.6239207

Ul Haq, A., Bilal, M. & Mihovska, A. (2022). Resource Allocation Ensuring Physical Layer Security in Cooperative Non-Orthogonal Multiple Access in 6G Networks. I 2022 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom) (s. 274-281). IEEE. https://doi.org/10.1109/BlackSeaCom54372.2022.9858307

Esterle, L. (2018). "Resistance is futile": Using the borg to teach collective computing systems. I Set Phasers to Teach!: Star Trek in Research and Teaching (s. 107-115). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-73776-8_10

Lukina, A., Tiwari, A., Smolka, S. A., Esterle, L., Yang, J. & Grosu, R. (2018). Resilient control and safety for cyber-physical systems. -, 16-17. https://doi.org/10.1109/MT-CPS.2018.00015

Afshari-Igder, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2021). Reliability and Safety Improvement of Emission-Free Ships: Systemic Reliability Centered Maintenance. IEEE Transactions on Transportation Electrification, 7(1), 256-266. Artikel 9220168. https://doi.org/10.1109/TTE.2020.3030082

Hallerstede, S. & Snook, C. (2011). Refining Nodes and Edges of State Machines. I S. Qin & Z. Qiu (red.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (s. 569-584). Springer. https://doi.org/10.1007/978-3-642-24559-6_38

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

Hallerstede, S. & Hoang, T. S. (2014). Refinement of decomposed models by interface instantiation. Science of Computer Programming, 94(P2), 144-163. https://doi.org/10.1016/j.scico.2014.05.005

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

Hallerstede, S. & Hoang, T. S. (2012). Refinement by interface instantiation. I J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves & E. Riccobene (red.), Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (s. 223-237). Springer. https://doi.org/10.1007/978-3-642-30885-7_16

Divakaran, S., D’Souza, D., Kushwah, A., Sampath, P., Sridhar, N. & Woodcock, J. (2015). Refinement-Based Verification of the FreeRTOS Scheduler in VCC. I M. Butler, S. Conchon & F. Zaïdi (red.), Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (s. 170-186). Springer. https://doi.org/10.1007/978-3-319-25423-4_11

Abrial, J.-R. (red.), Butler, M. J. (red.), Joshi, R. (red.), Troubitsyna, E. & Woodcock, J. (red.) (2009). Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. I Dagstuhl Seminar Proceedings, Schloss Dagstuhl https://researchr.org/publication/dagstuhl-2009P9381/authors

Hallerstede, S., Leuschel, M. & Plagge, D. (2010). Refinement-Animation for Event-B - Towards a Method of Validation. 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. 287-301). Springer. https://doi.org/10.1007/978-3-642-11811-1_22

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

Larsen, P. G. & Fitzgerald, J. (2008). Recent Industrial Applications of VDM in Japan. Afhandling præsenteret på FACS 2007 Christmas Workshop: Formal Methods in Industry, London, Storbritannien. http://www.bcs.org/server.php?show=conWebDoc.18557

Gheisarnejad, M., Karimaghaee, P., Boudjadar, J. & Khooban, M. H. (2019). Real-Time Cellular Wireless Sensor Testbed for Frequency Regulation in Smart Grids. IEEE Sensors Journal, 19(23), 11656-11665. Artikel 8794525. https://doi.org/10.1109/JSEN.2019.2934599

Hasanagic, M., Tran-Jørgensen, P. W. V., Nilsson, R. S. & Larsen, P. G. (2019). Realization of distributed system models using code generation extensions. Software: Practice & Experience, 49(3), 478-497. https://doi.org/10.1002/spe.2671

Talasila, P., Mikkelsen, P. H., Gil Arboleda, S. & Larsen, P. G. (2024). Realising Digital Twins. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 225-256). Springer. https://doi.org/10.1007/978-3-031-66719-0_11

Bogomolov, S., Gomes, C., Isasa, C., Soudjani, S., Stankaitis, P. & Wright, T. (2025). Reachability analysis of FMI models using data-driven dynamic sensitivity. Simulation, 101(5), 575-596. https://doi.org/10.1177/00375497241261409

Jan, S., Schwering, A., Schultz, C. P. L. & Chipofya, M. (2015). RCC11: A Finer Topological Representation for the Alignment of Regions in Sketch Maps. I 28th International Workshop on Qualitative Reasoning https://www.researchgate.net/publication/278685943_RCC11_A_Finer_Topological_Representation_for_the_Alignment_of_Regions_in_Sketch_Maps

Legaard, C. M., Gomes, C., Larsen, P. G. & Foldager, F. F. (2020). Rapid prototyping of self-adaptive-systems using python functional mockup units. Simulation Series, 52(3), 242-253.

Mota, A., Farias, A., Didier, A. & Woodcock, J. (2014). Rapid Prototyping of a Semantically Well Founded Circus Model Checker. I D. Giannakopoulou & G. Salaün (red.), Software Engineering and Formal Methods (s. 235-249). Springer. https://doi.org/10.1007/978-3-319-10431-7_17

Hallerstede, S. (2014). Quasi-lexicographic convergence. Lecture Notes in Computer Science, 8477, 86-100. https://doi.org/10.1007/978-3-662-43652-3_7

Hyun Kim, J., Boudjadar, J., Nyman, U. M., Mikucionis, M., G. Larsen, K., Skou, A., Lee, I. & Thi Xuan Phan, L. (2015). Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. I Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on (s. 91-100). IEEE. https://doi.org/10.1145/2737166.2737170 .

Deantoni, J., Muñoz, P., Gomes, C., Verbrugge, C., Mittal, R., Heinrich, R., Bellis, S. & Vallecillo, A. (2025). Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. Automatisierungstechnik: AT, 73(2), 81-99. https://doi.org/10.1515/auto-2024-0036

Viser resultater 251 til 300 ud af 989

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering