The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Bx@ETAPS"( http://dblp.L3S.de/Venues/Bx@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/etaps

Publication years (Num. hits)
2016 (11) 2017 (9)
Publication types (Num. hits)
inproceedings(18) proceedings(2)
Venues (Conferences, Journals, ...)
Bx@ETAPS(20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Daisuke Kinoshita, Keisuke Nakano 0001 Bidirectional Certified Programming. Search on Bibsonomy BX@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Stephan Seifermann, Jörg Henß Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models. Search on Bibsonomy BX@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Milica Stojkovic, Sven Laux, Anthony Anjorin Existing and New Ideas on Least Change Triple Graph Grammars. Search on Bibsonomy BX@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Danel Ahman, Tarmo Uustalu Taking Updates Seriously. Search on Bibsonomy BX@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. Search on Bibsonomy BX@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael Johnson, Robert D. Rosebrugh Universal Updates for Symmetric Lenses. Search on Bibsonomy BX@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Zinovy Diskin Compositionality of Update Propagation: Lax PutPut. Search on Bibsonomy BX@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Perdita Stevens, Jeremy Gibbons On Ontologology. Search on Bibsonomy BX@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Romina Eramo, Michael Johnson (eds.) Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017. Search on Bibsonomy BX@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Oszkár Semeráth, Csaba Debreceni, Ákos Horváth 0001, Dániel Varró Change Propagation of View Models by Logic Synthesis using SAT solvers. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1James McKinna, Perdita Stevens How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper). Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki 0001 Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1James McKinna Complements Witness Consistency. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann 0001, Thomas Engel 0001 Towards the Propagation of Model Updates along different Views in Multi-View Models. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Erhan Leblebici Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1James McKinna Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal). Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Max E. Kramer, Kirill Rakhman Automated Inversion of Attribute Mappings in Bidirectional Model Transformations. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Anthony Anjorin, Jeremy Gibbons (eds.) Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Johnson, Robert D. Rosebrugh Unifying Set-Based, Delta-Based and Edit-Based Lenses. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license