Alberto Lluch Lafuente (DTU

Identifiers

• name variant Alberto Lluch Lafuente (DTU 0.60 · backfill

Papers (2)

1. Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems cs.LO · 2015 · author #4
2. Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking cs.SE · 2015 · author #7

Mentions

• 1508.03389 #4 · backfill · confidence 0.70 Alberto Lluch Lafuente (DTU
• 1504.03476 #7 · backfill · confidence 0.70 Alberto Lluch Lafuente (DTU

Frequent Coauthors

• Denmark) 2 shared papers
• Italy) 2 shared papers
• Maurice H. ter Beek (ISTI-CNR 2 shared papers
• Pisa 2 shared papers
• Andrea Vandin (University of Southampton 1 shared papers
• Axel Legay (INRIA 1 shared papers
• France) 1 shared papers
• Lyngby 1 shared papers
• Rennes 1 shared papers
• UK) 1 shared papers