25 papers:
MoDELS-2015-CuadradoGL #atl #model transformation- Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
- MoDELS-2015-OakesTLW #atl #contract #declarative #verification
- Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
SLE-2015-BenelallamGTC #atl #distributed #model transformation #pipes and filters- Distributed model-to-model transformation with ATL on MapReduce (AB, AG, MT, JC), pp. 37–48.
CADE-2015-David #satisfiability- Deciding ATL* Satisfiability by Tableaux (AD), pp. 214–228.
KR-2014-LomuscioM #abstraction #atl #multi #specification #verification- An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (AL, JM).
IJCAR-2014-CerritoDG #atl #logic #satisfiability #testing- Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.
AMT-2013-KuselSWRSK #atl #case study #model transformation #reuse- Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study (AK, JS, MW, WR, WS, GK), pp. 42–51.
ICMT-2013-RuscioIP #approach #atl #co-evolution #evolution #metamodelling- A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations (DDR, LI, AP), pp. 60–75.
- MoDELS-2013-TisiPC #atl #execution #parallel
- Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
- ICMT-J-2011-CuadradoGL12 #atl #flexibility #model transformation
- Flexible Model-to-Model Transformation Templates: An Application to ATL (JSC, EG, JdL), pp. 1–28.
- MoDELS-2012-ButtnerEC #atl #off the shelf #on the #smt #using #verification
- On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
- MoDELS-2012-GonzalezC #approach #atl #generative #named #testing
- ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
AGTIVE-2011-PatzinaP #atl #case study #comparison- A Case Study Based Comparison of ATL and SDM (SP, LP), pp. 210–221.
- ICMT-J-2010-TroyaV11 #atl #logic #semantics
- A Rewriting Logic Semantics for ATL (JT, AV), pp. 108–136.
- ICMT-2011-AmstelBKP #atl #model transformation #performance #qvt
- Performance in Model Transformations: Experiments with ATL and QVT (MvA, SB, IK, LFP), pp. 198–212.
- ICMT-2011-SasanoHHIKN #atl #bidirectional #towards
- Toward Bidirectionalization of ATL with GRoundTram (IS, ZH, SH, KI, HK, KN), pp. 138–151.
- ICMT-2010-JouaultT #atl #execution #incremental #towards
- Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.
- ICMT-2010-TisiCJ #atl #higher-order
- Improving Higher-Order Transformations Support in ATL (MT, JC, FJ), pp. 215–229.
- ICMT-2010-TroyaV #atl #logic #semantics #towards
- Towards a Rewriting Logic Semantics for ATL (JT, AV), pp. 230–244.
ICALP-B-2008-Schewe #satisfiability- ATL* Satisfiability Is 2EXPTIME-Complete (SS), pp. 373–385.
FoSSaCS-2007-LaroussinieMO #atl #complexity #on the- On the Expressiveness and Complexity of ATL (FL, NM, GO), pp. 243–257.
SAC-MT-J-2006-KurtevBJ07 #atl #composition #model transformation #rule-based- Rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 138–154.
- SAC-2006-JouaultK #architecture #atl #on the #qvt
- On the architectural alignment of ATL and QVT (FJ, IK), pp. 1188–1195.
- SAC-2006-KurtevBJ #atl #composition #evaluation #model transformation #rule-based
- Evaluation of rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 1202–1209.
VMCAI-2002-HardingRS #approximate #atl- Approximating ATL* in ATL (AH, MR, PYS), pp. 289–301.
