Distributed, Embedded and Intelligent Systems

Publikationer

Publikationer pr. år 1989 2003 2004 2005 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022

• 571 Konferenceartikel i proceeding
• 265 Tidsskriftartikel
• 111 Konferenceartikel i tidsskrift
• 59 Bog
• 182 Mere
  • 55 Bidrag til bog/antologi
  • 20 Rapport
  • 18 Ph.d.-afhandling
  • 17 Working paper
  • 15 Leder
  • 10 Antologi
  • 10 Forord/Indledning/efterskrift
  • 8 Poster
  • 7 Paper uden forlag/tidsskrift
  • 6 Konferenceabstrakt til konference
  • 5 Konferenceabstrakt i proceeding
  • 5 Review (oversigtsartikel)
  • 3 Bidrag til rapport
  • 1 Encyclopædiartikel
  • 1 Konferenceabstrakt i tidsskrift
  • 1 Preprint

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2022

  An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper)

  Kirkeby, M. H., Gallagher, J. & Thomsen, B., 31 maj 2022, Proceedings of the First Workshop on Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS). (CEUR Workshop Proceedings).

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

• cpp-tiny-client: A secure API client generator for IoT devices

  Springborg, A. A., Andersen, M. K., Hattel, K. H. & Albano, M., 25 apr. 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association for Computing Machinery, s. 202-205 4 s. (Proceedings of the ACM Symposium on Applied Computing).

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

  • Application programming interfaces (API) 100%
  • Internet of things 88%
  • Productivity 33%
  • Transport Layer 26%
  • Industry 9%

• Interactive Theorem Proving for Logic and Information

  Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence – NLPinAI 2021. Loukanova, R. (red.). Springer, s. 25-48 24 s. (Studies in Computational Intelligence, Bind 999).

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

  Åben adgang

  • Theorem proving 100%
  • Acoustic waves 59%
  • Intelligent systems 38%
  • Computer program listings 34%

• RaaS (Robot-as-a-Service) focusing on the human-robot collaboration in industrial sites

  Kim, E. H. & LI, C., jan. 2022, (Accepteret/In press) RaaS (Robot-as-a-Service) focusing on the human-robot collaboration in industrial sites. IEEE

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

  • Robots 100%
  • Cloud computing 30%
  • Service oriented architecture (SOA) 18%
  • Application programming interfaces (API) 16%
  • Speech recognition 16%

• 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

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

  Åben adgang

  Fil
  3 Downloads (Pure)

• The Complexity of Evaluating nfer

  Kauffman, S. & Zimmermann, M., apr. 2022, (Accepteret/In press) Lecture Notes in Computer Science. Springer

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

  • Computability and decidability 100%
  • Telemetering 79%
  • Autonomous vehicles 78%
  • Spacecraft 65%
  • Polynomials 56%
• 2021

  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

  • Trust Model 21%
  • Reuse 19%
  • Privacy 15%
  • Logic 13%
  • Interaction 9%

• 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

  • Model checking 100%
  • Static analysis 98%
  • Energy harvesting 96%
  • Internet of things 79%
  • Explosions 22%

• 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 Science and Business Media Deutschland GmbH, 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

  • Extrapolation 100%
  • Static analysis 96%
  • Computability and decidability 62%
  • Industrial applications 42%
  • Experiments 16%

• 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

  • Hybrid systems 100%
  • Formal verification 29%

• 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

  • Hybrid systems 100%
  • Formal verification 29%

• 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

  • Hybrid systems 100%
  • Artificial intelligence 89%
  • Control systems 62%
  • Neural networks 61%
  • Formal verification 23%

• 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

  • Planning 100%
  • Set theory 16%

• 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

  • Software defined networking 100%
  • Computer networks 91%
  • Routers 85%
  • Topology 60%
  • Industry 38%

• 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

  • Sensor networks 100%
  • Sensor nodes 79%
  • Surface waters 39%
  • Water management 37%
  • Water levels 34%

• 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

  • Phishing 100%
  • Authority 9%
  • Symbol 8%
  • Abuse 8%
  • Transparency 8%
  2 Citationer (Scopus)

• 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

  • Vote 100%
  • Bayes 82%
  • Chebyshev 75%
  • Oracle 40%
  • Concentration of Measure 27%

• 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

  • System of systems 100%
  • Bluetooth 56%
  • Communication 40%
  • Testing 13%

