Search results for "ATL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
171	Aidan Harding, Mark Ryan 0001, Pierre-Yves Schobbens	Approximating ATL* in ATL.	VMCAI	2002	DBLP DOI BibTeX RDF
145	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time Temporal Logic.	FOCS	1997	DBLP DOI BibTeX RDF
145	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-Time Temporal Logic.	COMPOS	1997	DBLP DOI BibTeX RDF
136	Wiebe van der Hoek, Alessio Lomuscio, Michael J. Wooldridge	On the complexity of practical ATL model checking.	AAMAS	2006	DBLP DOI BibTeX RDF	verification, complexity, cooperation, logic
130	Wojciech Jamroga, Jürgen Dix	Model Checking Abilities of Agents: A Closer Look.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Multi-agent systems, Model checking, Computational complexity
130	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time temporal logic.	J. ACM	2002	DBLP DOI BibTeX RDF	temporaxl logic, model checking, games, Alternation
122	Özgür B. Akan, Ian F. Akyildiz	ATL: an adaptive transport layer suite for next-generation wireless Internet.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
116	Govert van Drimmelen	Satisfiability in Alternating-time Temporal Logic.	LICS	2003	DBLP DOI BibTeX RDF
96	Xianwei Lai, Shanli Hu, Zhengyuan Ning	Reasoning about Actions, Knowledge and Normative Ability.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	cooperation logic, multi-agent systems, knowledge, actions, ATL
93	Nils Bulling, Carlos Iván Chesñevar, Jürgen Dix	An Argumentative Approach for Modelling Coalitions Using ATL.	ArgMAS	2008	DBLP DOI BibTeX RDF
87	Wiebe van der Hoek, Michael J. Wooldridge	Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.	Stud Logica	2003	DBLP DOI BibTeX RDF	Cooperation logic, model checking, game theory, epistemic logic
78	Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey	ATL with Strategy Contexts and Bounded Memory.	LFCS	2009	DBLP DOI BibTeX RDF
78	Sven Schewe	ATL* Satisfiability Is 2EXPTIME-Complete.	ICALP (2)	2008	DBLP DOI BibTeX RDF
78	François Laroussinie, Nicolas Markey, Ghassan Oreiby	On the Expressiveness and Complexity of ATL.	FoSSaCS	2007	DBLP DOI BibTeX RDF
78	Jan M. Broersen, Andreas Herzig, Nicolas Troquard	A STIT-Extension of ATL.	JELIA	2006	DBLP DOI BibTeX RDF
73	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	UML/SPT, UML, Real-time, MDA, Model transformations, Schedulability analysis, ATL
72	Michael J. Wooldridge	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.	KI	2002	DBLP DOI BibTeX RDF
72	Michael J. Wooldridge, Wiebe van der Hoek	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.	COORDINATION	2002	DBLP DOI BibTeX RDF
67	Yingfei Xiong 0001, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei 0001	Towards automatic model synchronization from model transformations.	ASE	2007	DBLP DOI BibTeX RDF	MDA, model transformation, ATL, model synchronization
64	Matteo Slanina, Henny B. Sipma, Zohar Manna	Proving ATL* Properties of Infinite-State Systems.	ICTAC	2006	DBLP DOI BibTeX RDF
64	Frédéric Jouault, Ivan Kurtev	Transforming Models with ATL.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
64	Wojciech Jamroga	Strategic Planning through Model Checking of ATL Formulae.	ICAISC	2004	DBLP DOI BibTeX RDF	Multi-agent systems, model checking, multi-agent planning
59	Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez	ATL: a QVT-like transformation language.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	model transformation, model-driven engineering, QVT, ATL
59	Frédéric Jouault, Ivan Kurtev	On the architectural alignment of ATL and QVT.	SAC	2006	DBLP DOI BibTeX RDF	interoperability, model transformations, QVT, ATL, model engineering
59	Ivan Kurtev, Klaas van den Berg, Frédéric Jouault	Evaluation of rule-based modularization in model transformation languages illustrated with ATL.	SAC	2006	DBLP DOI BibTeX RDF	adaptability, modularity, model transformations, reusability, ATL, transformation languages
58	Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga	Alternating-time temporal logics with irrevocable strategies.	TARK	2007	DBLP DOI BibTeX RDF
58	Xiaohong Li 0001, Zhiyong Feng 0002, Tie Li, Li Lv	A Template Language for Agent Construction.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
58	Wojciech Jamroga, Jürgen Dix	Do Agents Make Model Checking Explode (Computationally)?	CEEMAS	2005	DBLP DOI BibTeX RDF	multi-agent systems, model checking, temporal logic
58	Vittorio Cortellessa, Sara Di Gregorio, Antinisca Di Marco	Using ATL for transformations in software performance engineering: a step ahead of java-based transformations?	WOSP	2008	DBLP DOI BibTeX RDF	atlas transformation language (ATL), unified modeling language (UML), model transformation, software performance modeling
51	Mohsen Imani, Saransh Gupta, Atl Arredondo, Tajana Rosing	Efficient query processing in crossbar memory.	ISLPED	2017	DBLP DOI BibTeX RDF
49	Jan M. Broersen	Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.	DEON	2006	DBLP DOI BibTeX RDF
46	Vannevar Bush	As We May Think. (PDF / PS)	Atl. Mon.	1945	DBLP BibTeX RDF
43	Roy Grønmo, Birger Møller-Pedersen, Gøran K. Olsen	Comparison of Three Model Transformation Languages.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
43	Dirk Walther 0002, Wiebe van der Hoek, Michael J. Wooldridge	Alternating-time temporal logic with explicit strategies.	TARK	2007	DBLP DOI BibTeX RDF
43	Mario Ignacio Chacon Murguia, Alejandro S. Zimmerman, Pablo Rivas P.	Image Processing Applications with a PCNN.	ISNN (3)	2007	DBLP DOI BibTeX RDF
43	Malte Helmert, Robert Mattmüller, Sven Schewe	Selective Approaches for Solving Weak Games.	ATVA	2006	DBLP DOI BibTeX RDF
43	Frédéric Jouault, Jean Bézivin	KM3: A DSL for Metamodel Specification.	FMOODS	2006	DBLP DOI BibTeX RDF
43	Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge	A logic for strategic reasoning.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent systems, game theory, modal logic, strategic reasoning
43	Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge	On Obligations and Abilities.	DEON	2004	DBLP DOI BibTeX RDF	alternating-time logic, multi-agent systems, deontic logic
43	Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka	Faster Model Checking for Open Systems.	ASIAN	1999	DBLP DOI BibTeX RDF
43	Ruud C. M. de Rooij, Jan van Katwijk	An Approach Towards Formal Verification of Object Oriented Real-Time Systems.	RTCSA	1999	DBLP DOI BibTeX RDF
43	Jennifer S. Kay, Julius Etzl, Goutham Rao, Jon Thies	The ATL Postmaster: A System for Agent Collaboration and Information Dissemination.	Agents	1998	DBLP DOI BibTeX RDF	ATL postmaster, knowledge acquistion and accumulation, multi-agent communication coordination and collaboration, mobile agents, agent architectures
41	Laura Bozzelli, Aniello Murano	On the Complexity of ATL and ATL* Module Checking.	GandALF	2017	DBLP DOI BibTeX RDF
41	Gehan M. K. Selim, James R. Cordy, Juergen Dingel	How is ATL Really Used? Language Feature Use in the ATL Zoo.	MoDELS	2017	DBLP DOI BibTeX RDF
41	Ravi Khadka, Brahmananda Sapkota, Luís Ferreira Pires, Marten van Sinderen, Slinger Jansen	WSCDL to WSBPEL: a Case Study of ATL-based Transformation.	MtATL@TOOLS	2011	DBLP BibTeX RDF
41	Álvaro Jiménez, David Granada, Verónica Andrea Bollati, Juan M. Vara	Using ATL to Support Model-Driven Development of RubyTL Model Transformations.	MtATL@TOOLS	2011	DBLP BibTeX RDF
41	Dennis Wagelaar	A Revised Semantics for Rule Inheritance and Module Superimposition in ATL.	MtATL@TOOLS	2011	DBLP BibTeX RDF
41	Jesús Sánchez Cuadrado, Jesús M. Perera Aracil	Compiling ATL with Continuations.	MtATL@TOOLS	2011	DBLP BibTeX RDF
41	Elena Planas, Jordi Cabot, Cristina Gómez 0001	Two Basic Correctness Properties for ATL Transformations: Executability and Coverage.	MtATL@TOOLS	2011	DBLP BibTeX RDF
41	M. F. van Amstel, M. G. J. van den Brand	Using Metrics for Assessing the Quality of ATL Model Transformations.	MtATL@TOOLS	2011	DBLP BibTeX RDF
41	Andrea Randak, Salvador Martínez Perez, Manuel Wimmer	Extending ATL for Native UML Profile Support: An Experience Report.	MtATL@TOOLS	2011	DBLP BibTeX RDF
41	Zhengyuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang	N-ATL and ATL-G, Two Approaches for Goal Specification in Advanced Distributed Computing Systems.	NCM (1)	2008	DBLP DOI BibTeX RDF	multi-agent cooperation logics, multi-agent systems, exceptions, goal, non-monotonic logic
38	María Agustina Cibrán	Translating BPMN Models into UML Activities.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	UML Activities, MDA, Model Transformations, BDD, MDE, BPMN, ATL
38	Rasha Tawhid, Dorina C. Petriu	Integrating Performance Analysis in the Model Driven Development of Software Product Lines.	MoDELS	2008	DBLP DOI BibTeX RDF	UML, Performance Analysis, Software Product Line, MARTE, ATL, Model to model Transformation
38	Goetz Botterweck, Liam O'Brien, Steffen Thiel	Model-driven derivation of product architectures.	ASE	2007	DBLP DOI BibTeX RDF	software architectures, model transformation, software product lines, ATL, product derivation, model-driven approaches
38	Goetz Botterweck	A Model-Driven Approach to the Engineering of Multiple User Interfaces.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	multiple front-ends, Atlas Transformation Language, model transformation, user interface modelling, Model-driven, ATL, user interface engineering, multiple user interfaces
38	Alessio Lomuscio, Franco Raimondi	Model checking knowledge, strategies, and games in multi-agent systems.	AAMAS	2006	DBLP DOI BibTeX RDF	model checking multi-agent systems, ATL
29	Roberto Ciuni, Rosja Mastop	Attributing Distributed Responsibility in Stit Logic.	LORI	2009	DBLP DOI BibTeX RDF
29	Nils Bulling, Wojciech Jamroga	Rational play and rational beliefs under uncertainty.	AAMAS (1)	2009	DBLP BibTeX RDF	imperfect information games, knowledge and beliefs, temporal logic
29	Nils Bulling, Wojciech Jamroga, Jürgen Dix	Reasoning about temporal properties of rational play.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B70, 91A26
29	Matteo Slanina, Henny B. Sipma, Zohar Manna	Deductive verification of alternating systems.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF
29	Dennis Wagelaar	Composition Techniques for Rule-Based Model Transformation Languages.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
29	Chunsheng Xin	Dynamic Traffic Grooming in Optical Networks with Wavelength Conversion.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
29	Sven Schewe, Bernd Finkbeiner	Distributed Synthesis for Alternating-Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
29	Zhengyuan Ning, Xianwei Lai, Shanli Hu, Qingqing Zhan	Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic.	SNPD (2)	2007	DBLP DOI BibTeX RDF
29	Taolue Chen, Jian Lu 0001	Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm.	FSKD (2)	2007	DBLP DOI BibTeX RDF
29	Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman	Strategy Logic.	CONCUR	2007	DBLP DOI BibTeX RDF
29	Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby	Timed Concurrent Game Structures.	CONCUR	2007	DBLP DOI BibTeX RDF
29	François Laroussinie, Nicolas Markey, Ghassan Oreiby	Model-Checking Timed.	FORMATS	2006	DBLP DOI BibTeX RDF
29	Wojciech Jamroga, Thomas Ågotnes	What agents can achieve under incomplete information.	AAMAS	2006	DBLP DOI BibTeX RDF	alternating-time temporal logic, strategic ability, incomplete information, epistemic logic
29	Magdalena Kacprzak, Wojciech Penczek	Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	Alternating-time Temporal Logic, unbounded model checking, SAT-based verification, multi-agent systems, symbolic model checking
29	Denivaldo Lopes, Slimane Hammoudi, Jean Bézivin, Frédéric Jouault	Generating Transformation Definition from Mapping Specification: Application to Web Service Platform.	CAiSE	2005	DBLP DOI BibTeX RDF	Tools for MDA, Web Services, Model Driven Architecture (MDA)
29	Stefan Wölfl 0001	Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency.	JELIA	2004	DBLP DOI BibTeX RDF
29	Michael J. Wooldridge	Social Laws in Alternating Time.	DEON	2004	DBLP DOI BibTeX RDF
29	Magdalena Kacprzak, Wojciech Penczek	Unbounded Model Checking for Alternating-Time Temporal Logic.	AAMAS	2004	DBLP DOI BibTeX RDF
29	Geoffrey A. Frank, Bernard Clark, W. Bernard Schaming, William Kline	Hardware/Software Codesign from the RASSP Perspective.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
29	Jeff Pridmore, Greg Buchanan, Gerry Caracciolo, Janet Wedgwood	Model-Year Architectures for Rapid Prototyping.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
29	John Welsh, Bipin Chadha, Biju Kalathil, Peter Holmes, Mary Catherine Tuck, William Selvidge, Elisa Finnie, Lynwood Hines	RASSP Enterprise Technologies for Signal Processor Life-Cycle Support.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
24	Karim Dahman, François Charoy, Claude Godart	From Business Process to Component Architecture: Engineering Business to IT Alignment.	EDOCW	2011	DBLP DOI BibTeX RDF	Unidirectional Model Transformation, SCA, BPMN, Business-IT Alignment, ATL, Conceptual Mapping
24	Yuki Shiroma, Hironori Washizaki, Yoshiaki Fukazawa, Atsuto Kubo, Nobukazu Yoshioka	Model-Driven Security Patterns Application Based on Dependences among Patterns.	ARES	2010	DBLP DOI BibTeX RDF	UML, Model Driven Development, Security Patterns, ATL
24	Guillaume Hillairet, Frédéric Bertrand, Jean-Yves Lafaye	Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF	Query languages, Model Transformations, SPARQL, ATL, OQL
24	Thomas Ågotnes, Michal Walicki	A logic of reasoning, communication and cooperation with syntactic knowledge.	AAMAS	2005	DBLP DOI BibTeX RDF	syntactic knowledge representation, epistemic logic, ATL
20	Raffaela Groner, Peter Bellmann, Stefan Höppner, Patrick Thiam, Friedhelm Schwenker, Matthias Tichy	Predicting the Performance of ATL Model Transformations.	Software Engineering	2024	DBLP DOI BibTeX RDF
20	Rustam Galimullin, Louwe B. Kuijer	Synthesizing Social Laws with ATL Conditions.	AAMAS	2024	DBLP BibTeX RDF
20	Qinglin Liu, Jingbo Lin, Xiaoqian Lv, Wei Yu, Zonglin Li, Shengping Zhang	ATL-DAS: Automatic Topology Learning for Differentiable Architecture Search.	Displays	2023	DBLP DOI BibTeX RDF
20	Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen, Jener Rasmussen, Mathias M. Sørensen, Asger G. Weirsøe, Mathias Claus Jensen, Kim G. Larsen	CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics.	GandALF	2023	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.	CoRR	2023	DBLP DOI BibTeX RDF
20	Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi	Capacity ATL.	CoRR	2023	DBLP DOI BibTeX RDF
20	Aldo Iván Ramírez Abarca	From ATL to Stit.	CoRR	2023	DBLP DOI BibTeX RDF
20	Nataniel Ruiz, Hao Yu 0014, Danielle Allessio, Mona Jalal, Ajjen Joshi, Tom Murray 0001, John J. Magee, Kevin Delgado, Vitaly Ablavsky, Stan Sclaroff, Ivon Arroyo, Beverly P. Woolf, Sarah Adel Bargal, Margrit Betke	ATL-BP: A Student Engagement Dataset and Model for Affect Transfer Learning for Behavior Prediction.	IEEE Trans. Biom. Behav. Identity Sci.	2023	DBLP DOI BibTeX RDF
20	Zorana Staka, Vladimir Vujovic, Milica Vukovic, Snjezana Milinkovic	Markup language model transformation with ATL.	ECAI	2023	DBLP DOI BibTeX RDF
20	Xinyu Zhang, Jue Chen	ATL: A Link Failure Recovery Method with Fast Recovery Speed, Low Interruption Rate, and Small TCAM Consumption in SDN.	ICPADS	2023	DBLP DOI BibTeX RDF
20	Frédéric Jouault, Théo Le Calvar, Matthew Coyle	Incremental ATL solution to the TTC 2023 KMEHR to FHIR case.	Agile MDE/MeSS/TTC@STAF	2023	DBLP BibTeX RDF
20	Raffaela Groner, Peter Bellmann, Stefan Höppner, Patrick Thiam, Friedhelm Schwenker, Matthias Tichy	Predicting the Performance of ATL Model Transformations.	ICPE	2023	DBLP DOI BibTeX RDF
20	Stéphane Demri, Raine Rönnholm	How to Manage a Budget with ATL+.	KR	2023	DBLP DOI BibTeX RDF
20	Gabriel Ballot	Capacity ATL: Reasoning About Agent Profiles and Applications to Cybersecurity.	EUMAS	2023	DBLP DOI BibTeX RDF
20	Stefan Höppner, Timo Kehrer, Matthias Tichy	Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size.	Softw. Syst. Model.	2022	DBLP DOI BibTeX RDF
20	Wonhong Nam, Hyunyoung Kil	Formal Verification of Blockchain Smart Contracts via ATL Model Checking.	IEEE Access	2022	DBLP DOI BibTeX RDF
20	Jesús Sánchez Cuadrado, Loli Burgueño, Manuel Wimmer, Antonio Vallecillo	Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
20	Zahra VaraminyBahnemiry, Jessie Galasso, Houari A. Sahraoui	Social Diversity for ATL Repair.	CoRR	2022	DBLP DOI BibTeX RDF