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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.12589, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Laura Florentina Stoica, Florin Stoica |
ATLDesigner: ATL Model Checking Using An Attribute Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 32(8), pp. 1125-1154, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell., pp. 43-45, 2022, Gesellschaft für Informatik e.V., 978-3-88579-714-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10 - 14, 2022, pp. 1522-1531, 2022, ACM, 978-1-4503-9203-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EITCE ![In: Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, EITCE 2022, Xiamen, China, October 21-23, 2022., pp. 1517-1525, 2022, ACM, 978-1-4503-9714-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.07774, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Serenella Cerrito |
Tableaux like model checking on-the-fly for ATL+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.05378, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Federica Adobbati, Luca Bernardinello, Lucia Pomello |
Asynchronous games on Petri nets and ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.06866, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
Game-theoretic semantics for ATL+ with applications to model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 276, pp. 104554, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
AnATLyzer: Static Analysis of ATL Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 259-281, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021, Online Streaming, February 8-10, 2021., pp. 122-135, 2021, SCITEPRESS, 978-989-758-487-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021, Victoria, BC, Canada, May 10-12, 2021, pp. 277-282, 2021, IEEE, 978-1-7281-6207-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021, pp. 13-23, 2021, IEEE, 978-1-6654-3495-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC/ ![In: TTC 2020/2021 - Joint Proceedings of the 13th and 14th Tool Transformation Contests. The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Michal Kanski, Artur Niewiadomski 0001, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
SMT-Based Unbounded Model Checking for ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers, pp. 43-58, 2021, Springer, 978-3-030-98849-4. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021., pp. 1764-1766, 2021, ACM, 978-1-4503-8307-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Stefan Götz 0002, Matthias Tichy |
Investigating the Origins of Complexity and Expressiveness in ATL Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 19(2), pp. 12:1-21, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Khadir Kumar N., Bharathi A. |
Real time energy efficient data aggregation and scheduling scheme for WSN using ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 151, pp. 202-207, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea |
A Hennessy-Milner Theorem for ATL with Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.15000, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Magdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek |
SAT-Based ATL Satisfiability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.03117, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 120, pp. 106243, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Wonhong Nam, Haejin Yang, Hyunyoung Kil |
Winning Strategy Tree Construction for BDD-Based ATL Model Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 30(4), pp. 555-573, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020., pp. 360-372, 2020, SCITEPRESS, 978-989-758-400-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Lano, Shichao Fang |
Automated Synthesis of ATL Transformations from Metamodel Correspondences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020., pp. 263-270, 2020, SCITEPRESS, 978-989-758-400-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea |
A Hennessy-Milner Theorem for ATL with Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020., pp. 181-194, 2020, ACM, 978-1-4503-7104-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Natasha Alechina, Stéphane Demri, Brian Logan 0001 |
Parameterised Resource-Bounded ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 7040-7046, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Stéphane Demri |
Reasoning with a Bounded Number of Resources in ATL+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), pp. 624-631, 2020, IOS Press, 978-1-64368-100-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Magdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek |
SAT-Based ATL Satisfiability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 539-549, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020, pp. 2111-2113, 2020, International Foundation for Autonomous Agents and Multiagent Systems, 978-1-4503-7518-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul |
Efficient ATL Incremental Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 18(3), pp. 2:1-17, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 18(1), pp. 321-344, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
Alternating-time temporal logic ATL with finitely bounded semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 797, pp. 129-155, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek |
Timed ATL: Forget Memory, Just Count. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 66, pp. 197-223, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone |
Model Checking ATL* on vCGS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.04350, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.03434, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 28th ACM International Conference on Information and Knowledge Management, CIKM 2019, Beijing, China, November 3-7, 2019., pp. 269-278, 2019, ACM, 978-1-4503-6976-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SE/SWM ![In: Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, pp. 91-92, 2019, GI, 978-3-88579-686-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC@STAF ![In: Proceedings of the 12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, Eindhoven, The Netherlands, July 19, 2019., pp. 51-58, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara |
Towards Effective Mutation Testing for ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019, pp. 78-88, 2019, IEEE, 978-1-7281-2536-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Belardinelli, Stéphane Demri |
Resource-bounded ATL: the Quest for Tractable Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019, pp. 206-214, 2019, International Foundation for Autonomous Agents and Multiagent Systems, 978-1-4503-6309-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer |
Full contract verification for ATL using symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 17(3), pp. 815-849, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
Quick fixing ATL transformations with speculative analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 17(3), pp. 779-813, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Zheng Cheng, Massimo Tisi |
Slicing ATL model transformations for scalable deductive verification and fault localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 20(6), pp. 645-663, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Raphaël Berthon, Bastien Maubert, Aniello Murano |
Decidability results for ATL* with imperfect information and perfect recall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.12582, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Florin Stoica, Laura Florentina Stoica |
Generating an ATL Model Checker using an Attribute Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.08267, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Artur Boronat |
A Formal Framework for Prototyping Executable Semantics in ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformation - 11th International Conference, ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 157-172, 2018, Springer, 978-3-319-93316-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Khadidja Salah-Mansour, Youcef Hammal |
ATL Based Refinement of WS-CDL Choreography into BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MISC ![In: Modelling and Implementation of Complex Systems - Proceedings of the 5th International Symposium, MISC 2018, Laghouat, Algeria, December 16-18, 2018, pp. 329-343, 2018, Springer, 978-3-030-05481-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, pp. 445-455, 2018, ACM, 978-1-4503-5573-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC@STAF ![In: Proceedings of the 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations, TTC@STAF 2018, Toulouse, France, June 29, 2018., pp. 79-83, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
AnATLyzer: an advanced IDE for ATL model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 85-88, 2018, ACM, 978-1-4503-5663-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Dario Della Monica, Aniello Murano |
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pp. 1441-1449, 2018, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 88, pp. 126-144, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.08405, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Salvador Martínez Perez, Massimo Tisi, Rémi Douence |
Reactive model transformation with ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 136, pp. 1-16, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017., pp. 362-373, 2017, SciTePress, 978-989-758-210-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Issam Al-Azzoni |
ATL Transformation of Queueing Networks to Queueing Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017., pp. 261-268, 2017, SciTePress, 978-989-758-210-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Artur Boronat |
Experimentation with a Big-Step Semantics for ATL Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformation - 10th International Conference, ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings, pp. 3-18, 2017, Springer, 978-3-319-61472-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Serenella Cerrito, Amélie David 0001 |
Minimisation of ATL ^* Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings, pp. 193-208, 2017, Springer, 978-3-319-66901-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, Jordi Cabot |
Gremlin-ATL: a scalable model transformation framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, pp. 462-472, 2017, IEEE Computer Society, 978-1-5386-2684-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Xiaowei Huang 0001, Ji Ruan |
ATL Strategic Reasoning Meets Correlated Equilibrium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 1102-1108, 2017, ijcai.org, 978-0-9992411-0-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek |
Timed ATL: Forget Memory, Just Count. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pp. 1460-1462, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pp. 1277-1285, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Raphaël Berthon, Bastien Maubert, Aniello Murano |
Decidability Results for ATL* with Imperfect Information and Perfect Recall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pp. 1250-1258, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Zheng Cheng, Massimo Tisi |
A Deductive Approach for Fault Localization in ATL Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 300-317, 2017, Springer, 978-3-662-54493-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Nuno Macedo, Alcino Cunha |
Least-change bidirectional model transformation with QVT-R and ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 15(3), pp. 783-810, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 94, pp. 60-69, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Andreza Vieira, Franklin Ramalho |
Towards Measuring the Change Impact in ATL Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 26(2), pp. 153-182, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformations - 9th International Conference, ICMT@STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings, pp. 70-78, 2016, Springer, 978-3-319-42063-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings, pp. 16-30, 2016, Springer, 978-3-319-45546-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Nitin Yadav, John Thangarajah |
Checking the Conformance of Requirements in Agent Designs Using ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 243-251, 2016, IOS Press, 978-1-61499-671-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 295-304, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Zheng Cheng, Massimo Tisi |
Towards incremental deductive verification for ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAME/VOLT@MoDELS ![In: Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016., pp. 38-47, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Yassine Rhazali, Youssef Hadi, Abdelaziz Mouloudi |
Model Transformation with ATL into MDA from CIM to PIM Structured through MVC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/SEIT ![In: The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops, May 23-26, 2016, Madrid, Spain, pp. 1096-1101, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Helen Bakhsh |
ATL-QoS: an adaptive trust-aware location-based framework for achieving QoS in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 17(1), pp. 4, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Res. Comput. Sci. ![In: Res. Comput. Sci. 95, pp. 37-47, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian |
Verification of JADE Agents Using ATL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Commun. Control ![In: Int. J. Comput. Commun. Control 10(5), pp. 718-731, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.06766, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Farn Wang, Sven Schewe, Chung-Hao Huang |
An Extension of ATL with Strategy Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 37(3), pp. 9:1-9:41, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | François Laroussinie, Nicolas Markey |
Augmenting ATL with strategy contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 245, pp. 98-123, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25-27, 2015, pp. 37-48, 2015, ACM, 978-1-4503-3686-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Amine Benelallam, Abel Gómez 0001, Massimo Tisi |
ATL-MR: model transformation on MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEPS@SPLASH ![In: Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, SEPS@SPLASH 2015, Pittsburgh, PA, USA, October 27, 2015, pp. 45-49, 2015, ACM, 978-1-4503-3910-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Zheng Cheng, Rosemary Monahan, James F. Power |
A Sound Execution Semantics for ATL via Translation Validation - Research Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformations - 8th International Conference, ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings, pp. 133-148, 2015, Springer, 978-3-319-21154-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Elie Richa, Etienne Borde, Laurent Pautet |
Translating ATL Model Transformations to Algebraic Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformations - 8th International Conference, ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings, pp. 183-198, 2015, Springer, 978-3-319-21154-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Javier Troya, Alexander Bergmayr, Loli Burgueño, Manuel Wimmer |
Towards systematic mutations for and with ATL model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015, pp. 1-10, 2015, IEEE Computer Society, 978-1-4799-1885-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Amélie David 0001 |
Deciding ATL*Satisfiability by Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 214-228, 2015, Springer, 978-3-319-21400-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Dennis Wagelaar |
The ATL/EMFTVM Solution to the Train Benchmark Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC@STAF ![In: Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 24, 2015., pp. 152-156, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
Quick fixing ATL model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 146-155, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer |
Fully verifying transformation contracts for declarative ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 256-265, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MiSE@ICSE ![In: 7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015, pp. 54-59, 2015, IEEE Computer Society, 978-1-4673-7055-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Natasha Alechina, Brian Logan 0001, Hoang Nga Nguyen, Franco Raimondi |
Symbolic Model Checking for One-Resource RB+-ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 1069-1075, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Natasha Alechina, Brian Logan 0001, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda |
Symbolic Model-checking for Resource-Bounded ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015, pp. 1809-1810, 2015, ACM, 978-1-4503-3413-6. The full citation details ...](Pics/full.jpeg) |
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+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.4645, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Dimitar P. Guelev |
Refining and Delegating Strategic Ability in ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 57-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Florin Stoica, Laura Florentina Stoica |
Implementing an ATL model checker tool using relational algebra concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftCOM ![In: 22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014, pp. 361-366, 2014, IEEE, 978-9-5329-0052-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Guifei Jiang, Dongmo Zhang, Laurent Perrussel |
GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings, pp. 733-746, 2014, Springer, 978-3-319-13559-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014, pp. 34-44, 2014, IEEE Computer Society, 978-1-4799-6032-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Nils Bulling, Wojciech Jamroga, Matei Popovici |
ATL* With Truly Perfect Recall: Expressivity and Validities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp. 177-182, 2014, IOS Press, 978-1-61499-418-3. The full citation details ...](Pics/full.jpeg) |
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+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, pp. 277-291, 2014, Springer, 978-3-319-08586-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Andreza Vieira, Franklin Ramalho |
Metrics to Measure the Change Impact in ATL Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement - 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings, pp. 254-268, 2014, Springer, 978-3-319-13834-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|