@inproceedings{patel2022itsc,
title={Cooperative Collision Avoidance for Coalitions of Connected and Autonomous Vehicles},
author={Patel, Dhruvkumar and Bansal, Rishita and Zalila-Wenkstern, Rym},
booktitle={{Proceedings of the 25th IEEE Intelligent Transportation Systems Conference}},
year={2022},
address = {Macau, China},
pdf = {/wp-content/uploads/2023/02/CAV_ITSC2022.pdf},
month = {October}
}

@article{al2022divas,
title={DIVAs: a multi-agent simulation framework},
author={Al-Zinati, Mohammad and Zalila-Wenkstern, Rym},
journal={{International Journal of Agent-Oriented Software Engineering}},
volume={7},
number={2},
pages={152--183},
year={2022},
publisher={Inderscience Publishers (IEL)}
}

@inproceedings{Alsarra2021,
title={{Requirements Engineering in AOSE: Taxonomy and Challenges}},
author={Alsarra, Sultan and Zalila-Wenkstern, Rym},
booktitle={{Proceedings of the 9th International Workshop on Engineering Multi-Agent Systems}},
year={2021},
address = {London, UK},
month = {May}
}

@inproceedings{patel2022,
title={{Adaptive Reward for CAV Action Planning Using Monte Carlo Tree Search}},
author={Patel, Dhruvkumar and Zalila-Wenkstern, Rym},
booktitle={{Proceedings of the 24th IEEE Intelligent Transportation Systems Conference}},
year={2021},
pdf = {/wp-content/uploads/2023/02/CAV_ITSC2021.pdf},
address = {Indianapolis, Indiana, USA},
month = {September}
}

@inproceedings{patel2021,
title={{Scalable Monte Carlo Tree Search for CAVs Action Planning in Colliding Scenarios}},
author={Patel, Dhruvkumar and Zalila-Wenkstern, Rym},
booktitle={{Proceedings of the 32nd IEEE Intelligent Vehicles Symposium}},
year={2021},
pdf={/wp-content/uploads/2023/02/CAV_IVS_2021.pdf},
address = {Nagoya, Japan},
month = {July}
}

@inproceedings{patel2020,
title={{Collaborative Collision Avoidance for CAVs in Unpredictable Scenarios}},
author={Patel, Dhruvkumar and Zalila-Wenkstern, Rym},
booktitle={{Proceedings of the 3rd IEEE Connected and Automated Vehicles Symposium}},
year={2020},
address = {Virtual},
pdf = {/wp-content/uploads/2023/02/CAV_CAVS_2020.pdf},
month = {November}
}

@inproceedings{2020,
year={2020},
title = {{DALI: An Agent-Plug-In System to “Smartify” Conventional Traffic Control Systems}},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems},
author = {Torabi, Behnam and Wenkstern, Rym Z},
address = {Auckland, New Zealand},
month = {May},
pdf= {/wp-content/uploads/2023/02/DALI-Demo-AAMAS2020.pdf},
pages = {2120--2122}
}

@inproceedings{2020,
year={2020},
title = {{Deployment of a Multi-Agent Traffic Signal Timing System}},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems},
author = {Torabi, Behnam and Wenkstern, Rym Z and Saylor, Robert and Ryan, Patrick},
address = {Auckland, New Zealand},
month = {May},
pdf ={/wp-content/uploads/2023/02/DALI-AAMAS2020.pdf},
pages = {1386--1394}
}

@article{torabi2020collaborative,
year={2020},
title = {{A collaborative agent-based traffic signal system for highly dynamic traffic conditions}},
journal = {{Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)}},
author={Torabi, Behnam and Wenkstern, Rym Z and Saylor, Robert},
volume={34},
number={1},
pages={1--24},
year={2020},
pdf = {https://www.utdmavs.org/wp-content/uploads/2023/02/DALI-JAAMAS2018.pdf},
publisher={Springer}
}

