Organization profile

Organisation profile

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

Research Output 2012 2019

8 Downloads (Pure)

A framework for provenance-preserving history distribution and incremental reduction

Lluch Lafuente, A., 1 Jan 2019, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, p. 471-486 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
84 Downloads (Pure)

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
119 Downloads (Pure)

A verified prover based on ordered resolution

Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs. Mahboubi, A. & Myreen, M. O. (eds.). Association for Computing Machinery, p. 152-165

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

Open Access

Activities 2014 2015

  • 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



Otto Mønsteds Fund: Travel grant

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

Prize: Prizes, scholarships, distinctions