Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

2017
34 Downloads (Pure)
Open Access
File
8 Citations (Scopus)

Outsmarting Network Security with SDN Teleportation

Thimmaraju, K., Schiff, L. & Schmid, S., 28 Jun 2017, Proceedings - 2017 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, p. 563-578 16 p. 7962003

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

Network security
Telecommunication networks
Switches
Software defined networking
11 Citations (Scopus)

O'zapft is: Tap your network algorithm's big data!

Blenk, A., Kalmbach, P., Kellerer, W. & Schmid, S., 7 Aug 2017, Big-DAMA 2017 - Proceedings of the 2017 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2017. Association for Computing Machinery, p. 19-24 6 p.

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

Learning systems
Big data
Computer networks
Planning
2 Citations (Scopus)

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

Nielsen, B., Zhang, Z., Larsen, K. G., Nies, G., Hermanns, H. & Stenger, M., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Springer, p. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Vol. 10610).

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

Practical controller synthesis for MTL0,∞

Li, G., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 13 Jul 2017, SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 102-111 10 p.

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

Temporal logic
Controllers
Model checking
Scalability

Probabilistic Logic and Relational Models

Jaeger, M., 2017, Encyclopedia of Social Network Analysis and Mining. Alhajj, R. & Rokne, J. (eds.). 2nd ed. Springer

Research output: Contribution to book/anthology/report/conference proceedingEncyclopedia chapterCommunication

7 Citations (Scopus)

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Vol. 10580. p. 248-265 18 p. (Lecture Notes in Computer Science).

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

4 Citations (Scopus)

Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

Hansen, R. R., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 2017, Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, p. 75-90 (Lecture Notes in Computer Science).

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

Open Access
3 Citations (Scopus)

Refinement of Trace Abstraction for Real-Time Programs

Cassez, F., Jensen, P. G. & Larsen, K. G., 7 Sep 2017, Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, p. 42-58 (Lecture Notes in Computer Science, Vol. 10506).

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

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

Symbolic Dependency Graphs for PCTL Model-Checking

Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Vol. 10419. p. 153-169 17 p. (Lecture Notes in Computer Science, Vol. 10419).

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

Model checking
Costs
Specifications

The grand CRU challenge

Blöcher, M., Viering, M., Schmid, S. & Eugster, P., 11 Aug 2017, HotConNet 2017 - Proceedings of the 2017 Workshop on Hot Topics in Container Networking and Networked Systems, Part of SIGCOMM 2017. Association for Computing Machinery, p. 7-11 5 p.

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

Managers
Semantics

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

The vAMP Attack: Taking control of cloud systems via the unified packet parser

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 3 Nov 2017, CCSW 2017 - Proceedings of the 2017 Cloud Computing Security Workshop, co-located with CCS 2017. Association for Computing Machinery, p. 11-15 5 p.

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

Switches
Computer operating systems
Complex networks
Network protocols
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
5 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

1 Citation (Scopus)

Unrestricted stone duality for Markov processes

Furber, R., Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Press, 8005152

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

Markov Process
Duality
Measurable space
Boolean algebra
Modality

Uppaal Stratego for Intelligent Traffic Lights

Eriksen, A. B., Huang, C., Kildebogaard, J., Lahrmann, H. S., Larsen, K. G., Muniz, M. & Taankvist, J. H., 2017, 12th ITS European Congress: Strasbourg, France, 19-22 June 2017. ERTICO - ITS Europe, 10 p. SP0878

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

Telecommunication traffic
Controllers
Radar
Cruise control
Information use
3 Citations (Scopus)

Validation, synthesis and optimization for cyber-physical systems

Larsen, K. G., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer, Vol. 10205 LNCS. p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10205 LNCS).

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

Acoustic waves
Cyber Physical System
4 Citations (Scopus)

Walking the line: The everyday security ties that bind

Coles-Kemp, L. & Hansen, R. R., 2017, Human Aspects of Information Security, Privacy and Trust - 5th International Conference, HAS 2017 Held as Part of HCI International 2017, Proceedings. Springer, Vol. 10292 LNCS. p. 464-480 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10292 LNCS).

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

assets
interaction
research project
EU
citizen

WNetKAT: A Weighted SDN Programming and Verification Language

Larsen, K. G., Schmid, S. & Xue, B., 2017, 20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics; No. 70).

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

Computer programming
Computer programming languages
Computability and decidability
Finite automata
Syntactics
3 Citations (Scopus)

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

Cassez, F., Gonzalez de Aledo, P. & Jensen, P. G., 2017, Models, Algorithms, Logics and Tools. Springer, (Lecture Notes in Computer Science, Vol. 10460).

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

2016
2 Citations (Scopus)
107 Downloads (Pure)

A Complete Approximation Theory for Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 213-228 (Lecture Notes in Computer Science, Vol. 9984).

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

Open Access
File
Bisimulation
Approximation Theory
Transition Systems
Logic
Finite Models
5 Citations (Scopus)

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

Aceto, L., Larsen, K. G., Morichetta, A. & Tiezzi, F., 29 Jan 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer, Vol. 9539. p. 66-85 20 p. (Lecture Notes in Computer Science, Vol. 9539).

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

67 Downloads (Pure)

A Java Toolbox for Analysis of MassIve Data STreams using Probabilistic Graphical Models

Masegosa, A., Martinez, A. M., Ramos-López, D., Langseth, H., Nielsen, T. D., Salmerón, A., Cabanas, R. & Madsen, A. L., 2016.

Research output: Contribution to conference without publisher/journalPosterResearchpeer-review

