Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2022

    Operator-Potential Heuristics for Symbolic Search

    Fišer, D., Torralba, A. & Hoffmann, J., jun. 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, s. 9750-9757 (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 9, Bind 36).

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

    1 Citationer (Scopus)

  • Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search

    Fišer, D., Torralba, A. & Jörg, H., 13 jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, s. 80-89 10 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 32).

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

  • Optimal Mixed Strategies for Cost-Adversarial Planning Games

    Horčík, R., Torralba, A., Rytíř, P., Chrpa, L. & Edelkamp, S., 13 jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, Bind 32. s. 160-168 9 s.

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

    Åben adgang
    1 Citationer (Scopus)

  • Parikh Automata over Infinite Words

    Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., 1 dec. 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 s. 40. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 250).

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

    Åben adgang
    Fil
    4 Citationer (Scopus)
    18 Downloads (Pure)

  • Pattern Selection Strategies for Pattern Databases in Probabilistic Planning

    Klößner, T., Steinmetz, M., Torralba, A. & Hoffmann, J., 13 jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, Bind 32. s. 184-192 9 s.

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

    Åben adgang
    1 Citationer (Scopus)

  • PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems

    Jensen, P. G., Schmid, S., Schou, M. K. & Srba, J., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (red.). Springer, s. 225-230 6 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13505 LNCS).

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

  • Resilience-Focused Monitoring Framework for Edge Systems.

    Klitgaard, A. S., Sønderby, A. A., Jørgensen, H. S., Petersen, K. W., Dongo, J. & Albano, M., 2022, 2022 IEEE International Conference on Edge Computing and Communications (EDGE). IEEE, s. 153-158 6 s. (IEEE International Conference on Edge Computing and Communications (EDGE)).

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

    2 Citationer (Scopus)

  • R-MPLS: Recursive Protection for Highly Dependable MPLS Networks

    Schmid, S., Schou, M. K., Srba, J. & Vanerio, J., 30 nov. 2022, CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, s. 276-292 17 s. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

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

    Åben adgang
    Fil
    20 Downloads (Pure)

  • Robust Computation Tree Logic

    Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., 2022, NASA Formal Methods, NFM 2022: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (red.). Springer, s. 538-556 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13260 LNCS).

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

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

  • Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

    Nayak, S. P., Neider, D. & Zimmermann, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 149-173 25 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13701 LNCS).

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

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

  • Runtime Verification as Documentation

    Dams, D., Havelund, K. & Kauffman, S., okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022. Margaria, T. & Steffen, B. (red.). Springer, s. 157-173 17 s. (Lecture Notes in Computer Science, Bind 13702).

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

    2 Citationer (Scopus)

  • Solving String Theories Involving Regular Membership Predicates Using SAT

    Kulczynski, M., Lotz, K., Nowotka, D. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). 1 udg. Springer, Bind 13255. s. 134-151 18 s. (Lecture Notes in Computer Science, Bind 13255).

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

    2 Citationer (Scopus)

  • SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

    Bauer-Marquart, F., Boetius, D., Leue, S. & Schilling, C., 2022, Model Checking Software: 28th International Symposium, SPIN 2022. Legunsen, O. & Rosu, G. (red.). Springer, s. 79-96 18 s. (Lecture Notes in Computer Science, Bind 13255).

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

    Åben adgang
    2 Citationer (Scopus)

  • Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). Springer, s. 61-78 18 s. (Lecture Notes in Computer Science, Bind 13255).

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

  • Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter

    Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 jul. 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, s. 76-82 7 s.

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

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

  • STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego

    Goorden, M., Jensen, P. G., Larsen, K. G., Samusev, M., Srba, J. & Zhao, G., 2022, International Symposium on Automated Technology for Verification and Analysis: Automated Technology for Verification and Analysis . Bouajjani, A., Holík, L. & Wu, Z. (red.). Springer, s. 327-333 7 s. (Lecture Notes in Computer Science).

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

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

  • Synthesis of Parametric Hybrid Automata from Time Series

    García Soto, M., Henzinger, T. A. & Schilling, C., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (red.). Springer, s. 337-353 17 s. (Lecture Notes in Computer Science, Bind 13505).

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

    Åben adgang
    1 Citationer (Scopus)

  • The Complexity of Evaluating Nfer

    Kauffman, S. & Zimmermann, M., jul. 2022, Theoretical Aspects of Software Engineering, TASE 2022: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (red.). Springer, s. 388-405 18 s. (Lecture Notes in Computer Science, Bind 13299).

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

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

  • The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures

    Cuijpers, P. J. L., Schmid, S., Schnepf, N. & Srba, J., 2022, 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22). IEEE, s. 239-250

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

    1 Citationer (Scopus)

  • Timed Automata Learning via SMT Solving

    Tappler, M., Aichernig, B. K. & Lorber, F., 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (red.). Springer, s. 489-507 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13260 LNCS).

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

    4 Citationer (Scopus)

  • Understanding the Challenges of Blocking Unnamed Network Traffic.

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2022, NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M-O. (red.). IEEE, s. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).

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

    Åben adgang
    Fil
    8 Downloads (Pure)

  • Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

    Schilling, C., Forets, M. & Guadalupe, S., 2022, Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, s. 8169-8177 9 s. (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 7, Bind 36).

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

    Åben adgang
    17 Citationer (Scopus)
  • 2021

    Active Learning of Markov Decision Processes using Baum-Welch algorithm

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2021, Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021. Wani, M. A., Sethi, I. K., Shi, W., Qu, G., Raicu, D. S. & Jin, R. (red.). IEEE, s. 1203-1208 6 s. (Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021).

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

    10 Citationer (Scopus)

  • Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World

    Alber, L., More, S., Mödersheim, S. & Schlichtkrull, A., 2021, Open Identity Summit 2021. Roßnagel, H., Schunck, C. H. & Mödersheim, S. (red.). Gesellschaft für Informatik e. V., s. 107-118 (Lecture Notes in Informatics, Bind 312).

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

    Åben adgang
    7 Citationer (Scopus)

  • A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT

    Albano, M., Chessa, S. & Larsen, K. G., 5 sep. 2021, 26th IEEE Symposium on Computers and Communications. Athens, Greece: IEEE, 9631383. (I E E E International Symposium on Computers and Communications).

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

    Åben adgang
    1 Citationer (Scopus)

  • An Integer Static Analysis for Better Extrapolation in Uppaal

    Lund, S., van Diepen, J., Larsen, K. G., Muñiz, M., Jørgensen, T. R. & Andersen, T. S. D., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (red.). Springer, s. 84-99 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12860 LNCS).

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

    1 Citationer (Scopus)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Linares, U., Sanders, D. P., Schilling, C. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 32-54 23 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    8 Citationer (Scopus)

  • ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

    Johnson, T. T., Lopez, D. M., Benet, L., Forets, M., Guadalupe, S., Schilling, C., Ivanov, R., Carpenter, T. J., Weimer, J. & Lee, I., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 90-119 30 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    10 Citationer (Scopus)

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

    Althoff, M., Ábrahám, E., Forets, M., Frehse, G., Freire, D., Schilling, C., Schupp, S. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 1-31 31 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    9 Citationer (Scopus)

  • Automatic Instance Generation for Classical Planning

    Torralba, A., Seipp, J. & Sievers, S., 17 maj 2021, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 21). 1 udg. Palo Alto: AAAI Press, Bind 31. s. 376-384 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

    12 Citationer (Scopus)

  • Automatic Synthesis of Transiently Correct Network Updates via Petri Games

    Didriksen, M., Jensen, P. G., Jønler, J. F., Katona, A. I., Lama, S. D. L., Lottrup, F. B., Shajarat, S. & Srba, J., 2021, Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings. Buchs, D. & Carmona, J. (red.). Springer, s. 118-137 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12734 LNCS).

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

    1 Citationer (Scopus)

  • Battery Aware Analysis of Sensor Networks in Uppaal SMC

    Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Hoedholt, A. & Laursen, C. Ø., 7 jun. 2021, 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021. IEEE, s. 1-6 6 s. 9460152. (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

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

    4 Citationer (Scopus)

  • Can a TLS certificate be phishy?

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2021, Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021. di Vimercati, S. D. C. & Samarati, P. (red.). SCITEPRESS Digital Library, s. 38-49 12 s. (International Conference on Security and Cryptography - SECRYPT - Proceedings).

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

    Åben adgang
    Fil
    4 Citationer (Scopus)
    177 Downloads (Pure)

  • Chebyshev-Cantelli PAC-Bayes-Bennett Inequality for the Weighted Majority Vote

    Wu, Y-S., Masegosa, A., Lorenzen, S. S., Igel, C. & Seldin, Y., 2021, Advances in Neural Information Processing Systems (NeurIPS 2021). Bind 34. 12 s.

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

  • Communication Oriented Modeling of Evolving Systems of Systems

    Harbo, S. K. R., Kristensen, M. K., Voldby, E. P., Andersen, S. V., Petersen, F. C. & Albano, M., 14 jun. 2021, 2021 16th International System of Systems Engineering Conference, SoSE 2021. IEEE, s. 88-94 7 s. 9497495. (2021 16th International System of Systems Engineering Conference, SoSE 2021).

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

    3 Citationer (Scopus)

  • Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, s. 1-14 14 s.

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

    3 Citationer (Scopus)

  • Faster Pushdown Reachability Analysis with Applications in Network Verification

    Jensen, P. G., Schmid, S., Schou, M. K., Srba, J., Vanerio, J. & Duijn, I. V., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (red.). Springer, s. 170-186 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12971 LNCS).

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

    3 Citationer (Scopus)

  • Faster Stackelberg Planning via Symbolic Search and Information Sharing

    Torralba, A., Speicher, P., Künnemann, R., Steinmetz, M. & Hoffmann, J., 18 maj 2021, Proceedings of the AAAI Conference on Artificial Intelligence. 13 udg. Palo Alto: AAAI Press, Bind 35. s. 11998-12006

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

    6 Citationer (Scopus)

  • Gollector: Measuring Domain Name Dark Matter from Different Vantage Points

    Hageman, K., Hansen, R. R. & Pedersen, J. M., 2021, Secure IT Systems: 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings. Tuveri, N., Michalas, A. & Brumley, B. B. (red.). Springer, s. 133-152 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13115 LNCS).

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

    1 Citationer (Scopus)

  • Improvements in Unfolding of Colored Petri Nets

    Bilgram, A., Jensen, P. G., Pedersen, T., Srba, J. & Taankvist, P. H., 2021, Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings. Bell, P. C., Totzke, P. & Potapov, I. (red.). Springer, s. 69-84 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13035 LNCS).

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

    4 Citationer (Scopus)

  • Learning Aggregation Functions

    Pellegrini, G., Tibo, A., Frasconi, P., Passerini, A. & Jaeger, M., 2021, Proceedings of the Thirty International Joint Conference on Artificial Intelligence (IJCAI-21). International Joint Conferences on Artificial Intelligence

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

    Åben adgang

  • Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Rasmussen, M. R. & Srba, J., 2021, IFAC-PapersOnLine: 7th IFAC Conference on Analysis and Design of Hybrid Systems. 5 udg. Elsevier, Bind 54. s. 13-18 6 s. (IFAC-PapersOnLine; Nr. 5, Bind 54).

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    101 Downloads (Pure)

  • Lumpability for Uncertain Continuous-Time Markov Chains

    Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings. Springer, s. 391-409 (Lecture Notes in Computer Science, Bind 12846).

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

    2 Citationer (Scopus)

  • Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking

    Gamatie, A., Sassatelli, G. & Mikucionis, M., 1 feb. 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. IEEE, s. 980-985 6 s. 9474224. (Proceedings -Design, Automation and Test in Europe, DATE, Bind 2021-February).

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

    Åben adgang
    2 Citationer (Scopus)

  • nfer - A Tool for Event Stream Abstraction

    Kauffman, S., 3 dec. 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings. Calinescu, R. & Pasareanu, C. S. (red.). Springer, s. 103-109 7 s. (Lecture Notes in Computer Science, Bind 13085).

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

    2 Citationer (Scopus)

  • On the Optimal Efficiency of A* with Dominance Pruning

    Torralba, A., 18 maj 2021, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, s. 12007-12014 (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 13, Bind 35).

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

    Åben adgang
    1 Citationer (Scopus)

  • P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes

    Agape, A. A., Danceanu, M. C., Hansen, R. R. & Schmid, S., 5 jan. 2021, ICDCN 2021 - Proceedings of the 2021 International Conference on Distributed Computing and Networking. Association for Computing Machinery, s. 16-25 10 s.

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

    4 Citationer (Scopus)

  • Pattern Databases for Goal-Probability Maximization in Probabilistic Planning

    Klößner, T., Hoffmann, J., Steinmetz, M. & Torralba, A., 17 maj 2021, Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling . AAAI Press, s. 201-209 8 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 31).

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

    Åben adgang
    2 Citationer (Scopus)

  • Performing Security Proofs of Stateful Protocols

    Hess, A. V., Mödersheim, S., Brucker, A. D. & Schlichtkrull, A., 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF). IEEE, s. 1-16 16 s. 9505200. (Proceedings of the IEEE Computer Security Foundations Symposium).

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

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

  • Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning

    Lauer, P., Torralba, A., Fišer, D., Höller, D., Wichlacz, J. & Hoffmann, J., jul. 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. IJCAI-21. International Joint Conferences on Artificial Intelligence, s. 4119-4126

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

    17 Citationer (Scopus)