Axel Bernard E Legay

Professor, Institut for Datalogi
Professor, Det Tekniske Fakultet for IT og Design
Professor, Distributed, Embedded and Intelligent Systems

Fastnet9940 3496
E-maillegay@cs.aau.dk

Selma Lagerløfs Vej 300, 1-2-13
9220 Aalborg Ø
Danmark

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint

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

1 Lignende profiler

Netværk

Klik på punkterne for at se detaljerne.

1 Igangværende

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

9 Konferenceartikel i proceeding
2 Tidsskriftartikel

ADTLang: A Programming Language Approach to Attack Defense Trees
Hansen, R. R., Larsen, K. G., Legay, A. B. E., Jensen, P. G. & Poulsen, D. B., 7 jan. 2021, I: International Journal on Software Tools for Technology Transfer. 23, 1, s. 89-104 16 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
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

Åben adgang
Fil
4 Citationer (Scopus)

17 Downloads (Pure)
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU
Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 feb. 2018, Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. IEEE, s. 11-19 9 s.
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
2 Citationer (Scopus)

283 Downloads (Pure)
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

4 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

3 Citationer (Scopus)

2 Redaktør af serie

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
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