Distributed, Embedded and Intelligent Systems

2025

Robust probabilistic temporal logics

Zimmermann, M., feb. 2025, I: Information Processing Letters. 188, 106522.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

2024

A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT

Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., jan. 2024, I: Logical Methods in Computer Science. 20, 1, 39.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

2 Citationer (Scopus)

ACSmt: A plugin for eclipse papyrus to model systems of systems

Remond Harbo, S. K., Palmelund Voldby, E., Madsen, J. & Albano, M., jan. 2024, I: Science of Computer Programming. 231, 103008.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

1 Citationer (Scopus)

Advanced Control Strategies for Enhancing Energy Efficiency in Domestic Heating Systems

Riaz, I., 2024, Aalborg University Open Publishing.

Publikation: Ph.d.-afhandling

Åben adgang

Fil

75 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, Application of Statistical Model Checking for Robustness Comparison of Power Electronics Controllers. IEEE, 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

Fil

10 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, (Afsendt).

Publikation: 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, I: Health Informatics Journal. 30, 1, 18 s.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

10 Downloads (Pure)

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. (red.). Springer Science+Business Media, s. 153-169 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Compositional Control Synthesis for Water Management System

Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 feb. 2024, 2024 European Control Conference, ECC 2024. s. 3130-3137 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Controlling Stormwater Detention Ponds under Partial Observability

Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 29 maj 2024, I: Journal of Logical and Algebraic Methods in Programming. 141, s. 1-29 29 s., 100979.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

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. (red.). Springer Lecture Notes in Computer Science (LNCS), Bind 14996. s. 125-142 (Lecture Notes in Computer Science (LNCS)).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

Edge to Cloud Tools: A Multivocal Literature Review

Moreschini, S., Younesian, E., Hastbacka, D., Albano, M., Hošek, J. & Taibi, D., apr. 2024, I: Journal of Systems and Software. 210, 111942.

Publikation: Bidrag til tidsskrift › Review (oversigtsartikel) › peer review

Åben adgang

1 Citationer (Scopus)

Energy-Efficient Cyber-Physical Systems: A Model-Based Approach

Naeem, M., 2024, Aalborg University Open Publishing. 152 s.

Publikation: Ph.d.-afhandling

Åben adgang

Fil

115 Downloads (Pure)

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, I: Processes . 12, 2, 328.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

