Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer 1989 2020

2020
78 Downloads (Pure)

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

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 jan. 2020, Distributed Simulation and Real-Time Applications. IEEE Press, s. 1-10 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Scheduling
1 Citation (Scopus)
5 Downloads (Pure)

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., 2020, I : Science of the Total Environment. 707, 135487.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
decision analysis
Decision theory
ecosystem service
Roofs
Ecosystems
2019
2 Citationer (Scopus)
1 Downloads (Pure)

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). Zhang, L. & Vojnar, T. (red.). Springer, s. 316-333 18 s. (Lecture Notes in Computer Science, Bind 11427).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Model checking
Concretes
6 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, I : IEEE Access. 7, s. 125022-125037 16 s., 8812663.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
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, I : Knowledge-Based Systems. 163, s. 595-597 3 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Learning systems
Message passing
Probability distributions
Java
Machine learning
9 Citationer (Scopus)
403 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, I : I E E E Transactions on Industrial Electronics. 66, 3, s. 2004 - 2014 11 s., 8368064.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
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, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

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, 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Paris, France: IEEE, s. 697-702 6 s. 8820366. (International Conference on Control, Decision and Information Technologies (CoDIT)).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. (Leibniz International Proceedings in Informatics, Bind 140).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil

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, s. 452-477 (Lecture Notes in Computer Science, Bind 10000).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

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, I : Transportation Research Procedia.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer 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, I : Mathematical Structures in Computer Science. 29, Special Issue 1, s. 3-37 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, I : Data Mining and Knowledge Discovery. 33, 5, s. 1254–1297 44 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Earth (planet)
Data structures
Statistics

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, (Afsendt) Cold Spring Harbor Laboratory Press.

Publikation: Working paperForskning

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 - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Proceedings. Meurs, M-J. & Rudzicz, F. (red.). Cham: Springer, s. 42-54 13 s. (Lecture Notes in Computer Science, Bind 11489).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Experiments

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Larsen, K. G. (red.) & Willemse, T. (red.), 2019, Springer Publishing Company. (Lecture Notes in Computer Science, Bind 11687).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

2 Downloads (Pure)

Full-Band Music Genres Interpolations with Wasserstein Autoencoders

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
music
interpolation
acids
acoustics
29 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. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (red.). Association for Computing Machinery, s. 460-463 4 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Learning systems
Fusion reactions
Neural networks

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

Larsen, K. G., Coent, A. C. L., Mikučionis, M. & Taankvist, J. H., 2019, Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Heidelberg: Springer, s. 113-133 (Lecture Notes in Computer Science, Bind 11615).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Adaptive cruise control
Reinforcement learning
Dynamical systems

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 s. (International Conference on Advanced Learning Technologies (ICALT)).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 sep. 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (red.). s. 651-669 19 s. (Lecture Notes in Computer Science, Bind 11800).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Learning algorithms
Sampling
Formal languages
Model structures
Testing
1 Downloads (Pure)

Learning and Interpreting Multi-Multi-Instance Learning Networks

Tibo, A., 2019. 1 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPosterFormidling

Fil

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, s. 67-78 12 s. (Proceedings of the I-ESA Conferences, Bind 9).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, I : Journal of Logical and Algebraic Methods in Programming. 105, 1, s. 28-46 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. (red.). Springer, s. 37-51 15 s. (Lecture Notes in Computer Science, Bind 11785).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Reward
Model Checking
Uncertainty
Model
Markov Model

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Margaria, T. (red.), Graf, S. (red.) & Larsen, K. G. (red.), 2019, Springer Publishing Company. (Theoretical Computer Science and General Issues, Bind 11200).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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). Biondi, F., Given-Wilson, T. & Legay, A. (red.). Springer, s. 1-19 19 s. (Lecture Notes in Computer Science, Bind 11636).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1 Downloads (Pure)

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
decision analysis
Decision theory
Bayesian networks
ecosystem service
Ecosystems
1 Downloads (Pure)

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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
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, I : V L D B Journal. 28, 4, s. 575-595 21 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Industry
Decision making
Predictive analytics
1 Citation (Scopus)
1 Downloads (Pure)

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, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (red.). Springer, s. 50-68 19 s. (Lecture Notes in Computer Science, Bind 11429).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
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 okt. 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Reengineering
2 Citationer (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). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (red.). Springer, s. 106-122 17 s. (Lecture Notes in Computer Science, Bind 11495).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Scheduling
Reinforcement learning
Security systems
Scalability
Formal verification
29 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, I : Journal of Aerospace Information Systems. 16, 11

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Avionics
Model checking
Stop watches
Communication
Ethernet

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Åben adgang
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 - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Proceedings. Rudzicz, F. & Meurs, M-J. (red.). Cham: Springer, s. 68-79 12 s. (Lecture Notes in Computer Science, Bind 11489).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (red.). Heidelberg: Springer, s. 147-164 18 s. (Lecture Notes in Computer Science, Bind 11785).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Decision trees
Embedded systems
Cost functions
23 Downloads (Pure)
Åben adgang
Fil
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, I : Journal of Logical and Algebraic Methods in Programming. 102, s. 46-63 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Petri nets
Petri Nets
State Space
Partial Order
Arc of a curve
19 Downloads (Pure)

Sustainable Energy Systems Planning, Integration, and Management

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

Publikation: Bidrag til tidsskriftLederForskningpeer review

Åben adgang
Fil
planning
Sustainable development
Planning
Health risks
Cooking
2 Citationer (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (red.). Springer, s. 298-315 18 s. (Lecture Notes in Computer Science, Bind 11460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 s. 2. (Leibniz International Proceedings in Informatics, Bind 140).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
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 okt. 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (red.). Springer, s. 81-97 17 s. (Lecture Notes in Computer Science, Bind 11781).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (red.). Heidelberg: Springer, s. 216-235 20 s. (Lecture Notes in Computer Science, Bind 11750).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Finite automata
Genetic programming
Model checking
Testing
Clocks
3 Downloads (Pure)

UPPAAL STRATEGO

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2019. 1 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPosterFormidling

Fil
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, Bind 10951. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (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, s. 212-229 (Lecture Notes in Computer Science, Bind 11247).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, s. 339-344 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Sensors
Dispensers
Bayesian networks
Fault detection
Software engineering
1 Citation (Scopus)
53 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. (red.). s. 39-51 13 s. (Electronic Proceedings in Theoretical Computer Science, Bind 272).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil