Jordi Cabot - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged ATL

Toward Bidirectionalization of ATL with GRoundTramIsao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. ICMT 2011: 138-151 [doi]

A Rewriting Logic Semantics for ATLJavier Troya, Antonio Vallecillo. jot, 10, 2011. [doi]

Towards the systematic measurement of ATL transformation modelsJosé Barranquero Tolosa, Oscar Sanjuán Martínez, Vicente García-Díaz, B. Cristina Pelayo García-Bustelo, Juan Manuel Cueva Lovelle. SPE, 41(7):789-815, 2011. [doi]

Performance in Model Transformations: Experiments with ATL and QVTMarcel Van Amstel, Steven Bosems, Ivan Kurtev, Luís Ferreira Pires. ICMT 2011: 198-212 [doi]

A Comparison of Rule Inheritance in Model-to-Model Transformation LanguagesManuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Dimitris Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar. ICMT 2011: 31-46

Toward bidirectionalization of ATL with GRoundTramIsao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. ICMT 2011: 138-151

Generic Model Transformations: Write Once, Reuse EverywhereJesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT 2011: 62-77

Performance in Model Transformations: A Comparison Between ATL and QVT Marcel van Amstel, Steven Bosems, Luis Ferreira Pires, Ivan Kurtev. ICMT 2011: 198-212

Improving Higher-Order Transformations Support in ATLMassimo Tisi, Jordi Cabot, Frédéric Jouault. ICMT 2010: 215-229 [doi]

CTL.STIT: enhancing ATL to express important multi-agent system verification propertiesJan Broersen. atal 2010: 683-690 [doi]

Modelling and Verifying Coalitions using Argumentation and ATLNils Bulling, Jürgen Dix. aepia, 14(46):45-73, 2010. [doi]

ATLS - A parallel loop scheduling scheme for dynamic environmentsGonzalo Vera, Remo Suppi. procedia, 1(1):583-591, 2010. [doi]

Towards Incremental Execution of ATL TransformationsFrédéric Jouault, Massimo Tisi. ICMT 2010: 123-137 [doi]

Agent composition synthesis based on ATLGiuseppe De Giacomo, Paolo Felli. atal 2010: 499-506 [doi]

ATL with Strategy Contexts: Expressiveness and Model CheckingArnaud Da Costa Lopes, François Laroussinie, Nicolas Markey. fsttcs 2010: 120-132 [doi]

Towards a Rewriting Logic Semantics for ATLJavier Troya, Antonio Vallecillo. ICMT 2010: 230-244 [doi]

Abstract and Concrete Syntax Migration of Instance ModelsAntonio Cicchetti, Bart Meyers, Manuel Wimmer. TTC 2010:

Model-driven development of service compositions : transformation from service choreography to service orchestrationsRavi Khadka. August 2010.

Model-driven development of service compositions : transformation from service choreography to service orchestrationsRavi Khadka. August 2010.

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATLAbdelouahed Gherbi, Ferhat Khendek. ASE, 16(3-4):387-414, 2009. [doi]

Coalitional Planning in Game-like Domains via ATL Model CheckingJun Wu, Chong-Jun Wang, Lei Zhang, Junyuan Xie. ictai 2009: 645-652 [doi]

On the Expressiveness and Complexity of ATLFranÃ§ois Laroussinie, Nicolas Markey, Ghassan Oreiby. lmcs, 4(2), 2008. [doi]

ATL* Satisfiability Is 2EXPTIME-CompleteSven Schewe. icalp 2008: 373-385 [doi]

An Argumentative Approach for Modelling Coalitions Using ATLNils Bulling, Carlos Iván Chesñevar, Jürgen Dix. argmas 2009: 197-216 [doi]

N-ATL and ATL-G, Two Approaches for Goal Specification in Advanced Distributed Computing SystemsZhengyuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang. ncm 2008: 523-527 [doi]

Modelling coalitions: ATL + argumentationNils Bulling, Jürgen Dix, Carlos Iván Chesñevar. atal 2008: 681-688 [doi]

Using ATL for transformations in software performance engineering: a step ahead of java-based transformations?Vittorio Cortellessa, Sara Di Gregorio, Antinisca Di Marco. wosp 2008: 127-132 [doi]

ATL: A model transformation toolFrédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev. SCP, 72(1-2):31-39, 2008. [doi]

Model-driven migration of supervisory machine control architecturesBas Graaf, Sven Weber, Arie van Deursen. jss, 81(4):517-535, 2008. [doi]

On the Expressiveness and Complexity of ATLFrançois Laroussinie, Nicolas Markey, Ghassan Oreiby. fossacs 2007: 243-257 [doi]

Rule-based modularization in model transformation languages illustrated with ATLIvan Kurtev, Klaas van den Berg, Frédéric Jouault. SCP, 68(3):138-154, 2007. [doi]

Proving ATL* Properties of Infinite-State SystemsMatteo Slanina, Henny B. Sipma, Zohar Manna. ictac 2006: 242-256 [doi]

A STIT-Extension of ATLJan Broersen, Andreas Herzig, Nicolas Troquard. jelia 2006: 69-81 [doi]

Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm s ScenarioJan Broersen. deon 2006: 53-68 [doi]

ATL Satisfiability is Indeed EXPTIME-completeDirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge. logcom, 16(6):765-787, 2006. [doi]

On the complexity of practical ATL model checkingWiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge. atal 2006: 201-208 [doi]

On the architectural alignment of ATL and QVTFrédéric Jouault, Ivan Kurtev. SAC 2006: 1188-1195 [doi]

ATL: a QVT-like transformation languageFrédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez. OOPSLA 2006: 719-720 [doi]

Evaluation of rule-based modularization in model transformation languages illustrated with ATLIvan Kurtev, Klaas van den Berg, Frédéric Jouault. SAC 2006: 1202-1209 [doi]

Using ATL for Checking ModelsJean Bézivin, Frédéric Jouault. ENTCS, 152:69-81, 2006. [doi]

A Model-Driven Approach to the Engineering of Multiple User InterfacesGoetz Botterweck. MoDELS 2006: 106-115 [doi]

BDI^ATL : An Alternating-Time BDI Logic for Multiagent SystemsRoberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi. eumas 2005: 214-223

Transforming Models with ATLFrédéric Jouault, Ivan Kurtev. uml 2006: 128-138 [doi]

ATL: an adaptive transport layer suite for next-generation wireless InternetÖzgür B. Akan, Ian F. Akyildiz. jsac, 22(5):802-817, 2004. [doi]

Strategic Planning through Model Checking of ATL FormulaeWojciech Jamroga. icaisc 2004: 879-884 [doi]

Approximating ATL:::*::: in ATLAidan Harding, Mark Ryan, Pierre Yves Schobbens. vmcai 2002: 289-301 [doi]

The ATL Postmaster: A System for Agent Collaboration and Information DisseminationJennifer Kay, Julius Etzl, Goutham Rao, Jon Thies. agents 1998: 338-342 [doi]

runs on WebDSL