Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

2018
4 Citations (Scopus)

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 Mar 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, p. 143-163 (Lecture Notes in Computer Science, Vol. 10877).

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

Model checking
Petri nets
Explosions

Smart Home Models - Analysis, Simulation and Synthesis

Pedersen, T., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

2 Citations (Scopus)
132 Downloads (Pure)

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 Jul 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, p. 527-546 (Lecture Notes in Computer Science, Vol. 10981).

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

Open Access
File

Statistical model checking the 2018 edition!

Guldstrand Larsen, K. & Legay, A., 1 Jan 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (eds.). Springer, p. 261-270 10 p. (Lecture Notes in Computer Science, Vol. 11245 LNCS).

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

3 Citations (Scopus)
46 Downloads (Pure)

Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Sep 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, p. 1-10 10 p. 8515598

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

Open Access
File
Model predictive control
Diodes
Model checking
Power electronics
Industrial applications
9 Citations (Scopus)

Taking control of SDN-based cloud systems via the data plane

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 28 Mar 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, 15 p. 3185468

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

Switches
Software defined networking
Computer systems
Servers
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
1 Citation (Scopus)
70 Downloads (Pure)

Timed Comparisons of Semi-Markov Processes

Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Klein, S. T., Martin-Vide, C. & Shapira, D. (eds.). Springer Publishing Company, p. 271-283 (Lecture Notes in Computer Science; No. 10792).

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

Open Access
File
Semi-Markov Process
Probabilistic Automata
Algorithmic Complexity
Markovian Process
Residence Time

Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation

Schioler, H., Totu, L., Dimon, J., Larsen, K. G. & Taankvist, J. H., 26 Oct 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, p. 146-152 7 p. 8511477

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

Unmanned aerial vehicles (UAV)
Motion planning
Controllers

Using machine learning and object detection for signal-controlled intersections

Lahrmann, H. S., Eriksen, A. B., Taankvist, J. H., Hansen, M. F. & Larsen, K. G., 2018, ITS 2018 Conference Proceedings: Transport network operations. Copenhagen: ITS World, Vol. 6. 10 p. EU-TP1618

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

Learning systems
Controllers
Travel time
Fuel consumption
Railroad cars

Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

Jensen, M. C., Larsen, K. G. & Mardare, R., 1 Jan 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (eds.). Springer, p. 145-161 17 p. (Lecture Notes in Computer Science, Vol. 11022 LNCS).

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

Bisimulation
Branching
Equivalence
Pseudometric
Logic
2017
Open Access
Axiomatization
Deduction
Markov processes
Markov chain
Equational Logic
3 Citations (Scopus)

A delay-robust touristic plan recommendation using real-world public transportation information

Ayala, V. A. A., Alzogbi, A., Gülsen, K. C., Färber, M., Muñiz, M. & Lausen, G., 1 Jan 2017, In : CEUR Workshop Proceedings. 1906, p. 9-17 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Recommender systems
Experiments

A Hierarchical Tree Distance Measure for Classification

Caspersen., K. M., Madsen., M. B., Eriksen., A. B. & Thiesson., B., 2017, Proceedings of the 6th International Conference on Pattern Recognition Applications and Methods - Volume 1: ICPRAM. SCITEPRESS Digital Library, p. 502-509

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

Open Access
File
6 Citations (Scopus)

Algorithm-data driven optimization of adaptive communication networks

He, M., Kalmbach, P., Blenk, A., Kellerer, W. & Schmid, S., 21 Nov 2017, 2017 IEEE 25th International Conference on Network Protocols, ICNP 2017. IEEE, 8117592

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

Telecommunication networks
Learning systems
Learning algorithms
Resource allocation
Labels
1 Citation (Scopus)
216 Downloads (Pure)

Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach

Novak, M., Dragicevic, T., Blaabjerg, F. & Nyman, U. M., Jul 2017, Proceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL). IEEE Press, 6 p. (IEEE Workshop on Control and Modeling for Power Electronics (COMPEL) ).

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

Open Access
File
Model predictive control
Model checking
Power electronics
Electric potential
Uninterruptible power systems

A network architecture for multi-multi-instance learning

Tibo, A., Frasconi, P. & Jaeger, M., 2017, Joint European Conference on Machine Learning and Knowledge Discovery in Databases. Vol. 105324. p. 737-752 16 p.

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

Open Access
Network architecture
Neural networks
Boolean functions
Network layers
Image classification
1 Citation (Scopus)

A Network Architecture for Multi-Multi-Instance Learning

Tibo, A., Frasconi, P. & Jaeger, M., 2017, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part I. Springer, p. 737-752 16 p. (Lecture Notes in Computer Science . Sublibrary: Lecture Notes in Artificial Intelligence, Vol. 10534).

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

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

Application system design - energy optimisation

Albano, M., Castineira, R., Desdouits, C., Ferreira, L. L., Le Guilly, T., Isasa, I., Jokinen, J., Kondratjevs, K., Kunicina, N., Manero, L., Milo, A., Monge, J., Le Pape, C., Pedersen, P. D., Pedersen, T. B., Olsen, P., Siksnys, L., Skou, A. J., Smid, R., Socorro, R. & 2 others, Stluka, P. & Zabasta, A., 6 Feb 2017, IoT Automation: Arrowhead Framework. Delsing, J. (ed.). CRC Press, p. 211-247 36 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

6 Citations (Scopus)

A Self-Organizing Distributed and In-Band SDN Control Plane

Canini, M., Salem, L., Schiff, L., Schiller, E. M. & Schmid, S., 2017, IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017. IEEE, p. 2656-2657 2 p. (Proceedings of the International Conference on Distributed Computing Systems).

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

1 Citation (Scopus)

A Two-Way Path Between Formal and Informal Design of Embedded Systems

Chen, M., Ravn, A. P., Wang, S., Yang, M. & Zhan, N., 2017, Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer, p. 65-92 (Lecture Notes in Computer Science, Vol. 10134).

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

1 Citation (Scopus)

Bayesian models of data streams with Hierarchical Power Priors

Masegosa, A., Nielsen, T. D., Langseth, H., Ramos-López, D., Salmerón, A. & Madsen, A. L., 2017, Proceedings of the 34th International Conference on Machine Learning. Vol. 70. p. 2334-2343

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

Open Access
Computational efficiency
11 Downloads (Pure)

Brief announcement: Distributed SplayNets

Peres, B. S., Goussevskaia, O., Schmid, S. & Avin, C., 1 Oct 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3 p. (Leibniz International Proceedings in Informatics, Vol. 91).

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

Open Access
File
Communication
12 Citations (Scopus)

Chronus: Consistent Data Plane Updates in Timed SDNs

Zheng, J., Chen, G., Schmid, S., Dai, H. & Wu, J., 13 Jul 2017, Proceedings - IEEE 37th International Conference on Distributed Computing Systems, ICDCS 2017. IEEE, p. 319-327 9 p. 7979978. (Proceedings of the International Conference on Distributed Computing Systems).

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

Trees (mathematics)
Polynomials
Controllers
Experiments

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

Competitive clustering of stochastic communication patterns on a ring

Avin, C., Cohen, L. & Schmid, S., 2017, Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Springer, p. 231-247 17 p. (Lecture Notes in Computer Science, Vol. 10299 LNCS).

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

Communication
Costs
Servers
Virtual machine
18 Citations (Scopus)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Gebler, D., Larsen, K. G. & Tini, S., 2017, In : Logical Methods in Computer Science. 12, 4

Research output: Contribution to journalConference article in JournalResearch

Open Access

Compositional testing of real-time systems

Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 Jan 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Vol. 10500 LNCS. p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).

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

Real time systems
Testing

Convergence of even simpler robots without position information

Pattanayak, D., Mondal, K., Mandal, P. S. & Schmid, S., 2017, Networked Systems - 5th International Conference, NETYS 2017, Proceedings. Springer, Vol. 10299 LNCS. p. 69-85 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10299 LNCS).

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

Robots
Stabilization
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)
45 Downloads (Pure)

Demand-aware network designs of bounded degree

