BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
transform (15)
model (9)
base (4)
rule (3)
satisfi (3)

Stem atl$ (all stems)

25 papers:

MoDELSMoDELS-2015-CuadradoGL #atl #model transformation
Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
MoDELSMoDELS-2015-OakesTLW #atl #contract #declarative #verification
Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
SLESLE-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.
CADECADE-2015-David #satisfiability
Deciding ATL* Satisfiability by Tableaux (AD), pp. 214–228.
KRKR-2014-LomuscioM #abstraction #atl #multi #specification #verification
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (AL, JM).
IJCARIJCAR-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.
AMTAMT-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.
ICMTICMT-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.
MODELSMoDELS-2013-TisiPC #atl #execution #parallel
Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
ICMTICMT-J-2011-CuadradoGL12 #atl #flexibility #model transformation
Flexible Model-to-Model Transformation Templates: An Application to ATL (JSC, EG, JdL), pp. 1–28.
MODELSMoDELS-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.
MODELSMoDELS-2012-GonzalezC #approach #atl #generative #named #testing
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
AGTIVEAGTIVE-2011-PatzinaP #atl #case study #comparison
A Case Study Based Comparison of ATL and SDM (SP, LP), pp. 210–221.
ICMTICMT-J-2010-TroyaV11 #atl #logic #semantics
A Rewriting Logic Semantics for ATL (JT, AV), pp. 108–136.
ICMTICMT-2011-AmstelBKP #atl #model transformation #performance #qvt
Performance in Model Transformations: Experiments with ATL and QVT (MvA, SB, IK, LFP), pp. 198–212.
ICMTICMT-2011-SasanoHHIKN #atl #bidirectional #towards
Toward Bidirectionalization of ATL with GRoundTram (IS, ZH, SH, KI, HK, KN), pp. 138–151.
ICMTICMT-2010-JouaultT #atl #execution #incremental #towards
Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.
ICMTICMT-2010-TisiCJ #atl #higher-order
Improving Higher-Order Transformations Support in ATL (MT, JC, FJ), pp. 215–229.
ICMTICMT-2010-TroyaV #atl #logic #semantics #towards
Towards a Rewriting Logic Semantics for ATL (JT, AV), pp. 230–244.
ICALPICALP-B-2008-Schewe #satisfiability
ATL* Satisfiability Is 2EXPTIME-Complete (SS), pp. 373–385.
FoSSaCSFoSSaCS-2007-LaroussinieMO #atl #complexity #on the
On the Expressiveness and Complexity of ATL (FL, NM, GO), pp. 243–257.
SACSAC-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.
SACSAC-2006-JouaultK #architecture #atl #on the #qvt
On the architectural alignment of ATL and QVT (FJ, IK), pp. 1188–1195.
SACSAC-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.
VMCAIVMCAI-2002-HardingRS #approximate #atl
Approximating ATL* in ATL (AH, MR, PYS), pp. 289–301.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.