• 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

  • Polynomials 100%
  • Differential equations 76%
  • Systems science 63%
  • Systems Biology 56%
  • Systems engineering 42%
  1 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

  • Multiprotocol Label Switching 100%
  • Switching networks 88%
  • Wide area networks 45%
  • Model checking 40%
  • Compliance 33%

• 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

  • Planning 100%
  • Costs 15%

• 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

  • Dark Matter 100%

• 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

  • Petri nets 100%
  • Color 72%
  • Model checking 64%
  • Equivalence classes 28%
  • Explosions 19%

• 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

  • Agglomeration 100%
  • Set theory 36%
  • Decomposition 27%
  • Machine learning 14%
  • Experiments 6%

• 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

  • pond 100%
  • learning 95%
  • water 35%
  • rain 25%
  • decision process 20%
  33 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

  • Markov chains 100%
  • Set theory 18%
  • Polynomials 11%
  • Semantics 9%
  • Uncertainty 9%

• 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

  • Model checking 100%
  • Energy harvesting 96%
  • Statistical Models 85%
  • Energy transfer 54%
  • Energy storage 41%

• 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

  • Monitoring 100%

• 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

  • Pruning 100%
  • Node 27%
  • Heuristics 22%
  • Sources of Information 14%

• 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

  • Program compilers 100%
  • Network performance 55%
  • Telecommunication networks 49%
  • Switches 40%
  • Experiments 40%
  1 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

  • Planning 100%
  • Experiments 14%

• 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

  • Network protocols 100%
  • Theorem proving 38%
  • Specification languages 33%
  • Automation 22%
  2 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

  • Relaxation 100%
  • Polynomials 82%
  • Planning 68%
  • NP-hard 34%
  1 Citationer (Scopus)

• Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code

  Møller, B. H., Søndergaard, J. G., Jensen, K. S., Pedersen, M. W., Bøgedal, T. W., Christensen, A., Poulsen, D. B., Larsen, K. G., Hansen, R. R., Rosted Jensen, T., Juvoll Madsen, H. & Uhrenfeldt, H., 10 dec. 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. 192-211 20 s. (Lecture Notes in Computer Science, Bind LNCS 13115).

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

  • Model checking 100%
  • Silicon 37%

• Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

  Kiviriga, A., Larsen, K. G. & Nyman, U., 2021, Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (red.). Springer Science+Business Media, s. 149-166 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12863 LNCS).

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

  Åben adgang

  Fil

  • Error detection 100%
  • Stop watches 49%
  • Model checking 32%
  • Statistical Models 27%
  • Scalability 24%
  1 Downloads (Pure)

• Reducing Boolean Networks with Backward Boolean Equivalence

  Argyris, G., Lluch Lafuente, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Computational Methods in Systems Biology: 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings. Springer, s. 1-18 (Lecture Notes in Computer Science, Bind LNCS 12881).

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

  • Biological systems 100%
  • Explosions 81%
  • Trajectories 60%

• Resilient Capacity-Aware Routing

  Schmid, S., Schnepf, N. & Srba, J., 2021, Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I. Groote, J. F. & Guldstrand Larsen, K. (red.). Springer, Bind 1. s. 411-429 (Lecture Notes in Computer Science, Bind 12651).

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

  Åben adgang

  Fil

  • Telecommunication networks 100%
  • Availability 81%
  • Network protocols 78%
  • Internet 78%
  • Topology 77%
  4 Downloads (Pure)

• SolveDB⁺: SQL-based prescriptive analytics

  Siksnys, L., Pedersen, T. B., Nielsen, T. D. & Frazzetto, D., 2021, Advances in Database Technology - EDBT 2021: 24th International Conference on Extending Database Technology, Proceedings. Velegrakis, Y., Zeinalipour, D., Chrysanthis, P. K. & Guerra, F. (red.). OpenProceedings.org, s. 133-144 12 s. (Advances in Database Technology).

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

  Åben adgang

  Fil

  • Storage management 100%
  • Software packages 71%
  • Productivity 58%
  • Personnel 56%
  • Decision making 53%
  10 Downloads (Pure)

