Search dblp for Publications

export results for "toc:db/conf/staf/volt2014.bht:"

 download as .bib file

@proceedings{DBLP:conf/staf/2014volt,
  editor       = {Moussa Amrani and
                  Eugene Syriani and
                  Manuel Wimmer},
  title        = {Proceedings of the Third International Workshop on Verification of
                  Model Transformations co-located with Software Technologies: Applications
                  and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1325},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1325},
  urn          = {urn:nbn:de:0074-1325-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/2014volt.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/AmraniSWBG0L14,
  author       = {Moussa Amrani and
                  Eugene Syriani and
                  Manuel Wimmer and
                  Robert Bill and
                  Martin Gogolla and
                  Frank Hermann and
                  Kevin Lano},
  editor       = {Moussa Amrani and
                  Eugene Syriani and
                  Manuel Wimmer},
  title        = {Report on the Third Workshop on Verification of Model Transformations
                  {(VOLT} 2014)},
  booktitle    = {Proceedings of the Third International Workshop on Verification of
                  Model Transformations co-located with Software Technologies: Applications
                  and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1325},
  pages        = {1--9},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1325/preface.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:10 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/AmraniSWBG0L14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/GabmeyerBKS14,
  author       = {Sebastian Gabmeyer and
                  Robert Bill and
                  Petra Kaufmann and
                  Martina Seidl},
  editor       = {Moussa Amrani and
                  Eugene Syriani and
                  Manuel Wimmer},
  title        = {MocOCL: {A} Model Checker for CTL-Extended {OCL} Specifications},
  booktitle    = {Proceedings of the Third International Workshop on Verification of
                  Model Transformations co-located with Software Technologies: Applications
                  and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1325},
  pages        = {10--15},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1325/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/GabmeyerBKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/GogollaHH14,
  author       = {Martin Gogolla and
                  Lars Hamann and
                  Frank Hilken},
  editor       = {Moussa Amrani and
                  Eugene Syriani and
                  Manuel Wimmer},
  title        = {Checking Transformation Model Properties with a {UML} and {OCL} Model
                  Validator},
  booktitle    = {Proceedings of the Third International Workshop on Verification of
                  Model Transformations co-located with Software Technologies: Applications
                  and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1325},
  pages        = {16--25},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1325/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/GogollaHH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/Lano14,
  author       = {Kevin Lano},
  editor       = {Moussa Amrani and
                  Eugene Syriani and
                  Manuel Wimmer},
  title        = {Null Considered Harmful (for Transformation Verification)},
  booktitle    = {Proceedings of the Third International Workshop on Verification of
                  Model Transformations co-located with Software Technologies: Applications
                  and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1325},
  pages        = {26--35},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1325/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Lano14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/LanoRC14,
  author       = {Kevin Lano and
                  Shekoufeh Kolahdouz Rahimi and
                  Tony Clark},
  editor       = {Moussa Amrani and
                  Eugene Syriani and
                  Manuel Wimmer},
  title        = {Language-Independent Model Transformation Verification},
  booktitle    = {Proceedings of the Third International Workshop on Verification of
                  Model Transformations co-located with Software Technologies: Applications
                  and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1325},
  pages        = {36--45},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1325/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/LanoRC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/Nachtigall0BE14,
  author       = {Nico Nachtigall and
                  Frank Hermann and
                  Benjamin Braatz and
                  Thomas Engel},
  editor       = {Moussa Amrani and
                  Eugene Syriani and
                  Manuel Wimmer},
  title        = {Towards Domain Completeness for Model Transformations Based on Triple
                  Graph Grammars},
  booktitle    = {Proceedings of the Third International Workshop on Verification of
                  Model Transformations co-located with Software Technologies: Applications
                  and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1325},
  pages        = {46--55},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1325/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Nachtigall0BE14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.