Avin, C., Mondal, K. & Schmid, S., 1 Oct 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. (Leibniz International Proceedings in Informatics, Vol. 91).

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

Open Access
File
Communication
Information theory
Entropy

Dependable and optimal cyber-physical systems

Larsen, K. G., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. LNCS ed. Springer, Vol. 10139. p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10139 LNCS).

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

3 Citations (Scopus)

Efficient service graph embedding: A practical approach

Nemeth, B., Sonkoly, B., Rost, M. & Schmid, S., 4 May 2017, 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2016. IEEE, p. 19-25 7 p. 7919470

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

Surgery
Automation
Availability
Experiments
Software defined networking

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P. & Skou, A. J., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, p. 603-622 (Lecture Notes in Computer Science, Vol. 10460).

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

7 Citations (Scopus)

Extended dependency graphs and efficient distributed fixed-point computation

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2017, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Springer, Vol. 10258 LNCS. p. 139-158 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10258 LNCS).

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

Model checking
Petri nets
Backpropagation
Explosions
3 Citations (Scopus)

Financial Data Analysis with PGMs Using AMIDST

Cabanas, R., Martinez, A. M., Masegosa, A. R., Ramos-Lopez, D., Sameron, A., Nielsen, T. D., Langseth, H. & Madsen, A. L., 30 Jan 2017, Proceedings - 16th IEEE International Conference on Data Mining Workshops, ICDMW 2016. IEEE, p. 1284-1287 4 p. 7836816

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

Economics
6 Citations (Scopus)

Formal validation of supervisory energy management systems for microgrids

Sugumar, G., Selvamuthukumaran, R., Dragicevic, T., Nyman, U., Larsen, K. G. & Blaabjerg, F., Oct 2017, Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, p. 1154-1159 6 p.

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

Energy management systems
Renewable energy resources
Real time systems
Energy storage
Physics
149 Downloads (Pure)

Infinite-dimensionality in quantum foundations: W∗-algebras as presheaves over matrix algebras

Rennela, M., Staton, S. & Furber, R., 1 Jan 2017, Proceedings 13th International Conference on Quantum Physics and Logic . Duncan, R. & Heunen, C. (eds.). Open Publishing Association, p. 161-173 13 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 236).

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

Open Access
File
Presheaves
W-algebras
Matrix Algebra
Dimensionality
Completely Positive Maps
4 Citations (Scopus)
23 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
5 Citations (Scopus)

Load-Optimal Local Fast Rerouting for Resilient Networks

Pignolet, Y. A., Schmid, S. & Tredan, G., 30 Aug 2017, Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017. IEEE, p. 345-356 12 p. 8023135

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

Routing algorithms
Computer networks
Parallel algorithms
Communication
3 Citations (Scopus)
101 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
5 Citations (Scopus)

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

Liebel, G., Anjorin, A., Knauss, E., Lorber, F. & Tichy, M., 2017, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (eds.). Portugal: SCITEPRESS Digital Library, Vol. 1. p. 427-434

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

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, L. (ed.), Bacci, G. (ed.), Bacci, G. (ed.), Ingolfsdottir, A. (ed.), Larsen, K. G. (ed.), Legay, A. (ed.) & Mardare, R. I. (ed.), 2017, Springer. 1 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 10460).

Research output: Book/ReportAnthologyResearchpeer-review

8 Citations (Scopus)

Mutation-Based Test-Case Generation with Ecdar

Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, p. 319-328 10 p. 7899077

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

Testing
Specifications
Alarm systems
Railroad cars
1 Citation (Scopus)

Online tree caching

Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 Jul 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Vol. Part F129316. p. 329-338 10 p.

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

3 Citations (Scopus)

On the axiomatizability of quantitative algebras

Mardare, R. I., Panagaden, P. & Plotkin, G., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005102

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

Horn clause
Algebra
Quasivariety
Equational Theory
Model Theory
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
4 Citations (Scopus)

On the Metric-Based Approximate Minimization of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In : Leibniz International Proceedings in Informatics. 80, 44, p. 1 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
Markov processes
Experiments
31 Downloads (Pure)
Open Access
File