@inproceedings{2019,
author = {Al-Zinati, Mohammad and Wenkstern, Rym},
title = {Agent-Environment Interactions in Large-Scale Multi-Agent Based Simulation Systems},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems},
series = {AAMAS '19},
year = {2019},
isbn = {978-1-4503-6309-9},
month = {May},
address = {Montreal QC, Canada},
pages = {763--771},
numpages = {9},
url = {http://dl.acm.org/citation.cfm?id=3306127.3331767},
acmid = {3331767}
}

@INPROCEEDINGS{2018,
author = {Torabi, Behnam and Wenkstern, Rym Z and Saylor, Robert},
title = {{A Self-Adaptive Collaborative Multi-Agent based Traffic Signal Timing System}},
booktitle = {{Proceedings of the 4th IEEE International Smart Cities Conference}},
series = {ISC2 2018},
year = {2018},
month = {September},
pdf = {/wp-content/uploads/2019/09/ISC22018.pdf},
address = {Kansas City, Missouri, USA},
notes = {to appear}
}

@INPROCEEDINGS{2018,
author = {Torabi, Behnam and Wenkstern, Rym Z and Saylor, Robert},
title = {{A Collaborative Agent-Based Traffic Signal System For Highly Dynamic Traffic Conditions}},
booktitle = {{Proceedings of the 21st IEEE International Conference on Intelligent Transportation Systems}},
series = {IEEE ITSC 2018},
year = {2018},
key = {itsc2018dali},
pdf = {/wp-content/uploads/2019/09/ITSC2018DALI.pdf},
month = {November},
address = {Maui, Hawaii, USA},
pages = {626--633}
}

@INPROCEEDINGS{2018,
author = {Torabi, Behnam and Wenkstern, Rym Z and Al-Zinati, Mohammad},
title = {{An Agent-Based Micro-Simulator for ITS}},
booktitle = {{Proceedings of the 21st IEEE International Conference on Intelligent Transportation Systems}},
series = {IEEE ITSC 2018},
year = {2018},
month = {November},
pdf = {/wp-content/uploads/2019/09/ITSC2018MATISSE.pdf},
address = {Maui, Hawaii, USA},
pages = {2556--2561}
}

@INPROCEEDINGS{2018,
author = {Torabi, Behnam and Wenkstern, Rym Z and Saylor, Robert},
title = {{A Multi-Hop Agent-Based Traffic Signal Timing System for the City of Richardson}},
booktitle = {{Proceedings of the The Sixteenth International Conference on Autonomous Agent and Multiagent Systems}},
series = {AAMAS 2018},
year = {2018},
month = {July},
address = {Stockholm, Sweden},
pages={2094--2096}
}

@INPROCEEDINGS{AlZinati2018,
author = {Al-Zinati, Mohammad and Wenkstern, Rym Z},
title = {{A Resilient Agent-Based Re-organizing Traffic Network for Urban Evacuations}},
booktitle = {{Proceedings of the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems}},
series = {PAAMS 18},
year = {2018},
month = {June},
address = {Toledo, Spain},
pages = {42--58}
}

@INPROCEEDINGS{2018,
author = {Torabi, Behnam and Al-Zinati, Mohammad and Wenkstern, Rym Z},
title = {{MATISSE 3.0: A Large-Scale Multi-agent Simulation System for Intelligent Transportation Systems}},
booktitle = {{Proceedings of the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems}},
series = {PAAMS 18},
year = {2018},
month = {June},
address = {Toledo, Spain},
pages = {357--360}
}

@INPROCEEDINGS{2017,
author = {Torabi, Behnam and Wenkstern, Rym Z and Saylor, Robert},
title = {{Agent-based decentralized traffic signal timing}},
booktitle = {{Proceedings of the 21st International Symposium on Distributed Simulation and Real Time Applications}},
series = {DS-RT 17},
year = {2017},
month = {October},
address = {Rome, Italy},
pages = {123--126}
}

@INPROCEEDINGS{2017,
author = {Eslami, Hafez and Wenkstern, Rym},
title = {{Dynamic Coalition Structure Generation for Autonomous Connected Vehicles}},
booktitle = {{Proceedings of IEEE International Conference on Agents}},
series = {ICA 17},
year = {2017},
pages={21--26},
month = {July},
address = {Beijing, China}
}

@INPROCEEDINGS{2017,
author = {Al-Zinati, Mohammad and Wenkstern, Rym},
title = {{An Agent-Based Self-Organizing Traffic Environment for Urban Evacuations}},
booktitle = {{Proceedings of the The Sixteenth International Conference on Autonomous Agent and Multiagent Systems}},
series = {AAMAS '2017},
year = {2017},
month = {May},
address = {Sao Paulo, Brazil},
pages={1454--1456}
}

@INPROCEEDINGS{2016,
author = {Al-Zinati, Mohammad and Wenkstern, Rym},
title = {Simulation of Traffic Network Re-Organization Operations},
booktitle = {{Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications}},
series = {DS-RT 16},
year = {2016},
month = {September},
address = {London, England},
pages = {178--186}
}

@INPROCEEDINGS{2015,
author = {Al-Zinati, Mohammad and Wenkstern, Rym},
title = {MATISSE 2.0: A Large-Scale Multi-Agent Simulation System for Agent-based ITS},
booktitle = {Proceedings of the 2015 IEEE/WICIACM International Conference on Intelligent Agent Technology},
series = {lAT' 15},
year = {2015},
month = {December},
address = {Singapore, Singapore},
pages = {328--335}
}

@INPROCEEDINGS{2015,
author = {Steel, Travis and Kuiper, Dane and Z. Wenkstern, Rym},
title = {Emigo: A Large-Scale Multi-Agent Platform for the Web},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems},
series = {AAMAS '15},
year = {2015},
Month = {May},
address = {Istanbul, Turkey},
pages = {1955--1956}
}

@INPROCEEDINGS{2015,
author = {Al-Zinati, Mohammad and Wenkstern, Rym},
title = {A Self-Organizing Virtual Environment for Agent-Based Simulations},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems},
series = {AAMAS '15},
year = {2015},
month = {May},
address = {Istanbul, Turkey},
pages = {1031--1039}
}

@article{2015,
year={2015},
title = {{Agent Vision in Multi-Agent Based Simulation Systems}},
journal = {{Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)}},
volume={29},
number={2},
publisher={Springer US},
author = {Dane Kuiper and Rym Z. Wenkstern},
pages={161-191}
}

@INPROCEEDINGS {2014,
title = {{A Self-Organizing Model for Decentralized Virtual Environments in Agent-Based Simulation Systems}},
booktitle = {{Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014)}},
year = {2014},
month = {(May)},
pages = {1583--1584},
address = {Paris, France},
author = {Mohammad Al-Zinati and Rym Wenkstern}
}

@INPROCEEDINGS {2013,
title = {{DIVAs 4.0: A Multi-Agent Based Simulation Framework}},
booktitle = {{Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2013)}},
year = {2013},
month = {November},
pages = {105-114},
address = {Delft, Netherlands},
author = {M. Al-Zinati and F. Araujo and D. Kuiper and J. Valente and R. Z. Wenkstern}
}

