Research output per year
Research output per year
Research output
- 1 - 50 out of 1,431 results
Search results
-
2025
Robust probabilistic temporal logics
Zimmermann, M., Feb 2025, In: Information Processing Letters. 188, 106522.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
The Complexity of Data-Free Nfer
Kauffman, S., Guldstrand Larsen, K. & Zimmermann, M., 2025, Runtime Verification - 24th International Conference, RV 2024, Proceedings. Ábrahám, E. & Abbas, H. (eds.). Springer Science+Business Media, p. 174-191 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15191 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
The Reachability Problem for Neural-Network Control Systems
Schilling, C. & Zimmermann, M., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (ed.). Springer Science+Business Media, p. 455-469 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14129 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access -
2024
A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT
Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., Jan 2024, In: Logical Methods in Computer Science. 20, 1, p. 3:1–3:39 39 p., 39.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile2 Citations (Scopus)2 Downloads (Pure) -
ACSmt: A plugin for eclipse papyrus to model systems of systems
Remond Harbo, S. K., Palmelund Voldby, E., Madsen, J. & Albano, M., Jan 2024, In: Science of Computer Programming. 231, 103008.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access1 Citation (Scopus) -
Advanced Control Strategies for Enhancing Energy Efficiency in Domestic Heating Systems
Riaz, I., 2024, Aalborg University Open Publishing.Research output: PhD thesis
Open AccessFile147 Downloads (Pure) -
A Framework for Microservice Organizational Structure Optimization
Li, X. & Albano, M., 2024, Proceedings - 2024 IEEE/ACM International Workshop New Trends in Software Architecture, SATrends 2024. IEEE (Institute of Electrical and Electronics Engineers), p. 18-21 4 p. (Proceedings - 2024 IEEE/ACM International Workshop New Trends in Software Architecture, SATrends 2024).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Downloads (Pure) -
A generic type system for higher-order Ψ-calculi
Hüttel, H., Lybech, S., Bendixen, A. R. & Bojesen, B. B., Oct 2024, In: Information and Computation. 300, 26 p., 105190.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Downloads (Pure) -
Application of Statistical Model Checking for Robustness Comparison of Power Electronics Controllers
Novak, M., Grobelna, I., Nyman, U. & Blaabjerg, F., 23 Jun 2024, 2024 IEEE 15th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2024. IEEE (Institute of Electrical and Electronics Engineers), 6 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile30 Downloads (Pure) -
A Principled Framework for Evaluating on Typologically Diverse Languages
Ploeger, E., Poelman, W., Høeg-Petersen, A. H., Schlichtkrull, A., de Lhoneux, M. & Bjerva, J., Jul 2024, (Submitted).Research output: Working paper/Preprint › Preprint
-
A study on the risk stratification for patients within 24 hours of admission for risk of hospital-acquired urinary tract infection using Bayesian network models
Jakobsen, R. S., Nielsen, T. D., Leutscher, P. & Koch, K., 1 Mar 2024, In: Health Informatics Journal. 30, 1, 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Citation (Scopus)15 Downloads (Pure) -
A type system for data flow and alias analysis in ReScript
Lund, N. A. & Hüttel, H., Sept 2024, In: Electronic Proceedings in Theoretical Computer Science. 410, p. 1-53 53 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile -
Best Practices for Resource Provisioning Declaration Within the Cognitive Cloud Continuum
Moreschini, S., Albano, M. & Hastbacka, D., 28 Aug 2024, Proceedings of 27th Euromicro Conference Series on Software Engineering and Advanced Applications.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Coarse-graining Complex Networks for Control Equivalence
Toller, D., Tribastone, M., Tschaikowski, M. & Vandin, A., 2024, (E-pub ahead of print) In: IEEE Transactions on Automatic Control. p. 1-8 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink
Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (eds.). Springer Science+Business Media, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus) -
Compositional Control Synthesis for Water Management System
Kim, E. H., Larsen, K. G., Goorden, M. & Nielsen, T. D., 28 Feb 2024, 2024 European Control Conference, ECC 2024. p. 3130-3137 8 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Controlling Stormwater Detention Ponds under Partial Observability
Kim, E. H., Goorden, M., Larsen, K. G. & Nielsen, T. D., Oct 2024, In: Journal of Logical and Algebraic Methods in Programming. 141, p. 1-19 19 p., 100979.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Downloads (Pure) -
Data-driven Shielding of Online Reinforcement Learning: a Stormwater Pond case study
Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 Oct 2024, (Submitted) In the proceeding.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Dissimilarity for Linear Dynamical Systems
Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Squillace, G., Tschaikowski, M. & Vandin, A., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. Hillston, J. & Soudjani, S. (eds.). Springer, Vol. 14996. p. 125-142 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 14996).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access -
Distributed Home Automation with Home Assistant
Aavild, A. P., Rosenkrantz de Lasson, A., Moesgaard Andersen, C., Christensen, E., Moreschini, S., Hastbacka, D., Taibi, D. & Albano, M., 19 Aug 2024, Proceedings of International Workshop on Energy-Aware Mobile IoT (Eware-IoT 2024).Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research › peer-review
-
Edge to Cloud Tools: A Multivocal Literature Review
Moreschini, S., Younesian, E., Hastbacka, D., Albano, M., Hošek, J. & Taibi, D., Apr 2024, In: Journal of Systems and Software. 210, 10 p., 111942.Research output: Contribution to journal › Review article › peer-review
Open AccessFile1 Citation (Scopus)25 Downloads (Pure) -
Efficient Shield Synthesis via State-Space Transformation
Translated title of the contribution :Efficient Shield Synthesis via State-Space Transformation Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open AccessFile -
Energy-Efficient Cyber-Physical Systems: A Model-Based Approach
Naeem, M., 2024, Aalborg University Open Publishing. 152 p.Research output: PhD thesis
Open AccessFile146 Downloads (Pure) -
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego
Naeem, M., Gu, R., Seceleanu, C., Guldstrand Larsen, K., Nielsen, B. & Albano, M., 2024, Theoretical Aspects of Software Engineering. Chin, W.-N. & Xu, Z. (eds.). Cham: Springer Nature Switzerland AG, p. 356-373 18 p. (Lecture Notes in Computer Science, Vol. 14777).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Enhancing Control Room Operator Decision Making
Mietkiewicz, J., Abbas, A. N., Amazu, C. W., Baldissone, G., Madsen, A. L., Demichela, M. & Leva, M. C., Feb 2024, In: Processes . 12, 2, p. 1-33 33 p., 328.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile3 Citations (Scopus) -
Explainable Online Monitoring of Metric First-Order Temporal Logic
Lima, L., Munive, J. J. H. Y. & Traytel, D., 2024, Tools and Algorithms for the Construction and Analysis of Systems. Finkbeiner, B. & Kovács, L. (eds.). p. 288-307 20 p. (Lecture Notes in Computer Science, Vol. 14570).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open AccessFile1 Citation (Scopus) -
Functional Array Programming in an Extended Pi-Calculus
Hüttel, H., Teule, J. J., Jensen, L. & Paulsen, C. O., 2024, Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access -
Gotta Catch ’Em All! Sequence Flaws in CEGAR for Classical Planning
Pozo, M., Torralba, A. & Linares López, C., Oct 2024, ECAI 24. p. 4287 - 4294 8 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access -
Identifying and Visualizing Key Scenarios in a Serverless Edge-Node System
Bruun Christensen, C., Treadwell Pedersen, E., Munch Jakobsen, M., Jensen, R. L., Moreschini, S., Dongo, J., Taibi, D. & Albano, M., 19 Nov 2024, Proceedings of International Workshop on Energy-Aware Mobile IoT (Eware-IoT 2024).Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research › peer-review
-
Incorporating climate projections in the environmental risk assessment of pesticides in aquatic ecosystems
Oldenkamp, R., Benestad, R. E., Hader, J. D., Mentzel, S., Nathan, R., Madsen, A. L. & Moe, J., Mar 2024, In: Integrated Environmental Assessment and Management. 20, 2, p. 384-400 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access6 Citations (Scopus) -
Integrating Multi-Modal Spatial Data using Knowledge Graphs – a Case Study of Microflora Danica
Corfixen, M., Heede, T., Sagi, T., Albertsen, M., Nielsen, T. D. & Hose, K., 2024, In: CEUR Workshop Proceedings. 3726, 10 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile13 Downloads (Pure) -
Isabelle-verified correctness of Datalog programs for program analysis.
Schlichtkrull, A., Hansen, R. R. & Nielson, F., 2024, Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024, Avila, Spain, April 8-12, 2024. Association for Computing Machinery (ACM), p. 1731-1734 2 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research
-
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Munive, J. J. H. Y., Foster, S., Gleirscher, M., Struth, G., Pardillo Laursen, C. & Hickman, T., Dec 2024, In: Journal of Automated Reasoning. 68, 4, 21.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Downloads (Pure) -
Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers
Zhang, M., Lindsay, E., Thorbensen, F. B., Poulsen, D. B. & Bjerva, J., Sept 2024, Proceedings of the 52nd Annual Conference of the European Society for Engineering Education (SEFI). European Society for Engineering Education, p. 1-10Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile -
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks
Schou, M. K., Poese, I. & Srba, J., 5 Dec 2024, In: Formal Aspects of Computing. 36, 4, p. 1-18 18 p., 27.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Downloads (Pure) -
Merge-and-Shrink Heuristics for SSPs with Prune Transformations
Klößner, T., Torralba, A., Steinmetz, M. & Sievers, S., Oct 2024, ECAI 2024. p. 1222-1229 8 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access -
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning
Kim, E. H., Nielsen, T. D., Larsen, K. G., Goorden, M., Ghaffari, M., Wasowski, A. & Høeg-Petersen, A. H., 5 Jul 2024, (Submitted) In: Journal - in the process . p. 1-18 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Monitoring Real-Time Systems Under Parametric Delay
Fränzle, M., Grosen, T. M., Larsen, K. G. & Zimmermann, M., 2024, Integrated Formal Methods - 19th International Conference, IFM 2024, Proceedings. Kosmatov, N. & Kovács, L. (eds.). Springer, p. 194-213 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15234 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Optimal control strategies for stormwater detention ponds
Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R., Srba, J. & Zhao, G., Aug 2024, In: Nonlinear Analysis: Hybrid Systems. 53, 101504.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile23 Downloads (Pure) -
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata
Tollund, R. G., Johansen, N. S., Nielsen, K., Torralba, Á. & Larsen, K. G., 30 May 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (eds.). AAAI Press Association for the Advancement of Artificial Intelligence, p. 588-596 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 34).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access -
Performance Analysis of Stochastic Digraph Real-Time Task Model
Kristjansen, M. & Larsen, K. G., 23 Oct 2024, Real Time and Such . Springer, p. 98-119 22 p. (Lecture Notes in Computer Science, Vol. 15230).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Proper Lumping for Positive Bilinear Control Systems
Jimenez-Pastor, A., Toller, D., Tribastone, M., Tschaikowski, M. & Vandin, A., 2024, In: IEEE Transactions on Automatic Control. 69, 11, p. 8120-8127 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Robust computation tree logic
Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., Mar 2024, (E-pub ahead of print) In: Innovations in Systems and Software Engineering.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access2 Citations (Scopus) -
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
Munive, J. J. H. Y., Foster, S., Gleirscher, M., Struth, G., Laursen, C. P. & Hickman, T., 22 Jan 2024.Research output: Working paper/Preprint › Preprint
File62 Downloads (Pure) -
Scalable Computation of Inter-Core Bounds Through Exact Abstractions
Foughali, M. A., Mikucionis, M. & Zhang, M., 2024, Proceedings - 2024 IEEE 48th Annual Computers, Software, and Applications Conference, COMPSAC 2024. Shahriar, H., Ohsaki, H., Sharmin, M., Towey, D., Majumder, A. J. A., Hori, Y., Yang, J.-J., Takemoto, M., Sakib, N., Banno, R. & Ahamed, S. I. (eds.). IEEE (Institute of Electrical and Electronics Engineers), p. 61-70 10 p. (Proceedings - 2024 IEEE 48th Annual Computers, Software, and Applications Conference, COMPSAC 2024).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Shielded Reinforcement Learning for Hybrid Systems
Brorholt, A. H., Jensen, P. G., Larsen, K. G., Lorber, F. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer, p. 33-54 22 p. (Lecture Notes in Computer Science, Vol. 14380).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File2 Citations (Scopus)62 Downloads (Pure) -
Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis
Goorden, M. & Reniers, M. A., 2024, In: IFAC-PapersOnLine. 58, 1, p. 114-119 6 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile43 Downloads (Pure) -
The algebraic entropy of one-dimensional finitary linear cellular automata
Akin, H., Dikranjan, D., Giordano Bruno, A. & Toller, D., 2024, In: Journal of Group Theory. 27, 4, p. 813-856 44 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
The complexity of evaluating nfer
Kauffman, S. & Zimmermann, M., Jan 2024, In: Science of Computer Programming. 231, 103012, 103012.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access1 Citation (Scopus) -
The inverse problem for neural networks
Forets, M. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer, p. 241-255 15 p. (Lecture Notes in Computer Science, Vol. 14380).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access3 Citations (Scopus)