3 Citationer (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. (red.). s. 288-307 20 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

Åben adgang

1 Citationer (Scopus)

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, I: Integrated Environmental Assessment and Management. 20, 2, s. 384-400 17 s.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

4 Citationer (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, I: CEUR Workshop Proceedings. 3726, 10 s.

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang

12 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., sep. 2024, Proceedings of the 52nd Annual Conference of the European Society for Engineering Education (SEFI). European Society for Engineering Education

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

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, (Afsendt) I: Journal - in the process . s. 1-18 18 s.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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, I: Nonlinear Analysis: Hybrid Systems. 53, 101504.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

5 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 maj 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (red.). AAAI Press Association for the Advancement of Artificial Intelligence, s. 588-596 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 34).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

Robust computation tree logic

Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., mar. 2024, I: Innovations in Systems and Software Engineering.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

2 Citationer (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.

Publikation: Working paper/Preprint › Preprint

Fil

58 Downloads (Pure)

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. (red.). Springer, s. 33-54 22 s. (Lecture Notes in Computer Science, Bind 14380).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Fil

2 Citationer (Scopus)

52 Downloads (Pure)

Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis

Goorden, M. & Reniers, M. A., 2024, I: IFAC-PapersOnLine. 58, 1, s. 114-119 6 s.

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang

Fil

49 Downloads (Pure)

The algebraic entropy of one-dimensional finitary linear cellular automata

Toller, D., Dikranjan, D., Giordano Bruno, A. & Akin, H., 2024, I: Journal of Group Theory. 27, 4, s. 813-856 44 s.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

The complexity of evaluating nfer

Kauffman, S. & Zimmermann, M., jan. 2024, I: Science of Computer Programming. 231, 103012, 103012.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

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. (red.). Springer, s. 241-255 15 s. (Lecture Notes in Computer Science, Bind 14380).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

2 Citationer (Scopus)

Verified propagation of imprecise probabilities in non-linear ODEs

Gray, A., Forets, M., Schilling, C., Ferson, S. & Benet, L., 2024, I: International Journal of Approximate Reasoning. 164, 24 s.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

2 Citationer (Scopus)

Weak Muller Conditions Make Delay Games Hard

Winter, S. & Zimmermann, M., 2024, Lecture Notes Series, Institute for Mathematical Sciences. Greenberg, N., Jain, S., Yang, Y., Stephan, F., Ng, K. M., Wu, G. & Schewe, S. (red.). World Scientific Publishing Co., s. 425-464 40 s. (Lecture Notes Series, Institute for Mathematical Sciences, Bind 42).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

Åben adgang

Fil

1 Citationer (Scopus)

27 Downloads (Pure)

When CEGAR Meets Regression: A Love Story in Optimal Classical Planning

Pozo, M., Torralba, Á. & López, C. L., 25 mar. 2024, I: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, s. 20238-20246 9 s.

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang

2023

A Comparison of Different Marginalization Operations in Simple Propagation

Madsen, A. L. & Butz, C., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Proceedings. Bouraoui, Z. & Vesic, S. (red.). Springer, Bind 14294. s. 172-182 11 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

A Demonstration of Interpretability Methods for Graph Neural Networks

B. Mobaraki, E. & Khan, A., 18 jun. 2023, Proceedings of the 6th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems: GRADES-NDA 2023. Hartig, O. & Yoshida, Y. (red.). Association for Computing Machinery, 9

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

Fil

45 Downloads (Pure)

Algorithmic Minimization of Uncertain Continuous-Time Markov Chains

Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 1 nov. 2023, I: IEEE Transactions on Automatic Control. 68, 11, s. 6557-6572

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

1 Citationer (Scopus)

AllSynth: A BDD-Based Approach for Network Update Synthesis

Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., aug. 2023, I: Science of Computer Programming. 230, 19 s., 102992.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

4 Citationer (Scopus)

16 Downloads (Pure)

A Method and Platform for Security Advisory Dissemination Leveraging Web3 Technologies

Cibin, N., Sommer, J. L., Lund, M. M. & Albano, M., 17 dec. 2023, Proceedings of 6th IEEE International Conference on Blockchain. Haihuadao, China: IEEE, 10411464. (IEEE International Conference on Blockchain).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

A Modeling Concept for Formal Verification of OS-Based Compositional Software

Ribeiro, L. B., Lorber, F., Nyman, U., Larsen, K. G. & Baunach, M., 2023, 26th International Conference (FASE 2023): Fundamental Approaches to Software Engineering, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (red.). Springer, s. 26-46 21 s. (Lecture Notes in Computer Science, Bind 13991 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

Fil

2 Citationer (Scopus)

13 Downloads (Pure)

An Experience with and Reflections on Live Coding with Active Learning

Schlichtkrull, A., 9 aug. 2023, 4th International Computer Programming Education Conference (ICPEC 2023). de Queiros, R. A. P. & Pinto, M. P. T. (red.). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 13 s. 14. (Open Access Series in Informatics, Bind 112).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

Fil

18 Downloads (Pure)

An interview study about the use of logs in embedded software engineering

Yang, N., Cuijpers, P., Hendriks, D., Schiffelers, R., Lukkien, J. & Serebrenik, A., mar. 2023, I: Empirical Software Engineering. 28, 2, 43.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

4 Citationer (Scopus)

An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains

Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (red.). Springer, s. 82-100 19 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 14287).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Approximate Constrained Lumping of Polynomial Differential Equations

Leguizamon-Robayo, A., Jiménez-Pastor, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, Computational Methods in Systems Biology: 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings. Pang, J. & Niehren, J. (red.). Springer, s. 106-123 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14137 LNBI).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

2 Citationer (Scopus)

ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics

Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 61-88 28 s. (EPiC Series in Computing, Bind 96).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Åben adgang

Fil

27 Downloads (Pure)

ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics

Althoff, M., Forets, M., Li, Y., Mitra, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 34-60 27 s. (EPiC Series in Computing, Bind 96).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Åben adgang

Fil

16 Downloads (Pure)

ARCH-COMP23 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

Lopez, D. M., Althoff, M., Forets, M., Johnson, T. T., Ladner, T. & Schilling, C., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 89-125 37 s. (EPiC Series in Computing, Bind 96).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Åben adgang

Fil

5 Citationer (Scopus)

12 Downloads (Pure)

A sequent calculus for first-order logic formalized in Isabelle/HOL.

From, A. H., Schlichtkrull, A. & Villadsen, J., 1 jun. 2023, I: Journal of Logic and Computation. 33, 4, s. 818-836 19 s.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

2 Citationer (Scopus)

A Simple Latent Variable Model for Graph Learning and Inference

Jaeger, M., Longa, A., Azzolin, S., Schulte, O. & Passerini, A., 2023, Proceedings of the Second Learning on Graphs Conference, LOG 2023. ML Research Press, 18 s. (The Proceedings of Machine Learning Research, Bind 231).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

Fil

46 Downloads (Pure)

Assume-Guarantee Reasoning for Additive Hybrid Behaviour

Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 8 sep. 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (red.). 1 udg. Springer, Bind 14080. s. 297-322 26 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, s. 203-211 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; Nr. 1, Bind 33).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 Citationer (Scopus)

A toolchain for domestic heat-pump control using Uppaal Stratego

Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., aug. 2023, I: Science of Computer Programming. 230, 102987.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

2 Citationer (Scopus)

48 Downloads (Pure)

Automated labeling and online evaluation for self-paced movement detection BCI

Zhang, D., Hansen, C., De Frène, F., Kærgaard, S. P., Qian, W. & Chen, K., 8 apr. 2023, I: Knowledge-Based Systems. 265, 110383.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

4 Citationer (Scopus)

27 Downloads (Pure)

Distributed, Embedded and Intelligent Systems

Publikationer

Søgeresultater