@inproceedings(amrani.overview, author = "M.~Amrani and L.~Lucio and G.~Selim and B.~Combemale and J.~Dingel and H.~Vangheluwe and Y.~Le Traon and J.R. Cordy", year = "2012", title = "A {T}ridimensional {A}pproach for {S}tudying the {F}ormal {V}erification of {M}odel {T}ransformations", booktitle = "{ICST}'12", pages = "921--928", doi = "10.1109/ICST.2012.197", ) @inproceedings(dodds.plump.graphtrans, author = "M.~Dodds and D.~Plump", year = "2006", title = "Graph {T}ransformation in {C}onstant {T}ime", booktitle = "{ICGT}'06", series = "LNCS", volume = "4178", publisher = "Springer", pages = "367--382", doi = "10.1007/11841883\_26", ) @inproceedings(termination, author = "H.~Ehrig and K.~Ehrig and J.~de~Lara and G.~Taentzer and D.~Varr\'{o} and S.~Varr\'{o}-Gyapay", year = "2005", title = "Termination {C}riteria for {M}odel {T}ransformation", booktitle = "{FASE}'05", series = "LNCS", volume = "3442", publisher = "Springer", pages = "49--63", doi = "10.1007/978-3-540-31984-9\_5", ) @book(gt.book, author = "H.~Ehrig and K.~Ehrig and U.~Prange and G.~Taentzer", year = "2006", title = "Fundamentals of {A}lgebraic {G}raph {T}ransformation", series = "EATCS Monographs in Theoretical Computer Science", publisher = "Springer", doi = "10.1007/3-540-31188-2", ) @phdthesis(engelen.thesis, author = "L.J.P Engelen", year = "2012", title = "From {N}apkin {S}ketches to {R}eliable {S}oftware", school = "Eindhoven University of Technology", doi = "10.6100/IR740040", ) @inproceedings(engelen.wijs.modevva, author = "L.J.P. Engelen and A.J. Wijs", year = "2012", title = "Incremental {F}ormal {V}erification for {M}odel {R}efining", booktitle = "{MoDeVVa}'12", publisher = "ACM Computer Society Press", pages = "29--34", doi = "10.1145/2427376.2427382", ) @incollection(graphformodeltrans, author = "L.~Grunske and L.~Geiger and A.~Z{\"u}ndorf and N.~{V}an {E}etvelde and P.~{V}an {G}orp and D.~Varr\'{o}", year = "2005", title = "Using {G}raph {T}ransformation for {P}ractical {M}odel-{D}riven {S}oftware {E}ngineering", booktitle = "Model-Driven Software Development", publisher = "Springer", pages = "91--118", doi = "10.1007/3-540-28554-7\_5", ) @inproceedings(heckel.confluence, author = "R.~Heckel and J.M. K{\"u}ster and G.~Taentzer", year = "2002", title = "Confluence of {T}yped {A}ttributed {G}raph {T}ransformation {S}ystems", booktitle = "ICGT'02", series = "LNCS", volume = "2505", publisher = "Springer", pages = "161--176", doi = "10.1007/3-540-45832-8\_14", ) @article(huet.confluence, author = "G.~Huet", year = "1980", title = "Confluent {R}eductions: {A}bstract {P}roperties and {A}pplications to {T}erm {R}ewriting {S}ystems", journal = "J. {ACM}", volume = "27", number = "4", pages = "797--821", doi = "10.1145/322217.322230", ) @inproceedings(hulsbusch.konig.rensink.modeltransformation, author = "M.~H\"ulsbusch and B.~K\"onig and A.~Rensink and M.~Semenyak and C.~Soltenborn and H.~Wehrheim", year = "2010", title = "Showing {F}ull {S}emantics {P}reservation in {M}odel {T}ransformation - {A} {C}omparison of {T}echniques", booktitle = "{IFM}'10", series = "LNCS", volume = "6396", publisher = "Springer", pages = "183--198", doi = "10.1007/978-3-642-16265-7\_14", ) @inproceedings(lambers.ehrig.orejas.2006, author = "L.~Lambers and H.~Ehrig and F.~Orejas", year = "2006", title = "Conflict {D}etection for {G}raph {T}ransformation with {N}egative {A}pplication {C}onditions", booktitle = "ICGT'06", series = "LNCS", volume = "4178", publisher = "Springer", pages = "61--76", doi = "10.1007/11841883\_6", ) @inproceedings(lambers.ehrig.orejas.2005, author = "L.~Lambers and H.~Ehrig and F.~Orejas", year = "2006", title = "Efficient {D}etection of {C}onflicts in {G}raph-{B}ased {M}odel {T}ransformations", booktitle = "GraMoT'05", series = "ENTCS 152", pages = "97--109", doi = "10.1016/j.entcs.2006.01.017", ) @inproceedings(lambers.ehrig.orejas.2008, author = "L.~Lambers and H.~Ehrig and F.~Orejas", year = "2008", title = "Efficient {C}onflict {D}etection in {G}raph {T}ransformation {S}ystems by {E}ssential {C}ritical {P}airs", booktitle = "GT-VMT'06", series = "ENTCS 211", pages = "17--26", doi = "10.1016/j.entcs.2008.04.026", ) @inproceedings(lang05, author = "F.~Lang", year = "2005", title = "{\textsc {Exp.Open}\xspace } 2.0: {A} {F}lexible {T}ool {I}ntegrating {P}artial {O}rder, {C}ompositional, and {O}n-the-{F}ly {V}erification {M}ethods", booktitle = "{IFM}'05", series = "LNCS", volume = "3771", publisher = "Springer", pages = "70--88", doi = "10.1007/11589976\_6", ) @article(mateescu.wijs.confluence, author = "R.~Mateescu and A.J. Wijs", year = "2012", title = "Sequential and {D}istributed {O}n-{T}he-{F}ly {C}omputation of {W}eak {T}au-{C}onfluence", journal = "Science of {C}omputer {P}rogramming", volume = "70", number = "10,11", pages = "1075--1094", doi = "10.1016/j.scico.2011.07.004", ) @inproceedings(narayanan.karsai.towardsverifyingmt, author = "A.~Narayanan and G.~Karsai", year = "2008", title = "Towards {V}erifying {M}odel {T}ransformations", booktitle = "{GT-VMT'06}", series = "ENTCS 211", pages = "191--200", doi = "10.1016/j.entcs.2008.04.041", ) @article(newman, author = "M.H.A. Newman", year = "1942", title = "On {T}heories with a {C}ombinatorial {D}efinition of ``{E}quivalence''", journal = "Annals of Mathematics", volume = "43", number = "2", pages = "223--243", doi = "10.2307/1968867", ) @inproceedings(paige.tarjan, author = "R.~Paige and R.E. Tarjan", year = "1984", title = "A {L}inear {T}ime {A}lgorithm to {S}olve the {S}ingle {F}unction {C}oarsest {P}artition {P}roblem", booktitle = "ICALP", series = "LNCS", volume = "172", publisher = "Springer", pages = "371--379", doi = "10.1007/3-540-13345-3\_33", ) @incollection(plump.first, author = "D.~Plump", year = "1993", title = "Hypergraph rewriting: Critical pairs and undecidability of confluence", editor = "R.~Sleep and R.~Plasmeijer and M.~van Eekelen", booktitle = "Term {G}raph {R}ewriting: {T}heory and {P}ractice", chapter = "15", publisher = "John Wiley", pages = "201--213", ) @inproceedings(plump.confluence05, author = "D.~Plump", year = "2005", title = "Confluence of {G}raph {T}ransformation {R}evisited", booktitle = "Processes, {T}erms and {C}ycles: {S}teps on the {R}oad to {I}nfinity", series = "LNCS", volume = "3838", publisher = "Springer", pages = "280--308", doi = "10.1007/11601548\_16", ) @inproceedings(plump.confluence2010, author = "D.~Plump", year = "2010", title = "Checking {G}raph {T}ransformation {S}ystems for {C}onfluence", booktitle = "Essays Dedicated to Hans-J{\"o}rg Kreowski", series = "ECEASST 26", publisher = "EASST", ) @article(survey.mt, author = "L.A. Rahim and J.~Whittle", year = "2013", title = "A {S}urvey of {A}pproaches for {V}erifying {M}odel {T}ransformations", journal = "Software and Systems Modeling", doi = "10.1007/s10270-013-0358-0", ) @inproceedings(mtgt.comparative, author = "G.~Taentzer and K.~Ehrig and E.~Guerra and J.~de~Lara and L.~Lengyel and T.~Levendovszky and U.~Prange and D.~Varr\'{o} and S.~Varr\'{o}-Gyapay", year = "2006", title = "Model {T}ransformation by {G}raph {T}ransformation: {A} {C}omparative {S}tudy", booktitle = "MTIP'05", pages = "71--80", ) @inproceedings(wijs.facs13, author = "A.J. Wijs", year = "2013", title = "Define, {V}erify, {R}efine: {C}orrect {C}omposition and {T}ransformation of {C}oncurrent {S}ystem {S}emantics", booktitle = "{FACS}'13", series = "LNCS", volume = "8348", publisher = "Springer", pages = "348--368", doi = "10.1007/978-3-319-07602-7\_21", ) @inproceedings(wijs.engelen.tacas, author = "A.J. Wijs and L.J.P. Engelen", year = "2013", title = "Efficient {P}roperty {P}reservation {C}hecking of {M}odel {R}efinements", booktitle = "{TACAS}'13", series = "LNCS", volume = "7795", publisher = "Springer", pages = "565--579", doi = "10.1007/978-3-642-36742-7\_41", ) @inproceedings(wijs.engelen.refiner, author = "A.J. Wijs and L.J.P. Engelen", year = "2014", title = "{REFINER}: {T}owards {F}ormal {V}erification of {M}odel {T}ransformations", booktitle = "{NFM}'14", series = "LNCS", volume = "8430", publisher = "Springer", pages = "258--263", doi = "10.1007/978-3-319-06200-6\_21", )