Projekter pr. år
Fingerprint
- 1 Lignende profiler
Netværk
Projekter
- 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
Publikationer
-
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 adgangFil4 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 adgangFil2 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 adgang4 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)
Aktiviteter
- 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. 2017Aktivitet: 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. 2017Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning