references.bib

@STRING{OMG = {{Object Management Group}}}
@STRING{SOSYM = {Software and Systems Modeling}}
@STRING{SPR = {Springer-Verlag}}
@STRING{SPRADDR = {Berlin, Heidelberg, New York}}
@STRING{LNCS = {Lecture Notes of Computer Science}}

@article{DBLP:journals/corr/PachecoMCV13,
	author    = {Hugo Pacheco and
	Nuno Macedo and
	Alcino Cunha and
	Janis Voigtl{\"{a}}nder},
	title     = {A Generic Scheme and Properties of Bidirectional Transformations},
	journal   = {CoRR},
	volume    = {abs/1306.4473},
	year      = {2013},
	url       = {http://arxiv.org/abs/1306.4473},
	archivePrefix = {arXiv},
	eprint    = {1306.4473},
	timestamp = {Mon, 13 Aug 2018 16:46:02 +0200},
	biburl    = {https://dblp.org/rec/bib/journals/corr/PachecoMCV13},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{Bak16,
  author    = {Kacper Bak and
               Zinovy Diskin and
               Michal Antkiewicz and
               Krzysztof Czarnecki and
               Andrzej Wasowski},
  title     = {Clafer: unifying class and feature modeling},
  journal   = {SoSyM},
  volume    = {15},
  number    = {3},
  pages     = {811--845},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/s10270-014-0441-1},
  doi       = {10.1007/s10270-014-0441-1},
  timestamp = {Wed, 13 Jul 2016 10:05:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sosym/BakDACW16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}


@Misc{familyToPersons,
author = {Anthony Anjorin},
title = { {\sc FamilyToPersons} v0.1 in {Bx} {Examples} {Repository} },
howpublished = {\url{http://bx-community.wikidot.com/examples:home}},
note = {Date retrieved: \today}
}

@inproceedings{Cheney2014,
author = {Cheney, James and McKinna, James and Stevens, Perdita and Gibbons, Jeremy},
booktitle = {Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014)},
editor = {Candan, K. Selccuk and Amer-Yahia, Sihem and Schweikardt, Nicole and Christophides, Vassilis and Leroy, Vincent},
mendeley-groups = {Papers/Leveraging Incremental Pattern Matching Techniques for Model Synchronisation,Papers/20 years of TGGs,Papers/ICGT Tool Paper 2016},
pages = {87--91},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
title = {{Towards a Repository of Bx Examples}},
volume = {1133},
year = {2014}
}

@inproceedings{Diskin2014,
author = {Diskin, Zinovy and Wider, Arif and Gholizadeh, Hamid and Czarnecki, Krzysztof},
booktitle = {ICMT 2014},
editor = {Ruscio, Davide Di and Varr{\'{o}}, D{\'{a}}niel},
mendeley-groups = {Papers/20 years of TGGs,Papers/Leveraging Incremental Pattern Matching Techniques for Model Synchronisation,Papers/ICGT Tool Paper 2016},
pages = {57--73},
publisher = {Springer},
series = {LNCS},
title = {{Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization}},
volume = {8568},
year = {2014}
}

@inproceedings{AnjorinCG0RS14,
  author    = {Anthony Anjorin and
               Alcino Cunha and
               Holger Giese and
               Frank Hermann and
               Arend Rensink and
               Andy Sch{\"{u}}rr},
  title     = {BenchmarX},
  booktitle = {Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014)},
  pages     = {82--86},
  year      = {2014},
  editor = {Candan, K. Selccuk and Amer-Yahia, Sihem and Schweikardt, Nicole and Christophides, Vassilis and Leroy, Vincent},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings}
}

@proceedings{2015bx,
  editor    = {Alcino Cunha and
               Ekkart Kindler},
  title     = {Proceedings of the 4th International Workshop on Bidirectional Transformations (BX 2015)},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1396},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1396},
  urn       = {urn:nbn:de:0074-1396-7},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/staf/2015bx},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@Misc{Shonan16,
title = {{Bidirectional Transformations - NII Shonan Meeting Seminar 091}},
howpublished = {\url{http://shonan.nii.ac.jp/seminar/091/}},
note = {Date retrieved: \today}
}

@techreport{kang1990feature,
  title={{Feature-Oriented Domain analysis (FODA) Feasibility Study}},
  author={Kang, Kyo C and Cohen, Sholom G and Hess, James A and Novak, William E and Peterson, A Spencer},
  year={1990},
  institution={DTIC Document}
}

@inproceedings{Schurr1994,
author = {Sch{\"{u}}rr, Andy},
booktitle = {WG 1994},
editor = {Mayr, Ernst W. and Schmidt, Gunther and Tinhofer, Gottfried},
mendeley-groups = {Papers/Leveraging Incremental Pattern Matching Techniques for Model Synchronisation,Papers/Muilti-amalgamated TGGs (JVLC),Papers/20 years of TGGs,Papers/SDM formalisation,Papers/Consistency Check with TGGs,Papers/ICGT Tool Paper 2016,Papers/Bidirectional Method Patterns for Frontend Modernisation,Papers/SSBX-Tutorial},
pages = {151--163},
publisher = {Springer},
series = {LNCS},
title = {{Specification of Graph Translators with Triple Graph Grammars}},
volume = {903},
year = {1994}
}

@article{JOT:issue_2011_01/article6,
  author = {Zinovy Diskin and Yingfei Xiong and Krzysztof Czarnecki},
  title = {{From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case}},
  journal = {JOT},
  volume = {10},
  issn = {1660-1769},
  year = {2011},
  pages = {6:1-25},
  doi = {10.5381/jot.2011.10.1.a6},
  url = {http://www.jot.fm/contents/issue_2011_01/article6.html}
}

@inproceedings{ICMT2009-Czarnecki,
	author =	{Krzysztof Czarnecki and J. Nathan Foster and Zhenjiang
	Hu and Ralf L{\"a}mmel and Andy Sch{\"u}rr and James F.
	Terwilliger},
	title =	{Bidirectional Transformations: {A} Cross-Discipline
	Perspective},
	crossref =	{ICMT2009},
	pages =	{260--283}
}

@PROCEEDINGS{ICMT2009,
	booktitle = {Proceedings of the Second International
	Conference on Theory and Practice of Model Transformations (ICMT 2009)},
	year = {2009},
	editor = {Richard F. Paige},
	month = 	 jun,
	volume = {5563},
	series = LNCS,
	publisher = SPR,
	address = {Zurich, Switzerland}
}

@Article{SOSYM-Hidaka2016,
	author = 	 {Soichoro Hidaka and Massimo Tisi and Jordi Cabot and Zhenjiang Hu},
	title = 	 {Feature-Based Classification of Bidirectional Transformation Approaches},
	journal = 	 SOSYM,
	year = 	 {2016},
	volume =	 {15},
	number =	 {3},
	pages =	 {907--928},
	month =	 jul
}

@inproceedings{Anjorin2017,
	author = {Anthony Anjorin and Zinovy Diskin and Fr\'{e}d\'{e}ric Jouault and Hsiang-Shang Ko and Erhan Leblebici and Bernhard Westfechtel},
	editor = {Romina Eramo and Michael Johnson},
	title = {Benchmarx Reloaded: A Practical Framework for Bidirectional Transformations},
	booktitle = {Sixth International Workshop on Bidirectional Transformations (BX 2017)},
	date = {29.04.2017},
	series = {CEUR Workshop Proceedings},
	volume = {1827},
	pages = {15--30},
	year = {2017},
	address = {Uppsala, Sweden},	
	month = apr,
}

@inproceedings{Anjorin2017a,
	author = {Anthony Anjorin and Thomas Buchmann and Bernhard Westfechtel},
	title = {The {Families to Persons} Case},
	crossref = {TTC2017},
	pages     = {27--34},	
}

@proceedings{TTC2017,
	editor = {Antonio Garcia-Dominguez and Georg Hinkel and Filip Krikava},
	title = {Proceedings of the 10th Transformation Tool Contest (TTC 2017)},
	volume = {2026},
	series = {{CEUR} Workshop Proceedings},
	address = {Marburg, Germany},
	month = jul,
	year = {2017}
}

@Article{SCP-Jouault2008,
	title =	{{ATL}: {A} model transformation tool},
	author =	{Fr{\'e}d{\'e}ric Jouault and Freddy Allilaire and Jean
	B{\'e}zivin and Ivan Kurtev},
	journal =	SCP,
	year = 	{2008},
	number =	{1--2},
	volume =	{72},
	pages =	{31--39}
}

@inproceedings{Leblebici2014a,
	author    = {Erhan Leblebici and
	Anthony Anjorin and
	Andy Sch{\"{u}}rr},
	editor    = {Davide Di Ruscio and Daniel Varr{\'o}},
	title     = {Developing eMoflon with eMoflon},
	booktitle = {Proceedings of the 7th International Conference on Theory and Practice of Model Transformations	({ICMT} 2014)},
	pages     = {138--145},
	year      = {2014},
	series    = LNCS,
	volume    = {8568},
	address   = {York, UK},
	month     = jul,
}



@article{IST2018-Samimi,
	author = {Leila Samimi-Dehkordi and Bahman Zamani and Shekoufeh Kolahdouz-Rahimi},
	title = {{EVL+STrace}: A Novel Bidirectional Transformation Approach},
	journal = {Information and Software Technology},
	volume = {100},
	month = aug,
	pages = {47--72},
	year = {2018},
}

@InProceedings{SLE2010-Cicchetti,
	author="Cicchetti, Antonio
	and Di Ruscio, Davide
	and Eramo, Romina
	and Pierantonio, Alfonso",
	editor="Malloy, Brian
	and Staab, Steffen
	and van den Brand, Mark",
	title="{JTL}: A Bidirectional and Change Propagating Transformation Language",
	booktitle="Proceedings of the Third International Conference on Software Language Engineering (SLE 2010)",
	year="2010",
	month=oct,
	publisher=SPR,
	volume={6563},
	series=LNCS,
	address="Eindhoven, The Netherlands",
	pages="183--202",
}

@inproceedings{PEPM2016-Ko,
	author = {Ko, Hsiang-Shang and Zan, Tao and Hu, Zhenjiang},
	title = {{BiGUL}: A Formally Verified Core Language for Putback-based Bidirectional Programming},
	booktitle = {Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2016)},
	year = {2016},
	address = {St. Petersburg, Florida, USA},
	publisher = {ACM},
}

@article{POPL2018-Ko,
	Author = {Ko, Hsiang-Shang and Hu, Zhenjiang},
	Journal = {Proceedings of the ACM on Programming Languages},
	Number = {POPL},
	Pages = {41},
	Title = {An Axiomatic Basis for Bidirectional Programming},
	Volume = {2},
	Year = {2018},
	optdoi = {10.1145/3158129}}

@inproceedings{AFP08-Norell,
	Author = {Norell, Ulf},
	Booktitle = {Advanced Functional Programming},
	Pages = {230--266},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Dependently Typed Programming in {Agda}},
	Volume = 5832,
	Year = 2009}

@InProceedings{MODELSWARD2018-Buchmann,
	author = 	 {Thomas Buchmann},
	title = 	 {{BXtend} --- A Framework for (Bidirectional) Model Transformations},
	booktitle =	 { Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD (MODELSWARD 2018)},
	pages =	 {336--345},
	year =	 {2018},
	editor =	 {Slimane Hamoudi and Luis Ferreira Pires and Bran Selic},
	address =	 {Funchal, Madeira},
	month =	 jan,
	optorganization = {{INSTICC}},
	publisher =	 {{SciTePress}},
	optdoi       = {10.5220/0006563503360345}
}

@ARTICLE{SoSym2018-Westfechtel,
	author = {Bernhard Westfechtel},
	title = {Case-Based Exploration of Bidirectional Transformations in {QVT Relations}},
	journal = SOSYM,
	month = jul,
	year = {2018},
	volume = {17},
	number = {3},
	pages = {989--1029},
	OPTDOI = {10.1007/s10270-016-0527-z},
} 

@ARTICLE{SoSym2017-Hinkel,
	author = {Georg Hinkel and Erik Burger},
	title = {Change Propagation and Bidirectionality in Internal Transformation {DSLs}},
	journal = SOSYM,
	month = aug,
	year = {2017},
	OPTvolume = {17},
	OPTnumber = {3},
	OPTpages = {989--1029},
	note = {Online first},
} 

@InProceedings{ENASE2018-Westfechtel,
	author = 	 {Bernhard Westfechtel},
	title = 	 {Incremental Bidirectional Transformations: Applying {QVT Relations} to the {Families to Persons} Benchmark},
	booktitle =	 {Proceedings of the 13th International Conference on the Evaluation of Novel Approaches to Software Engineering (ENASE 2018)},
	pages =	 {39--53},
	year =	 {2018},
	editor =	 {Ernesto Damiani and George Spanoudakis and Leszek Maciaszek},
	address =	 {Funchal, Madeira},
	month =	 mar,
	optorganization = {{INSTICC}},
	publisher =	 {{SciTePress}},
	optnote = {Best paper award}
}

@inproceedings{Hinkel2017,
	author    = {Georg Hinkel},
	title     = {An {NMF} Solution to the {Families to Persons} Case at the {TTC} 2017},
	pages     = {35--39},
	crossref  = {TTC2017},
}

@inproceedings{Zundorf2017,
	author    = {Albert Z{\"{u}}ndorf and
	Alexander Weidt},
	title     = {The {SDMLib} Solution to the {TTC} 2017 {Families 2 Persons} Case},
	pages     = {41--45},
	crossref  = {TTC2017},
}

@inproceedings{Horn2017,
	author    = {Tassilo Horn},
	title     = {Solving the {TTC} {Families to Persons} Case with {FunnyQT}},
	pages     = {47--51},
	crossref  = {TTC2017},
}

@inproceedings{Samimi-Dehkordi2017,
	author    = {Leila Samimi{-}Dehkordi and
	Bahman Zamani and
	Shekoufeh Kolahdouz Rahimi},
	title     = {Solving the {Families to Persons} Case Using {EVL+Strace}},
	pages     = {54--62},
	crossref  = {TTC2017},
}

@BOOK{steinberg09,
	title = {{EMF} Eclipse Modeling Framework},
	publisher = {Addison-Wesley},
	year = {2009},
	author = {Dave Steinberg and Frank Budinsky and Marcelo Paternostro and Ed
	Merks},
	series = {The Eclipse Series},
	address = {Upper Saddle River, NJ},
	edition = {2nd},
	owner = {mglaser},
	timestamp = {2009.05.25}
}

@Manual{OCL-2.4,
	title = 	 {{Object Constraint Language Version 2.4}},
	author = OMG,
	address =	 {Needham, MA},
	edition =	 {formal/2014-02-03},
	month =	 feb,
	year =	 {2014}
}

@Manual{MOF-2.5.1,
	title = 	 {{OMG Meta Object Facility (MOF) Core Specification Version 2.5.1}},
	author = OMG,
	address =	 {Needham, MA},
	edition =	 {formal/2016-11-01},
	month =	 nov,
	year =	 {2016}
}

@Manual{QVT-1.3,
	title = 	 {{Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification} Version 1.3},
	author = OMG,
	address =	 {Needham, MA},
	edition =	 {formal/2016-06-03},
	month =	 feb,
	year =	 {2016}
}

@Article{SOSYM-Macedo2016,
	author = 	 {Nuno Macedo and Alcino Cunha},
	title = 	 {Least-Change Bidirectional Model Transformation with {QVT-R} and {ATL}},
	journal = 	 SOSYM,
	year = 	 {2016},
	volume = 	 {15},
	number = 	 {3},
	pages =	 {783--810},
	month =	 jul
}

@Article{TOPLAS2007-Foster,
	author = 	 {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
	title = 	 {Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View-Update Problem},
	journal = 	 TOPLAS,
	year = 	 {2007},
	volume =	 {29},
	number =	 {3},
	pages = 	 {17:1--17:65},
	month =	 may
}

@Article{SOSYM-Stevens2010,
	author = 	 {Perdita Stevens},
	title = 	 {Bidirectional Model Transformations in {QVT}: Semantic Issues and Open Questions},
	journal = 	 SOSYM,
	year = 	 {2010},
	volume =	 {9},
	number =	 {1},
	pages =	 {7--20}
}



@TechReport{Hinkel2016,
  author = 	 {Georg Hinkel},
  title = 	 {{NMF}: A Modeling Framework for the {.NET} Platform},
  institution =  {Karlsruhe Reports in Informatics},
  year = 	 {2016},
  number =	 {9},
  address =	 {Karlsruhe, Germany},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@Manual{epsilon,
  title = 	 {The epsilon Book},
  author =	 {Dimitris Kolovos and Louis Rose and Richard Paige and Antonio Garcia-Dominguez},
  organization = {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  year =	 {2018},
  note = 	 {http://www.eclipse.org/epsilon},
  OPTannote = 	 {}
}

@article{RodriguesdaSilva2015139,
author = {da Silva, Alberto Rodrigues},
doi = {http://dx.doi.org/10.1016/j.cl.2015.06.001},
issn = {1477-8424},
journal = {Computer Languages, Systems $\backslash${\&} Structures},
pages = {139--155},
title = {{Model-Driven Engineering: A Survey Supported by the Unified Conceptual Model}},
volume = {43},
year = {2015}
}

@inproceedings{Stevens2008c,
author = {Stevens, Perdita},
booktitle = {Graph Transformations, 4th International Conference, ICGT 2008},
editor = {Ehrig, Hartmut and Heckel, Reiko and Rozenberg, Grzegorz and Taentzer, Gabriele},
pages = {1--17},
publisher = {Springer},
series = {Lecture Notes in Computer Science (LNCS)},
title = {{Towards an Algebraic Theory of Bidirectional Transformations}},
volume = {5214},
year = {2008}
}

@inproceedings{Cheney2015,
author = {Cheney, James and Gibbons, Jeremy and McKinna, James and Stevens, Perdita},
booktitle = {BX 2015},
pages = {66--80},
publisher = {CEUR-WS.org},
series = {CEUR},
title = {{Towards a Principle of Least Surprise for Bidirectional Transformations}},
volume = {1396},
year = {2015}
}

@inproceedings{DBLP:conf/ac/Anjorin16,
author = {Anjorin, Anthony},
booktitle = {Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures},
doi = {10.1007/978-3-319-79108-1_2},
editor = {Gibbons, Jeremy and Stevens, Perdita},
mendeley-groups = {My Publications as from 2016},
pages = {29--72},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework}},
url = {https://doi.org/10.1007/978-3-319-79108-1{\_}2},
volume = {9715},
year = {2016}
}

@Inbook{Foster2012,
author="Foster, Nate
and Matsuda, Kazutaka
and Voigtl{\"a}nder, Janis",
editor="Gibbons, Jeremy",
title="Three Complementary Approaches to Bidirectional Programming",
bookTitle="Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures",
year="2012",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="1--46",
abstract="This paper surveys three distinct approaches to bidirectional programming. The first approach, syntactic bidirectionalization, takes a program describing the forward transformation as input and calculates a well-behaved reverse transformation. The second approach, semantic bidirectionalization, is similar, but takes the forward transformation itself as input rather than a program describing it. It requires the transformation to be a polymorphic function and uses parametricity and free theorems in the proof of well-behavedness. The third approach, based on bidirectional combinators, focuses on the use of types to ensure well-behavedness and special constructs for dealing with alignment problems. In presenting these approaches, we pay particular attention to use of complements, which are structures that represent the information discarded by the transformation in the forward direction.",
isbn="978-3-642-32202-0",
doi="10.1007/978-3-642-32202-0_1",
url="https://doi.org/10.1007/978-3-642-32202-0_1"
}

@inproceedings{DBLP:conf/icsoft/BuchmannG16,
  author    = {Thomas Buchmann and
               Sandra Greiner},
  title     = {Handcrafting a Triple Graph Transformation System to Realize Round-trip
               Engineering Between {UML} Class Models and Java Source Code},
  booktitle = {Proceedings of the 11th International Joint Conference on Software
               Technologies {(ICSOFT} 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal,
               July 24 - 26, 2016.},
  pages     = {27--38},
  year      = {2016},
  crossref  = {DBLP:conf/icsoft/2016-2},
  url       = {https://doi.org/10.5220/0005957100270038},
  doi       = {10.5220/0005957100270038},
  timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsoft/BuchmannG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoft/2016-2,
  editor    = {Leszek A. Maciaszek and
               Jorge S. Cardoso and
               Andr{\'{e}} Ludwig and
               Marten van Sinderen and
               Enrique Cabello},
  title     = {Proceedings of the 11th International Joint Conference on Software
               Technologies {(ICSOFT} 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal,
               July 24 - 26, 2016},
  publisher = {SciTePress},
  year      = {2016},
  url       = {http://www.scitepress.org/DigitalLibrary/ProceedingsDetails.aspx?ID=wGp6Cl73yAE=},
  timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsoft/2016-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@book{Norbisrath2013,
  author    = {Ulrich Norbisrath and
               Ruben Jubeh and
               Albert Z{\"{u}}ndorf},
  title     = {Story Driven Modeling},
  publisher = {CreateSpace Independent Publishing Platform},
  year      = {2013},
  isbn      = {978-1-483-94925-3}
}

@InProceedings{Ehrig2006,
  Title                    = {Model Transformation by Graph Transformation: A comparative study},
  Author                   = {Karsten Ehrig and Esther Guerra and Juan De Lara and Laszlo Lengyel and Tihamer Levendovszky and Ulrike Prange and Gabriele Taentzer and Daniel Varro and Szilvia Varro-Gyapay},
  Booktitle                = {Proceedings of the International workshop on model transformations in practice (MTiP 2005), Satellite Event of MoDELS 2005},
  Year                     = {2005},
  Address                  = {Montego Bay, Jamaica},
  Pages                    = {71--80},
  Series                   = LNCS, 
  Volume					= {3844},
  publisher					= SPR
}

@inproceedings{Nickel2000,
  author    = {Ulrich Nickel and
               J{\"{o}}rg Niere and
               Albert Z{\"{u}}ndorf},
  title     = {The {FUJABA} environment},
  booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
               {ICSE} 2000, Limerick Ireland, June 4-11, 2000.},
  pages     = {742--745},
  year      = {2000},
  crossref  = {DBLP:conf/icse/2000},
  url       = {http://doi.acm.org/10.1145/337180.337620},
  doi       = {10.1145/337180.337620}
}

@proceedings{DBLP:conf/icse/2000,
  editor    = {Carlo Ghezzi and
               Mehdi Jazayeri and
               Alexander L. Wolf},
  title     = {Proceedings of the 22nd International Conference on on Software Engineering,
               {ICSE} 2000, Limerick Ireland, June 4-11, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=336512},
  isbn      = {1-58113-206-9}
}

@inproceedings{CDEP10,
  author    = {Antonio Cicchetti and
               Davide {Di Ruscio} and
               Romina Eramo and
               Alfonso Pierantonio},
  title     = {{JTL:} {A} Bidirectional and Change Propagating Transformation Language},
  booktitle = {Software Language Engineering - Third International Conference, {SLE}
               2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected
               Papers},
  pages     = {183--202},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-19440-5\_11},
  doi       = {10.1007/978-3-642-19440-5\_11}
}

@INPROCEEDINGS{GL88,
  author = {M. Gelfond and V. Lifschitz},
  title = {{The Stable Model Semantics for Logic Programming}},
  booktitle = {Procs of ICLP},
  year = {1988},
  pages = {1070--1080}
}

@inproceedings{EPT18,
  author    = {Romina Eramo and
               Alfonso Pierantonio and
               Michele Tucci},
  title     = {Improved traceability for bidirectional model transformations},
  booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
               EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
               ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
               International Conference on Model Driven Engineering Languages and
               Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018.},
  pages     = {306--315},
  year      = {2018}
}

@inproceedings{ErPT18,
  author    = {Romina Eramo and
               Alfonso Pierantonio and
               Michele Tucci},
  title     = {Enhancing the {JTL} tool for bidirectional transformations},
  booktitle = {Conference Companion of the 2nd International Conference on Art, Science,
               and Engineering of Programming, Nice, France, April 09-12, 2018},
  pages     = {36--41},
  year      = {2018},
  url       = {https://doi.org/10.1145/3191697.3191720},
  doi       = {10.1145/3191697.3191720}
}

@inproceedings{DLV,
  author = {N. Leone and G. Pfeifer and W. Faber and T. Eiter
	and G. Gottlob and S. Perri and F. Scarcello},
  title = {{The DLV System for Knowledge Representation and Reasoning}},
  year = {2004},
  journal = {TOCL}
}

@inproceedings{EPR15,
  author    = {Romina Eramo and
               Alfonso Pierantonio and
               Gianni Rosa},
  title     = {Managing uncertainty in bidirectional model transformations},
  booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
               Software Language Engineering, {SLE} 2015, Pittsburgh, PA, USA, October
               25-27, 2015},
  pages     = {49--58},
  year      = {2015}
}

@article{AbouSaleh:2015de,
author = {Abou-Saleh, F. and Cheney, J. and Gibbons, J. and McKinna, J. and Stevens, P.},
title = {{Notions of Bidirectional Computation and Entangled State Monads.}},
journal = {MPC},
year = {2015},
pages = {187--214}
}

@inproceedings{DBLP:journals/procedia/GorpM11,
  author    = {Pieter Van Gorp and
               Steffen Mazanek},
  title     = {{SHARE:} a web portal for creating and sharing executable research
               papers},
  booktitle = {Proceedings of the International Conference on Computational Science,
               {ICCS} 2011, Nanyang Technological University, Singapore, 1-3 June,
               2011},
  pages     = {589--597},
  year      = {2011},
  crossref  = {DBLP:conf/iccS/2011},
  url       = {https://doi.org/10.1016/j.procs.2011.04.062},
  doi       = {10.1016/j.procs.2011.04.062},
  timestamp = {Mon, 21 Aug 2017 16:43:25 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/procedia/GorpM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iccS/2011,
  editor    = {Mitsuhisa Sato and
               Satoshi Matsuoka and
               Peter M. A. Sloot and
               G. Dick van Albada and
               Jack J. Dongarra},
  title     = {Proceedings of the International Conference on Computational Science,
               {ICCS} 2011, Nanyang Technological University, Singapore, 1-3 June,
               2011},
  series    = {Procedia Computer Science},
  volume    = {4},
  publisher = {Elsevier},
  year      = {2011},
  url       = {http://www.sciencedirect.com/science/journal/18770509/4},
  timestamp = {Mon, 21 Aug 2017 16:43:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccS/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/VarroSV05,
  author    = {Gergely Varr{\'{o}} and
               Andy Sch{\"{u}}rr and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {Benchmarking for Graph Transformation},
  booktitle = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing
               {(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}},
  pages     = {79--88},
  year      = {2005},
  crossref  = {DBLP:conf/vl/2005},
  url       = {https://doi.org/10.1109/VLHCC.2005.23},
  doi       = {10.1109/VLHCC.2005.23},
  timestamp = {Wed, 14 Nov 2018 10:52:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vl/VarroSV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vl/2005,
  title     = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing
               {(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10093},
  isbn      = {0-7695-2443-5},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gg/BergmannHRV08,
  author    = {G{\'{a}}bor Bergmann and
               {\'{A}}kos Horv{\'{a}}th and
               Istv{\'{a}}n R{\'{a}}th and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation},
  booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
               Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  pages     = {396--410},
  year      = {2008},
  crossref  = {DBLP:conf/gg/2008},
  url       = {https://doi.org/10.1007/978-3-540-87405-8\_27},
  doi       = {10.1007/978-3-540-87405-8\_27},
  timestamp = {Mon, 19 Nov 2018 07:17:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gg/BergmannHRV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/gg/2008,
  editor    = {Hartmut Ehrig and
               Reiko Heckel and
               Grzegorz Rozenberg and
               Gabriele Taentzer},
  title     = {Graph Transformations, 4th International Conference, {ICGT} 2008,
               Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5214},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87405-8},
  doi       = {10.1007/978-3-540-87405-8},
  isbn      = {978-3-540-87404-1},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/0001KAPR16,
  author    = {Daniel Str{\"{u}}ber and
               Timo Kehrer and
               Thorsten Arendt and
               Christopher Pietsch and
               Dennis Reuling},
  title     = {Scalability of Model Transformations: Position Paper and Benchmark
               Set},
  booktitle = {Proceedings of the 4rd Workshop on Scalable Model Driven Engineering
               part of the Software Technologies: Applications and Foundations {(STAF}
               2016) federation of conferences, Vienna, Austria, July 8, 2016.},
  pages     = {21--30},
  year      = {2016},
  crossref  = {DBLP:conf/staf/2016bigmde},
  url       = {http://ceur-ws.org/Vol-1652/paper3.pdf},
  timestamp = {Mon, 29 Aug 2016 08:16:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/staf/0001KAPR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/staf/2016bigmde,
  editor    = {Dimitris S. Kolovos and
               Davide Di Ruscio and
               Nicholas Drivalos Matragkas and
               Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
               Istv{\'{a}}n R{\'{a}}th and
               Massimo Tisi},
  title     = {Proceedings of the 4rd Workshop on Scalable Model Driven Engineering
               part of the Software Technologies: Applications and Foundations {(STAF}
               2016) federation of conferences, Vienna, Austria, July 8, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1652},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1652},
  urn       = {urn:nbn:de:0074-1652-C},
  timestamp = {Mon, 29 Aug 2016 08:16:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/staf/2016bigmde},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/IzsoSRV14,
  author    = {Benedek Izs{\'{o}} and
               G{\'{a}}bor Sz{\'{a}}rnyas and
               Istv{\'{a}}n R{\'{a}}th and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {{MONDO-SAM:} {A} Framework to Systematically Assess {MDE} Scalability},
  booktitle = {Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering
               co-located with the Software Technologies: Applications and Foundations
               Conference, BigMDE@STAF2014, York, UK, July 24, 2014.},
  pages     = {40--43},
  year      = {2014},
  crossref  = {DBLP:conf/staf/2014bigmde},
  url       = {http://ceur-ws.org/Vol-1206/paper\_12.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/staf/IzsoSRV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/staf/2014bigmde,
  editor    = {Dimitris S. Kolovos and
               Davide Di Ruscio and
               Nicholas Drivalos Matragkas and
               Juan de Lara and
               Istv{\'{a}}n R{\'{a}}th and
               Massimo Tisi},
  title     = {Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering
               co-located with the Software Technologies: Applications and Foundations
               Conference, BigMDE@STAF2014, York, UK, July 24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1206},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1206},
  urn       = {urn:nbn:de:0074-1206-7},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/staf/2014bigmde},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sattose/EramoMP14,
  author    = {Romina Eramo and
               Romeo Marinelli and
               Alfonso Pierantonio},
  title     = {Towards a Taxonomy for Bidirectional Transformation},
  booktitle = {Post-proceedings of the Seventh Seminar on Advanced Techniques and
               Tools for Software Evolution, SATToSE 2014, L'Aquila, Italy, 9-11
               July 2014.},
  pages     = {122--131},
  year      = {2014},
  crossref  = {DBLP:conf/sattose/2014},
  url       = {http://ceur-ws.org/Vol-1354/paper-11.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sattose/EramoMP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sattose/2014,
  editor    = {Davide Di Ruscio and
               Vadim Zaytsev},
  title     = {Post-proceedings of the Seventh Seminar on Advanced Techniques and
               Tools for Software Evolution, SATToSE 2014, L'Aquila, Italy, 9-11
               July 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1354},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1354},
  urn       = {urn:nbn:de:0074-1354-1},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sattose/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jss/DiskinGWC16,
  author    = {Zinovy Diskin and
               Hamid Gholizadeh and
               Arif Wider and
               Krzysztof Czarnecki},
  title     = {A three-dimensional taxonomy for bidirectional model synchronization},
  journal   = {Journal of Systems and Software},
  volume    = {111},
  pages     = {298--322},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jss.2015.06.003},
  doi       = {10.1016/j.jss.2015.06.003},
  timestamp = {Sun, 28 May 2017 13:22:01 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/DiskinGWC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sle/Lammel16,
  author    = {Ralf L{\"{a}}mmel},
  title     = {Coupled software transformations revisited},
  booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Software Language Engineering, Amsterdam, The Netherlands, October
               31 - November 1, 2016},
  pages     = {239--252},
  year      = {2016},
  crossref  = {DBLP:conf/sle/2016},
  url       = {http://dl.acm.org/citation.cfm?id=2997366},
  timestamp = {Tue, 06 Nov 2018 11:07:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sle/Lammel16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sle/2016,
  editor    = {Tijs van der Storm and
               Emilie Balland and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Software Language Engineering, Amsterdam, The Netherlands, October
               31 - November 1, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2997364},
  doi       = {10.1145/2997364},
  isbn      = {978-1-4503-4447-0},
  timestamp = {Tue, 06 Nov 2018 11:07:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sle/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/LeblebiciASHRG14,
  author    = {Erhan Leblebici and
               Anthony Anjorin and
               Andy Sch{\"{u}}rr and
               Stephan Hildebrandt and
               Jan Rieke and
               Joel Greenyer},
  title     = {A Comparison of Incremental Triple Graph Grammar Tools},
  journal   = {{ECEASST}},
  volume    = {67},
  year      = {2014},
  url       = {https://doi.org/10.14279/tuj.eceasst.67.939},
  doi       = {10.14279/tuj.eceasst.67.939},
  timestamp = {Wed, 12 Dec 2018 10:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/LeblebiciASHRG14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/HildebrandtLGRGSLAS13,
  author    = {Stephan Hildebrandt and
               Leen Lambers and
               Holger Giese and
               Jan Rieke and
               Joel Greenyer and
               Wilhelm Sch{\"{a}}fer and
               Marius Lauder and
               Anthony Anjorin and
               Andy Sch{\"{u}}rr},
  title     = {A Survey of Triple Graph Grammar Tools},
  journal   = {{ECEASST}},
  volume    = {57},
  year      = {2013},
  url       = {https://doi.org/10.14279/tuj.eceasst.57.865},
  doi       = {10.14279/tuj.eceasst.57.865},
  timestamp = {Wed, 12 Dec 2018 10:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/HildebrandtLGRGSLAS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssgip/FosterMV10,
  author    = {Nate Foster and
               Kazutaka Matsuda and
               Janis Voigtl{\"{a}}nder},
  title     = {Three Complementary Approaches to Bidirectional Programming},
  booktitle = {Generic and Indexed Programming - International Spring School, {SSGIP}
               2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  pages     = {1--46},
  year      = {2010},
  crossref  = {DBLP:conf/ssgip/2010},
  url       = {https://doi.org/10.1007/978-3-642-32202-0\_1},
  doi       = {10.1007/978-3-642-32202-0\_1},
  timestamp = {Wed, 24 May 2017 08:29:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ssgip/FosterMV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssgip/2010,
  editor    = {Jeremy Gibbons},
  title     = {Generic and Indexed Programming - International Spring School, {SSGIP}
               2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {7470},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32202-0},
  doi       = {10.1007/978-3-642-32202-0},
  isbn      = {978-3-642-32201-3},
  timestamp = {Wed, 24 May 2017 08:29:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ssgip/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/EramoB13,
  author    = {Romina Eramo and
               Alessio Bucaioni},
  title     = {Understanding bidirectional transformations with TGGs and {JTL}},
  journal   = {{ECEASST}},
  volume    = {57},
  year      = {2013},
  url       = {https://doi.org/10.14279/tuj.eceasst.57.869},
  doi       = {10.14279/tuj.eceasst.57.869},
  timestamp = {Wed, 12 Dec 2018 10:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/EramoB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gttse/Diskin09,
  author    = {Zinovy Diskin},
  title     = {Model Synchronization: Mappings, Tiles, and Categories},
  booktitle = {Generative and Transformational Techniques in Software Engineering
               {III} - International Summer School, {GTTSE} 2009, Braga, Portugal,
               July 6-11, 2009. Revised Papers},
  pages     = {92--165},
  year      = {2009},
  crossref  = {DBLP:conf/gttse/2009},
  url       = {https://doi.org/10.1007/978-3-642-18023-1\_3},
  doi       = {10.1007/978-3-642-18023-1\_3},
  timestamp = {Fri, 02 Jun 2017 20:51:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gttse/Diskin09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gttse/2009,
  editor    = {Jo{\~{a}}o M. Fernandes and
               Ralf L{\"{a}}mmel and
               Joost Visser and
               Jo{\~{a}}o Saraiva},
  title     = {Generative and Transformational Techniques in Software Engineering
               {III} - International Summer School, {GTTSE} 2009, Braga, Portugal,
               July 6-11, 2009. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6491},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-18023-1},
  doi       = {10.1007/978-3-642-18023-1},
  isbn      = {978-3-642-18022-4},
  timestamp = {Fri, 02 Jun 2017 20:51:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gttse/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}