|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani |
Model Transformation Semantic Analysis by Transformation. |
VOLT@STAF |
2015 |
DBLP BibTeX RDF |
|
1 | Zheng Cheng, Rosemary Monahan, James F. Power |
Verifying SimpleGT Transformations Using an Intermediate Verification Language. |
VOLT@STAF |
2015 |
DBLP BibTeX RDF |
|
1 | Moussa 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. |
VOLT@STAF |
2015 |
DBLP BibTeX RDF |
|
1 | Gabriele Taentzer |
Analysis Techniques for Graph Transformation Systems. |
VOLT@STAF |
2015 |
DBLP BibTeX RDF |
|
1 | Martin Gogolla, Frank Hilken |
UML and OCL Transformation Model Analysis: Checking Invariant Independence. |
VOLT@STAF |
2015 |
DBLP BibTeX RDF |
|
1 | Moussa 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. |
VOLT@STAF |
2015 |
DBLP BibTeX RDF |
|
1 | Muzaffar Igamberdiev, Georg Grossmann, Markus Stumptner |
Verification of the CD2RDBMS Transformation Case in Flora-2. |
VOLT@STAF |
2015 |
DBLP BibTeX RDF |
|
1 | Sobhan Yassipour Tehrani, Kevin Lano |
Temporal Logic Specification and Analysis for Model Transformations. |
VOLT@STAF |
2015 |
DBLP BibTeX RDF |
|
1 | Nico Nachtigall, Frank Hermann 0001, Benjamin Braatz, Thomas Engel 0001 |
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. |
VOLT@STAF |
2014 |
DBLP BibTeX RDF |
|
1 | Martin Gogolla, Lars Hamann, Frank Hilken |
Checking Transformation Model Properties with a UML and OCL Model Validator. |
VOLT@STAF |
2014 |
DBLP BibTeX RDF |
|
1 | Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl |
MocOCL: A Model Checker for CTL-Extended OCL Specifications. |
VOLT@STAF |
2014 |
DBLP BibTeX RDF |
|
1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark 0001 |
Language-Independent Model Transformation Verification. |
VOLT@STAF |
2014 |
DBLP BibTeX RDF |
|
1 | Moussa 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). |
VOLT@STAF |
2014 |
DBLP BibTeX RDF |
|
1 | Kevin Lano |
Null Considered Harmful (for Transformation Verification). |
VOLT@STAF |
2014 |
DBLP BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|