MU-MMINT is a version of the MMINT, an Eclipse-based infrastructure for INTeractive Model Management, that supports May Uncertainty. It was developed by Alessio Di Sandro.

• Repository link
• MMINT wiki
• Relevant documents: My PhD thesis, Video demo, ICSE’15 demo writeup, MODELS’15 MMINT demo writeup

MetricHistory is an extensible tool developed by Thomas Schweizer for collecting and processing software measurements across mutiple versions of a code base.

• Repository link

Tyson is a Ecore-based DSML developed by Navpreet Kaur for expressing Software Product Lines with Design Choices.

• Repository link
• Relevant documents: Navpreet’s thesis, MoDeVVa’19 paper, MODELS’17 vision paper.

TAPIR  is a tool developed by Erick Raelijohn for generating recommendations to developers about correct API usage. At its core, it relies on the representation of API usage patterns as LTL formulars.

• Repository link
• Relevant documents: FormaliSE’19 paper