Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "VOLT@STAF"( http://dblp.L3S.de/Venues/VOLT@STAF )

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

Publication years (Num. hits)
2014 (6) 2015 (8)
Publication types (Num. hits)
inproceedings(12) proceedings(2)
Venues (Conferences, Journals, ...)
VOLT@STAF(14)
Authors
Kevin Lano(5) Eugene Syriani(3) Manuel Wimmer(3) Martin Gogolla(3) Moussa Amrani(3) Frank Hermann 0001(2) Frank Hilken(2) Robert Bill(2) Shekoufeh Kolahdouz Rahimi(2) Sobhan Yassipour Tehrani(2) Benjamin Braatz(1) Gabriele Taentzer(1) Georg Grossmann(1) James F. Power(1) Lars Hamann(1) Markus Stumptner(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani Model Transformation Semantic Analysis by Transformation. Search on Bibsonomy VOLT@STAF The full citation details ... 2015 DBLP  BibTeX  RDF
1Zheng Cheng, Rosemary Monahan, James F. Power Verifying SimpleGT Transformations Using an Intermediate Verification Language. Search on Bibsonomy VOLT@STAF The full citation details ... 2015 DBLP  BibTeX  RDF
1Moussa Amrani, Eugene Syriani, Manuel Wimmer (eds.) 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. Search on Bibsonomy VOLT@STAF The full citation details ... 2015 DBLP  BibTeX  RDF
1Gabriele Taentzer Analysis Techniques for Graph Transformation Systems. Search on Bibsonomy VOLT@STAF The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Gogolla, Frank Hilken UML and OCL Transformation Model Analysis: Checking Invariant Independence. Search on Bibsonomy VOLT@STAF The full citation details ... 2015 DBLP  BibTeX  RDF
1Moussa Amrani, Eugene Syriani, Manuel Wimmer (eds.) Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015. Search on Bibsonomy VOLT@STAF The full citation details ... 2015 DBLP  BibTeX  RDF
1Muzaffar Igamberdiev, Georg Grossmann, Markus Stumptner Verification of the CD2RDBMS Transformation Case in Flora-2. Search on Bibsonomy VOLT@STAF The full citation details ... 2015 DBLP  BibTeX  RDF
1Sobhan Yassipour Tehrani, Kevin Lano Temporal Logic Specification and Analysis for Model Transformations. Search on Bibsonomy VOLT@STAF The full citation details ... 2015 DBLP  BibTeX  RDF
1Nico Nachtigall, Frank Hermann 0001, Benjamin Braatz, Thomas Engel 0001 Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. Search on Bibsonomy VOLT@STAF The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Gogolla, Lars Hamann, Frank Hilken Checking Transformation Model Properties with a UML and OCL Model Validator. Search on Bibsonomy VOLT@STAF The full citation details ... 2014 DBLP  BibTeX  RDF
1Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl MocOCL: A Model Checker for CTL-Extended OCL Specifications. Search on Bibsonomy VOLT@STAF The full citation details ... 2014 DBLP  BibTeX  RDF
1Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark 0001 Language-Independent Model Transformation Verification. Search on Bibsonomy VOLT@STAF The full citation details ... 2014 DBLP  BibTeX  RDF
1Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann 0001, Kevin Lano Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). Search on Bibsonomy VOLT@STAF The full citation details ... 2014 DBLP  BibTeX  RDF
1Kevin Lano Null Considered Harmful (for Transformation Verification). Search on Bibsonomy VOLT@STAF The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #14 of 14 (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