Search results for "ATL"

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