• Strategising RoboCup in Real Time with Uppaal Stratego

  Holler, P. I., Jensen, M. K., Lockey, H. M. & Albano, M., 4 feb. 2021, Proceedings of 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART. Rocha, A. P., Steels, L. & van den Herik, J. (red.). SCITEPRESS Digital Library, Bind 1. s. 273-280 8 s. (International Conference on Agents and Artificial Intelligence - Proceeding).

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

  • Football 100%
  • Table lookup 21%
  • Artificial intelligence 15%
  • Simulators 12%
  • Servers 12%

• Stubborn Set Reduction for Timed Reachability and Safety Games

  Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (red.). Springer, Bind 12860. s. 32-49 18 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

  • Petri nets 100%
  • Explosions 95%
  • Data storage equipment 61%

• Web of Things Interoperability for the Arrowhead Framework

  Dongo, J., Albano, M., Skou, A. & Nielsen, B., 13 okt. 2021, IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society. IEEE, s. 1-6 6 s. 9589941. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

  • Interoperability 100%
  • Internet of things 88%
  • Automation 32%
  • Electronic data interchange 22%
• 2020

  30 Years of Statistical Model Checking

  Larsen, K. G. & Legay, A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 325-330 6 s. (Lecture Notes in Computer Science, Bind 12476).

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

• A Complete Characterization of Projectivity for Statistical Relational Models

  Jaeger, M. & Schulte, O., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20). International Joint Conferences on Artificial Intelligence, s. 4283-4290

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

  Åben adgang

  • Byproducts 100%
  • Statistical Models 87%
  1 Citationer (Scopus)

• A Correlated Time Series Forecast System

  Abildgaard, N. C., Bang, C. W., Hansen, J., Jacobsen, T. L., Knudsen, T. H., Lisby, N. O., Guo, C. & Yang, B., jun. 2020, Proceedings - 2020 21st IEEE International Conference on Mobile Data Management, MDM 2020. IEEE, s. 242-243 2 s. 9162204. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2020-June).

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

  • Time series 100%
  • Cyber Physical System 43%
  • Data Analytics 21%
  • Learning algorithms 15%
  • Planning 12%

• Adaptive Security Policies

  Nielson, F., Hansen, R. R. & Nielson, H. R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 280-294 15 s. (Lecture Notes in Computer Science, Bind 12477).

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

  Åben adgang

  Fil

  • Relocation 100%
  • Communication 20%
  1 Citationer (Scopus)

  4 Downloads (Pure)

• A lower bound for jumbled indexing

  Afshani, P., van Duijn, I., Killmann, R. & Nielsen, J. S., 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (red.). Association for Computing Machinery, s. 592-606 15 s.

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

  • Indexing 100%
  • Query 78%
  • Additive Combinatorics 78%
  • Data Structures 68%
  • Lower bound 52%
  5 Citationer (Scopus)

• Approximating Euclidean by Imprecise Markov Decision Processes

  Jaeger, M., Bacci, G., Bacci, G., Larsen, K. G. & Jensen, P. G., 2020, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Margaria, T. & Steffen, B. (red.). Springer, s. 275-289 15 s. (Lecture Notes in Computer Science, Bind 12476).

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

  • Markov processes 100%
  • Cost functions 65%
  • Reinforcement learning 47%
  • Uncertainty 14%
  2 Citationer (Scopus)

• A Software System for Predicting Patient Flow at the Emergency Department of Aalborg University Hospital

  Madsen, A. L., Olesen, K. G., Møller, J. M., Søndberg-Jeppesen, N., Jensen, F., Larsen, T. M., Henriksen, P., Lindblad, M. & Christensen, T. S., 2020, Proceedings of the 10th International Conference on Probabilistic Graphical Models, PMLR. Jaeger, M. & Dyhre Nielsen, T. (red.). ML Research Press, s. 617-620 (The Proceedings of Machine Learning Research, Bind 138).

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

• Baital: An adaptive weighted sampling approach for improved t-wise coverage

  Baranov, E., Legay, A. & Meel, K. S., 8 nov. 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (red.). Association for Computing Machinery, s. 1114-1126 13 s.

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

  • Sampling 100%
  • Testing 36%
  • Set theory 22%
  • Engines 22%
  4 Citationer (Scopus)

• Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

  Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 jan. 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (red.). IEEE, s. 1-10 10 s. 8958666. (IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)).

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

  Åben adgang

  Fil

  • Switches 100%
  • Scheduling 95%
  • Scheduling algorithms 58%
  • Stretching 42%
  • Availability 28%
  3 Citationer (Scopus)

  114 Downloads (Pure)