Organization profile

Organisation profile

The unit’s research concerns modelling, analysis and realization of computer programs with emphasis on distributed, embedded and intelligent systems. This includes the following areas:

Semantic theories for modelling the behavior of computer programs and systems
Design, implementation and models for analysis and construction of distributed, embedded and intelligent systems.
Algorithms, methods and tools for verification, and validation of programs and systems.
Probabilistic models and algorithms for intelligent decision making and machine learning.

For more information see
DEIS webpage

Fingerprint The fingerprint consists of concepts related to the research profile of the unit and associated persons. It is updated automatically, when new content is added.

Model checking Engineering & Materials Science

Real time systems Engineering & Materials Science

Controllers Engineering & Materials Science

Specifications Engineering & Materials Science

Timed Automata Mathematics

Petri nets Engineering & Materials Science

Semantics Engineering & Materials Science

Scheduling Engineering & Materials Science

Network Dive into details by clicking on the dots.

Profiles

Michele Albano

mialb@cs.aau.dk

The Technical Faculty of IT and Design - Assistant Professor
Department of Computer Science - Assistant Professor
Distributed, Embedded and Intelligent Systems

Person: VIP

Giorgio Bacci

grbacci@cs.aau.dk

The Technical Faculty of IT and Design - Associate Professor
Department of Computer Science - Associate Professor
Distributed, Embedded and Intelligent Systems

Person: VIP

Giovanni Bacci

giovbacci@cs.aau.dk

The Technical Faculty of IT and Design - Associate Professor
Department of Computer Science - Associate Professor
Distributed, Embedded and Intelligent Systems

Person: VIP

FED: Flexible Energy Denmark

Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.

01/04/2019 → 31/03/2023

Project: Research

Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A. B. E., Boudjadar, J. & Kim, J. H.

Det Frie Forskningsråd | Teknologi og Produktion

01/08/2017 → 31/07/2021

Project: Other

DiCyPS: Center for Data-Intensive Cyber-Physical Systems

Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B. & Guerrero, J. M.

01/01/2015 → 31/12/2020

Project: Research

Research Output 1989 2019

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 journal › Journal article › Research › peer-review

Open Access

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 journal › Journal article › Research › peer-review

Learning systems

Message passing

Probability distributions

Java

Machine learning

8 Citations (Scopus)

349 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 journal › Journal article › Research › peer-review

Open Access

File

Power converters

Model checking

Model predictive control

Power electronics

Degradation

Prizes

Best Paper Award

Giovanni Bacci (Recipient), Kim Guldstrand Larsen (Recipient), Nicolas Markey (Recipient), Patricia Bouyer (Recipient), Uli Fahrenberg (Recipient) & Pierre-Alain Reynier (Recipient), 17 Jul 2018

Prize: Conference prizes

Controllers

Uncertainty

Honary Doctorate: for his contributions to Embedded Systems verification

Kim Guldstrand Larsen (Recipient), 27 Nov 2007

Prize: Other prizes

Ansøgning Koordinator Puljen (Quasimodo)

Brian Nielsen (Recipient), 1 Aug 2007

Prize: Other prizes

Activities 2006 2019

37 Conference organisation or participation
10 Membership of review committee
10 Talks and presentations in private or public companies
5 External teaching and course activities at other universities
12 More

Quantitative Evaluation of Systems (QEST) 2019

Mikkel Hansen (Speaker)

10 Sep 2019 → 12 Sep 2019

Activity: Talks and presentations › Conference presentations

Quantitative Evaluation of Systems 2018

Mikkel Hansen (Speaker)

4 Sep 2018

Activity: Talks and presentations › Conference presentations

SELVKØRENDE BILER I DANMARK: ER DE SMÅ SKRIDT I 2018 DE SIDSTE SMÅ SKRIDT FØR SNEBOLDEN RULLER?

Niels Agerholm (Organizer), Ditte Bendix Lanng (Participant), Jakob Haahr Taankvist (Participant), Maria Vestergaard (Organizer), Lars Overgaard (Participant), Søren Randrup-Thomsen (Participant), Morten Ziethen (Participant)

22 May 2018

Activity: Attending an event › Organisation or participation in workshops, courses, or seminars