| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff (eds.) |
Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers  |
FAABS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri V. Zarzhitsky, Diana F. Spears, David R. Thayer, William M. Spears |
Agent-Based Chemical Plume Tracing Using Fluid Dynamics. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Rudnianski, Helene Bestougeff |
Multi-agent Systems Reliability, Fuzziness, and Deterrence. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Aluízio Haendchen Filho, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa |
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter |
Verifying Multi-agent Systems via Unbounded Model Checking. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
unbounded model checking, multi-agent systems, Model checking |
| 1 | Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang |
Towards Timed Automata and Multi-agent Systems. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
formal models, Agent oriented software engineering, agent oriented programming |
| 1 | Hengameh Sarmadi |
Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP). |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | William M. Spears, Diana F. Spears, Rodney Heil |
A Formal Analysis of Potential Energy in a Multi-agent System. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Ramírez, Angélica de Antonio |
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Peysakhov, Vincent A. Cicirello, William C. Regli |
Ecology Based Decentralized Agent Management System. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Youyong Zou, Timothy W. Finin, Harry Chen 0001 |
F-OWL: An Inference Engine for Semantic Web. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Raimondi, Alessio Lomuscio |
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Margo Bergman |
Petri Nets as Modeling Tool for Emergent Agents. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer |
Meeting the Deadline: Why, When and How. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey |
Model-Driven Architecture for Agent-Based Systems. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Smid, Marek Obitko, David Fisher, Walt Truszkowski |
Interaction and Communication of Agents in Networks and Language Complexity Estimates. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Sterritt, Michael G. Hinchey |
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa |
Using Ontologies to Formalize Services Specifications in Multi-agent Systems. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Grossi, Frank Dignum |
From Abstract to Concrete Norms in Agent Institutions. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Charles Campagne, Alain Cardon, Etienne Collomb, Toyoaki Nishida |
Massive Multi-agent systems control. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sampath Yerramalla, Yan Liu 0003, Edgar Fuller, Bojan Cukic, Srikanth Gururajan |
An Approach to V&V of Embedded Adaptive Systems. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey |
Formalism Challenges of the Cougaar Model Driven Architecture. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Kerr, Diana F. Spears, William M. Spears, David R. Thayer |
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Diana F. Gordon-Spears (eds.) |
Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers |
FAABS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Schlenoff, Michael Grüninger |
Towards a Formal Representation of Driving Behaviors. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramesh Bharadwaj |
Verifiable Middleware for Secure Agent Interoperability. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana F. Gordon-Spears |
Asimov's Laws: Current Progress. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana F. Gordon-Spears, William M. Spears |
Analysis of a Phase Transition in a Physics-Based Multiagent System. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert C. Esterline |
Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer |
Agent Programming in Dribble: From Beliefs to Goals with Plans. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvana Zappacosta-Amboldi |
Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Peña, Rafael Corchuelo, José Luis Arjona |
Towards Interaction Protocol Operations for Large Multi-agent Systems. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Hogan |
Asimov's Laws. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer |
Tools and Education towards Formal Methods Practice. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Walt Truszkowski |
Challenges Arising from Applications of Agent-Based System. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline |
A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Van Baalen, Thomas Böhne |
Automated Protocol Analysis in Maude. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyuckchul Jung, Ranjit Nair, Milind Tambe, Stacy Marsella |
Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramesh Bharadwaj |
Naval Applications of Secure Multi-agent Technology. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand |
Formal Specification of Interaction in Agent Societies. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stacy D. Nelson, Charles Pecheur |
Formal Verification for a Next-Generation Space Shuttle. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Schlenoff |
Applications Panel: Agents Applied to Autonomous Vehicles. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Rudnianski, Helene Bestougeff |
Modeling Traffic Control through Deterrent Agents. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher 0001, Chiara Ghidini, Benjamin Hirsch |
Organising Logic-Based Agents. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Pecheur |
Challenges Arising from Applications. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiriakos Kiriakidis, Diana F. Gordon-Spears |
Formal Modeling and Supervisory Control of Reconfigurable Robot Teams. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, T. Lasica, Wojciech Penczek |
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Menzies, Adrian R. Pearce, Clinton Heinze, Simon Goss |
What Is an Agent and Why Should I Care? |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
Evaluation, object-oriented, agent-oriented |
| 1 | Peter J. Robinson 0001, Michael G. Hinchey, Keith L. Clark |
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Margo Bergman |
Evaluating Agent-Based Modeling as a Tool for Economists. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart Aldridge, Alexander D. Stoyen, Jeffrey S. Hicks, Plamen V. Petrov |
Using XML for Interprocess Communications in a Space Situational Awareness and Control Application. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander M. Hoole, Issa Traoré, Michael Yanguo Liu |
Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract). |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Menzies, David Owen 0002, Bojan Cukic |
You Seem Friendly, But Can I Trust You? |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoji Kondo |
On Laws of Robotics. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey S. Hicks, Richard Flanagan, Plamen V. Petrov, Alexander D. Stoyen |
Taking Intelligent Agents to the Battlefield. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Marche, Yves-Marie Quemener |
A Model for Conformance Testing of Mobile Agents in a MASIF Framework. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James L. Rash, Christopher A. Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey (eds.) |
Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers |
FAABS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Modeling and Programming Devices and Web Agents. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Chainbi |
A Formal Approach to Belief-Goal-Role Agents. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra |
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan E. Torney |
Operations Assistants for Johnson Space Center's Mission Control Center. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin |
Ontology Negotiation in a Community of Agents. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Engrand, Charles Pecheur |
Model Checking of Autonomy Models for an In-Situ Propellant Production System. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu 0002 |
Formal Specification of Agent Behaviour through Environment Scenarios. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Alonso, Daniel Kudenko |
Machine Learning for Logic-Based Multi-agent Systems. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yun Peng |
Modeling Agent Systems by Bayesian Belief Networks. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Waldinger |
Web Agents Cooperating Deductively. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Menzies, Bojan Cukic, Harshinder Singh |
Agents Talking Faster. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Schumann, Jon Whittle 0001 |
Automatic Synthesis of Agent Designs in UML. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski |
Panel Discussion: Future Directions. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure |
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Lerman |
Design and Mathematical Analysis of Agent-Based Systems. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramesh Bharadwaj |
Analysis of Agent-Based Systems Using Decision Procedures. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan |
Refining Interactions in a Distributed System. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
Interaction refinement, Communication traces, Correctness criteria |
| 1 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni |
Using a Formal Framework for Agent System Design. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana F. Gordon, Henry Hexmoor, Robert L. Axtell, Nenad Ivezic |
Panel Discussion: Empirical versus Formal Methods. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher 0001, John-Jules Ch. Meyer, Wiebe van der Hoek |
Verification within the KARO Agent Theory. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana F. Gordon |
APT Agents: Agents That Are Adaptive, Predictable, and Timely. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak |
Towards Formal Specification and Verification in Cyberspace. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano |
On Formal Modeling of Agent Computations. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanda Mandutianu |
Modeling Agent-Based Systems. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom A. D. Riley |
The Anthropomorphizing of Intelligent Agents. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert C. Esterline, Toinette Rorie |
Using the pi-Calculus to Model Multiagent Systems. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
A Programming Logic for Part of the Agent Language 3APL. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonard P. Wesley |
A Real Time Object-Oriented Rational Agent Development System. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Pecheur, Reid G. Simmons |
From Livingstone to SMV. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Benerecetti, Fausto Giunchiglia |
Model Checking-Based Analysis of Multiagent Systems. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lina Khatib, Nicola Muscettola, Klaus Havelund |
Verification of Plan Models Using UPPAAL. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
Scheduling, Model Checking, Verification, Planning, Autonomy |
| 1 | Kiriakos Kiriakidis, Diana F. Gordon |
Adaptive Supervisory Control of Multi-agent Systems. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Rudnianski, Helene Bestougeff |
Modeling Task and Teams through Game Theoretical Agents. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek M. Surka, Mark E. Campbell, Thomas P. Schetter |
Controlling Multiple Satellite Constellations Using the TEAMAgent System. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher 0001 |
Direct Execution of Agent Specifications. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark d'Inverno, Michael Luck |
Formal Agent Development: Framework to System. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet |
Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license