researchr - search publication ATL

researchr

You are not signed in
Sign in
Sign up

184 publication results matching 'ATL'

Approximating ATL:::*::: in ATLAidan Harding, Mark Ryan, Pierre Yves Schobbens. vmcai 2002: 289-301 [doi]
Toward bidirectionalization of ATL with GRoundTram
… ATL is a language for describing model transformations currently in uni … present bidirectionalization of core part of the ATL by encoding it in the UnQL … the system for bidirectionalizing the core ATL in OCaml language. …
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. ICMT 2011: 138-151
Using ATL for Checking Models
… solution to this problem that uses ATL (Atlas Transformation Language …
Jean Bézivin, Frédéric Jouault. ENTCS, 152:69-81, 2006. [doi]
On the Expressiveness and Complexity of ATLFranÃ§ois Laroussinie, Nicolas Markey, Ghassan Oreiby. lmcs, 4(2), 2008. [doi]
On the Expressiveness and Complexity of ATLFrançois Laroussinie, Nicolas Markey, Ghassan Oreiby. fossacs 2007: 243-257 [doi]
ATL* Satisfiability Is 2EXPTIME-CompleteSven Schewe. icalp 2008: 373-385 [doi]
A STIT-Extension of ATLJan Broersen, Andreas Herzig, Nicolas Troquard. jelia 2006: 69-81 [doi]
Toward Bidirectionalization of ATL with GRoundTramIsao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. ICMT 2011: 138-151 [doi]
On the architectural alignment of ATL and QVTFrédéric Jouault, Ivan Kurtev. SAC 2006: 1188-1195 [doi]
Performance in Model Transformations: A Comparison Between ATL and QVT
… engines (ATL, QVT Operational Mappings and QVT Relations) based on various …
Marcel van Amstel, Steven Bosems, Luis Ferreira Pires, Ivan Kurtev. ICMT 2011: 198-212
Modelling coalitions: ATL + argumentationNils Bulling, Jürgen Dix, Carlos Iván Chesñevar. atal 2008: 681-688 [doi]
Transforming Models with ATLFrédéric Jouault, Ivan Kurtev. uml 2006: 128-138 [doi]
A Rewriting Logic Semantics for ATLJavier Troya, Antonio Vallecillo. jot, 10, 2011. [doi]
ATL: A model transformation toolFrédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev. SCP, 72(1-2):31-39, 2008. [doi]
An Extension of RB-ATLNguyen Hoang Nga. mallow 2010: [doi]
Quantified Epistemic and Probabilistic ATLHenning Schnoor. icaart 2013: 14-23
Minimisation of ATL ^* ModelsSerenella Cerrito, Amélie David 0001. tableaux 2017: 193-208 [doi]
Loosely coupled traceability for ATLJouault, Fr{\'e}d{\'e}ric. In Proceedings of the European Conference on Model Driven Architecture (ECMDA) workshop on traceability, Nuremberg, Germany. 2005: 2-2
How to Manage a Budget with ATL+Stéphane Demri, Raine Rönnholm. kr 2023: 188-197 [doi]
Compiling ATL with ContinuationsJesús Sánchez Cuadrado, Jesús M. Perera Aracil. TOOLS 2011: 10-19 [doi]

Sign in or sign up to see more results.

runs on WebDSL