Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2019

Filter
Journal article
2019
4 Downloads (Pure)

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, In : IEEE Access. 7, p. 125022-125037 16 p., 8812663.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Highway accidents
Automotive industry
Authentication
Railroad cars
Innovation
1 Citation (Scopus)

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, In : Knowledge-Based Systems. 163, p. 595-597 3 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Learning systems
Message passing
Probability distributions
Java
Machine learning
8 Citations (Scopus)
381 Downloads (Pure)

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Power converters
Model checking
Model predictive control
Power electronics
Degradation
1 Citation (Scopus)

Converging from branching to linear metrics on Markov chains

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

Research output: Contribution to journalJournal articleResearchpeer-review

Markov processes
Branching
Markov chain
Semantics
Linear Time

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

Jaeger, M., Lippi, M., Pellegrini, G. & Passerini, A., Sep 2019, In : Data Mining and Knowledge Discovery. 33, 5, p. 1254–1297 44 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Earth (planet)
Data structures
Statistics
1 Citation (Scopus)

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., 2019, In : Science of the Total Environment.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
decision analysis
Decision theory
ecosystem service
Roofs
Ecosystems

Model Checking and Synthesis for Branching Multi-Weighted Logics

Jensen, J. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M. & Srba, J., 2019, In : Journal of Logical and Algebraic Methods in Programming. 105, 1, p. 28-46 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Model checking
Model Checking
Branching
Synthesis
Logic

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, In : Environmental Modelling & Software. 124

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
decision analysis
Decision theory
Bayesian networks
ecosystem service
Ecosystems
1 Citation (Scopus)

Prescriptive Analytics: A Survey of Emerging Trends And Technologies

Frazzetto, D., Nielsen, T. D., Pedersen, T. B. & Siksnys, L., 1 Aug 2019, In : V L D B Journal. 28, 4, p. 575-595

Research output: Contribution to journalJournal articleResearchpeer-review

Industry
Decision making
Predictive analytics
28 Downloads (Pure)

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 Nov 2019, In : AIAA Journal. 16, 11

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Avionics
Model checking
Stop watches
Ethernet
Concretes

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

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

Research output: Contribution to journalJournal articleResearch

Open Access
Programming theory
Embedded software
Computer science
Programming
Embedded Software
22 Downloads (Pure)

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, In : I E E E Industrial Electronics Magazine. 13, 3, p. 6-15 10 p., 8845791.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Model predictive control
Model checking
Power electronics
Aviation
Sensor networks

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, In : Journal of Logical and Algebraic Methods in Programming. 102, p. 46-63 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Petri nets
Petri Nets
State Space
Partial Order
Arc of a curve
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, In : Fundamenta Informaticae. 161, 4, p. 351-381

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

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, In : International Journal of Approximate Reasoning. 92, p. 198-211 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Bayesian networks
Bayesian Networks
Empirical Study
Propagation
Factorization
10 Citations (Scopus)

Average-energy games

Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., Mar 2018, In : Acta Informatica. 55, 2, p. 91-127

Research output: Contribution to journalJournal articleResearchpeer-review

Data storage equipment
Controllers
7 Citations (Scopus)

Charting the algorithmic complexity of waypoint routing

Amiri, S. A., Foerster, K. T., Jacob, R. & Schmid, S., 1 Jan 2018, In : Computer Communication Review. 48, 1, p. 42-48 7 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Computer networks
Hardness
Hardware
4 Citations (Scopus)

Discrete and Continuous Strategies for Timed-Arc Petri Net Games

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

Research output: Contribution to journalJournal articleResearchpeer-review

Petri nets
Controllers
1 Citation (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, In : IEEE Intelligent Transportation Systems Magazine. 10, 3, p. 146-158 13 p., 8375109.

Research output: Contribution to journalJournal articleResearchpeer-review

Cognitive systems
Knowledge representation
Bayesian networks
Uncertainty
4 Downloads (Pure)

Free complete Wasserstein algebras

Mardare, R., Panangaden, P. & Plotkin, G. D., 14 Sep 2018, In : Logical Methods in Computer Science. 14, 3, 16 p., 19.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Wasserstein Distance
Algebra
Complete Metric Space
Axioms
Centrobaric
2 Citations (Scopus)

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, In : International Journal on Software Tools for Technology Transfer. 20, 4, p. 397–422 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Scheduling
Specifications
Monitoring
Cyber Physical System
4 Citations (Scopus)

Kraken: Online and Elastic Resource Reservations for Cloud Datacenters

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

Research output: Contribution to journalJournal articleResearchpeer-review

Network performance
Bandwidth
6 Citations (Scopus)

Local fast failover routing with low stretch

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

Research output: Contribution to journalJournal articleResearchpeer-review

Throughput
Topology
11 Citations (Scopus)

Loop-Free Route Updates for Software-Defined Networks

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

Research output: Contribution to journalJournal articleResearchpeer-review

Scheduling algorithms
Controllers

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 Oct 2018, In : Acta Astronautica. 151, p. 726-735 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Orbits
Earth (planet)
Satellites
Scheduling
Nanosatellites
2 Citations (Scopus)

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Agglomeration
Gateways (computer networks)
Routers
Program processors
Switches

Reasoning About Bounds in Weighted Transition Systems

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Bisimulation
Transition Systems
Reasoning
Logic
Finite Models
3 Citations (Scopus)

Sade: competitive MAC under adversarial SINR

Ogierman, A., Richa, A., Scheideler, C., Schmid, S. & Zhang, J., Jun 2018, In : Distributed Computing. 31, 3, p. 241-254 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

MAC Protocol
Interference
Unit Disk Graph
Distributed Protocol
Jamming
3 Citations (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, In : International Journal of Approximate Reasoning. 100, p. 115-134 20 p., 100.

Research output: Contribution to journalJournal articleResearchpeer-review

Importance sampling
Gaussian Mixture
Importance Sampling
Bayesian networks
Bayesian Networks
1 Citation (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, In : Computer Communications. 116, p. 172-183 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Network architecture
Switches
Availability
Software defined networking
2017
Open Access
Axiomatization
Deduction
Markov processes
Markov chain
Equational Logic
20 Citations (Scopus)
94 Downloads (Pure)

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, In : Knowledge-Based Systems. 117, p. 46-55

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Cleansing indoor RFID tracking data

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

Research output: Contribution to journalJournal articleResearch

2 Citations (Scopus)

Data locality and replica aware virtual cluster embeddings

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

Research output: Contribution to journalJournal articleResearchpeer-review

Data Locality
Replica
Hardness
Graph Embedding
Embedding Problem
4 Citations (Scopus)
18 Downloads (Pure)

Large cuts with local algorithms on triangle-free graphs

Hirvonen, J., Rybicki, J., Schmid, S. & Suomela, J., 20 Oct 2017, In : Electronic Journal of Combinatorics. 24, 4, 20 p., #P4.21.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Triangle-free Graph
Local Algorithms
Regular Graph
Randomized Algorithms
Lower bound
2 Citations (Scopus)
89 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, In : Progress in Artificial Intelligence. 6, 2, p. 133–144 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
1 Citation (Scopus)
17 Downloads (Pure)

On-the-Fly Computation of Bisimilarity Distances

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Markov processes
Linear Program
Continuous-time Markov Chain
Polynomials
State Space
7 Citations (Scopus)

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, In : International Journal of Approximate Reasoning. 88, p. 435-451 17 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Distributed computer systems
Distributed Computing
Variational Methods
Variational Bayes
Scaling
12 Citations (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, In : IEEE Journal on Selected Areas in Communications. 35, 11, p. 2542-2552 11 p., 8058446.

Research output: Contribution to journalJournal articleResearchpeer-review

Scheduling
Switches
Polynomials
Controllers
Computer simulation
7 Citations (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, In : Knowledge and Information Systems. 50, 2, p. 475-503 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Data storage equipment
Experiments

The many faces of graph dynamics

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

Research output: Contribution to journalJournal articleResearchpeer-review

Dynamic Graphs
Centrality
Graph in graph theory
Complex Networks
Quantify
9 Citations (Scopus)

Toward a taxonomy and attacker model for secure routing protocols

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

Research output: Contribution to journalJournal articleResearch

Taxonomies
Routing protocols
Technical presentations
Communication systems
Network protocols
3 Citations (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, In : IEEE Transactions on Network and Service Management. 14, 4, p. 1046-1060 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2016
7 Citations (Scopus)

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Model checking
Experiments
68 Citations (Scopus)
112 Downloads (Pure)

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, In : A C M Computing Surveys. 49, 1, 36 p., 3.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
14 Citations (Scopus)
243 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, In : Machine Learning. 105, 2, p. 255-299 45 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Model checking
Learning algorithms
Temporal logic
Hardware

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, In : SIGBED Review. 13, 3, 8 p.

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)
246 Downloads (Pure)

Probabilistic Graphical Models on Multi-Core CPUs using Java 8

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

Research output: Contribution to journalJournal articleResearchpeer-review

File
9 Citations (Scopus)
132 Downloads (Pure)

Statistical and exact schedulability analysis of hierarchical scheduling systems

Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 27 May 2016, In : Science of Computer Programming. 127, p. 103-130 28 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Scheduling
Model checking
4 Citations (Scopus)

Students' Experiences of Change in a PBL Curriculum

Dahl, B., Holgaard, J. E., Hüttel, H. & Kolmos, A., 2016, In : International Journal of Engineering Education. 32, 1(B), p. 384-395

Research output: Contribution to journalJournal articleResearchpeer-review