Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

• 15 Lignende profiler

Importance sampling Teknik og materialevidenskab

Reinforcement learning Teknik og materialevidenskab

Teaching Teknik og materialevidenskab

Controllers Teknik og materialevidenskab

Cyber Physical System Teknik og materialevidenskab

Acoustic waves Teknik og materialevidenskab

Netværk Klik på punkterne for at se detaljerne.

Projekter 2017 2021

• 1 Aktiv

Projekter pr. år

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.

Danmarks Frie Forskningsfond | Teknologi og Produktion

01/08/2017 → 31/07/2021

Projekter: Projekt › Andet

Publikationer 2015 2019

• 9 Konferenceartikel i proceeding
• 1 Tidsskriftartikel

Publikationer pr. år

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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

Reinforcement learning

Teaching

Controllers

Cyber Physical System

1 Citation (Scopus)

211 Downloads (Pure)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 feb. 2018, 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, s. 11-19 9 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

Fil

Acoustic waves

Controllers

4 Citationer (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, s. 75-90 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang

3 Citationer (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, s. 133–141 (Lecture Notes in Computer Science, Bind 9933).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

5 Citationer (Scopus)

132 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. (red.). Springer, s. 163-178 16 s. (Lecture Notes in Computer Science, Bind 9984).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Fil

Importance sampling

Aktiviteter 2017 2017

• 2 Redaktør af serie

Aktiviteter pr. år

KiMfest (Begivenhed)

Luca Aceto (Redaktør), Giorgio Bacci (Redaktør), Giovanni Bacci (Redaktør), Anna Ingolfsdottir (Redaktør), Axel Legay (Redaktør), Radu Mardare (Redaktør)

19 aug. 2017 → 20 aug. 2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning

KiMfest 2017 (Begivenhed)

Luca Aceto (Redaktør), Giorgio Bacci (Redaktør), Giovanni Bacci (Redaktør), Anna Ingolfsdottir (Redaktør), Axel Legay (Redaktør), Radu Iulian Mardare (Redaktør)

19 aug. 2017 → 20 aug. 2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning