Projekter pr. år
Fingerprint
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Projekter
- 1 Afsluttet
-
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
2 Citationer (Scopus) -
Analysis of Source Code Using UPPAAL
Kulczynski, M., Legay, A., Nowotka, D. & Poulsen, D. B., 2021, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 338, s. 31-38 8 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)29 Downloads (Pure) -
30 Years of Statistical Model Checking
Larsen, K. G. & Legay, A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 325-330 6 s. (Lecture Notes in Computer Science, Bind 12476).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Formidling
-
Baital: An adaptive weighted sampling approach for improved t-wise coverage
Baranov, E., Legay, A. & Meel, K. S., 8 nov. 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (red.). Association for Computing Machinery, s. 1114-1126 13 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
14 Citationer (Scopus) -
Computing branching distances with quantitative games
Fahrenberg, U., Legay, A. & Quaas, K., 22 dec. 2020, I: Theoretical Computer Science. 847, s. 134-146 13 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (Scopus)
Aktiviteter
- 2 Redaktør af serie
-
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
-
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