Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

2018
4 Citations (Scopus)

Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices

Frazzetto, D., Neupane, B., Pedersen, T. B. & Nielsen, T. D., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 1-11 11 p.

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

Quality of service
Scheduling
Energy utilization
Uncertainty

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)
44 Downloads (Pure)

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sep 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

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

Open Access
File
Chemical analysis
2 Citations (Scopus)
75 Downloads (Pure)

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). EPTCS, Vol. 268. p. 150-168 19 p. (Electronic Proceedings in Theoretical Computer Science).

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

Open Access
File
Avionics
Model checking
Stop watches
Concretes
1 Citation (Scopus)
15 Downloads (Pure)

An Algebraic Theory of Markov Processes

Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 679-688 10 p. (Annual Symposium on Logic in Computer Science).

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

Open Access
File
Algebraic Theory
Markov Process
Axiomatization
Equational Logic
Centrobaric
2 Citations (Scopus)

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

Ivanov, D., Larsen, K. G., Schupp, S. & Srba, J., 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 173-189 17 p. (Lecture Notes in Computer Science, Vol. 11024).

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

Hybrid systems
Extrapolation
Statistical methods
Differential equations
Sensors
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
2 Citations (Scopus)
140 Downloads (Pure)

A Review of Inference Algorithms for Hybrid Bayesian Networks

Salmerón, A., Rumí, R., Langseth, H., Nielsen, T. D. & Madsen, A. L., 1 Aug 2018, In : Journal of Artificial Intelligence Research. 62, p. 799-828 30 p.

Research output: Contribution to journalReview articleResearchpeer-review

Open Access
File
Bayesian networks
Costs
10 Citations (Scopus)

Average-energy games

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

Research output: Contribution to journalJournal articleResearchpeer-review

Data storage equipment
Controllers
2 Citations (Scopus)

A Walk in the Clouds: Routing through VNFs on Bidirected Networks

Förster, K-T., Parham, M. & Schmid, S., 2018, Algorithmic Aspects of Cloud Computing: Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers. Springer, p. 11-26 (Lecture Notes in Computer Science, Vol. 10739).

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

15 Downloads (Pure)

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Pedersen, M. R., 2018, Aalborg Universitetsforlag. 264 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Open Access
File
3 Citations (Scopus)

Boolean-valued semantics for the stochastic Lambda-calculus

Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 669-678 10 p.

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

Stochastic Calculus
Lambda Calculus
Measure Algebra
Term
Higher Order
8 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

Open Access
Computer networks
Hardness
Hardware
1 Citation (Scopus)
90 Downloads (Pure)

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Apr 2018, In : Electronic Notes in Theoretical Computer Science. 336, p. 27-39 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Total Variation Distance
Axiomatization
Markov processes
Markov chain
Deduction
21 Citations (Scopus)

Contracts for System Design

Benveniste, A., Caillaud, B., Nicovic, D., Passerone, R., Raclet, J-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T. & Larsen, K. G., 2018, Now Foundations and Trends. 293 p.

Research output: Book/ReportBook

Open Access
Systems analysis
Requirements engineering
Large scale systems
Scheduling

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Coënt, A. L., Fribourg, L. & Vacher, J., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 259-264 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Detection of Mirai by Syntactic and Behavioral Analysis

Ben Said, N., Biondi, F., Bontchev, V., Decourbe, O., Given-Wilson, T., Legay, A. & Quilbeuf, J., 16 Nov 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society Press, p. 224-235 12 p. 8539084. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Vol. 2018-October).

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

Syntactics
Botnet
Malware
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
197 Downloads (Pure)

Efficient Analysis and Synthesis of Complex Quantitative Systems

Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Open Access
File
120 Downloads (Pure)

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 Sep 2018, In : Electronic Proceedings in Theoretical Computer Science. 277, p. 147-160 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Real time systems
Model checking
Testing
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
46 Downloads (Pure)

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

Boudjadar, J., Kim, J. H., Phan, L. T. X., Lee, I., Larsen, K. G. & Nyman, U., 25 Jul 2018, Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE, p. 51-58 8 p. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

File
Scheduling
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

Inference, Learning, and Population Size: Projectivity for SRL Models

Jaeger, M. & Schulte, O., 2018, Eighth International Workshop on Statistical Relational AI: Accepted Papers. Statistical Relational AI (StarAI), 8 p.

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

Open Access
population size
learning
prediction
1 Citation (Scopus)
208 Downloads (Pure)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 Feb 2018, 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, p. 11-19 9 p.

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

Open Access
File
Acoustic waves
Controllers
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

Latency performance of encoding with random linear network coding

Nielsen, L., Hansen, R. R. & Lucani, D. E., 1 Jan 2018, European Wireless 2018 : 24th European Wireless Conference . VDE Verlag GMBH, p. 120-124 5 p.

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

Linear networks
Network coding
Data storage equipment

Learning and Interpreting Multi-Multi-Instance Learning Networks

Tibo, A., Jaeger, M. & Frasconi, P., 2018, (Submitted)

Research output: Other contributionResearch

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
12 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
1 Citation (Scopus)

MCC’2017: The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 Jan 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). Springer, p. 181-209 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

edition
Spain
evaluation
software
2 Citations (Scopus)

Model-Based Mutation Testing of Real-Time Systems via Model Checking

Lorber, F., Larsen, K. G. & Nielsen, B., Apr 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 59-68

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

Model checking
Real time systems
Testing
Specifications
Gears
7 Citations (Scopus)

Model Checking Real-Time Systems

Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, p. 1001-1046

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Timed Automata
Model Checking
Weighted Automata
Real-time
Finite State Automata
1 Citation (Scopus)

NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 Aug 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, p. 21-26 6 p.

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

Industry
Virtual machine
1 Citation (Scopus)

On decidability of recursive weighted logics.

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Computability and decidability
Decidability
Logic
Transition Systems
Syntactics
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

Open Access
File
Agglomeration
Gateways (computer networks)
Routers
Program processors
Switches
1 Citation (Scopus)

On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, p. 3421-3430 10 p.

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

Learning systems
Availability
2 Citations (Scopus)
38 Downloads (Pure)

On the Verification of Weighted Kripke Structures Under Uncertainty

Bacci, G., Hansen, M. & Larsen, K. G., 1 Jan 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (eds.). Springer, p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11024 LNCS).

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

Open Access
File
Random variables
Experiments
Uncertainty
1 Citation (Scopus)

Optimal and robust controller synthesis: Using energy timed automata with uncertainty

Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer, p. 203-221 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10951 LNCS).

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

Computability and decidability
Hydraulics
Pumps
Controllers
Uncertainty
7 Citations (Scopus)

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

Schmid, S. & Srba, J., 2018, IEEE INFOCOM 2018 - IEEE Conference on Computer Communications. IEEE, p. 1799-1807 9 p. (I E E E Infocom. Proceedings).

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

Telecommunication networks
Polynomials
Automata theory
Complex networks
Transparency
4 Citations (Scopus)

P-Rex: fast verification of MPLS networks with multiple link failures

Jensen, J. S., Krøgh, T. B., Madsen, J. S., Schmid, S., Srba, J. & Thorgersen, M. T., 2018, Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, p. 217-227 11 p. (Conference on Emerging Networking EXperiments and Technologies).

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

Switching networks
Labels
Routers
Query languages
Electric network analysis

Reachability problems: Special issue

Larsen, K. G., Potapov, I. & Srba, J., 30 Nov 2018, In : Theoretical Computer Science. 750, p. 1

Research output: Contribution to journalEditorialResearchpeer-review

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
2 Citations (Scopus)

Riesz Modal logic for Markov processes

Mio, M., Furber, R. & Mardare, R. I., 2018, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005091

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

Riesz Space
Modal Logic
Markov Process
Logic
Monads
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
2 Citations (Scopus)

Sensors: The Enablers for Proactive Maintenance in the Real World

Albano, M., Ferreira, L. L., Di Orio, G., Malo, P., Webers, G., Jantunen, E., Gabilondo, I., Viguera, M., Papa, G. & Novak, F., 10 Apr 2018, 2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018. IEEE, p. 569-574 6 p. (International Conference on Control, Decision and Information Technologies (CoDIT)).

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

Sensors
Monitoring

Simple Propagation with Arc-Reversal in Bayesian Networks

Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2018, Proceedings of Machine Learning Research. PMLR Press, Vol. 72. p. 260-271 (The Proceedings of Machine Learning Research).

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

Open Access