Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2024

    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, (Accepteret/In press) ECC. s. 1-8 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. (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
    1 Citationer (Scopus)
    20 Downloads (Pure)

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

    Goorden, M. & Reniers, M. A., 2024, (Accepteret/In press) Proceedings of 17th IFAC Workshop on Discrete Event Systems.

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

    Åben adgang
    Fil
    28 Downloads (Pure)

  • 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
    1 Citationer (Scopus)
  • 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

    10 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
    1 Citationer (Scopus)

  • 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

  • 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

  • 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

  • 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
    4 Downloads (Pure)

  • 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
    4 Downloads (Pure)

  • 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)

  • Automatic Energy-Efficient Job Scheduling in HPC: A Novel SLURM Plugin Approach

    Springborg, A. A., Albano, M. & Xavier-de-Souza, S., 12 nov. 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, s. 1831-1838 8 s.

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

  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, s. 109-117 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

  • Blockchain-Based Platform for Crowdsourcing Machine Learning Models Design and Training, while Incentivizing Continuous Improvement

    Cibin, N. & Albano, M., 2023, Proceedings - 2023 IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023. IEEE, s. 31-37 7 s. (IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)).

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

  • Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning

    Pham, F. & Torralba, Á., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (red.). International Joint Conferences on Artificial Intelligence, s. 5420-5428 9 s. (IJCAI International Joint Conference on Artificial Intelligence, Bind 2023-August).

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

  • CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

    Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 sep. 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Bind 390. s. 99-114 16 s. (Electronic Proceedings in Theoretical Computer Science).

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

    Åben adgang
    Fil
    10 Downloads (Pure)

  • Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise

    Schou, M. K., Poese, I. & Srba, J., 2023, Proceedings - 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing, PRDC 2023. IEEE, s. 64-70 7 s. (IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)).

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

    Åben adgang
    Fil
    30 Downloads (Pure)

  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 nov. 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

    Åben adgang
    Fil
    22 Downloads (Pure)

  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 nov. 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (red.). Springer, s. 83-99 17 s. (Lecture Notes in Computer Science, Bind 14308).

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

    3 Downloads (Pure)

  • Dynamic Influence Diagram-Based Deep Reinforcement Learning Framework and Application for Decision Support for Operators in Control Rooms

    Mietkiewicz, J., Abbas, A. N., Amazu, C. W., Madsen, A. L. & Baldissone, G., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Brito, M. P., Aven, T., Baraldi, P., Čepin, M. & Zio, E. (red.). Research Publishing, s. 2806-2813 P531

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

  • Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit

    Fokkink, W., Goorden, M., Hendriks, D., van Beek, B., Hofkamp, A., Reijnen, F., Etman, P., Moormann, L., van de Mortel-Fronczak, J., Reniers, M. A., Rooda, J., van der Sanden, B., Schiffelers, R., Thuijsman, S., Verbakel, J. & Vogel, H., 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (red.). Springer, s. 44-52 9 s. (Lecture Notes in Computer Science, Bind LNCS 13994).

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

    Åben adgang
    Fil
    54 Downloads (Pure)

  • Edge Computing Tasks Orchestration: An Energy-Aware Approach

    Thomsen, J. L., Thomsen, K., Schmidt, R. B., Jakobsgaard, S. D., Beregaard, T., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (red.). IEEE, s. 115-117 3 s. (Proceedings - IEEE International Conference on Edge Computing, Bind 2023-July).

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

  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (red.). AAAI Press, s. 138-147 10 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 33).

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

  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (red.). Springer, Bind LNCS 13872. s. 163-179 17 s. (Lecture Notes in Computer Science).

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

  • Enhancing Control Room Operator Decision Making: An Application of Dynamic Influence Diagrams in Formaldehyde Manufacturing

    Mietkiewicz, J. & Madsen, A. L., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings. Bouraoui, Z. & Vesic, S. (red.). Springer, s. 15-26 12 s. (Lecture Notes in Computer Science, Bind LNCS 14294).

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

  • EXOGEM: Extending OpenAPI Generator for monitoring of RESTful APIs

    Holtebo, D. F., Sommer, J. L., Mølgaard Lund, M., Tibo, A., Dongo, J. & Albano, M., 2023, Service-Oriented Computing – ICSOC 2022 Workshops: ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings. Troya, J., Mirandola, R., Navarro, E., Delgado, A., Segura, S., Fernández, P., Ortiz, G., Pautasso, C., Zirpins, C. & Ruiz-Cortés, A. (red.). Springer, s. 118-129 12 s. (Lecture Notes in Computer Science, Bind 13821).

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

  • Fault Tolerant Horizontal Computation Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (red.). IEEE, s. 177-182 6 s. (Proceedings - IEEE International Conference on Edge Computing, Bind 2023-July).

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

    3 Citationer (Scopus)

  • FlexConnect: Mobile Computational Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 17 okt. 2023, Proceedings of 3rd Eclipse Security, AI, Architecture and Modelling Conference on Cloud to Edge Continuum, eSAAM 2023. Association for Computing Machinery, s. 29-38 10 s. (ACM International Conference Proceeding Series).

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

    Åben adgang
    Fil

  • Graph Neural Networks for Metagenomic Binning

    Lamurias, A., Tibo, A., Hose, K., Albertsen, M. & Nielsen, T. D., 2023, The 2023 ICML Workshop on Computational Biology. 7 s. 81

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

    Åben adgang

  • Guaranteed safe controller synthesis for switched systems using analytical solutions

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R. & Zhao, G., 2023, 2023 IEEE Conference on Control Technology and Applications, CCTA 2023. IEEE, s. 784-790 7 s. (IEEE Conference on Control Technology and Applications (CCTA) - Proceedings).

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

    Åben adgang
    Fil
    37 Downloads (Pure)

  • History-Deterministic Parikh Automata

    Erlich, E., Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., sep. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 279. s. 31:1-31:16 16 s. 31. (Leibniz International Proceedings in Informatics).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    2 Downloads (Pure)

  • Jajapy: A Learning Library for Stochastic Models

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

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

    1 Citationer (Scopus)

  • Joint Link Prediction Via Inference from a Model

    Naddaf, P., Nejad, E. M. A., Zahirnia, K., Jaeger, M. & Schulte, O., 21 okt. 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 1877-1886 10 s.

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

  • Learning Style Classification by Using Bayesian Networks Based on the Index of Learning Style

    Usme, Y. P. V., Normann, M., Sapsai, I., Abke, J., Madsen, A. L. & Weidl, G., 19 jun. 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. Association for Computing Machinery, s. 73-82 10 s.

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

    1 Citationer (Scopus)

  • Learning Symbolic Timed Models from Concrete Timed Data

    Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 maj 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Science+Business Media, s. 104-121 18 s. (Lecture Notes in Computer Science (LNCS), Bind 13903 LNCS).

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

    1 Citationer (Scopus)

  • Metagenomic Binning using Connectivity-constrained Variational Autoencoders

    Lamurias, A., Tibo, A., Hose, K., Nielsen, T. D. & Albertsen, M., 2023, Proceedings of the 40th International Conference on Machine Learning. Krause, A. & Brunskill, E. (red.). s. 18471–18481 762. (The Proceedings of Machine Learning Research, Bind 202).

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

    Åben adgang
    Fil
    1 Downloads (Pure)

  • Minimization of Dynamical Systems over Monoids

    Argyris, G., Lafuente, A. L., Robayo, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 14 s.

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

  • Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

    Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., 17 sep. 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (red.). Springer Nature Switzerland AG, s. 113-130 18 s. (Lecture Notes in Computer Science; Nr. 14290).

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

  • Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

    Kochdumper, N., Schilling, C., Althoff, M. & Bak, S., 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Nature Switzerland AG, s. 272-291 20 s. (Lecture Notes in Computer Science, Bind 13903).

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

    Åben adgang
    5 Citationer (Scopus)

  • Patient Event Sequences for Predicting Hospitalization Length of Stay

    Hansen, E. R., Nielsen, T. D., Larsen, T. M., Strausholm, M. N., Sagi, T. & Hose, K., 7 jun. 2023, Artificial Intelligence in Medicine: 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12–15, 2023, Proceedings. Juarez, J. M., Marcos, M., Stiglic, G. & Tucker, A. (red.). Springer, s. 51-56 6 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 13897).

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

  • Potency-Based Heuristic Search with Randomness for Explicit Model Checking

    Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (red.). Springer Nature Switzerland AG, s. 180-187 8 s. (Lecture Notes in Computer Science; Nr. 13872).

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

  • Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (red.). Springer Nature Switzerland AG, s. 96-112 17 s. (Lecture Notes in Computer Science; Nr. 14290).

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

  • Robust Alternating-Time Temporal Logic

    Murano, A., Neider, D. & Zimmermann, M., 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (red.). Springer Nature Switzerland AG, s. 796-813 18 s. (Lecture Notes in Computer Science; Nr. 14281).

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

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, 37th Conference on Neural Information Processing Systems (NeurIPS 2023). 20 s.

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

    Åben adgang

  • symQV: Automated Symbolic Verification of Quantum Programs

    Bauer-Marquart, F., Leue, S. & Schilling, C., 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (red.). Springer, s. 181-198 18 s. (Lecture Notes in Computer Science, Bind LNCS 14000).

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

    Åben adgang
    3 Citationer (Scopus)