File
10 Citations (Scopus)

A Local Constant Factor MDS Approximation for Bounded Genus Graphs

Amiri, S., Schmid, S. & Siebertz, S., 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 227-233 7 p.

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

3 Citations (Scopus)

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Chadli, M., Kim, J. H., Legay, A., Traonouez, L. M., Naujokat, S., Bernhard, S. & Larsen, K. G., 2016, Critical Systems: Formal Methods and Automated Verification. Springer, p. 133–141 (Lecture Notes in Computer Science, Vol. 9933).

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

18 Citations (Scopus)

An Approximation Algorithm for Path Computation and Function Placement in SDNs

Even, G., Rost, M. & Schmid, S., 2016, International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, p. 374-390

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

An Automata-Based Approach to Trace Partitioned Abstract Interpretation

Olesen, M. C., Hansen, R. R. & Larsen, K. G., 2016, Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, p. 88-110 (Lecture Notes in Computer Science, Vol. 9560).

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

Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

Larsen, K. G., 2016, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, 1 p.

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

23 Citations (Scopus)

Can't Touch This: Consistent Network Updates for Multiple Policies

Dudycz, S., Ludwig, A. & Schmid, S., 2016, 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE

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

2 Citations (Scopus)

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 21:1--21:14 14 p. (Leibniz International Proceedings in Informatics, Vol. 59).

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

Open Access
Axiomatization
Markov chain
Equational Logic
Deductive System
Approximately equal
1 Citation (Scopus)

Distributed Algorithms for Time Optimal Reachability Analysis

Zhang, Z., Nielsen, B. & Larsen, K. G., 17 Aug 2016, Formal Modeling and Analysis of Timed Systems. Springer, p. 157-176 (Lecture Notes in Computer Science, Vol. 9884).

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

Parallel algorithms
Model checking
Distributed computer systems
Scalability
Scheduling
6 Citations (Scopus)

Distributed computation of fixed points on dependency graphs

Dalsgaard, A. E., Enevoldsen, S., Larsen, K. G. & Srba, J., Nov 2016, Dependable Software Engineering: Theories, Tools, and Applications. Springer, p. 197-212 16 p. (Lecture Notes in Computer Science, Vol. 9984).

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

Model checking
Parallel algorithms
Experiments
Linux

d-VMP: Distributed Variational Message Passing

Masegosa, A., Martinez, A. M., Langseth, H., Nielsen, T. D., Salmerón, A., Ramos-López, D. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. p. 321-332 12 p. (JMLR Workshop and Conference Proceedings, Vol. 52).

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

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

ENCOURAGEing results on ICT for energy efficient buildings

Le Guilly, T., Skou, A. J., Olsen, P., Madsen, P. P., Albano, M., Ferreira, L. L., Pinho, L. M., Pedersen, K. L., Casals, M., Macarulla, M. & Gongolells, M., 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference. IEEE, 8 p.

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

Middleware
Energy conservation
201 Downloads (Pure)

Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model

Wognsen, E. R., Hansen, R. R., Larsen, K. G. & Koch, P., 20 Apr 2016, 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE, p. 163-168 6 p.

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

File

Fieldbook: Developing embedded systems & smart products in practice

Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 1 Mar 2016, København V: Dansk industri. 83 p.

Research output: Book/ReportBookCommunication

Open Access
1 Citation (Scopus)

Formal modelling and analysis of Bitflips in ARM assembly code

Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 27 Jun 2016, In : Information Systems Frontiers. 18, 5, p. 909–925 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

5 Citations (Scopus)

Formal Modelling and Analysis of Socio-Technical Systems

Probst, C. W., Kammüller, F. & Hansen, R. R., 2016, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

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

69 Citations (Scopus)
127 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
5 Citations (Scopus)
135 Downloads (Pure)

Importance Sampling for Stochastic Timed Automata

Jegourel, C., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 2016, Dependable Software Engineering: Theories, Tools, and Applications. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 163-178 16 p. (Lecture Notes in Computer Science, Vol. 9984).

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

File
Importance sampling
22 Citations (Scopus)

Kraken: Online and elastic resource reservations for multi-tenant datacenters

Fuerst, C., Schmid, S., Suresh, L. & Costa, P., 27 Jul 2016, IEEE INFOCOM 2016 - 35th Annual IEEE International Conference on Computer Communications. IEEE, Vol. 2016-July. 9 p. 7524466

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

Network performance
Bandwidth
8 Citations (Scopus)

Learning-Based Cleansing for Indoor RFID Data

Baba, A. I., Jaeger, M., Lu, H., Pedersen, T. B., Ku, W-S. & Xie, X., 2016, ACM SIGMOD Conference. Association for Computing Machinery, p. 925-936 12 p.

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

14 Citations (Scopus)
256 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
1 Citation (Scopus)

LegoFi the WiFi building blocks! The case for a modular WiFi architecture

Schulz-Zander, J., Schmid, S., Kempf, J., Riggio, R. & Feldmann, A., 3 Oct 2016, Proceedings of the Workshop on Mobility in the Evolving Internet Architecture, MobiArch 2016. Association for Computing Machinery, p. 7-12 6 p. 2980142

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

Decomposition
Hardware
Controllers
Chemical analysis
4 Citations (Scopus)

Limit Your Consumption! Finding Bounds in Average-energy Games

Larsen, K. G., Laursen, S. & Zimmermann, M., 2 Nov 2016, Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. Tribastone, M. & Wiklicky, H. (eds.). p. 1-14 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 227).

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

Open Access