By Venue

Research

Venue	Formalization
BX13	Least-change lenses specification
INESCTEC15	PTCRISync synchronization framework
ORCID-CASRAI15	PTCRISync synchronization framework
MEDI16	Slowly changing dimension ETL pattern
CONFENIS17	OLAP Cube usage preferences

Venue	Examples	Benchmarks
FASE13	Object-relational mapping (without associations/keys)	--
ASE13	Object-relational mapping (with associations/keys)	--
BX14	SPL development (minimal)	--
PhD14	Company human resources synchronization (minimal) Expand/collapse hierarchical state machines Object-relational mapping (without associations/keys) SPL development (minimal)	CD2DBS [Ecore]
FASE15	I am my own grandpa	--
FSE16	Elevator system SPL Hotel room locking system (free configurations) Ring leader election algorithm Spanning tree algorithm	Elevator SPL [Electrum] Hotel [Electrum] [TLA+] Ring Leader [Electrum] [TLA+] Span tree [Electrum] [TLA+]
SoSyM16	Company human resources synchronization (minimal) Expand/collapse hierarchical state machines Object-relational mapping (without associations/keys)	CD2DBS [Ecore]
CoRR16	Hotel locking (fixed configurations) Hotel locking (free configurations)	--
ABZ18a	ERTMS	--
ASE18	Ring leader	Dijkstra [Electrum] ERTMS [Electrum] Firewire [Electrum] Hotel locking [Electrum] Java types [Electrum] Span tree [Electrum] Ring leader [Electrum]