Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Guoyang Xie, Jinbao Wang, Yawen Huang, Yefeng Zheng 0001, Feng Zheng, Yaochu Jin |
FedMed-ATL: Misaligned Unpaired Brain Image Synthesis via Affine Transform Loss. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
20 | Laura Florentina Stoica, Florin Stoica |
ATLDesigner: ATL Model Checking Using An Attribute Grammar. |
Int. J. Softw. Eng. Knowl. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Höppner, Timo Kehrer, Matthias Tichy |
Contrasting Dedicated Model Transformation Languages vs. General Purpose Languages: A Historical Perspective on ATL vs. Java based on Complexity and Size - Extended Abstract. |
Software Engineering |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jinbao Wang, Guoyang Xie, Yawen Huang, Yefeng Zheng 0001, Yaochu Jin, Feng Zheng |
FedMed-ATL: Misaligned Unpaired Cross-Modality Neuroimage Synthesis via Affine Transform Loss. |
ACM Multimedia |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Bingcai Wei, Di Wang, Zhuang Wang, Liye Zhang 0001, Cong Liu 0012 |
Image Restoration Using Multi-Stage Progressive Encoder-Decoder Network With Attention and Transfer Learning (MSP-ATL). |
EITCE |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Hesam Sahfienya, Amelia C. Regan |
4D flight trajectory prediction using a hybrid Deep Learning prediction method based on ADS-B technology: a case study of Hartsfield-Jackson Atlanta International Airport(ATL). |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Serenella Cerrito |
Tableaux like model checking on-the-fly for ATL+. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Federica Adobbati, Luca Bernardinello, Lucia Pomello |
Asynchronous games on Petri nets and ATL. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
Game-theoretic semantics for ATL+ with applications to model checking. |
Inf. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
AnATLyzer: Static Analysis of ATL Model Transformations. |
Composing Model-Based Analysis Tools |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Götz 0002, Matthias Tichy, Timo Kehrer |
Dedicated Model Transformation Languages vs. General-purpose Languages: A Historical Perspective on ATL vs. Java. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Milad Ramezankhani, Apurva Narayan, Rudolf J. Seethaler, Abbas S. Milani |
An Active Transfer Learning (ATL) Framework for Smart Manufacturing with Limited Data: Case Study on Material Transfer in Composites Processing. |
ICPS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Zahra VaraminyBahnemiry, Jessie Galasso, Khalid Belharbi, Houari A. Sahraoui |
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules. |
MoDELS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Jouault, Théo Le Calvar |
(Ab)using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark. |
TTC/ |
2021 |
DBLP BibTeX RDF |
|
20 | Michal Kanski, Artur Niewiadomski 0001, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
SMT-Based Unbounded Model Checking for ATL. |
VECoS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Angelo Ferrando 0001, Vadim Malvone |
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. (PDF / PS) |
AAMAS |
2021 |
DBLP BibTeX RDF |
|
20 | Stefan Götz 0002, Matthias Tichy |
Investigating the Origins of Complexity and Expressiveness in ATL Transformations. |
J. Object Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Khadir Kumar N., Bharathi A. |
Real time energy efficient data aggregation and scheduling scheme for WSN using ATL. |
Comput. Commun. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea |
A Hennessy-Milner Theorem for ATL with Imperfect Information. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Magdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek |
SAT-Based ATL Satisfiability Checking. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Bader Alkhazi, Chaima Abid, Marouane Kessentini, Manuel Wimmer |
On the value of quality attributes for refactoring ATL model transformations: A multi-objective approach. |
Inf. Softw. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Wonhong Nam, Haejin Yang, Hyunyoung Kil |
Winning Strategy Tree Construction for BDD-Based ATL Model Checkers. |
Int. J. Softw. Eng. Knowl. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Georgiana Caltais, Stefan Leue, Hargurbir Singh |
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Lano, Shichao Fang |
Automated Synthesis of ATL Transformations from Metamodel Correspondences. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea |
A Hennessy-Milner Theorem for ATL with Imperfect Information. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Natasha Alechina, Stéphane Demri, Brian Logan 0001 |
Parameterised Resource-Bounded ATL. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Stéphane Demri |
Reasoning with a Bounded Number of Resources in ATL+. |
ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Magdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek |
SAT-Based ATL Satisfiability Checking. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Artur Niewiadomski 0001, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga |
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. (PDF / PS) |
AAMAS |
2020 |
DBLP BibTeX RDF |
|
20 | Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul |
Efficient ATL Incremental Transformations. |
J. Object Technol. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Elie Richa, Etienne Borde, Laurent Pautet |
Translation of ATL to AGT and application to a code generator for Simulink. |
Softw. Syst. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
Alternating-time temporal logic ATL with finitely bounded semantics. |
Theor. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek |
Timed ATL: Forget Memory, Just Count. |
J. Artif. Intell. Res. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone |
Model Checking ATL* on vCGS. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Mahardhika Pratama, Marcus de Carvalho, Renchunzi Xie, Edwin Lughofer, Jie Lu 0001 |
ATL: Autonomous Knowledge Transfer from Many Streaming Processes. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Mahardhika Pratama, Marcus de Carvalho, Renchunzi Xie, Edwin Lughofer, Jie Lu 0001 |
ATL: Autonomous Knowledge Transfer from Many Streaming Processes. |
CIKM |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Regina Hebig, Christoph Seidl 0001, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski |
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT. |
SE/SWM |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Dennis Wagelaar, Théo Le Calvar, Frédéric Jouault |
Truth Tables to Binary Decision Diagrams in Modern ATL. |
TTC@STAF |
2019 |
DBLP BibTeX RDF |
|
20 | Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara |
Towards Effective Mutation Testing for ATL. |
MoDELS |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Stéphane Demri |
Resource-bounded ATL: the Quest for Tractable Fragments. |
AAMAS |
2019 |
DBLP BibTeX RDF |
|
20 | Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer |
Full contract verification for ATL using symbolic execution. |
Softw. Syst. Model. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
Quick fixing ATL transformations with speculative analysis. |
Softw. Syst. Model. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Zheng Cheng, Massimo Tisi |
Slicing ATL model transformations for scalable deductive verification and fault localization. |
Int. J. Softw. Tools Technol. Transf. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Raphaël Berthon, Bastien Maubert, Aniello Murano |
Decidability results for ATL* with imperfect information and perfect recall. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Florin Stoica, Laura Florentina Stoica |
Generating an ATL Model Checker using an Attribute Grammar. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Artur Boronat |
A Formal Framework for Prototyping Executable Semantics in ATL. |
ICMT |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Khadidja Salah-Mansour, Youcef Hammal |
ATL Based Refinement of WS-CDL Choreography into BPEL Processes. |
MISC |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Regina Hebig, Christoph Seidl 0001, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski |
Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT. |
ESEC/SIGSOFT FSE |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Valentin Besnard, Frédéric Jouault, Théo Le Calvar, Massimo Tisi |
The TTC 2018 Social Media Case, by ATL and AOF. |
TTC@STAF |
2018 |
DBLP BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
AnATLyzer: an advanced IDE for ATL model transformations. |
ICSE (Companion Volume) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Dario Della Monica, Aniello Murano |
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. |
AAMAS |
2018 |
DBLP BibTeX RDF |
|
20 | Natasha Alechina, Brian Logan 0001, Hoang Nga Nguyen, Franco Raimondi |
Model-checking for Resource-Bounded ATL with production and consumption of resources. |
J. Comput. Syst. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
20 | Salvador Martínez Perez, Massimo Tisi, Rémi Douence |
Reactive model transformation with ATL. |
Sci. Comput. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Sandra Greiner 0001, Felix Schwägerl, Bernhard Westfechtel |
Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications. |
MODELSWARD |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Issam Al-Azzoni |
ATL Transformation of Queueing Networks to Queueing Petri Nets. |
MODELSWARD |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Artur Boronat |
Experimentation with a Big-Step Semantics for ATL Model Transformations. |
ICMT |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Serenella Cerrito, Amélie David 0001 |
Minimisation of ATL ^* Models. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, Jordi Cabot |
Gremlin-ATL: a scalable model transformation framework. |
ASE |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Xiaowei Huang 0001, Ji Ruan |
ATL Strategic Reasoning Meets Correlated Equilibrium. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek |
Timed ATL: Forget Memory, Just Count. |
AAMAS |
2017 |
DBLP BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. |
AAMAS |
2017 |
DBLP BibTeX RDF |
|
20 | Raphaël Berthon, Bastien Maubert, Aniello Murano |
Decidability Results for ATL* with Imperfect Information and Perfect Recall. |
AAMAS |
2017 |
DBLP BibTeX RDF |
|
20 | Zheng Cheng, Massimo Tisi |
A Deductive Approach for Fault Localization in ATL Model Transformations. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Nuno Macedo, Alcino Cunha |
Least-change bidirectional model transformation with QVT-R and ATL. |
Softw. Syst. Model. |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Shu Zhao, Qing Cao, Jie Chen 0025, Yanping Zhang, Jie Tang 0001, Zhen Duan |
A multi-ATL method for transfer learning across multiple domains with arbitrarily different distribution. |
Knowl. Based Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Andreza Vieira, Franklin Ramalho |
Towards Measuring the Change Impact in ATL Model Transformations. |
Int. J. Softw. Eng. Knowl. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Juri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio, Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra |
Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform. |
ICMT |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón |
Automatic Generation of Ecore Models for Testing ATL Transformations. |
MEDI |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Nitin Yadav, John Thangarajah |
Checking the Conformance of Requirements in Agent Designs Using ATL. |
ECAI |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Bader Alkhazi, Terry Ruas, Marouane Kessentini, Manuel Wimmer, William I. Grosky |
Automated refactoring of ATL model transformations: a search-based approach. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
20 | Zheng Cheng, Massimo Tisi |
Towards incremental deductive verification for ATL. |
PAME/VOLT@MoDELS |
2016 |
DBLP BibTeX RDF |
|
20 | Yassine Rhazali, Youssef Hadi, Abdelaziz Mouloudi |
Model Transformation with ATL into MDA from CIM to PIM Structured through MVC. |
ANT/SEIT |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Helen Bakhsh |
ATL-QoS: an adaptive trust-aware location-based framework for achieving QoS in MANETs. |
|
2016 |
RDF |
|
20 | Serenella Cerrito, Amélie David 0001, Valentin Goranko |
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+. |
ACM Trans. Comput. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Ana Karen Vega Maqueda, Silvestre Gustavo Peláez-Camarena, Ulises Juárez-Martínez, María Antonieta Abud-Figueroa, Luis Ángel Reyes Hernández |
Aplicación del patrón de transformación de síntesis para la comparación de los lenguajes ATL vs. QVT. |
Res. Comput. Sci. |
2015 |
DBLP BibTeX RDF |
|
20 | Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian |
Verification of JADE Agents Using ATL Model Checking. |
Int. J. Comput. Commun. Control |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Natasha Alechina, Brian Logan 0001, Nguyen Hoang Nga, Franco Raimondi |
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
20 | Farn Wang, Sven Schewe, Chung-Hao Huang |
An Extension of ATL with Strategy Interaction. |
ACM Trans. Program. Lang. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | François Laroussinie, Nicolas Markey |
Augmenting ATL with strategy contexts. |
Inf. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Amine Benelallam, Abel Gómez 0001, Massimo Tisi, Jordi Cabot |
Distributed model-to-model transformation with ATL on MapReduce. |
SLE |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Amine Benelallam, Abel Gómez 0001, Massimo Tisi |
ATL-MR: model transformation on MapReduce. |
SEPS@SPLASH |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Zheng Cheng, Rosemary Monahan, James F. Power |
A Sound Execution Semantics for ATL via Translation Validation - Research Paper. |
ICMT |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Elie Richa, Etienne Borde, Laurent Pautet |
Translating ATL Model Transformations to Algebraic Graph Transformations. |
ICMT |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Javier Troya, Alexander Bergmayr, Loli Burgueño, Manuel Wimmer |
Towards systematic mutations for and with ATL model transformations. |
ICST Workshops |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Amélie David 0001 |
Deciding ATL*Satisfiability by Tableaux. |
CADE |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Dennis Wagelaar |
The ATL/EMFTVM Solution to the Train Benchmark Case. |
TTC@STAF |
2015 |
DBLP BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
Quick fixing ATL model transformations. |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer |
Fully verifying transformation contracts for declarative ATL. |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio |
Mining Correlations of ATL Model Transformation and Metamodel Metrics. |
MiSE@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Natasha Alechina, Brian Logan 0001, Hoang Nga Nguyen, Franco Raimondi |
Symbolic Model Checking for One-Resource RB+-ATL. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
20 | Natasha Alechina, Brian Logan 0001, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda |
Symbolic Model-checking for Resource-Bounded ATL. |
AAMAS |
2015 |
DBLP BibTeX RDF |
|
20 | Serenella Cerrito, Amélie David 0001, Valentin Goranko |
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
20 | Dimitar P. Guelev |
Refining and Delegating Strategic Ability in ATL. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Florin Stoica, Laura Florentina Stoica |
Implementing an ATL model checker tool using relational algebra concepts. |
SoftCOM |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Guifei Jiang, Dongmo Zhang, Laurent Perrussel |
GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. |
PRICAI |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving. |
ISSRE |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Nils Bulling, Wojciech Jamroga, Matei Popovici |
ATL* With Truly Perfect Recall: Expressivity and Validities. |
ECAI |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Serenella Cerrito, Amélie David 0001, Valentin Goranko |
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. |
IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Andreza Vieira, Franklin Ramalho |
Metrics to Measure the Change Impact in ATL Model Transformations. |
PROFES |
2014 |
DBLP DOI BibTeX RDF |
|