Projects per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
Projects
- 1 Finished
-
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A., Boudjadar, J. & Kim, J. H.
Independent Research Fund Denmark | Technology and Production sciences
01/08/2017 → 31/07/2021
Project: Other
Research output
-
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, In: International Journal on Software Tools for Technology Transfer. 23, 1, p. 89-104 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
2 Citations (Scopus) -
Analysis of Source Code Using UPPAAL
Kulczynski, M., Legay, A., Nowotka, D. & Poulsen, D. B., 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 338, p. 31-38 8 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile2 Citations (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. (eds.). Springer, p. 325-330 6 p. (Lecture Notes in Computer Science, Vol. 12476).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Communication
-
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. (eds.). Association for Computing Machinery, p. 1114-1126 13 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
14 Citations (Scopus) -
Computing branching distances with quantitative games
Fahrenberg, U., Legay, A. & Quaas, K., 22 Dec 2020, In: Theoretical Computer Science. 847, p. 134-146 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
2 Citations (Scopus)
Activities
- 2 Series editor
-
KiMfest 2017 (Event)
Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Iulian Mardare (Editor)
19 Aug 2017 → 20 Aug 2017Activity: Editorial work and peer review › Series editor › Research
-
KiMfest (Event)
Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Mardare (Editor)
19 Aug 2017 → 20 Aug 2017Activity: Editorial work and peer review › Series editor › Research