> ModelCVS

Conference Papers


M. Strommer, M. Wimmer: A Framework for Model Transformation By-Example: Concepts and Tool Support, Submitted for Publication, 2008.

G. Kappel, H. Kargl, T. Reiter, W. Retschitzegger, W. Schwinger, M. Wimmer, M. Strommer: A Framework for Building Mapping Operators Resolving Structural Heterogeneities, Invited Talk at 7th International Conference on Information Systems Technology and its Applications, Klagenfurt, Austria, 2008.


J. Oetsch, M. Seidl, H. Tompits, S. Woltran: An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection, Submitted for publication, 2007.

M. Wimmer, M. Strommer, H. Kargl, G. Kramler: Towards Model Transformation Generation By-Example , HICSS-40 Hawaii International Conference on System Sciences, Hawaii, USA, January 2007 PDF


U. Egly, M. Seidl, S. Woltran: A Solver for QBFs in Nonprenex Form , Proceedings of the 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 2006. PDF

J. Oetsch, M. Seidl, H. Tompits, S. Woltran: ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set Semantics (System Description), Proceedings of the 10th European Conference on Logics in Artificial Intelligence, Liverpool, Lecture Notes in Artificial Intelligence, Springer, 2006. PDF

J. Oetsch, M. Seidl, H. Tompits, S. Woltran: ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming, Proceedings of the 15th International Conference on Computing CIC-2006, IEEE Computer Society, November 21 - November 24, Mexico City, 2006. PDF

G. Kappel, H. Kargl, G. Kramler, T. Reiter, W. Schwinger, M. Wimmer: Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages , ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2006), Genova, Italy, October 2006 PDF

E. Kapsammer, T. Reiter, W. Schwinger: Model-Based Tool Integration - State of the Art and Future Perspectives , Proceedings of the 3rd International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2006), 20-23 July 2006, Orlando, USA PDF

G. Kappel, E. Kapsammer, H. Kargl, G. Kramler, T. Reiter, W. Retschitzegger, W. Schwinger, M. Wimmer: On Models and Ontologies - A Layered Approach for Model-based Tool Integration , Proceedings of Modellierung 2006, GI-Edition, Lecture Notes in Informatics, Eds.: H.C. Mayr, R. Breu, 22-24 March, 2006, Innsbruck, Austria PDF