Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Article in proceeding

Search results

  • 2025

    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. (eds.). Springer, Vol. 14550. p. 52-89 38 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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. (eds.). Springer, p. 385-404 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15221 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • GPU Accelerating Statistical Model Checking for Extended Timed Automata.

    Bak, O. S., Christiansen, M. W. B., Eriksen, O. V., Feo-Arenis, S., Jensen, P. G., Jensen, M. D., Juozapaitis, S., Larsen, K. G., Mikucionis, M., Muniz Rodriguez, M. A. & Windfeld, A., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 267-292 26 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 326).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
  • 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), p. 18-21 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 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. 10667463. (IEEE International Symposium on Power Electronics for Distributed Generation Systems (PEDG) ).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    38 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. (eds.). Springer, p. 108-116 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14971 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 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. (eds.). EasyChair, p. 64-121 58 p. (EPiC Series in Computing, Vol. 103).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File

  • 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, p. 39-63 25 p. (EPiC Series in Computing, Vol. 103).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File

  • 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. (eds.). EasyChair, p. 15-38 24 p. (EPiC Series in Computing, Vol. 103).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File

  • 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), p. 134-137 4 p. (Euromicro Conference on Software Engineering and Advanced Applications (SEAA)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • 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. (eds.). Springer, 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

    2 Citations (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. IEEE (Institute of Electrical and Electronics Engineers), p. 3130-3137 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

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

    Pozanco, A., Torralba, Á. & Borrajo, D., 30 May 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (eds.). AAAI Press, p. 455-463 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

  • 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, (Accepted/In press) FSEN - Fundamentals of Software Engineering.

    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: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J. & Soudjani, S. (eds.). Springer, 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

  • 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., 19 Aug 2024, (Accepted/In press) Eware IoT 2024: International Workshop on Energy-Aware Mobile IoT. Association for Computing Machinery (ACM), 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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. (ed.). Springer, p. 206-224 19 p. (Lecture Notes in Computer Science, Vol. 15217).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 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. (eds.). Cham: Springer, 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

  • Estimate and Reduce Uncertainty in Uncertain Graphs

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

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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. (eds.). Springer, p. 70-88 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15280 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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), p. 438-451 (The Proceedings of Machine Learning Research, Vol. 246).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • 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), p. 93-105 (The Proceedings of Machine Learning Research, Vol. 246).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • 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. (eds.). Springer, p. 343-362 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14571 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)

  • 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. (eds.). Open Publishing Association, p. 2-18 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 412).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • 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), p. 3351-3363 13 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    1 Citation (Scopus)

  • Gotta Catch ’Em All! Sequence Flaws in CEGAR for Classical Planning

    Pozo, M., Torralba, A. & Linares López, C., Oct 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, p. 4287-4294 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 392).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • 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, (Accepted/In press) Eware IoT 2024: International Workshop on Energy-Aware Mobile IoT. Association for Computing Machinery (ACM)

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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), p. 1731-1734 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File

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

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • Merge-and-Shrink Heuristics for SSPs with Prune Transformations

    Klößner, T., Torralba, A., Steinmetz, M. & Sievers, S., 16 Oct 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. (eds.). IOS Press, p. 1222-1229 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 392).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • 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. (eds.). Springer, p. 136-151 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14952 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › 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, Manchester, UK, November 13–15, 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 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, 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

    1 Citation (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. (eds.). Springer, p. 13-32 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15220 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (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. (ed.). Springer, p. 312-335 (Lecture Notes in Computer Science (LNCS), Vol. LNCS 15217).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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. (eds.). IEEE (Institute of Electrical and Electronics Engineers), p. 61-70 10 p. (IEEE Annual Computers, Software, and Applications Conference (COMPSAC)).

    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: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 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

    Open Access
    File
    3 Citations (Scopus)
    64 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 ed. Springer, p. 379-397 (Lecture Notes in Computer Science, Vol. 15217).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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), p. 2398-2407 10 p. (Proceedings - IEEE INFOCOM).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks

    Gyorgyi, C., Larsen, K. G., Schmid, S. & Srba, J., 2024, Proceedings - 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024. IEEE (Institute of Electrical and Electronics Engineers), p. 483-494 12 p. (Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • The Complexity of Data-Free Nfer

    Kauffman, S., Guldstrand Larsen, K. & Zimmermann, M., 2024, Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings. Ábrahám, E. & Abbas, H. (eds.). Springer, 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 inverse problem for neural networks

    Forets, M. & Schilling, C., 2024, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 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 Access
    File
    3 Citations (Scopus)

  • The Reachability Problem for Neural-Network Control Systems

    Schilling, C. & Zimmermann, M., 2024, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers. Steffen, B. (ed.). Springer, 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
    File

  • User-friendly, Interactive, and Configurable Explanations for Graph Neural Networks with Graph Views

    Chen, T., Qiu, D., Wu, Y., Khan, A., Ke, X. & Gao, Y., 2024, Companion of the 2024 International Conference on Management of Data, SIGMOD/PODS 2024. Santiago AA, Chile: Association for Computing Machinery (ACM), p. 512-515

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • View-based Explanations for Graph Neural Networks (Extended Abstract)

    Chen, T., Qiu, D., Wu, Y., Khan, A., Ke, X. & Gao, Y., 2024, 40th International Conference on Data Engineering, ICDE 2024 - Workshops. Utrecht, Netherlands: IEEE (Institute of Electrical and Electronics Engineers), p. 1-2 (International Conference on Data Engineering Workshops (ICDEW)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Welcome Remarks from AISoLA 2023/Track C2 Chairs

    Jansen, N., Könighofer, B., Křetínský, J. & Larsen, K., 2024, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, p. 25-32 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14380 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Communication

  • White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining

    Casaluce, R., Tschaikowski, M. & Vandin, A., 1 Jan 2024, Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Proceedings: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 204-222 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15219 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (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. (eds.). Springer, Vol. 14294. p. 172-182 11 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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. (eds.). Association for Computing Machinery (ACM), 9

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    60 Downloads (Pure)