Maurice H. ter Beek (ISTI-CNR

Identifiers

• name variant Maurice H. ter Beek (ISTI-CNR 0.60 · backfill

Papers (6)

1. Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems cs.LO · 2016 · author #1
2. Towards a Feature mu-Calculus Targeting SPL Verification cs.LO · 2016 · author #1
3. Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems cs.LO · 2015 · author #1
4. Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking cs.SE · 2015 · author #1
5. Coherent branching feature bisimulation cs.LO · 2015 · author #4
6. Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems cs.LO · 2014 · author #1

Mentions

• 1508.03389 #1 · backfill · confidence 0.70 Maurice H. ter Beek (ISTI-CNR
• 1504.03476 #1 · backfill · confidence 0.70 Maurice H. ter Beek (ISTI-CNR
• 1504.03474 #4 · backfill · confidence 0.70 Maurice H. ter Beek (ISTI-CNR
• 1409.2294 #1 · backfill · confidence 0.70 Maurice H. ter Beek (ISTI-CNR

Frequent Coauthors

• Italy) 6 shared papers
• Pisa 6 shared papers
• Alberto Lluch Lafuente (DTU 2 shared papers
• Denmark) 2 shared papers
• Eindhoven 2 shared papers
• Erik P. de Vink (TU/e 2 shared papers
• the Netherlands) 2 shared papers
• Amsterdam 1 shared papers
• Andrea Vandin (University of Southampton 1 shared papers
• Ant\'onio Ravara (New University of Lisbon 1 shared papers
• Axel Legay (INRIA 1 shared papers
• CWI 1 shared papers
• France) 1 shared papers
• Lyngby 1 shared papers
• Michele Loreti (University of Florence 1 shared papers
• Portugal) 1 shared papers
• Rennes 1 shared papers
• Tessa Belder (TU/e 1 shared papers
• Tim A. C. Willemse (TU/e 1 shared papers
• UK) 1 shared papers