@INPROCEEDINGS {2013,
title = {{DIVAs 4.0: A Framework for the Development of Situated Multi-Agent Based Simulation Systems}},
booktitle = {{Demo Paper, Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2013), Best Demo Award}},
year = {2013},
month = {May},
pages = {1351-1352},
address = {Saint Paul, MN, USA},
abstract = {In this paper we present DIVAs 4.0, a framework that supports the development of large-scale agent-based simulation systems where agents are situated in open environments. DIVAs includes high-level abstractions for the definition of agents and open environments, a microkernel for the management of the simulation workflow, domain-specific libraries for the rapid development of simulations, and reusable, extendable components for the control and visualization of simulations. We illustrate the use of DIVAs through the development of a simple simulator where virtual agents are situated in a virtual city.},
author = {Frederico Araujo and Mohammad Al-Zinati and Junia Valente and Dane Kuiper and Rym Zalila-Wenkstern}
}

@INPROCEEDINGS {2013,
title = {{Virtual Agent Perception Combination in Multi Agent Based Systems}},
booktitle = {{Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2013)}},
year = {2013},
month = {May},
pages = {611-618},
address = {Saint Paul, MN, USA},
abstract = {In order to create realistic simulations,virtual agents need to learn about their environment through perception. To date, most multi-agent simulation systems that implement some form of perception have focused heavily on a single sense, vision. In this paper we discuss a multi-sense perception system for virtual agents situated in large scale open environments. The perception system consists of modules (i.e.,
sensors) for visual, audible and olfactory senses. It also includes a perception combination module that combines data received from the multiple sensors into useful knowledge.},
author = {Dane Kuiper and Rym Zalila-Wenkstern}
}

@article {2012,
title = {{On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy}},
journal = {{Journal of Agent Technologies and Systems}},
volume = {4},
number = {4},
year = {2012},
pages = {38-60},
abstract = {The advances in Intelligent Transportation Systems (ITS) call for a new generation of traffic simulation models that support connectivity and collaboration among simulated vehicles and traffic infrastructure. In this paper we introduce MATISSE, a complex, large scale agent-based framework for the modeling and simulation of ITS and discuss how Alloy, a modeling language based on set theory and first order logic, was used to specify, verify, and analyze MATISSEs traffic models.},
keywords = {Alloy, formal specification, intelligent transportation systems, ITS, multi-agent systems, traffic simulation, verification},
author = {Junia Valente and Frederico Araujo and Rym Zalila-Wenkstern}
}

@INPROCEEDINGS {2012,
title = {{Modeling Agent-Based Traffic Simulation Properties in Alloy}},
booktitle = {{Proceedings of the ACM Agent Directed Simulation Symposium. Best paper award, Agent Directed Simulation Symposium. Best overall paper award, 2012 Spring Simulation Multi-Conference, Society for Modeling and Simulation.}},
year = {2012},
note = {Best paper award, Agent Directed Simulation Symposium.
Best overall paper award, 2012 Spring Simulation Multi-Conference, Society for Modeling and Simulation.},
month = {March},
pages = {5:1--5:8},
address = {Orlando, Florida},
author = {Frederico Araujo and Junia Valente and Rym Zalila-Wenkstern}
}

@INPROCEEDINGS {2011,
title = {{Virtual Agent Perception in Large Scale Multi-Agent Based Simulation Systems}},
booktitle = {{Proceedings of 10th International Conference on Autonomous Agents and Multiagent Systems}},
year = {2011},
month = {May},
address = {Taipei, Taiwan},
pages={1235--1236},
abstract = {In this paper we discuss virtual agent perception in large scale open environment based MABS.},
isbn = {0-9826571-7-X 978-0-9826571-7-1},
author = {Dane Kuiper and Rym Zalila-Wenkstern}
}

@INPROCEEDINGS {2010,
title = {{Virtual Agent Perception in Multi-Agent Based Simulation Systems}},
booktitle = {{Proceedings of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-10)}},
year = {2010},
month = {August},
pages = {453--456},
publisher = {ACM},
address = {Toronto, Canada},
abstract = {In this paper we discuss the perception module of DIVAs virtual agents. It is based on the idea that local environmental influences are constantly sensed by one or more of an agents senses (sight, hearing, smell, etc.). These influences are then translated into knowledge about the environment, and sent to the agents brain for use during task planning and decision making. This paper focuses on the modularity of the agent perception architecture rather than the perception algorithms themselves.},
keywords = {multi-agent systems, simulation, virtual agents},
author = {Travis Steel and Dane Kuiper and Rym Wenkstern}
}

@INPROCEEDINGS {70,
title = {{Simulated Event Propagation in Distributed, Open Environments}},
booktitle = {{Proceedings of the Agent-Directed Simulation Symposium}},
year = {2010},
month = {April},
address = {Orlando, Florida, USA},
pages = {17:1--17:8},
abstract = {This paper presents a design for simulating the propagation of environmental events in distributed, open environments. Environmental events are properties of the simulated environment that may affect the state of the environment and the behavior of virtual agents situated in the environment. The design aims to realistically model simulated events and is capable of consistently modeling the effects of such events in a distributed and dynamic environment. The paper provides several scenarios describing how simulated event propagation is handled under various conditions.},
keywords = {event propagation, multi-agent systems, simulated environments},
author = {Travis Steel and R. Zalila-Wenkstern}
}

@INPROCEEDINGS {65,
title = {{Context-Aware Virtual Agents in Open Environments}},
booktitle = {{Proceedings of 2010 Sixth International Conference on Autonomic and Autonomous Systems (ICAS)}},
year = {2010},
month = {March},
pages = {90 - 96},
publisher = {IEEE},
address = {Cancun, Mexico},
abstract = {This paper presents a model for the interaction between context-aware virtual agents and the environment in which they are situated. This model applies to multiagent based simulation systems dealing with human-like virtual agents in decentralized, continuous, and dynamic environments. The model supports an extensible agent perception module, allowing agents to perceive their environment through multiple senses (sight, hearing, smell, etc.). The environment reacts to agent influences as well as user-invoked stimuli by combining these influences to determine the next state of the environment. This paper introduces a formalization and an implementation of the model and discusses multiple scenarios involving context-aware virtual agents situated in dynamic environments.},
keywords = {multi-agent systems, simulation, virtual agents},
isbn = {978-1-4244-5915-5},
doi = {10.1109/ICAS.2010.36},
url = {http://www.computer.org/portal/web/csdl/doi/10.1109/ICAS.2010.36},
author = {Travis Steel and Dane Kuiper and R. Zalila-Wenkstern}
}

@book {2010,
title = {{A Self Organizing Architecture for Traffic Management}},
series = {{Lecture Notes in Computer Science}},
volume = {6090},
year = {2010},
pages = {230-250},
publisher = {Springer Verlag},
organization = {Springer Verlag},
author = {R. Z. Wenkstern and T. Steel and G. Leask},
editor = {D. Weyns and S. Malek and R. de Lemos and J. Andersson}
}

@INPROCEEDINGS {SOAR-2009,
title = {{A Self-Organizing Architecture for Traffic Management}},
booktitle = {{Proceedings of WICSA/ECSA Workshop on Self Organizing Architectures}},
year = {2009},
month = {September},
address = {Cambridge, UK},
abstract = {In this paper we discuss the use of self-organizing architectures for traffic management systems. We introduce Soteria, a multi-layered, integrated, infrastructure for traffic safety enhancement and congestion reduction. We highlight Soterias use of micro- and macro-level models and its hybrid top-down/bottom-up strategy for traffic management. We then present a generic architecture that can be used to develop simulation systems for real world self-organizing systems. Lastly, we describe how this generic architecture can be instantiated to create the architecture of Matisse, a tailor made distributed simulation system for Soteria.},
keywords = {multi-agent systems, simulation, traffic management},
url = {http://distrinet.cs.kuleuven.be/events/soar/2009/contents/papers/wenkstern-soar09.pdf},
author = {R. Zalila-Wenkstern and Travis Steel and G. Leask}
}

@INPROCEEDINGS {2009,
title = {{SOTERIA: A Large Scale Multi-Agent System for Simulating Traffic Safety Scenarios}},
booktitle = {{Proceedings of 4th Biennial Workshop on DSP for In-Vehicle Systems and Safety}},
year = {2009},
month = {June},
publisher = {IEEE},
address = {Dallas, TX},
author = {R. Z. Wenkstern and T. Steel and O. Daescu and J. Hansen and P. Boyraz}
}

@INPROCEEDINGS {MATISSE-2009,
title = {{MATISSE: A Large Scale Multi-Agent System for Simulating Traffic Safety Scenarios}},
booktitle = {{IEEE 4th Biennial Workshop on DSP for In-Vehicle Systems and Safety}},
year = {2009},
month = {June},
address = {Dallas, TX},
abstract = {In this paper we discuss the high level architecture of MATISSE, a large scale multi-agent system for simulating traffic safety and congestion scenarios. MATISSE includes three main components: the Agent-Environment System (AES) creates simulation instances where the environment is modeled as a graph; the Data Management System stores and processes the information collected from the AES; and the Visualization Framework provides 2D and 3D virtual representations of simulated entities.},
keywords = {multi-agent systems, safety, simulation, traffic management},
author = {R. Zalila-Wenkstern and Travis Steel and O. Daescu and J. Hansen and P. Boyraz}
}

@INPROCEEDINGS {R.Steiner2008,
title = {{Visually Specifying Multi-Agent Simulation Environments with DIVAs}},
booktitle = {{Proceedings of the International Conference on Multimedia Systems, Visual Languages and Computing}},
year = {2008},
pages= {318-326},
month = {November},
address = {Boston, MA},
author = {Steiner, Renee and R. Zalila-Wenkstern and J. Burnell}
}

@INPROCEEDINGS {72,
title = {{Towards the Definition of Agent-UP: The DIVAs Process}},
booktitle = {{Proceedings of Agent-Oriented Software Development Methodology}},
year = {2008},
month = {July},
pages={22--24},
address = {Glasgow, UK},
author = {Y. Haghpanah-Jahromi and R. Zalila-Wenkstern and Steiner, Renee and K. Cooper}
}

@INPROCEEDINGS {69,
title = {{Environment Mediated Multi Agent Simulation Tools: A Comparison}},
booktitle = {{Proceedings of Workshop on Environment-Mediated Coordination in Self-Organizing and Self-Adaptive Systems}},
year = {2008},
pages = {43 - 48},
publisher = {IEEE},
address = {Venice, Italy},
abstract = {In this paper, we assess five tools that allow the specification and execution of Multi-agent based simulations. These tools are NetLogo, MASON, Ascape, RePastS and DIVAs.},
keywords = {agent, ascape, comparison, divas, mason, multi, netlogo, repast, simulation},
doi = {10.1109/SASOW.2008.44},
url = {http://portal.acm.org/citation.cfm?id=1524875.1525032$#$},
author = {Arunachalam, S. and R. Zalila-Wenkstern and Steiner, Renee}
}

@article {Mili2008,
title = {{Modeling Agent-Environment Interactions in Adaptive MAS}},
journal = {{Lecture Notes in AI. Engineering Environment-Mediated Multi-Agent Systems}},
volume = {5049},
year = {2008},
pages = {135 - 147},
author = {Rym Zalila-Mili and Steiner, Renee}
}

@article {Cooper2008,
title = {{A Survey of Software Architecture Approaches}},
journal = {{Designing Software-Intensive Systems: Methods and Principles}},
year = {2008},
pages = {256-288},
author = {Kendra Cooper and L. Dai and Steiner, Renee and Rym Zalila-Mili},
editor = {P. F. Tiako}
}

@INPROCEEDINGS {Mili2007,
title = {{Modeling Agent-Environment Interactions}},
booktitle = {{Proceedings of Engineering Environment-Mediated Multiagent Systems (EEMMAS07), European Conference on Complex Systems}},
year = {2007},
month = {November},
pages = {135-147},
address = {Dresden, Germany},
author = {Rym Zalila-Mili and Steiner, Renee}
}

@INPROCEEDINGS {Mili2006a,
title = {{Architecture of the DIVAs Simulation System}},
booktitle = {{Proceedings of Agent-Directed Simulation Symposium ADS06}},
year = {2006},
month = {April},
publisher = {Society for Modeling and Simulation},
organization = {Society for Modeling and Simulation},
address = {Huntsville, Alabama},
author = {Rym Zalila-Mili and E. Oladimeji and Steiner, Renee}
}

@article {Mili2006,
title = {{DIVAs: Illustrating an Abstract Architecture for Agent-Environment Simulation Systems}},
journal = {{Multiagent and Grid Systems. Special issue on Agent-Oriented Software Development Methodologies}},
volume = {2},
number = {4},
year = {2006},
month = {January},
pages = {505{textendash}525},
abstract = {This paper presents the idea that agents and environment play an equally important role in MAS design and proposes an architecture for agent environment system (AES). This architecture is based on software engineering concepts such as separation of concerns, modularity and information hiding. This leads to adaptable systems that can support multiple application domains. These concepts are illustrated through DIVAs, a geographically based social simulation tool, which offers flexibility without regulating simulation developers to a specific problem domain. The purpose of this paper is to introduce the motivations and concepts surrounding the AES architecture and show how DIVAs realizes the concepts of AES for one application domain.},
url = {http://iospress.metapress.com/content/1nr8gu2vf015ag4g},
author = {Rym Zalila-Mili and Steiner, Renee and E. Oladimeji}
}

@inbook {Steiner2006,
title = {{An Architecture for MAS Simulation Environments}},
booktitle = {{Lecture Notes in Computer Science. Environments for Multi-Agent Systems}},
volume = {3830},
year = {2006},
pages = {50{textendash}67},
publisher = {Springer Verlag},
organization = {Springer Verlag},
abstract = {In this paper, we discuss the model of an environment for a geographically based simulation system. The environment is structured as a graph in which nodes represent locations and edges represent paths between locations. The space is decomposed into a network of cells which are managed by cell controllers. In order to visualize location information at various levels of abstraction, we define the environment as a cell hierarchy.},
url = {http://dx.doi.org/10.1007/11678809_4},
author = {Steiner, Renee and G. Leask and Mili, Rym}
}

@INPROCEEDINGS {2005,
title = {{An Architecture for MAS Simulation Environments}},
booktitle = {{Proceedings of ACM Conference on Autonomous Agents and Multi Agent Systems}},
year = {2005},
month = {July},
pages = {50-67},
address = {Utrecht, The Netherlands},
author = {R. Steiner and G. Leask and R. Mili}
}

@INPROCEEDINGS {Mili2004,
title = {{Architectural Design of the {DIVAs} Environment}},
booktitle = {{Proceedings of Environments for Multi-Agent Systems (E4MAS04)}},
year = {2004},
month = {July},
address = {Columbia University, NY},
author = {Mili, Rym and G. Leask and U. Shakya and Steiner, Renee}
}

@article {2003,
title = {{Visualizing Graphical and Textual Formalisms}},
journal = {{Information Systems}},
volume = {28},
year = {2003},
pages = {753-768},
publisher = {Elsevier},
author = {R. Castello and Mili, Rym}
}

@inbook {2003,
title = {{Visualizing Statecharts with ViSta}},
booktitle = {{Graph Drawing Software: Mathematics and Visualization}},
year = {2003},
pages = {299-319},
publisher = {Springer Verlag},
organization = {Springer Verlag},
author = {R. Castello and Mili, Rym and I. G. Tollis},
editor = {P. Mutzel and M. Juenger}
}

@inbook {2002,
title = {{Visualizing Statecharts: The ViSta tool}},
booktitle = {{Lecture Notes in Computer Science}},
volume = {2265},
year = {2002},
month = {September},
publisher = {Springer Verlag},
organization = {Springer Verlag},
author = {R. Castello and Mili, Rym and I. G. Tollis}
}

@article {2002,
title = {{Software Visualization in Software Engineering}},
journal = {{Lecture Notes in Computer Science. State-of-the-Art Survey}},
volume = {2269},
year = {2002},
pages = {129-137},
publisher = {Springer Verlag},
author = {Mili, Rym and Steiner, Renee},
editor = {Stephan Diehl}
}

@article {2002,
title = {{Automatic Layout of Statecharts}},
journal = {{Software Practice and Experience}},
volume = {32},
year = {2002},
pages = {25-55},
publisher = {John Wiley},
author = {R. Castello and Mili, Rym and I. G. Tollis}
}

@article {2002,
title = {{A Framework for the Static and Interactive Visualization of Statecharts}},
journal = {{Journal of Graph Algorithms and Applications}},
volume = {6},
number = {3},
year = {2002},
pages = {313-351},
author = {R. Castello and Mili, Rym and I. G. Tollis}
}

@article {2002,
title = {{ViSta: A Tool Suite for the Visualization of Behavioral Requirements}},
journal = {{Journal of Systems and Software}},
volume = {62},
year = {2002},
pages = {141-159},
publisher = {Elsevier},
author = {R. Castello and Mili, Rym and I. G. Tollis}
}

@INPROCEEDINGS {2001,
title = {{Visualizing Statecharts: The ViSta tool}},
booktitle = {{Proceedings of Graph Drawing 2001}},
year = {2001},
month = {September},
address = {Vienna, Austria},
author = {R. Castello and Mili, Rym and I. G. Tollis}
}

@INPROCEEDINGS {2001,
title = {{Visualizing Textual and Graphical Formalisms}},
booktitle = {{Proceedings of IEEE Symposia on Human-Centric Computing Languages and Environments (HCC01)}},
year = {2001},
month = {September},
pages = {120-121},
address = {Stresa, Italy},
author = {R. Castello and Mili, Rym and H. Madabushi}
}

@inbook {2001,
title = {{An Algorithmic Framework for Visualizing Statecharts}},
booktitle = {{Lecture Notes in Computer Science}},
volume = {1984},
year = {2001},
pages = {139-149},
publisher = {Springer Verlag},
organization = {Springer Verlag},
author = {R. Castello and Mili, Rym and I. G. Tollis}
}

@INPROCEEDINGS {2000,
title = {{An Algorithmic Framework for Visualizing Statecharts}},
booktitle = {{Proceedings of Graph Drawing 2000}},
year = {2000},
month = {September},
pages = {139-149},
address = {VA},
author = {R. Castello and Mili, Rym and I. G. Tollis}
}

@INPROCEEDINGS {2000,
title = {{On the Automatic Visualization of Statecharts: The {ViSta} tool}},
booktitle = {{Proceedings of 4th International Workshop on Tools for System Design and Verification (FM-Tools 2000)}},
year = {2000},
month = {July},
pages = {179-186},
address = {Ulm, Germany},
author = {R. Castello and Mili, Rym and I. G. Tollis and V. Benson}
}

@article {2000,
title = {{Semantic distance between specifications}},
journal = {{Theoretical Computer Science}},
volume = {247},
year = {2000},
pages = {257 - 276},
issn = {03043975},
doi = {10.1016/S0304-3975(99)00085-7},
author = {Mili, Rym and J. Desharnais and M. Frappier and A. Mili}
}

@INPROCEEDINGS {1999,
title = {{Automated Reusability Evaluation System}},
booktitle = {{2nd European Software Measurement Conference (FESMA99)}},
year = {1999},
month = {Octber},
address = {Amsterdam, The Netherlands},
author = {J. Raymond and J. Shah and Mili, Rym}
}

@INPROCEEDINGS {Mittermeir98uncertaintyaspects,
title = {{Uncertainty Aspects in Component Retrieval}},
booktitle = {{Proceedings of 7th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU98)}},
year = {1998},
month = {July},
pages = {564{textendash}571},
address = {Paris, France},
author = {Mittermeir, R.T. and Mili, Rym and Mili, Rym and H. Pozewaunig}
}

@article {1998,
title = {{A survey of software reuse libraries}},
journal = {{Annuals of Software Engineering}},
volume = {5},
number = {1},
year = {1998},
month = {January},
pages = {349{textendash}414},
abstract = {The study of storage and retrieval methods of software assets in software libraries gives rise to a number of paradoxes: While this subject has been under investigation for nearly two decades, it still remains an active area of research in software reuse and software engineering; this can be explained by the observation that new technologies (such as the internet, the world wide web, object-;oriented programming) keep opening new opportunities for better asset packaging, better library organizations, and larger scale libraries {textendash} thereby posing new technical challenges. Also, while many sophisticated solutions have been proposed to this problem, the state of the practice in software reuse is characterized by the use of ad-;hoc, low-;tech methods; this can be explained by the observation that most existing solutions are either too ineffective to be useful or too intractable to be usable. Finally, while it is difficult to imagine a successful software reuse program without a sophisticated, well-;tuned, systematic procedure for software component storage and retrieval, it seems many successful software reuse experiments rely on trivial methods of component storage and retrieval; this can be explained by the observation that, in the current state of the practice, software libraries are not the bottleneck of the software reuse process. This paper presents a survey of methods of storage and retrieval of software assets in software libraries. In addition to a review of existing research efforts, the paper makes two contributions. First, a definition of (presumably) orthogonal attributes of storage and retrieval methods; these attributes are used, in turn, to classify existing methods into six broad classes. Second, a definition of (presumably) orthogonal assessment criteria, which include technical, managerial and human factors; these criteria afford us an exhaustive and uniform basis for assessing and comparing individual methods and classes of methods.},
url = {http://dx.doi.org/10.1023/A:1018964121953},
author = {A. Mili and Mili, Rym and Mittermeir, R.T.}
}

@article {300696,
title = {{Towards a formal framework for software reuse}},
journal = {{Information Sciences}},
volume = {110},
number = {3-4},
year = {1998},
pages = {135{textendash}149},
publisher = {Elsevier Science Inc.},
address = {New York, NY, USA},
issn = {0020-0255},
doi = {http://dx.doi.org/10.1016/S0020-0255(98)10025-7},
author = {Mili, Rym and Raymond, Jacques}
}

@INPROCEEDINGS {786782,
title = {{Retrieving software components that minimize adaptation effort}},
booktitle = {{ASE97: Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)}},
year = {1997},
month = {November},
pages = {255},
publisher = {IEEE Computer Society},
organization = {IEEE Computer Society},
address = {Washington, DC, USA},
abstract = {Given a software library whose entries are represented by formal specifications, we distinguish between two retrieval procedures: exact retrieval, whereby, given a query K, we identify all the library components that are correct with respect to K; approximate retrieval, which is invoked when exact retrieval fails, and identifies the library components that minimize adaptation effort. To this effect, we define four measures of functional distance between specifications, and discuss algorithms that minimize these measures over a set of components; then we discuss whether these measures can be used to predict adaptation effort.},
isbn = {0-8186-7961-1},
author = {L. Labed Jilani and J. Desharnais and M. Frappier and Mili, Rym and A. Mili}
}

@INPROCEEDINGS {Mili:1997:CPM:258366.258415,
title = {{A calculus of program modifications}},
booktitle = {{Proceedings of the 1997 symposium on Software reusability}},
series = {SSR 97},
year = {1997},
month = {May},
pages = {157{textendash}168},
publisher = {ACM},
organization = {ACM},
address = {New York, NY, USA},
abstract = {It is common to distinguish between two paradigms of software reuse: black box reuse, which consists in reusing components verbatim, without modifying them; and white box reuse, which provides for making modifications to retrieved components before using them. Because software components are very information-rich (i.e. it takes a great deal of information to characterize a component), the chances of an exact match between an available component and a query are in general very slim; hence it is necessary to make provisions for adapting retrieved components to user requirements. This paper discusses a mathematical foundation for carrying out this modification process in a correctness-preserving manner.},
isbn = {0-89791-945-9},
doi = {http://doi.acm.org/10.1145/258366.258415},
url = {http://doi.acm.org/10.1145/258366.258415},
author = {Mili, Rym and M. Frappier and J. Desharnais and A. Mili}
}

@article {Mili:1997:CPM:258368.258415,
title = {{A calculus of program modifications}},
journal = {{SIGSOFT Softw. Eng. Notes}},
volume = {22},
year = {1997},
month = {May},
pages = {157{textendash}168},
publisher = {ACM},
address = {New York, NY, USA},
abstract = {It is common to distinguish between two paradigms of software reuse: black box reuse, which consists in reusing components verbatim, without modifying them; and white box reuse, which provides for making modifications to retrieved components before using them. Because software components are very information-rich (i.e. it takes a great deal of information to characterize a component), the chances of an exact match between an available component and a query are in general very slim; hence it is necessary to make provisions for adapting retrieved components to user requirements. This paper discusses a mathematical foundation for carrying out this modification process in a correctness-preserving manner.},
issn = {0163-5948},
doi = {http://doi.acm.org/10.1145/258368.258415},
url = {http://doi.acm.org/10.1145/258368.258415},
author = {Mili, Rym and M. Frappier and J. Desharnais and A. Mili}
}

@INPROCEEDINGS {1997,
title = {{Using Functional Distance to Perform Approximate Retrieval}},
booktitle = {{Proceedings of the Eighth International Workshop on Software Reuse}},
year = {1997},
month = {March},
address = {Columbus, OH},
author = {L. Labed Jilani and Mili, Rym and A. Mili}
}

@INPROCEEDINGS {1996,
title = {{Measuring the Reusability of a Component: A Return On Investment Approach}},
booktitle = {{Proceedings of International Conference on Software Quality}},
year = {1996},
month = {October},
address = {Ottawa, Canada},
author = {Mili, Rym and J. Raymond}
}

@INPROCEEDINGS {1996,
title = {{Verification Based Inspection of Object Oriented Software: A Relational Approach}},
booktitle = {{Proceedings of Third Annual International Conference on Cleanroom Software Engineering Practices}},
year = {1996},
month = {October},
address = {College Park, MD},
author = {L. Ben Arfa and Mili, Rym and M. Frappier and A. Mili}
}

@INPROCEEDINGS {1995,
title = {{Assessing Reusability: An Economics Based Measure}},
booktitle = {{Proceedings of Reuse95}},
year = {1995},
month = {August},
address = {Morgantown, WV},
author = {Mili, Rym and J. Raymond}
}

@INPROCEEDINGS {1995,
title = {{Ex-Ante Reusability Assessment}},
booktitle = {{Proceedings of Fourth International Conference on Re-Technologies for Information Systems}},
year = {1995},
month = {June},
address = {Bled, Slovenia},
author = {Mili, Rym and R. Mittermeir}
}

@INPROCEEDINGS {93,
title = {{La M{'e}thodologie Cleanroom pour le D{'e}veloppement de Logiciels sans Fautes}},
booktitle = {{Proceedings of Forum Informatique95}},
year = {1995},
month = {March},
address = {Tunis, Tunisia},
author = {Mili, Rym and A. Mili}
}

@inbook {1995,
title = {{Semantics of Concurrency}},
booktitle = {{Handbook of Parallel Programming}},
year = {1995},
publisher = {McGraw Hill},
organization = {McGraw Hill},
author = {J. Desharnais and A. Mili and Mili, Rym and J. Mullins and Y. Slimani},
editor = {A. Zomaya}
}

@INPROCEEDINGS {95,
title = {{Modeling Software Engineering Knowledge: Applications to Curriculum Development}},
booktitle = {{Proceedings of Workshop on Software Engineering Education}},
year = {1994},
month = {May},
address = {Sorento, Italy},
author = {Mili, Rym and A. Mili and S. Talbert}
}

@INPROCEEDINGS {94,
title = {{Storing and Retrieving Software Components: A Refinement Based System}},
booktitle = {{Proceedings of the Sixteenth IEEE International Conference on Software Engineering}},
year = {1994},
month = {May},
address = {Sorento, Italy},
author = {A. Mili and Mili, Rym and R. Mittermeir}
}

@INPROCEEDINGS {97,
title = {{A Formal Model for Software Specification and Its Automation}},
booktitle = {{Proceedings of ARO/AFOSR/ONR Workshop}},
year = {1993},
month = {November},
address = {Monterey, CA},
author = {Mili, Rym and A. Mili}
}

@INPROCEEDINGS {96,
title = {{A System for Software Reuse: Preliminary Implementation}},
booktitle = {{Proceedings of Sixth International Workshop on Software Reuse}},
year = {1993},
month = {November},
address = {Owego, NY},
author = {R. Mittermeir and Mili, Rym and A. Mili}
}

@INPROCEEDINGS {98,
title = {{Software Engineering Education in Government: The DSS Institute}},
booktitle = {{Proceedings of National Workshop on Software Engineering Education}},
year = {1993},
month = {May},
address = {Toronto, Canada},
author = {Mili, Rym and B. Hodson and A. Mili and J. Raymond}
}

@INPROCEEDINGS {99,
title = {{A Formal Approach to Software Reuse: Design and Implementation}},
booktitle = {{Proceedings of Fifth Annual Workshop on Software Reuse}},
year = {1992},
month = {October},
address = {Palo Alto, CA},
author = {A. Mili and Mili, Rym and R. Mittermeir}
}

@INPROCEEDINGS {100,
title = {{An Automated Tool for Specification Validation: Design and Preliminary Implementation}},
booktitle = {{Proceedings of the 25th Hawaii International Conference on System Sciences}},
year = {1992},
month = {January},
pages = {74-82},
publisher = {IEEE Computer Society Press},
organization = {IEEE Computer Society Press},
address = {Koloa, HI},
author = {N. Boudriga and A. Mili and Mili, Rym}
}

@article {1992,
title = {{A Relational Approach to the Specification of Data Types: The Generalized Model}},
journal = {{Computer Languages}},
volume = {17},
number = {2},
year = {1992},
pages = {101-131},
publisher = {Pergamon Press},
author = {N. Boudriga and A. Mili and F. Mili and Mili, Rym}
}

@article {1991,
title = {{{DIDON}: A System for Executable Specifications}},
journal = {{Information and Software Technology}},
volume = {33},
number = {7},
year = {1991},
pages = {489-498},
publisher = {Butterworth Heinemann},
author = {N. Boudriga and A. Mili and Mili, Rym}
}

@INPROCEEDINGS {103,
title = {{Specifying and Verifying Data Types}},
booktitle = {{Proceedings of the Thirteenth Australian Computer Science Conference}},
year = {1990},
month = {February},
address = {Melbourne, Australia},
author = {N. Boudriga and A. Mili and F. Mili and Mili, Rym}
}