Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2025

    A Data-Selection Framework for Data-Efficient Battery Parameter Estimation

    Weinreich, N. A., Teodorescu, R. & Larsen, K. G., 2025, (Accepteret/In press) 2025 IEEE Energy Conversion Congress & Exposition Asia (ECCE-Asia).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    25 Downloads (Pure)
  • A Type Safe Calculus for Generating Syntax-Directed Editors

    Bennetzen, B., Kristensen, N. R., Mortensen, A. T., Steffensen, P. B., Engtorp, S. S. & Hüttel, H., 10 jan. 2025, PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025. Allais, G. & Liu, Y. A. (red.). Association for Computing Machinery (ACM), s. 30-42 13 s. (PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
  • Automata Size Reduction by Procedure Finding

    Šedý, M. & Holik, L., 8 jun. 2025, NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings. Dutle, A., Humphrey, L. & Titolo, L. (red.). Springer, Bind 15682. s. 421-440 20 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023

    Amat, N., Amparore, E., Berthomieu, B., Bouvier, P., Zilio, S., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Li, S., Paviot-Adet, E., Petrucci, L., Srba, J., Thierry-Mieg, Y. & Wolf, K., 2025, TOOLympics Challenge 2023. Beyer, D., Hartmanns, A. & Kordon, F. (red.). Springer, Bind 14550. s. 52-89 38 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • 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. (red.). Springer, s. 385-404 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15221 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Composing reinforcement learning policies, with formal guarantees

    Delgrange, F., Avni, G., Lukina, A., Schilling, C., Nowé, A. & Pérez, G., 5 jun. 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems. Vorobeychik, Y. (red.). 24 udg. Richland, SC, USA: Association for Computing Machinery (ACM), s. 574-583 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
  • 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. (red.). 24 udg. Richland, SC, USA: Association for Computing Machinery (ACM), s. 399-407 9 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
  • In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search

    Demirovic, E., Schilling, C. & Lukina, A., 2025, Proceedings of the AAAI Conference on Artificial Intelligence. Walsh, T., Shah, J. & Kolter, Z. (red.). 26 udg. Washington, DC: AAAI Press, s. 27250-27257 8 s. (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 26, Bind 39).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
  • Joint Additive Gaussian Processes for Microbial Species Distribution Modeling

    Heede, T., Celikkanat, A., Delogu, F., Masegosa, A., Albertsen, M. & Nielsen, T. D., maj 2025, 13th Workshop on Uncertainty Processing. s. 128-139 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    Åben adgang
  • The Complexity of Second-Order HyperLTL

    Frenkel, H. & Zimmermann, M., 3 feb. 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 326).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    5 Downloads (Pure)
  • TRACKSIM: A Multi-Level Simulation Framework for Near-Life Battery Data Generation

    Weinreich, N. A., Sui, X., Teodorescu, R. & Larsen, K. G., 2025, (Accepteret/In press) The 26th European Conference on Power Electronics and Applications.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    31 Downloads (Pure)
  • 2024

    A Framework for Microservice Organizational Structure Optimization

    Li, X. & Albano, M., 2024, SATrends '24: Proceedings of the 1st International Workshop on New Trends in Software Architecture. Association for Computing Machinery (ACM), s. 18-21 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    26 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 s. 10667463. (IEEE International Symposium on Power Electronics for Distributed Generation Systems (PEDG) ).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    67 Downloads (Pure)
  • Approximate Reductions of Rational Dynamical Systems in CLUE

    Jiménez-Pastor, A., Leguizamon-Robayo, A., Tschaikowski, M. & Vandin, A., 2024, Computational Methods in Systems Biology: 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings. Gori, R., Milazzo, P. & Tribastone, M. (red.). Springer, s. 108-116 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14971 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Forets, M., Schilling, C. & Wetzlinger, M., 2024, Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (red.). EasyChair, s. 15-38 24 s. (EPiC Series in Computing, Bind 103).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    Åben adgang
    Fil
    15 Downloads (Pure)
  • ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Schilling, C., Tillet, J. & Wetzlinger, M., 2024, Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. EasyChair, s. 39-63 25 s. (EPiC Series in Computing, Bind 103).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    Åben adgang
    Fil
    11 Downloads (Pure)
  • ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control System (AINNCS) for Continuous and Hybrid Systems Plants

    Lopez, D. M., Althoff, M., Benet, L., Blab, C., Forets, M., Jia, Y., Johnson, T. T., Kranzl, M., Ladner, T., Linauer, L., Neubauer, P., Neubauer, S. A., Schilling, C., Zhang, H. & Zhong, X., 2024, Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (red.). EasyChair, s. 64-121 58 s. (EPiC Series in Computing, Bind 103).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    Åben adgang
    Fil
    65 Downloads (Pure)
  • 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. IEEE (Institute of Electrical and Electronics Engineers), s. 134-137 4 s. (Euromicro Conference on Software Engineering and Advanced Applications (SEAA)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    5 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, Västerås, Sweden, October 16–18, 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (red.). Springer, 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 proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    16 Downloads (Pure)
  • 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. IEEE (Institute of Electrical and Electronics Engineers), s. 3130-3137 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search

    Pozanco, A., Torralba, Á. & Borrajo, D., 30 maj 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (red.). AAAI Press, s. 455-463 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 34).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • Data-driven Shielding of Online Reinforcement Learning: a Stormwater Pond case study

    Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 1 dec. 2024, (Accepteret/In press) FSEN - Fundamentals of Software Engineering.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J. & Soudjani, S. (red.). Springer, s. 125-142 18 s. (Lecture Notes in Computer Science (LNCS), Bind 14996).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Distributed Home Automation with Home Assistant

    Aavild, A. P., Rosenkrantz de Lasson, A., Moesgaard, C., Christensen, E., Moreschini, S., Hastbacka, D., Taibi, D. & Albano, M., 2024, IoT '24: Proceedings of the 14th International Conference on the Internet of Things. Association for Computing Machinery (ACM), s. 206-212

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    13 Downloads (Pure)
  • Efficient Network Embedding by Approximate Equitable Partitions

    Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2024, Proceedings - 24th IEEE International Conference on Data Mining, ICDM 2024. Baralis, E., Zhang, K., Damiani, E., Debbah, M., Kalnis, P. & Wu, X. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 440-449 10 s. (Proceedings - IEEE International Conference on Data Mining, ICDM).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Efficient Shield Synthesis via State-Space Transformation

    Brorholt, A. H., Høeg-Petersen, A. H., Larsen, K. G. & Schilling, C., 2024, Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings. Bernhard, S. (red.). Springer, s. 206-224 19 s. (Lecture Notes in Computer Science, Bind 15217).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    4 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: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings. Chin, W.-N. & Xu, Z. (red.). Cham: Springer, s. 356-373 18 s. (Lecture Notes in Computer Science, Bind 14777).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • Estimate and Reduce Uncertainty in Uncertain Graphs

    Arafat, N. A., Mobaraki, E. B., Khan, A., Velaj, Y. & Bonchi, F., 1 okt. 2024, 2024 IEEE 11th International Conference on Data Science and Advanced Analytics, DSAA 2024. IEEE (Institute of Electrical and Electronics Engineers), s. 1-12 12 s. 10722821. (IEEE International Conference on Data Science and Advanced Analytics (DSAA)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability

    Cimatti, A., Grosen, T. M., Larsen, K. G., Tonetta, S. & Zimmermann, M., 2024, Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. Madeira, A. & Knapp, A. (red.). Springer, s. 70-88 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15280 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Exploring Argument Mining and Bayesian Networks for Assessing Topics for City Project Proposals

    Weidl, G., Berres, S., Madsen, A. L., Daxenberger, J. & Aulbach, A., 2024, International Conference on Probabilistic Graphical Models, 11-13 September 2024, De Lindenberg, Nijmegen, the Netherlands. Proceedings of Machine Learning Research (PMLR), s. 438-451 (The Proceedings of Machine Learning Research, Bind 246).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    11 Downloads (Pure)
  • Factorial Basis Method for q-Series Applications: To the memory of an inspirational mathematician, Marko Petkovšek

    Jiménez-Pastor, A. & Uncu, A. K., 16 jul. 2024, ISSAC 2024 - Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. Chen, S. (red.). Association for Computing Machinery (ACM), s. 382-390 9 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    2 Downloads (Pure)
  • Fast Arc-Reversal

    Butz, C., Madsen, A. L. & Oliveira, J. S., 2024, International Conference on Probabilistic Graphical Models, 11-13 September 2024, De Lindenberg, Nijmegen, the Netherlands. Proceedings of Machine Learning Research (PMLR), s. 93-105 (The Proceedings of Machine Learning Research, Bind 246).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    11 Downloads (Pure)
  • Forward and Backward Constrained Bisimulations for Quantum Circuits

    Jiménez-Pastor, A., Larsen, K. G., Tribastone, M. & Tschaikowski, M., 2024, Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. Finkbeiner, B. & Kovács, L. (red.). Springer, s. 343-362 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14571 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    5 Citationer (Scopus)
    19 Downloads (Pure)
  • Functional Array Programming in an Extended Pi-Calculus

    Hüttel, H., Jensen, L., Paulsen, C. O. & Teule, J. J., 2024, Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics. Caltais, G. & Di Gusto, C. (red.). Open Publishing Association, s. 2-18 17 s. (Electronic Proceedings in Theoretical Computer Science, Bind 412).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    10 Downloads (Pure)
  • Generating Robust Counterfactual Witnesses for Graph Neural Networks

    Qiu, D., Wang, M., Khan, A. & Wu, Y., 2024, Proceedings - 2024 IEEE 40th International Conference on Data Engineering, ICDE 2024. Utrecht, The Netherlands: IEEE (Institute of Electrical and Electronics Engineers), s. 3351-3363 13 s. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    1 Citationer (Scopus)
    6 Downloads (Pure)
  • Gotta Catch ’Em All! Sequence Flaws in CEGAR for Classical Planning

    Pozo, M., Torralba, A. & Linares López, C., okt. 2024, 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). IOS Press, s. 4287-4294 8 s. (Frontiers in Artificial Intelligence and Applications, Bind 392).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    13 Downloads (Pure)
  • Identifying and Visualizing Key Scenarios in a Serverless Edge-Node System

    Christensen, C. B., Pedersen, E. T., Jakobsen, M. M., Jensen, R., Moreschini, S., Dongo, J., Taibi, D. & Albano, M., 19 nov. 2024, (Accepteret/In press) Eware IoT 2024: International Workshop on Energy-Aware Mobile IoT. Association for Computing Machinery (ACM)

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • 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), s. 1731-1734 2 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    3 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). Société européenne pour la formation des ingénieurs (SEFI), s. 1089-1098

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    32 Downloads (Pure)
  • Merge-and-Shrink Heuristics for SSPs with Prune Transformations

    Klößner, T., Torralba, A., Steinmetz, M. & Sievers, S., 16 okt. 2024, ECAI 2024: 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). Endriss, U., Melo, F. S., Bach, K., Bugarin-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (red.). IOS Press, s. 1222-1229 8 s. (Frontiers in Artificial Intelligence and Applications, Bind 392).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    8 Downloads (Pure)
  • Modelling and Analysis of DTLS: Power Consumption and Attacks

    Gehlert, L. B., Jørgensen, M. P. H., Koch, C. B., Møller, T., Rusbjerg, S. K., Bøgedal, T. W., Poulsen, D. B., Hansen, R. R. & Lux, D., 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (red.). Springer, s. 136-151 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14952 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, Manchester, UK, November 13–15, 2024, Proceedings. Kosmatov, N. & Kovács, L. (red.). Springer, s. 194-213 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15234 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • 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, s. 588-596 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 34).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • Optimality-Preserving Reduction of Chemical Reaction Networks

    Larsen, K. G., Toller, D., Tribastone, M., Tschaikowski, M. & Vandin, A., 2024, Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer, s. 13-32 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15220 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • Reinforcement learning for discretized Euclidean MDPs

    Jaeger, M. & Larsen, K. G., 30 dec. 2024, Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024. Steffen, B. (red.). Springer, s. 312-335 (Lecture Notes in Computer Science (LNCS), Bind LNCS 15217).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Safe and Infinite Resource Scheduling Using Energy Timed Automata

    Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 2024, Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings. Chin, W.-N. & Xu, Z. (red.). Springer, s. 73-90 18 s. (Lecture Notes in Computer Science, Bind 14777 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • 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. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 61-70 10 s. (IEEE Annual Computers, Software, and Applications Conference (COMPSAC)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 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 proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    86 Downloads (Pure)
  • Statistical Analysis of the Impact of Bit-Flips in Security Critical Code

    Bøgedal, T. W., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., dec. 2024, Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings. 1 udg. Springer, s. 379-397 (Lecture Notes in Computer Science, Bind 15217).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks

    Gyorgyi, C., Larsen, K. G., Schmid, S. & Srba, J., 2024, IEEE INFOCOM 2024 - IEEE Conference on Computer Communications. IEEE (Institute of Electrical and Electronics Engineers), s. 2398-2407 10 s. (Proceedings - IEEE INFOCOM).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)