Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Søgeresultater

  • 2022

    Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables

    Huerta y Munive, J. J., 2022, International Conference on Runtime Verification.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › 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)

  • Rigorous time evolution of p-boxes in non-linear ODEs

    Gray, A., Forets, M., Schilling, C., Benet, L. & Ferson, S., 2022, Book of Extended Abstracts for the 32nd European Safety and Reliability Conference. Research Publishing, s. 154-155 2 s.

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

    Åben adgang
    Fil
    42 Downloads (Pure)

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

  • Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, s. 272-291 20 s. (Lecture Notes in Computer Science, Bind 13660).

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

  • Sleep Classification Using Consumer Sleep Technologies and AI: A review of the current landscape

    Djanian, S., Bruun, A. & Nielsen, T. D., dec. 2022, I: Sleep Medicine. 100, s. 390-403 14 s.

    Publikation: Bidrag til tidsskrift › Review (oversigtsartikel) › peer review

    Åben adgang
    Fil
    11 Citationer (Scopus)
    171 Downloads (Pure)

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

  • Stateful to Stateless: Modelling Stateless Ethereum

    Johnson, S., Hyland-Wood, D., Madsen, A. L. & Mengersen, K., 21 mar. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 355, s. 27-39 13 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

    Åben adgang
    Fil
    6 Downloads (Pure)

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

  • Supervisor Synthesis: Bridging Theory and Practice

    Fokkink, W., Goorden, M., van de Mortel-Fronczak, J., Reijnen, F. & Rooda, J., okt. 2022, I: Computer. 55, 10, s. 48-54

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    30 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 AIM and EM Algorithms for Learning from Coarse Data

    Jaeger, M., 2022, I: Journal of Machine Learning Research. 23

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • 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 current status of gene expression profilings in COVID-19 patients

    Ilieva, M., Tschaikowski, M., Vandin, A. & Uchida, S., sep. 2022, I: Clinical and Translational Discovery. 2, 3, e104.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    66 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)

  • UniTE - The Best of Both Worlds - Unifying Function-Fitting and Aggregation-Based Approaches to Travel Time and Travel Speed Estimation.

    Jepsen, T. S., Jensen, C. S. & Nielsen, T. D., 2 nov. 2022, I: Transactions on Spatial Algorithms and Systems. 8, 4, s. 1 26 s., 30.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Verifiable strategy synthesis for multiple autonomous agents: a scalable approach

    Gu, R., Jensen, P. G., Poulsen, D. B., Seceleanu, C., Enoiu, E. & Lundqvist, K., jun. 2022, I: International Journal on Software Tools for Technology Transfer. 24, 3, s. 395-414 20 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    43 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)

  • Web of Things Semantic Interoperability in Smart Buildings

    Laadhar, A., Dongo, J., Enevoldsen, S., Revaz, F., Gabioud, D., Pedersen, T. B., Meyer, M., Nielsen, B. & Thomsen, C., 2022, I: Procedia Computer Science. 207, s. 997-1006 10 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

    Åben adgang
    Fil
    33 Downloads (Pure)
  • 2021

    A bayesian framework for large-scale identification of nonlinear hybrid systems

    Madary, A., Momeni, H. R., Abate, A. & Larsen, K. G., 1 jul. 2021, I: IFAC-PapersOnLine. 54, 5, s. 259-264 6 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    33 Downloads (Pure)

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

  • ADTLANG: A Programming Language Approach to Attack Defense Trees

    Hansen, R. R., Larsen, K. G., Legay, A. B. E., Jensen, P. G. & Poulsen, D. B., 7 jan. 2021, I: International Journal on Software Tools for Technology Transfer. 23, 1, s. 89-104 16 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

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

  • Analysis of Source Code Using UPPAAL

    Kulczynski, M., Legay, A., Nowotka, D. & Poulsen, D. B., 2021, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 338, s. 31-38 8 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

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

  • An approach to estimating energy consumption of web-based IT systems

    Kirkeby, M. H., Gallagher, J. & Thomsen, B., sep. 2021, CERCIRAS Workshop-01: Abstracts. s. 18 1 s.

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

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

  • Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs

    Dragoni, N., Lluch-Lafuente, A., Massacci, F. & Schlichtkrull, A., 26 jan. 2021, I: IEEE Security & Privacy. 19, 1, s. 81-88 8 s., 9336077.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    Åben adgang
    13 Citationer (Scopus)

  • A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL.

    From, A. H., Schlichtkrull, A. & Villadsen, J., 2021, I: CEUR Workshop Proceedings. 3002, s. 107-121 7.

    Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

    Åben adgang
    Fil
    5 Citationer (Scopus)
    39 Downloads (Pure)

  • Automated Orchestration of Security Chains Driven by Process Learning

    Schnepf, N., Badonnel, R., Lahmadi, A. & Merz, S., okt. 2021, Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning. Zincir-Heywood, N., Diao, Y. & Mellia, M. (red.). Wiley-IEEE press, s. 289-320 (IEEE Press Series on Networks and Service Management).

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

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

  • Battery Lifetime Estimation And Optimization For a WSN

    Nielsen, B., Albano, M., Naeem, M., Pedersen, T., Hødholdt, A. & Laursen, C. Ø., 24 maj 2021. 1 s.

    Publikation: Konferencebidrag uden forlag/tidsskrift › Poster › Forskning › peer review

    Fil
    41 Downloads (Pure)

  • Benign Interaction of Security Domains

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (red.). Springer, s. 312-331 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13066 LNCS).

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

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

  • Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2 feb. 2021, I: Logical Methods in Computer Science. 17, 1, s. 1-36 9.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    5 Citationer (Scopus)