Projects per year
Organisation profile
Organisation profile
Tomorrow's consumer electronics, and electronic products in general, will have to meet increasing demands on user friendliness, flexibility, internal control functionality, low physical size and weight as well as low power consumption. To achieve these goals there is a need for combining compact electronic modules with complex software realization of most functionality. In particular, mobile and wireless communication products as well as medico-technical equipment contain increasingly amount of software. In addition, seamless network access will be taken for granted in the future.
The newly started Center for Embedded Software Systems, CISS, aims at strengthening industrial competence, research and education within the area of embedded software systems. Particular attention will be given to products and devices whose individual components must typically be able to communicate and cooperate with other systems over networks. The center is established at Aalborg University based on existing, internationally recognized research groups within the Institutes of Electronic Systems and Computer Science. All involved research groups have significant experience with industrially collaboration on utilization and development of technology. CISS will create a new commom environment, where engineers from industry and researchers from the university work on different multi-disciplinary and industrial relevant R&D projects with the purpose of increasing the maturity level of the current practice within software development for embedded systems.
Fingerprint
Collaborations from the last five years
Profiles
-
Kim Guldstrand Larsen
- The Technical Faculty of IT and Design
- Department of Computer Science
- Distributed, Embedded and Intelligent Systems
- AI for the People
- CISS - Center for Embedded Software Systems
- Classique-Center for Classical Communication in the Quantum Era
- Artificial Intelligence and Machine Learning
Person: VIP
-
Classique - Center for Classical Communication in the Quantum Era
Popovski, P. (PI), Østergaard, J. (CoI), Pedersen, T. G. (CoI), Cornean, H. (CoI) & Larsen, K. G. (CoI)
Danish National Research Foundation
01/02/2025 → 31/01/2031
Project: Research
-
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI), Schilling, C. (CoI) & Tschaikowski, M. (CoI)
15/12/2024 → 14/12/2027
Project: Research
-
AAU Water
Lykke, A. (Project Coordinator), Quist-Jensen, C. A. (PI), Vollertsen, J. (PI), Nielsen, P. H. (PI), Larsen, K. G. (PI), Ali, A. (PI), Aschmoneit, F. J. (PI), Pomianowski, M. Z. (PI) & Wisniewski, R. (PI)
01/05/2024 → …
Project: Research
Research output
-
A Data-Selection Framework for Data-Efficient Battery Parameter Estimation
Weinreich, N. A., Teodorescu, R. & Larsen, K. G., 2025, (Accepted/In press) 2025 IEEE Energy Conversion Congress & Exposition Asia (ECCE-Asia).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile -
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles
Gu, R., Tan, K., Høeg-Petersen, A. H., Feng, L. & Larsen, K. G., 2025, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-404 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15221 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
Brorholt, A. H., Larsen, K. G. & Schilling, C., 5 Jun 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems. Vorobeychik, Y. (ed.). 24 ed. Richland, SC, USA: Association for Computing Machinery (ACM), p. 399-407 9 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access
Datasets
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. A. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator) & Zhao, G. (Creator), Zenodo, 12 Jun 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Dataset
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Contributor), Howar, F. M. (Contributor), Kauffman, S. (Contributor), Kristjansen, M. (Contributor), Larsen, K. G. (Contributor), Lorber, F. (Contributor) & Mauritz, M. (Contributor), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Dataset
-
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. A. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator), Srba, J. (Creator) & Zhao, G. (Creator), Zenodo, 30 May 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Dataset
Prizes
-
Best Paper Award
Bacci, G. (Recipient), Larsen, K. G. (Recipient), Markey, N. (Recipient), Bouyer, P. (Recipient), Fahrenberg, U. (Recipient) & Reynier, P.-A. (Recipient), 17 Jul 2018
Prize: Conference prizes
-
Best Paper Award
Khan, A. R. (Recipient), Schiøler, H. (Recipient), Knudsen, T. (Recipient) & Kulahci, M. (Recipient), 2015
Prize: Conference prizes
-
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, K. G. (Recipient), 27 Nov 2007
Prize: Other prizes
Activities
-
Summer School in Applied Circular Economy
Pizzol, M. (Organizer), Mosgaard, M. (Organizer), Haase, L. M. (Organizer), Jørgensen, M. S. (Organizer), Tadayoni, R. (Organizer), Bundgaard, A. M. (Organizer), Huulgaard, R. D. (Organizer), Niero, M. (Organizer), Bocken, N. M. P. (Organizer), Mugge, R. (Organizer), Jaeger-Erben, M. G. (Organizer) & Thomsen, B. (Organizer)
2023 → 2025Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
File -
-
Aalborg University – the smart link between business, innovation and technical ITS research
Agerholm, N. (Organizer), Larsson, A. B. (Organizer), Reinau, K. H. (Participant), Eriksen, A. B. (Participant), Ærø, T. (Participant), Mogensen, P. E. (Participant), Moeslund, T. B. (Participant), Reng, L. (Participant), Fog, H. S. (Participant), Sanden, J. B. (Participant) & Sørensen, F. (Participant)
19 Sept 2018Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
Press/Media
-
Millionstøtte til banebrydende grøn IT-forskning
06/01/2025
1 item of Media coverage
Press/Media: Press / Media
-
Aalborg Universitet og IT-virksomheden Edora får millionstøtte til banebrydende IT-forskning
23/12/2024
1 item of Media coverage
Press/Media: Press / Media
-
Digitale Vismænd: Begrebet it-specialister er blevet udvandet, sæt mål på typer af it-uddannede i fremtiden
22/08/2024
1 item of Media coverage
Press/Media: Press / Media
Impacts
-
-
STEERING CONTROLLER AND METHOD FOR STEERING A TRACKING PATH OF A TRAILER
Van Poucke, T. F. (Participant), Schiøler, H. (Participant) & Skjærbæk Søndergaard, J. A. (Participant)
Impact: Economic impact