Search results for "ATL"

Hits ?▲	Authors	Title	Venue	Year	Link
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