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
ABZ18a	Hybrid ERTMS/ETCS Level 3
STTT19	Hybrid ERTMS/ETCS Level 3
SCP21	Alloy4Fun derivation trees

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)	Elevator SPL [Electrum] Hotel locking [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 room locking system (fixed configurations) Hotel room locking system (free configurations)	Hotel (fixed) [Electrum] [TLA+] Hotel (free) [Electrum] [TLA+]
ASE18	Ring leader	Dijkstra [Electrum] ERTMS [Electrum] Firewire [Electrum] Hotel locking [Electrum] Java types [Electrum] Span tree [Electrum] Ring leader [Electrum]
ABZ18b	Hotel room locking system (free configurations)	--
FIDE18	Hybrid ERTMS/ETCS Level 3 (simplified)	--
SETTA19	Alloy4Fun derivation trees	Alloy4Fun [Colorful Alloy] Own Grandpa [Colorful Alloy]