|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 46-53, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Zheng Cheng, Rosemary Monahan, James F. Power |
Verifying SimpleGT Transformations Using an Intermediate Verification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 12-19, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Gabriele Taentzer |
Analysis Techniques for Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 1, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Martin Gogolla, Frank Hilken |
UML and OCL Transformation Model Analysis: Checking Invariant Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 20-27, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Muzaffar Igamberdiev, Georg Grossmann, Markus Stumptner |
Verification of the CD2RDBMS Transformation Case in Flora-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 28-45, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Sobhan Yassipour Tehrani, Kevin Lano |
Temporal Logic Specification and Analysis for Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 2-11, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 46-55, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Martin Gogolla, Lars Hamann, Frank Hilken |
Checking Transformation Model Properties with a UML and OCL Model Validator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 16-25, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl |
MocOCL: A Model Checker for CTL-Extended OCL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 10-15, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Tony Clark 0001 |
Language-Independent Model Transformation Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 36-45, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 1-9, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Kevin Lano |
Null Considered Harmful (for Transformation Verification). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOLT@STAF ![In: 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., pp. 26-35, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|