Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria |
Model Transformation by Example Driven ATL Transformation Rules Development Using Model Differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (Selected Papers) ![In: Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers, pp. 113-130, 2014, Springer, 978-3-319-25578-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Rui Pais, João Paulo Barros, Luís Gomes 0001 |
From SysML State Machines to Petri Nets Using ATL Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DoCEIS ![In: Technological Innovation for Collective Awareness Systems - 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April 7-9, 2014. Proceedings, pp. 227-236, 2014, Springer, 978-3-642-54733-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Alessio Lomuscio, Jakub Michaliszyn |
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014, AAAI Press, 978-1-57735-657-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | François Laroussinie, Nicolas Markey |
Satisfiability of ATL with strategy contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013., pp. 208-223, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Valerio Cosentino, Massimo Tisi, Fabian Büttner |
Analyzing Flowgraphs with ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC ![In: Proceedings Sixth Transformation Tool Contest, TTC 2013, Budapest, Hungary, 19-20 June, 2013., pp. 32-36, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Dimitar P. Guelev |
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 81-89, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Iván Santiago, Juan M. Vara, Valeria de Castro, Esperanza Marcos |
Measuring the Effect of Enabling Traces Generation in ATL Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE (Selected Papers) ![In: Evaluation of Novel Approaches to Software Engineering - 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers, pp. 229-240, 2013, Springer, 978-3-642-54091-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio |
A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformations - 6th International Conference, ICMT@STAF 2013, Budapest, Hungary, June 18-19, 2013. Proceedings, pp. 60-75, 2013, Springer, 978-3-642-38882-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Amélie David 0001 |
TATL: Implementation of ATL Tableau-Based Decision Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings, pp. 97-103, 2013, Springer, 978-3-642-40536-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Truls Pedersen, Sjur Kristoffer Dyrkolbotn |
Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings, pp. 245-259, 2013, Springer, 978-3-642-44926-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Henning Schnoor |
Epistemic and Probabilistic ATL with Quantification and Explicit Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (Revised Selected Papers) ![In: Agents and Artificial Intelligence - 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers, pp. 131-148, 2013, Springer, 978-3-662-44439-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Henning Schnoor |
Quantified Epistemic and Probabilistic ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Volume 2, Barcelona, Spain, 15-18 February, 2013, pp. 14-23, 2013, SciTePress, 978-989-8565-39-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Massimo Tisi, Salvador Martínez Perez, Hassene Choura |
Parallel Execution of ATL Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings, pp. 656-672, 2013, Springer, 978-3-642-41532-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Angelika Kusel, Johannes Schoenboeck, Manuel Wimmer, Werner Retschitzegger, Wieland Schwinger, Gerti Kappel |
Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMT@MoDELS ![In: Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
Flexible Model-to-Model Transformation Templates: An Application to ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 11(2), pp. 4: 1-28, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Nitin Yadav, Sebastian Sardiña |
Reasoning about Agent Programs using ATL-like Logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.3874, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann, Truls Pedersen |
No big deal: introducing roles to reduce the size of ATL models ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.3495, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla |
Verification of ATL Transformations Using Transformation Models and Model Finders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, pp. 198-213, 2012, Springer, 978-3-642-34280-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Fabian Büttner, Marina Egea, Jordi Cabot |
On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, pp. 432-448, 2012, Springer, 978-3-642-33665-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Carlos A. González, Jordi Cabot |
ATLTest: A White-Box Test Generation Approach for ATL Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, pp. 449-464, 2012, Springer, 978-3-642-33665-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn |
Functional validation of AADL models via model transformation to SystemC with ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012, pp. 13-18, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Nitin Yadav, Sebastian Sardiña |
Reasoning about Agent Programs Using ATL-Like Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 437-449, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Troquard, Dirk Walther 0002 |
On Satisfiability in ATL with Strategy Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 398-410, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings, pp. 193-208, 2012, Springer, 978-3-642-32939-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Dimitar P. Guelev, Catalin Dima |
Epistemic ATL with Perfect Recall, Past and Strategy Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, pp. 77-93, 2012, Springer, 978-3-642-32896-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Javier Troya, Antonio Vallecillo |
A Rewriting Logic Semantics for ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 10, pp. 5: 1-29, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Catalin Dima, Ferucio Laurentiu Tiplea |
Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1102.4225, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | M'hamed Rahmouni |
MDA-based ATL transformation to generate MVC 2 web models ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.2873, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | José Barranquero Tolosa, Oscar Sanjuán Martínez, Vicente García-Díaz, B. Cristina Pelayo García-Bustelo, Juan Manuel Cueva Lovelle |
Towards the systematic measurement of ATL transformation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 41(7), pp. 789-815, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Sven Patzina, Lars Patzina |
A Case Study Based Comparison of ATL and SDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers, pp. 210-221, 2011, Springer, 978-3-642-34175-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano 0001 |
Toward Bidirectionalization of ATL with GRoundTram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 4th International Conference, ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, pp. 138-151, 2011, Springer, 978-3-642-21731-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Marcel van Amstel, Steven Bosems, Ivan Kurtev, Luís Ferreira Pires |
Performance in Model Transformations: Experiments with ATL and QVT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 4th International Conference, ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, pp. 198-212, 2011, Springer, 978-3-642-21731-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou |
ATL Transformation for the Generation of SCA Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), Beijing, China, October 24-26, 2011, pp. 164-167, 2011, IEEE Computer Society, 978-1-4577-1323-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Michael Köster, Peter Lohmann |
Abstraction for Model Checking Modular Interpreted Systems over ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProMAS ![In: Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers, pp. 95-113, 2011, Springer, 978-3-642-31914-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Fabian Büttner, Jordi Cabot, Martin Gogolla |
On validation of ATL transformation rules by transformation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 9:1-9:8, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Aleksander González, Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez |
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVM/FTMDD/RTSOABIS/MSVVEIS ![In: IVM, FTMDD, RTSOABIS & MSVVEIS 2011 - Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation of Enterprise Information Systems, In conjunction with ICEIS 2011, Beijing, China, June, 2011, pp. 51-60, 2011, SciTePress, 978-989-8425-60-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Ivan Kurtev, Massimo Tisi, Dennis Wagelaar (eds.) |
Proceedings of the 3rd International Workshop on Model Transformation with ATL, MtATL@TOOLS 2011, Zürich, Switzerland, July 1st, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MtATL@TOOLS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Michael Köster, Peter Lohmann |
Abstraction for model checking modular interpreted systems over ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, pp. 1129-1130, 2011, IFAAMAS, 978-0-9826571-5-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Andreza Vieira, Franklin Ramalho |
A Static Analyzer for Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MtATL@TOOLS ![In: Proceedings of the 3rd International Workshop on Model Transformation with ATL, MtATL@TOOLS 2011, Zürich, Switzerland, July 1st, 2011, pp. 75-88, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Nils Bulling, Jürgen Dix |
Modelling and Verifying Coalitions using Argumentation and ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inteligencia Artif. ![In: Inteligencia Artif. 14(46), pp. 45-73, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto 0001 |
Using ATL to define advanced and flexible constraint model transformations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1002.3078, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Massimo Tisi, Jordi Cabot, Frédéric Jouault |
Improving Higher-Order Transformations Support in ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings, pp. 215-229, 2010, Springer, 978-3-642-13687-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Javier Troya, Antonio Vallecillo |
Towards a Rewriting Logic Semantics for ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings, pp. 230-244, 2010, Springer, 978-3-642-13687-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Jouault, Massimo Tisi |
Towards Incremental Execution of ATL Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings, pp. 123-137, 2010, Springer, 978-3-642-13687-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
ATL with Strategy Contexts: Expressiveness and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, pp. 120-132, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-23-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Nguyen Hoang Nga |
An Extension of RB-ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MALLOW ![In: Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Giuseppe De Giacomo, Paolo Felli |
Agent composition synthesis based on ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3, pp. 499-506, 2010, IFAAMAS, 978-0-9826571-1-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Jan M. Broersen |
CTL.STIT: enhancing ATL to express important multi-agent system verification properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3, pp. 683-690, 2010, IFAAMAS, 978-0-9826571-1-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Jun Wu 0015, Chong-Jun Wang, Lei Zhang 0086, Junyuan Xie |
Coalitional Planning in Game-like Domains via ATL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009, pp. 645-652, 2009, IEEE Computer Society, 978-0-7695-3920-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | François Laroussinie, Nicolas Markey, Ghassan Oreiby |
On the Expressiveness and Complexity of ATL ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0804.2435, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | François Laroussinie, Nicolas Markey, Ghassan Oreiby |
On the Expressiveness and Complexity of ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 4(2), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev |
ATL: A model transformation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 72(1-2), pp. 31-39, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar |
Modelling coalitions: ATL + argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2, pp. 681-688, 2008, IFAAMAS, 978-0-9817381-1-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Ivan Kurtev, Klaas van den Berg, Frédéric Jouault |
Rule-based modularization in model transformation languages illustrated with ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 68(3), pp. 138-154, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Xinyu Song 0001, Yongfeng Li |
Global stability and periodic solution of a model for HTLV-I infection and ATL progression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 180(1), pp. 401-410, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Dirk Walther 0002, Carsten Lutz, Frank Wolter, Michael J. Wooldridge |
ATL Satisfiability is Indeed EXPTIME-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 16(6), pp. 765-787, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jean Bézivin, Frédéric Jouault |
Using ATL for Checking Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRaMoT@GPCE ![In: Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005, pp. 69-81, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi |
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUMAS ![In: EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, Brussels, Belgium, December 7-8, 2005, pp. 214-223, 2005, Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Michael Andrew Lynch |
Algorithm to layout (ATL) systems for VLSI design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1986 |
RDF |
|
14 | Patrice D. Tremoulet, Patrick L. Craven, Susan Harkness Regli, Saki Wilcox, Joyce Barton, Kathleen Stibler, Adam Gifford, Marianne Clark |
Workload-Based Assessment of a User Interface Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 333-342, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evaluation, human computer interaction, usability, human factors, user interface design, Cognitive workload |
14 | Iván García-Magariño, Jorge J. Gómez-Sanz, Rubén Fuentes-Fernández |
Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, pp. 52-66, 2009, Springer, 978-3-642-02407-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model-transformation by-example, algorithm, model transformations, model-driven development, Model-driven engineering |
14 | Juan M. Vara, Belén Vela, Verónica Andrea Bollati, Esperanza Marcos |
Supporting Model-Driven Development of Object-Relational Database Schemas: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, pp. 181-196, 2009, Springer, 978-3-642-02407-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Code Generation, Model Transformations, Model-Driven Engineering, Object-Relational Databases |
14 | Bouchra El Asri, Adil Kenzi, Mahmoud Nassar, Abdelaziz Kriouile, Abdelaziz Barrahmoune |
Multiview Components for User-Aware Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings, pp. 196-207, 2009, Springer, 978-3-642-01346-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Information System Modelling, VUML, Multiview component, User-aware service, MVWSDL, UML, MDA, View, Viewpoint |
14 | Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Xuandong Li |
An MDE-based method for bridging different design notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 203-213, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Formal methods, LOTOS, MDE |
14 | Neda Beheshti, Yashar Ganjali, Monia Ghobadi, Nick McKeown, Geoff Salmon |
Experimental study of router buffer sizing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Conference ![In: Proceedings of the 8th ACM SIGCOMM Internet Measurement Conference, IMC 2008, Vouliagmeni, Greece, October 20-22, 2008, pp. 197-210, 2008, ACM, 978-1-60558-334-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
network test-beds, router buffer size, tcp, netfpga |
14 | Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat 0001 |
Ladder Metamodeling and PLC Program Validation through Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 121-136, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers, Wouter Joosen |
Generic Reusable Concern Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 231-245, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Dmitry Bugaychenko, Igor Soloviev |
MASL: A Logic for the Specification of Multiagent Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings, pp. 183-192, 2007, Springer, 978-3-540-75253-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Detlef Kähler, Ralf Küsters, Tomasz Truderung |
Infinite State AMC-Model Checking for Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 181-192, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Geylani Kardas, Arda Goknil, Oguz Dikenelli, N. Yasemin Topaloglu |
Model Transformation for Model Driven Development of Semantic Web Enabled Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007, Proceedings, pp. 13-24, 2007, Springer, 978-3-540-74948-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner 0001, Sergey Lukichev, Vladan Devedzic |
Bridging Concrete and Abstract Syntax of Web Rule Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings, pp. 309-318, 2007, Springer, 978-3-540-72981-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Guadalupe Ortiz 0001, Juan Hernández Núñez, Fernando Sánchez |
Model Driven Extra-Functional Properties for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCW ![In: Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 113-120, 2006, IEEE Computer Society, 0-7695-2681-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Thomas A. Henzinger, Vinayak S. Prabhu |
Timed Alternating-Time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings, pp. 1-17, 2006, Springer, 3-540-45026-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ajay Mahimkar, Vitaly Shmatikov |
Game-Based Analysis of Denial-of-Service Prevention Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France, pp. 287-301, 2005, IEEE Computer Society, 0-7695-2340-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Aidan Harding, Mark Ryan 0001, Pierre-Yves Schobbens |
A New Algorithm for Strategy Synthesis in LTL Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 477-492, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge |
Knowledge and social laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 674-681, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
alternating-time temporal epistemic logic, social laws, knowledge |
14 | Jean Bézivin, Frédéric Jouault, Peter Rosenthal, Patrick Valduriez |
Modeling in the Large and Modeling in the Small. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAFA ![In: Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers, pp. 33-46, 2004, Springer, 3-540-28240-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jean Bézivin, Slimane Hammoudi, Denivaldo Lopes, Frédéric Jouault |
Applying MDA Approach for Web Service Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings, pp. 58-70, 2004, IEEE Computer Society, 0-7695-2214-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Aidan Harding, Mark Ryan 0001, Pierre-Yves Schobbens |
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pp. 137-146, 2003, IEEE Computer Society, 0-7695-1912-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Damien Massé |
Combining Forward and Backward Analyses of Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADO ![In: Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings, pp. 103-116, 2001, Springer, 3-540-42068-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Mark Ryan 0001, Pierre-Yves Schobbens |
Agents and Roles: Refinement in Alternating-Time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers, pp. 100-114, 2001, Springer, 3-540-43858-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | James E. Saultz |
Rapid Prototyping of Application-Specific Signal Processors (RASSP) In-Progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 15(1-2), pp. 29-47, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|