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. |
ICSOFT (Selected Papers) |
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. |
DoCEIS |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Alessio Lomuscio, Jakub Michaliszyn |
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. |
KR |
2014 |
DBLP BibTeX RDF |
|
20 | François Laroussinie, Nicolas Markey |
Satisfiability of ATL with strategy contexts. |
GandALF |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Valerio Cosentino, Massimo Tisi, Fabian Büttner |
Analyzing Flowgraphs with ATL. |
TTC |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Dimitar P. Guelev |
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL |
SR |
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. |
ENASE (Selected Papers) |
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. |
ICMT |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Amélie David 0001 |
TATL: Implementation of ATL Tableau-Based Decision Procedure. |
TABLEAUX |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Truls Pedersen, Sjur Kristoffer Dyrkolbotn |
Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL. |
PRIMA |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Henning Schnoor |
Epistemic and Probabilistic ATL with Quantification and Explicit Strategies. |
ICAART (Revised Selected Papers) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Henning Schnoor |
Quantified Epistemic and Probabilistic ATL. |
ICAART (2) |
2013 |
DBLP BibTeX RDF |
|
20 | Massimo Tisi, Salvador Martínez Perez, Hassene Choura |
Parallel Execution of ATL Transformation Rules. |
MoDELS |
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. |
AMT@MoDELS |
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. |
J. Object Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Nitin Yadav, Sebastian Sardiña |
Reasoning about Agent Programs using ATL-like Logics |
CoRR |
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 |
CoRR |
2012 |
DBLP BibTeX RDF |
|
20 | Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla |
Verification of ATL Transformations Using Transformation Models and Model Finders. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Fabian Büttner, Marina Egea, Jordi Cabot |
On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Carlos A. González, Jordi Cabot |
ATLTest: A White-Box Test Generation Approach for ATL Transformations. |
MoDELS |
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. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Nitin Yadav, Sebastian Sardiña |
Reasoning about Agent Programs Using ATL-Like Logics. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Troquard, Dirk Walther 0002 |
On Satisfiability in ATL with Strategy Contexts. |
JELIA |
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. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Dimitar P. Guelev, Catalin Dima |
Epistemic ATL with Perfect Recall, Past and Strategy Contexts. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Javier Troya, Antonio Vallecillo |
A Rewriting Logic Semantics for ATL. |
J. Object Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Catalin Dima, Ferucio Laurentiu Tiplea |
Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable |
CoRR |
2011 |
DBLP BibTeX RDF |
|
20 | M'hamed Rahmouni |
MDA-based ATL transformation to generate MVC 2 web models |
CoRR |
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. |
Softw. Pract. Exp. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Sven Patzina, Lars Patzina |
A Case Study Based Comparison of ATL and SDM. |
AGTIVE |
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. |
ICMT@TOOLS |
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. |
ICMT@TOOLS |
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. |
SKG |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Michael Köster, Peter Lohmann |
Abstraction for Model Checking Modular Interpreted Systems over ATL. |
ProMAS |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Fabian Büttner, Jordi Cabot, Martin Gogolla |
On validation of ATL transformation rules by transformation models. |
MoDeVVa@MoDELS |
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. |
IVM/FTMDD/RTSOABIS/MSVVEIS |
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 |
MtATL@TOOLS |
2011 |
DBLP BibTeX RDF |
|
20 | Michael Köster, Peter Lohmann |
Abstraction for model checking modular interpreted systems over ATL. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
20 | Andreza Vieira, Franklin Ramalho |
A Static Analyzer for Model Transformations. |
MtATL@TOOLS |
2011 |
DBLP BibTeX RDF |
|
20 | Nils Bulling, Jürgen Dix |
Modelling and Verifying Coalitions using Argumentation and ATL. |
Inteligencia Artif. |
2010 |
DBLP BibTeX RDF |
|
20 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto 0001 |
Using ATL to define advanced and flexible constraint model transformations |
CoRR |
2010 |
DBLP BibTeX RDF |
|
20 | Massimo Tisi, Jordi Cabot, Frédéric Jouault |
Improving Higher-Order Transformations Support in ATL. |
ICMT@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Javier Troya, Antonio Vallecillo |
Towards a Rewriting Logic Semantics for ATL. |
ICMT@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Jouault, Massimo Tisi |
Towards Incremental Execution of ATL Transformations. |
ICMT@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
ATL with Strategy Contexts: Expressiveness and Model Checking. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Nguyen Hoang Nga |
An Extension of RB-ATL. |
MALLOW |
2010 |
DBLP BibTeX RDF |
|
20 | Giuseppe De Giacomo, Paolo Felli |
Agent composition synthesis based on ATL. |
AAMAS |
2010 |
DBLP BibTeX RDF |
|
20 | Jan M. Broersen |
CTL.STIT: enhancing ATL to express important multi-agent system verification properties. |
AAMAS |
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. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
20 | François Laroussinie, Nicolas Markey, Ghassan Oreiby |
On the Expressiveness and Complexity of ATL |
CoRR |
2008 |
DBLP BibTeX RDF |
|
20 | François Laroussinie, Nicolas Markey, Ghassan Oreiby |
On the Expressiveness and Complexity of ATL. |
Log. Methods Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev |
ATL: A model transformation tool. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar |
Modelling coalitions: ATL + argumentation. |
AAMAS (2) |
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. |
Sci. Comput. Program. |
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. |
Appl. Math. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Dirk Walther 0002, Carsten Lutz, Frank Wolter, Michael J. Wooldridge |
ATL Satisfiability is Indeed EXPTIME-complete. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jean Bézivin, Frédéric Jouault |
Using ATL for Checking Models. |
GRaMoT@GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi |
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. |
EUMAS |
2005 |
DBLP BibTeX RDF |
|
20 | Michael Andrew Lynch |
Algorithm to layout (ATL) systems for VLSI design. |
|
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. |
HCI (11) |
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. |
ICMT@TOOLS |
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. |
ICMT@TOOLS |
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. |
ICEIS |
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. |
Innov. Syst. Softw. Eng. |
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. |
Internet Measurement Conference |
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. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers, Wouter Joosen |
Generic Reusable Concern Compositions. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Dmitry Bugaychenko, Igor Soloviev |
MASL: A Logic for the Specification of Multiagent Real-Time Systems. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Detlef Kähler, Ralf Küsters, Tomasz Truderung |
Infinite State AMC-Model Checking for Cryptographic Protocols. |
LICS |
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. |
MATES |
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. |
RR |
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. |
SCW |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Thomas A. Henzinger, Vinayak S. Prabhu |
Timed Alternating-Time Temporal Logic. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ajay Mahimkar, Vitaly Shmatikov |
Game-Based Analysis of Denial-of-Service Prevention Protocols. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Aidan Harding, Mark Ryan 0001, Pierre-Yves Schobbens |
A New Algorithm for Strategy Synthesis in LTL Games. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge |
Knowledge and social laws. |
AAMAS |
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. |
MDAFA |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jean Bézivin, Slimane Hammoudi, Denivaldo Lopes, Frédéric Jouault |
Applying MDA Approach for Web Service Platform. |
EDOC |
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. |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Damien Massé |
Combining Forward and Backward Analyses of Temporal Properties. |
PADO |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Mark Ryan 0001, Pierre-Yves Schobbens |
Agents and Roles: Refinement in Alternating-Time Temporal Logic. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
14 | James E. Saultz |
Rapid Prototyping of Application-Specific Signal Processors (RASSP) In-Progress Report. |
J. VLSI Signal Process. |
1997 |
DBLP DOI BibTeX RDF |
|