Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2019

2019
2 Citations (Scopus)

Abstract Dependency Graphs and Their Application to Model Checking

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Springer, Vol. 11427. p. 316-333 18 p. (Lecture Notes in Computer Science, Vol. 11427).

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

Open Access
Model checking
Concretes
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)
383 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

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Essays on the Occasion of Bernhard Steffen's 60th Birthday: Models, Mindsets, Meta: The What, the How, and the Why Not?.. Springer, Vol. 11200. p. 27-35 (Lecture Notes in Computer Science).

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

Open Access
Spreadsheets
Model checking
Parallel programming
Scalability
Derivatives

Arrowhead Framework services for condition monitoring and maintenance based on the open source approach

Campos, J., Sharma, P., Albano, M., Jantunen, E., Baglee, D. & Ferreira, L. L., 23 Apr 2019, 6th International Conference on Control Decision Information Technologies. Paris, France: IEEE

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

Open Access
Bearings (structural)
Condition monitoring
Open systems
Health
Signal systems
76 Downloads (Pure)

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 7 Sep 2019, (Accepted/In press) Distributed Simulation and Real-Time Applications.

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

File
Scheduling

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, In : Leibniz International Proceedings in Informatics. 140, p. 1 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access

Continuous-Time Models for System Design and Analysis

Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, Vol. 10000. p. 452-477

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

Open Access
Systems analysis
Pacemakers
Temporal logic
Controllers
Monitoring

Controlling Signalized Intersections using Machine Learning

Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2019, In : Transportation Research Procedia.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Learning systems
traffic
Controllers
simulation
road
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

Development of a hybrid Bayesian network model for predicting acute fish toxicity using multiple lines of evidence

Moe, J., Madsen, A. L., Connors, K. A., Rawlings, J. M., Belanger, S. E., Landis, W. G., Wolf, R. & Lillicrap, A. D., 30 Aug 2019, (Submitted) Cold Spring Harbor Laboratory Press.

Research output: Working paperResearch

toxicity
fish
embryo
chemical substance
ecotoxicology

Exploiting Symmetry of Independence in d-Separation

Butz, C. J., dos Santos, A. E., Oliveira, J. & Madsen, A. L., 2019, Advances in Artificial Intelligence. Canadian AI 2019. Cham: Springer Nature, p. 42-54 (Lecture Notes in Computer Science, Vol. 11489).

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

Experiments

Full-Band Music Genres Interpolations with Wasserstein Autoencoders

Borghuis, T., Tibo, A., Conforti, S., Brusci, L. & Frasconi, P., 2019, Ital-IA.

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

File
music
interpolation
acids
acoustics
14 Downloads (Pure)

Graph Convolutional Networks for Road Networks

Skovgaard Jepsen, T., Jensen, C. S. & Nielsen, T. D., 5 Nov 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. p. 460-463 4 p.

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

Open Access
File
Learning systems
Fusion reactions
Neural networks

Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education

Panum, T. K., Hageman, K. D., Pedersen, J. M. & Hansen, R. R., 2 Sep 2019, 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT). IEEE, 3 p. (International Conference on Advanced Learning Technologies (ICALT)).

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

Education
Students
Computer networks
Automation
Virtualization

Kraaler: A User-Perspective Web Crawler

Panum, T. K., Hansen, R. R. & Pedersen, J. M., 5 Aug 2019, 2019 Network Traffic Measurement and Analysis Conference (TMA). IEEE, 8 p.

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

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 Sep 2019, Proc. of International Symposium on Formal Methods: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Vol. 11800. p. 651 669 p. (Lecture Notes in Computer Science).

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

Learning algorithms
Sampling
Formal languages
Model structures
Testing

Maintenance 4.0 world of integrated information

Jantunen, E., Di Orio, G., Hegedűs, C., Varga, P., Moldován, I., Larrinaga, F., Krawczyk-Becker, M., Albano, M. & Maló, P., 26 Apr 2019, Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability. Springer Publishing Company, Vol. 9. p. 67-78 12 p. (Proceedings of the I-ESA Conferences, Vol. 9).

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

Interoperability
Information management
Failure analysis
Data structures
Industry

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

Model checking constrained markov reward models with uncertainties

Bacci, G., Hansen, M. & Larsen, K. G., 1 Sep 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Physica-Verlag, p. 37-51 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11785 LNCS).

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

Reward
Model Checking
Uncertainty
Model
Markov Model

Model Verification Through Dependency Graphs

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Springer, Vol. 11636. p. 1-19 19 p. (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

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

Partial order reduction for reachability games

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 140. 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

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

Model checking
Petri nets
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

Presentation of the 9th Edition of the Model Checking Contest

Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Physica-Verlag, p. 50-68 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11429 LNCS).

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

Model checking
Data storage equipment
Bronze
Program processors
Silver

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

Pedersen, T., Albano, M. & Nielsen, B., 17 Oct 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE

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

Reengineering
2 Citations (Scopus)

Safe and Time-Optimal Control for Railway Games

Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Springer, Vol. 11495. p. 106-122 17 p. (Lecture Notes in Computer Science).

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

Scheduling
Reinforcement learning
Security systems
Scalability
Formal verification
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

Solving Influence Diagrams with Simple Propagation

Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2019, Advances in Artificial Intelligence. Canadian AI 2019. Cham: Springer Nature, Vol. 11489. p. 68-79 (Lecture Notes in Computer Science, Vol. 11489).

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

Message passing
Bayesian networks

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

Ashok, P., Kretínsky, J., Larsen, K. G., Coent, A. C. L., Taankvist, J. H. & Weininger, M., 2019, Proceedings of the 16th International Conference, QEST. Heidelberg: Springer, Vol. 11785. p. 147-164

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

Open Access
Decision trees
Embedded systems
Cost functions
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
14 Downloads (Pure)

Sustainable Energy Systems Planning, Integration, and Management

Anvari-Moghaddam, A., Mohammadi-Ivatloo, B., Asadi, S., Larsen, K. G. & Shahidehpour, M., Oct 2019, In : Applied Sciences. 9, 20, 5 p.

Research output: Contribution to journalEditorialResearchpeer-review

Open Access
File
planning
Sustainable development
Planning
Health risks
Cooking
2 Citations (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Mariegaard, A., Larsen, K. G. & Jensen, M. C., 2019, NASA Formal Methods. Springer, Vol. 11460. p. 298-315 18 p. (Lecture Notes in Computer Science).

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

Model checking

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 140.

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

Open Access
Decision trees

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 Oct 2019, LNCS: ATVA 2019: Automated Technology for Verification and Analysis. Vol. 11781. p. 81-97

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

Reinforcement learning
Teaching
Controllers
Cyber Physical System

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., Aug 2019, Proceedings of International Conference on Formal Modeling and Analysis of Timed Systems. Heidelberg: Springer, Vol. 11750.

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

Open Access
Finite automata
Genetic programming
Model checking
Testing
Clocks
2018

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

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

3 Citations (Scopus)

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

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

Industry
1 Citation (Scopus)

A component framework as an enabler for industrial cyber physical systems

Neto, L., Madsen, A. L., Søndberg-Jeppesen, N., Silva, R., Reis, J., McIntyre, P. & Gonçalves, G., 15 Jun 2018, Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018. IEEE, p. 339-344 6 p.

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

Sensors
Dispensers
Bayesian networks
Fault detection
Software engineering
1 Citation (Scopus)
47 Downloads (Pure)

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

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

Open Access
File
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)
36 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)
67 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)
10 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