LINK  The AtlanMod team web site: http://www.emn.fr/x-info/atlanmod/
LINK  The BiG project web site: http://www.biglab.org/
LINK  S. M. Abramov and R. Glück, “Principles of inverse computation and the universal resolving algorithm,” In The Essence of Computation, pp.269-295, 2002.
LINK  C. Amelunxen, A. Königs, T. Rötschke, and A. Schürr, MOFLON, “A Standard-Compliant Metamodeling Framework with Graph Transformations,” In A. Rensink and J. Warmer, editors, Model Driven Architecture-Foundations and Applications: Second European Conference, vol.4066 of Lecture Notes in Computer Science (LNCS), pp.361-375, Heidelberg, Springer Verlag, 2006.
LINK  M. Antkiewicz and K. Czarnecki, “Framework-specific modeling languages with round-trip engineering,” In MoDELS 2006: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems, pp.692-706, Springer-Verlag, 2006.
LINK  M. Antkiewicz and K. Czarnecki, “Design space of heterogeneous synchronization,” In GTTSE '07: Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, 2007.
LINK  J. Bézivin, B. Rumpe, A. Schürr, and L. Tratt, “Model transformation in practice workshop announcement,” In Satellite Events at the MoDELS 2005 Conference, pp.120-127, Springer-Verlag, 2005.
LINK  A. Bohannon, B. C. Pierce, and J. A. Vaughan, “Relational lenses: a language for updatable views,” In S. Vansummeren, editor, PODS, pp.338-347, ACM, 2006.
LINK  A. Bohannon, J. N. Foster, B. C. Pierce, A. Pilkiewicz, and A. Schmitt, “Boomerang: resourceful lenses for string data,” In G. C. Necula and P. Wadler, editors, POPL '08: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.407-419. ACM, 2008.
LINK  P. Buneman, M. F. Fernandez, and D. Suciu, “UnQL: a query language and algebra for semistructured data based on structural recursion,” VLDB Journal: Very Large Data Bases, vol.9, no.1, pp.76-110, 2000.
LINK  Yuting Chen, “A bidirectional graph transformation approach to analysis of concurrent software models,” In Software Engineering and Service Sciences (ICSESS), 2010 IEEE International Conference on, pp.339-343, july 2010. doi: 10.1109/ICSESS.2010.5552447.
LINK  K. Czarnecki, J. N. Foster, Z. Hu, R. Lämmel, A. Schürr, and J. F. Terwilliger, “Bidirectional transformations: A cross-discipline perspective,” In International Conference on Model Transformation (ICMT 2009), pp.260-283, LNCS 5563, Springer, 2009.
LINK  Z. Diskin, Y. Xiong, and K. Czarnecki, “From state-to delta-based bidirectional model transformations: the asymmetric case,” Journal of Object Technology, vol.10, no.6, pp.1-25, 2011.
LINK  H. Ehrig, K. Ehrig, C. Ermel, F. Hermann, and G. Taentzer, “Information preserving bidirectional model transformations,” In Proceedings of the 10th international conference on Fundamental approaches to software engineering, FASE'07, pp.72-86, Berlin, Heidelberg, 2007. Springer-Verlag. ISBN 978-3-540-71288-6.
LINK  K. Ehrig, E. Guerra, J. de Lara, L. Lengyel, T. Levendovszky, U. Prange, G. Taentzer, D. Varró, and S. Varró-Gyapay, “Model transformation by graph transformation: A comparative study,” Presented at MTiP 2005. http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2005/mtip05.pdf, 2005.
LINK  J. Ellson, E. R. Gansner, E. Koutsofios, S. C. North, and G. Woodhull, “Graphviz and dynagraph-static and dynamic graph drawing tools,” In GRAPH DRAWING SOFTWARE, pp.127-148, Springer-Verlag, 2003.
LINK  J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt, “Combinators for bi-directional tree transformations: a linguistic approach to the view update problem,” In POPL '05: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.233-246, 2005.
LINK  J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt, “Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem,” ACM Trans. Program. Lang. Syst., vol.29, no.3, 2007.
LINK  M. Garcia, “Bidirectional synchronization of multiple views of software models,” In Proceedings of DSML-2008, vol.324 of CEUR-WS, pp.7-19, 2008.
LINK  H. Giese and S. Hildebrandt, “Efficient model synchronization of large-scale models,” Technical Report 28, Hasso Plattner Institute at the University of Potsdam, 2009.
LINK  H. Giese and R. Wagner, “Incremental model synchronization with triple graph grammars,” In MoDELS 2006: Proceedings of the 9th nternational Conference on Model Driven Engineering Languages and Systems, pp.543-557, Springer Verlag, 2006.
LINK  J. Grundy, J. Hosking, and W. B. Mugridge, “Inconsistency management for multiple-view software development environments,” IEEE Trans. Softw. Eng., vol.24, no.11, pp.960-981, 1998.
LINK  E. Guerra, J. Lara, and F. Orejas, “Inter-modelling with patterns,” Software & Systems Modeling, pp.1-30, 2011. ISSN 1619-1366. doi: 10.1007/s10270-011-0192-1.
LINK  F. Hermann, H. Ehrig, F. Orejas, K. Czarnecki, Z. Diskin, and Y. Xiong, “Correctness of model synchronization based on triple graph grammars,” In Lecture Notes in Computer Science, vol.6981, pp.668-682, Springer, 2011. ISBN 978-3-642-24484-1.
LINK  S. Hidaka, Z. Hu, H. Kato, and K. Nakano, “Towards a compositional approach to model transformation for software development,” In SAC'09: Proceedings of the 2009 ACM symposium on Applied Computing, pp.468-475, ACM, 2009.
LINK  S. Hidaka, Z. Hu, H. Kato, and K. Nakano, “A compositional approach to bidirectional model transformation,” In ICSE Companion, pp.235-238, IEEE, 2009.
LINK  S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, and K. Nakano, “Bidirectionalizing graph transformations,” In ACM SIGPLAN International Conference on Functional Programming, pp.205-216, ACM, 2010.
LINK  S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano, and I. Sasano, “Marker-directed Optimization of UnCAL Graph Transformations,” In Proceediings of 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), vol.7225 of LNCS, pp.123-138, Odense, Denmark, 2011.
LINK  S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano, and I. Sasano, “Marker-directed Optimization of UnCAL Graph Transformations (revised version),” Technical Report GRACE-TR-2011-06, GRACE Center, National Institute of Informatics, Nov. 2011.
LINK  S. Hidaka, Z. Hu, K. Inaba, H. Kato, and K. Nakano, “GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (short paper),” In 26th IEEE/ACM International Conference On Automated Software Engineering, pp.480-483, IEEE, 2011.
LINK  Z. Hu, H. Iwasaki, M. Takeichi, and A. Takano, “Tupling calculation eliminates multiple data traversals,” In ACM SIGPLAN International Conference on Functional Programming (ICFP'97), pp.164-175, Amsterdam, The Netherlands, ACM Press, June 1997.
LINK  Z. Hu, S.-C. Mu, and M. Takeichi, “A programmable editor for developing structured documents based on bidirectional transformations,” Higher-Order and Symbolic Computation, vol.21, no.1-2, pp.89-118, 2008.
LINK  K. Inaba, S. Hidaka, Z. Hu, H. Kato, and K. Nakano, “Graph-transformation verification using monadic second-order logic,” In P. Schneider-Kamp and Michael Hanus, editors, PPDP, pp.17-28, ACM, 2011.
LINK  F. Ishikawa, “Towards customizable and bi-directionally traceable transformation between vdm++ and java,” In The 9th Overture/VDM Workshop, June 2011.
LINK  F. Jouault and J. Bézivin, “KM3: A DSL for metamodel specification,” In Formal Methods for Open Object-Based Distributed Systems, pp.171-185, LNCS 4037, Springer, 2006.
LINK  F. Klar, A. Königs, and A. Schürr, “Model transformation in the large,” In I. Crnkovic and A. Bertolino, editors, ESEC/SIGSOFT FSE, pp.285-294, ACM, 2007.
LINK  A. Königs and A. Schürr, “Tool integration with triple graph grammars-a survey,” Electronic Notes in Theoretical Computer Science, vol.148, no.1, pp.113-150, Feb. 2006.
LINK  R. Lämmel, “Coupled Software Transformations (Extended Abstract),” In First International Workshop on Software Evolution Transformations, Nov. 2004.
LINK  K. Matsuda, Z. Hu, K. Nakano, M. Hamana, and M. Takeichi, “Bidirectionalization transformation based on automatic derivation of view complement functions,” In 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), pp.47-58, ACM Press, Oct. 2007.
LINK  K. Nakano, S. Hidaka, Z. Hu, K. Inaba, and H. Kato, “Simulation-based graph schema for view updatability checking of graph queries,” Technical Report GRACE-TR11-01, GRACE Center, National Institute of Informatics, May 2011.
LINK  R. Paige and R. Tarjan, “Three partition refinement algorithms,” SIAM Journal of Computing, vol.16, no.6, pp.973-988, 1987. DOI: http://dx.doi.org/10.1137/0216062.
LINK  I. Sasano, Z. Hu, S. Hidaka, K. Inaba, H. Kato, and K. Nakano, “Toward bidirectionalization of ATL with GRoundTram,” In Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, vol.6707 of LNCS, pp.138-151, Springer, June 2011.
LINK  P. Stevens, “Bidirectional model transformations in QVT: Semantic issues and open questions,” In G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, editors, Proc. 10th MoDELS, vol.4735 of Lecture Notes in Computer Science, pp.1-15, Springer, 2007.
LINK  P. Stevens, “A landscape of bidirectional model transformations,” In R. Lämmel, J. Visser, and J. Saraiva, editors, Generative and Transformational Techniques in Software Engineering II, pp.408-424, Springer-Verlag, Berlin, Heidelberg, 2008. ISBN 978-3-540-88642-6.
LINK  P. Stevens, “Bidirectional model transformations in qvt: semantic issues and open questions,” Software and System Modeling, vol.9, no.1, pp.7-20, 2010.
LINK  G. Taentzer, “AGG: A graph transformation environment for modeling and validation of software,” In J. L. Pfaltz, M. Nagl, and B. Böhlen, editors, AGTIVE, vol.3062 of LNCS, pp.446-453, Springer, 2003.
LINK  T. Kozawa, “Bidirectionaltransformation with UML model for Simulink model maintainability improvement (in Japanese),” http://www.washi.cs.waseda.ac.jp/papers/2011/submission/1w070119.pdf, Feb. 2011. Summary of the bachelor's thesis at the Department of Conputer Science, Waseda University.
LINK  B. Wang, Z. Hu, Q. Sun, H. Zhao, Y. Xiong, and H. Mei, “Supporting feature model refinement with updatable view,” Technical Report GRACE-TR-2010-05, GRACE Center, National Institute of Informatics, May 2010.
LINK  A. Wider, “Towards combinators for bidirectional model transformations in scala,” In A. M. Sloane and U. Aβmann, editors, SLE, vol.6940 of Lecture Notes in Computer Science, pp.367-377, Springer, . ISBN 978-3-642-28829-6.
LINK  Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi, and H. Mei, “Towards automatic model synchronization from model transformations,” In 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), pp.164-173, ACM Press, Nov. 2007.
LINK  Y. Yu, Y. Lin, Z. Hu, S. Hidaka, H. Kato, and L. Montrieux, “Blinkit: Maintaining Invariant Traceability through Bidirectional Transformations,” In Proceediings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, pp.540-550, June 2012.
LINK  Y. Zhu, T. Zan, S. Hidaka, and Z. Hu, “iGRT: A generic interface for GRoundTram,” Technical Report GRACE-TR-2012-06, GRACE Center, National Institute of Informatics, 2012.