Organization profile

Organisation profile

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A framework for quantitative modeling and analysis of highly (re)configurable systems

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2020, (Accepted/In press) In : I E E E Transactions on Software Engineering. 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
90 Downloads (Pure)

Teaching a Formalized Logical Calculus

From, A. H., Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2020, In : Electronic Proceedings in Theoretical Computer Science. 313, p. 73-92

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2020, Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Association for Computing Machinery, 11. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Activities

  • 2 Conference presentations

CryptoForma Workshop

Omar Almousa (Speaker)
13 Jul 2015

Activity: Talks and presentationsConference presentations

Adaptivity Framework: libpappadapt

Lars Frydendal Bonnichsen (Speaker)
22 Jan 2014

Activity: Talks and presentationsConference presentations

File

Prizes

Otto Mønsteds Fund: Travel grant

Hugo-Andrés López-Acosta (Recipient), 25 Oct 2015

Prize: Prizes, scholarships, distinctions