Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

Filter
Tidsskriftartikel
2020

Creating urban green infrastructure where it is needed – A spatial ecosystem service-based decision analysis of green roofs in Barcelona

Langemeyer, J., Wedgwood, D., McPhearson, T., Baró, F., Madsen, A. L. & Barton, D. N., 2020, I : Science of the Total Environment. 707, 135487.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method

Coent, A. C. L., Fribourg, L., Vacher, J. & Wisniewski, R., maj 2020, I : Nonlinear Analysis: Hybrid Systems. 36, 100860.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2019

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles

Passerone, R., Cancila, D., Albano, M., Mouelhi, S., Plosz, S., Jantunen, E., Ryabokon, A., Laarouchi, E., Hegedus, C. & Varga, P., 2019, I : IEEE Access. 7, s. 125022-125037 16 s., 8812663.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
15 Downloads (Pure)

AMIDST: A Java toolbox for scalable probabilistic machine learning

Masegosa, A., Martinez, A. M., Ramos-López, D., Cabanas de Paz, R., Salmerón, A., Langseth, H., Nielsen, T. D. & Madsen, A. L., 1 jan. 2019, I : Knowledge-Based Systems. 163, s. 595-597 3 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

3 Citationer (Scopus)

Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., mar. 2019, I : I E E E Transactions on Industrial Electronics. 66, 3, s. 2004 - 2014 11 s., 8368064.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
15 Citationer (Scopus)
450 Downloads (Pure)

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., jan. 2019, I : Mathematical Structures in Computer Science. 29, Special Issue 1, s. 3-37 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1 Citationer (Scopus)

Counts-of-counts similarity for prediction and search in relational data

Jaeger, M., Lippi, M., Pellegrini, G. & Passerini, A., sep. 2019, I : Data Mining and Knowledge Discovery. 33, 5, s. 1254–1297 44 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Model Checking and Synthesis for Branching Multi-Weighted Logics

Jensen, J. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M. & Srba, J., 2019, I : Journal of Logic and Algebraic Programming. 105, 1, s. 28-46 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Multi-criteria decision analysis in Bayesian networks-Diagnosing ecosystem service trade-offs in a hydropower regulated river

Barton, D. N., Sundt, H., Adeva Bustos, A., Fjeldstad, H-P., Hedger, R., Forseth, T., köhler, B., Aas, Ø., Alfredsen, K. & Madsen, A. L., 2019, I : Environmental Modelling & Software. 124, 104604.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
11 Downloads (Pure)

Prescriptive Analytics: A Survey of Emerging Trends And Technologies

Frazzetto, D., Nielsen, T. D., Pedersen, T. B. & Siksnys, L., 1 aug. 2019, I : V L D B Journal. 28, 4, s. 575-595 21 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
2 Citationer (Scopus)

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 nov. 2019, I : Journal of Aerospace Information Systems. 16, 11

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
33 Downloads (Pure)

Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16)

Larsen, K. G. & Srba, J., 2019, I : Journal of Logical and Algebraic Methods in Programming. 107, October 2019, s. 177-178 2 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Åben adgang

Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification

Novak, M., Nyman, U., Dragicevic, T. & Blaabjerg, F., sep. 2019, I : I E E E Industrial Electronics Magazine. 13, 3, s. 6-15 10 s., 8845791.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
24 Downloads (Pure)

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, I : Journal of Logic and Algebraic Programming. 102, s. 46-63 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2018

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, I : Fundamenta Informaticae. 161, 4, s. 351-381

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

An empirical study of Bayesian network inference with simple propagation

Butz, C. J., Oliveira, J., dos Santos, A. E. & Madsen, A. L., 1 jan. 2018, I : International Journal of Approximate Reasoning. 92, s. 198-211 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1 Citationer (Scopus)

Average-energy games

Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 1 mar. 2018, I : Acta Informatica. 55, 2, s. 91-127 37 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

12 Citationer (Scopus)

Charting the algorithmic complexity of waypoint routing

Amiri, S. A., Foerster, K. T., Jacob, R. & Schmid, S., 1 jan. 2018, I : Computer Communication Review. 48, 1, s. 42-48 7 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
8 Citationer (Scopus)

Discrete and Continuous Strategies for Timed-Arc Petri Net Games

