Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Article in proceeding

Search results

  • 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, p. 9750-9757 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 9, Vol. 36).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (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. (eds.). AAAI Press, p. 80-89 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 32).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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. (eds.). AAAI Press, Vol. 32. p. 160-168 9 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 40. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 250).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    3 Citations (Scopus)
    12 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. (eds.). AAAI Press, Vol. 32. p. 184-192 9 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (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. (eds.). Springer, p. 225-230 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13505 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, p. 153-158 6 p. (IEEE International Conference on Edge Computing and Communications (EDGE)).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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, p. 276-292 17 p. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    13 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. (eds.). Springer, p. 538-556 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    1 Citation (Scopus)
    7 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. (eds.). Springer, p. 149-173 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13701 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    2 Citations (Scopus)
    23 Downloads (Pure)
  • Runtime Verification as Documentation

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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. (eds.). 1 ed. Springer, Vol. 13255. p. 134-151 18 p. (Lecture Notes in Computer Science, Vol. 13255).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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. (eds.). Springer, p. 79-96 18 p. (Lecture Notes in Computer Science, Vol. 13255).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (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. (eds.). Springer, p. 61-78 18 p. (Lecture Notes in Computer Science, Vol. 13255).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, p. 76-82 7 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    1 Citation (Scopus)
    98 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. (eds.). Springer, p. 327-333 7 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    1 Citation (Scopus)
    97 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. (eds.). Springer, p. 337-353 17 p. (Lecture Notes in Computer Science, Vol. 13505).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (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. (eds.). Springer, p. 388-405 18 p. (Lecture Notes in Computer Science, Vol. 13299).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    2 Citations (Scopus)
    12 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, p. 239-250

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (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. (eds.). Springer, p. 489-507 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (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. (eds.). IEEE, p. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    3 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, p. 8169-8177 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 7, Vol. 36).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    16 Citations (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. (eds.). IEEE, p. 1203-1208 6 p. (Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    9 Citations (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. (eds.). Gesellschaft für Informatik e. V., p. 107-118 (Lecture Notes in Informatics, Vol. 312).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    7 Citations (Scopus)
  • A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (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. (eds.). Springer, p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (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. (eds.). EasyChair, p. 90-119 30 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    Open Access
    10 Citations (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. (eds.). EasyChair, p. 1-31 31 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    Open Access
    9 Citations (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. (eds.). EasyChair, p. 32-54 23 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    Open Access
    8 Citations (Scopus)
  • Automatic Instance Generation for Classical Planning

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    11 Citations (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. (eds.). Springer, p. 118-137 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12734 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (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, p. 1-6 6 p. 9460152. (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    4 Citations (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. (eds.). SCITEPRESS Digital Library, p. 38-49 12 p. (International Conference on Security and Cryptography - SECRYPT - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    3 Citations (Scopus)
    170 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). Vol. 34. 12 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, p. 88-94 7 p. 9497495. (2021 16th International System of Systems Engineering Conference, SoSE 2021).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (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, p. 1-14 14 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (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. (eds.). Springer, p. 170-186 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12971 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (Scopus)
  • Faster Stackelberg Planning via Symbolic Search and Information Sharing

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    6 Citations (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. (eds.). Springer, p. 133-152 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13115 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (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. (eds.). Springer, p. 69-84 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13035 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    4 Citations (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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • 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 ed. Elsevier, Vol. 54. p. 13-18 6 p. (IFAC-PapersOnLine; No. 5, Vol. 54).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    8 Citations (Scopus)
    94 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, p. 391-409 (Lecture Notes in Computer Science, Vol. 12846).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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, p. 980-985 6 p. 9474224. (Proceedings -Design, Automation and Test in Europe, DATE, Vol. 2021-February).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    2 Citations (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. (eds.). Springer, p. 103-109 7 p. (Lecture Notes in Computer Science, Vol. 13085).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)
  • On the Optimal Efficiency of A* with Dominance Pruning

    Torralba, A., 18 May 2021, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, p. 12007-12014 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 13, Vol. 35).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (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, p. 16-25 10 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    4 Citations (Scopus)
  • Pattern Databases for Goal-Probability Maximization in Probabilistic Planning

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    2 Citations (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, p. 1-16 16 p. 9505200. (Proceedings of the IEEE Computer Security Foundations Symposium).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    2 Citations (Scopus)
    73 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, p. 4119-4126

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    16 Citations (Scopus)