Software & Technology Transfer (12)
2026
uvlhighlight
A Latex package that provides syntax highlighting for the Universal Variability Language (UVL). It is based on the listings package and supports all UVL keywords. The package includes multiple visual themes (default, Flamapy, UVLS dark mode, and black & white) and provides inline commands for semantic highlighting. It also supports user-defined features' attributes and the inclusion of external .uvl files.
BibTexViz
A tool that transforms .bib files into interactive visualizations for exploring and analyzing research productivity. It offers an intuitive overview of the research publication landscape over the years, allowing users to quickly identify the most significant publications and understand their context. BibTexViz bridges the gap between raw bibliographic data and insightful visual analytics, enabling researchers to explore their career trajectories while aligning with the principles of the CoARA and DORA initiatives.
2025
UVengine
A universal variability resolution engine for UVL models and text-based artifacts with Jinja templates.
2024
UVLHub
An open source repository for managing and sharing UVL models, currently the de facto standard for variability modeling.
2023
FMSans
FMSans is a compilation technique for feature models to eliminate cross-tree constraints and analyze it without the need of a SAT or BDD solver.
Flamapy
The cutting-edge Python-based tool for Automated Analysis of Feature Models using UVL and more.
Rhea web
Web application for applying transformations (refactorings) to variability models with the aim of providing interoperability between software product lines applications.
2022
FM Fact Label
A tool to generate visualizations of feature model characterizations as a fact label similar to the nutritions fact label.
ACaPulCO
Eclipse-based tool for optimal configuration of software product lines using genetic algorithms and consistency-preserving configuration operators.
2021
MCTS framework for FM analyses
Monte Carlo Tree Search (MCTS) conceptual framework to analyze software product lines problems by modeling them as a sequence of decision steps and solving them with Monte Carlo techniques.
2019
iStar2FM
Set of algorithms and scripts to perform a mapping from an i* (iStar) requirements model to a feature model (FM).
2017
vEXgine
Customizable and extensible implementation of the execution engine for the Common Variability Language (CVL) based on Model-to-Model transformations using a general purpose transformation language such as ATL. The tool was awarded the 🏆 Hitachi Young Best Paper Award at the SPLC 2017 conference, a prize sponsored by the Hitachi company. Additionally, it has been successfully used by the University of A Coruña and the company Enxenio.