Jensen, P. G., Larsen, K. G. & Srba, J., 2018, I : International Journal on Software Tools for Technology Transfer. 20, 5, s. 529–546 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

4 Citationer (Scopus)

Early and accurate recognition of highway traffic maneuvers considering real world application: a novel framework using Bayesian networks

Weidl, G., Madsen, A. L., Wang, S., Dietmar, K. & Karlsen, M., 1 sep. 2018, I : IEEE Intelligent Transportation Systems Magazine. 10, 3, s. 146-158 13 s., 8375109.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1 Citationer (Scopus)

Free complete Wasserstein algebras

Mardare, R., Panangaden, P. & Plotkin, G. D., 14 sep. 2018, I : Logical Methods in Computer Science. 14, 3, 16 s., 19.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
5 Downloads (Pure)

High-level frameworks for the specification and verification of scheduling problems

Chadli, M., Kim, J. H., Larsen, K. G., Legay, A., Naujokat, S., Steffen, B. & Traonouez, L. M., 2018, I : International Journal on Software Tools for Technology Transfer. 20, 4, s. 397–422 26 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

3 Citationer (Scopus)

Kraken: Online and Elastic Resource Reservations for Cloud Datacenters

Fuerst, C., Schmid, S., Suresh, L. & Costa, P., feb. 2018, I : IEEE/ACM Transactions on Networking. 26, 1, s. 422-435 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Local fast failover routing with low stretch

Foerster, K. T., Pignolet, Y. A., Schmid, S. & Tredan, G., 1 jan. 2018, I : Computer Communication Review. 48, 1, s. 35-41 7 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

7 Citationer (Scopus)

Loop-Free Route Updates for Software-Defined Networks

Foerster, K. T., Ludwig, A., Marcinkowski, J. & Schmid, S., 1 feb. 2018, I : IEEE/ACM Transactions on Networking. 26, 1, s. 328-341 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Mastering operational limitations of LEO satellites – The GOMX-3 approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 1 okt. 2018, I : Acta Astronautica. 151, s. 726-735 10 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

On decidability of recursive weighted logics

Larsen, K. G., Mardare, R. & Xue, B., 2018, I : Soft Computing. 22, 4, s. 1085-1102

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1 Citationer (Scopus)

Online Aggregation of the Forwarding Information Base: Accounting for Locality and Churn

Bienkowski, M., Sarrar, N., Schmid, S. & Uhlig, S., 1 feb. 2018, I : IEEE/ACM Transactions on Networking. 26, 1, s. 591-604 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Reasoning About Bounds in Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I. & Pedersen, M. R., 26 nov. 2018, I : Logical Methods in Computer Science. 14, 4, 19.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
1 Citationer (Scopus)

Sade: competitive MAC under adversarial SINR

Ogierman, A., Richa, A., Scheideler, C., Schmid, S. & Zhang, J., jun. 2018, I : Distributed Computing. 31, 3, s. 241-254 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

3 Citationer (Scopus)

Scalable importance sampling estimation of Gaussian mixture posteriors in Bayesian networks

Ramos-López, D., Masegosa, A., Salmerón, A., Rumí, R., Langseth, H., Nielsen, T. D. & Madsen, A. L., 1 sep. 2018, I : International Journal of Approximate Reasoning. 100, s. 115-134 20 s., 100.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

3 Citationer (Scopus)

The show must go on: Fundamental data plane connectivity services for dependable SDNs

Borokhovich, M., Rault, C., Schiff, L. & Schmid, S., 1 jan. 2018, I : Computer Communications. 116, s. 172-183 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

A parallel algorithm for Bayesian network structure learning from large data sets

Madsen, A. L., Jensen, F., Salmerón, A., Langseth, H. & Nielsen, T. D., 2017, I : Knowledge-Based Systems. 117, s. 46-55

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
29 Citationer (Scopus)
135 Downloads (Pure)

Cleansing indoor RFID tracking data

Baba, A. I., Lu, H., Pedersen, T. B. & Jaeger, M., 2017, I : SIGSPATIAL Special. 9, 1, s. 11-18 8 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Data locality and replica aware virtual cluster embeddings

Fuerst, C., Pacut, M. & Schmid, S., 2017, I : Theoretical Computer Science. 697, s. 37-57

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2 Citationer (Scopus)

Large cuts with local algorithms on triangle-free graphs

Hirvonen, J., Rybicki, J., Schmid, S. & Suomela, J., 20 okt. 2017, I : Electronic Journal of Combinatorics. 24, 4, 20 s., #P4.21.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
6 Citationer (Scopus)
37 Downloads (Pure)

MAP inference in dynamic hybrid Bayesian networks

Ramos-López, D., Masegosa, A., Martinez, A. M., Salmerón, A., Nielsen, T. D., Langseth, H. & Madsen, A. L., 2017, I : Progress in Artificial Intelligence. 6, 2, s. 133–144 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

On-the-Fly Computation of Bisimilarity Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, I : Logical Methods in Computer Science. 13, 2

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Scaling up Bayesian variational inference using distributed computing clusters

Masegosa, A. R., Martinez, A. M., Langseth, H., Nielsen, T. D., Salmerón, A., Ramos-López, D. & Madsen, A. L., 1 sep. 2017, I : International Journal of Approximate Reasoning. 88, s. 435-451 17 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

7 Citationer (Scopus)

Scheduling congestion-and loop-free network update in timed SDNs

Zheng, J., Chen, G., Schmid, S., Dai, H., Wu, J. & Ni, Q., 1 nov. 2017, I : IEEE Journal on Selected Areas in Communications. 35, 11, s. 2542-2552 11 s., 8058446.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

15 Citationer (Scopus)

Selective AnDE for large data learning: a low-bias memory constrained approach

Chen, S., Martínez, A. M., Webb, G. I. & Wang, L., 1 feb. 2017, I : Knowledge and Information Systems. 50, 2, s. 475-503 29 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

7 Citationer (Scopus)

The many faces of graph dynamics

Pignolet, Y. A., Roy, M., Schmid, S. & Tredan, G., 5 jun. 2017, I : Journal of Statistical Mechanics: Theory and Experiment. 2017, 6, 18 s., 063401.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Toward a taxonomy and attacker model for secure routing protocols

Hollick, M., Nita-Rotaru, C., Papadimitratos, P., Perrig, A. & Schmid, S., 1 jan. 2017, I : Computer Communication Review. 47, 1, s. 43-48 6 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

9 Citationer (Scopus)

Unified Programmability of Virtualized Network Functions and Software-Defined Wireless Networks

Schulz-Zander, J., Mayer, C., Ciobotaru, B., Lisicki, R., Schmid, S. & Feldmann, A., dec. 2017, I : IEEE Transactions on Network and Service Management. 14, 4, s. 1046-1060 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

5 Citationer (Scopus)
2016

Efficient model-checking of weighted CTL with upper-bound constraints

Jensen, J. F., Larsen, K. G., Srba, J. & Østergaard, L. K., 2016, I : International Journal on Software Tools for Technology Transfer. 18, 4, s. 409-426

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

8 Citationer (Scopus)

Foundations of Session Types and Behavioural Contracts

Huttel, H., Lanese, I., T. Vasconcelos, V., Caires, L., Carbone, M., Denielou, P-M., Mostrous, D., Padovani, L., Ravara, A., Tuosto, E., Torres Vieira, H. & Zavattaro, G., apr. 2016, I : A C M Computing Surveys. 49, 1, 36 s., 3.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
81 Citationer (Scopus)
154 Downloads (Pure)

Learning deterministic probabilistic automata from a model checking perspective

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2016, I : Machine Learning. 105, 2, s. 255-299 45 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
14 Citationer (Scopus)
278 Downloads (Pure)

Optimizing the resource requirements of hierarchical scheduling systems

Kim, J. H., Legay, A., Traonouez, L. M., Boudjadar, A., Nyman, U. M., Larsen, K. G., Lee, I. & Choi, J-Y., 2016, I : SIGBED Review. 13, 3, 8 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Probabilistic Graphical Models on Multi-Core CPUs using Java 8

Masegosa, A., Martinez, A. M. & Borchani, H., 2016, I : IEEE Computational Intelligence Magazine. 11, 2, s. 41-54

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
7 Citationer (Scopus)
285 Downloads (Pure)