Publications

  • Behnam Tora­bi, Rym Z. Wenkstern, and Robert Say­lor. A Self-Adap­tive Col­lab­o­ra­tive Mul­ti-Agent based Traf­fic Sig­nal Tim­ing Sys­tem. In Pro­ceed­ings of the 4th IEEE Inter­na­tion­al Smart Cities Con­fer­ence, ISC2 2018, Kansas City, Mis­souri, USA, Sep­tem­ber 2018.
    [Bib­tex]
    @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},
    address = {Kansas City, Missouri, USA},
    notes = {to appear}
    }
  • Behnam Tora­bi, Rym Z. Wenkstern, and Robert Say­lor. A Col­lab­o­ra­tive Agent-Based Traf­fic Sig­nal Sys­tem For High­ly Dynam­ic Traf­fic Con­di­tions. In Pro­ceed­ings of the 21st IEEE Inter­na­tion­al Con­fer­ence on Intel­li­gent Trans­porta­tion Sys­tems, IEEE ITSC 2018, Maui, Hawaii, USA, Novem­ber 2018.
    [Bib­tex]
    @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},
    month = {November},
    address = {Maui, Hawaii, USA},
    notes = {to appear}
    }
  • Behnam Tora­bi, Rym Z. Wenkstern, and Moham­mad Al-Zinati. An Agent-Based Micro-Sim­u­la­tor for ITS. In Pro­ceed­ings of the 21st IEEE Inter­na­tion­al Con­fer­ence on Intel­li­gent Trans­porta­tion Sys­tems, IEEE ITSC 2018, Maui, Hawaii, USA, Novem­ber 2018.
    [Bib­tex]
    @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},
    address = {Maui, Hawaii, USA},
    notes = {to appear}
    }
  • Behnam Tora­bi, Rym Z. Wenkstern, and Robert Say­lor. A Mul­ti-Hop Agent-Based Traf­fic Sig­nal Tim­ing Sys­tem for the City of Richard­son. In Pro­ceed­ings of the The Six­teenth Inter­na­tion­al Con­fer­ence on Autonomous Agent and Mul­ti­a­gent Sys­tems, AAMAS 2018, page 2094–2096, Stock­holm, Swe­den, July 2018.
    [Bib­tex]
    @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},
    notes = {to appear}
    }
  • Moham­mad Al-Zinati and Rym Z. Wenkstern. A Resilient Agent-Based Re-orga­niz­ing Traf­fic Net­work for Urban Evac­u­a­tions. In Pro­ceed­ings of the 16th Inter­na­tion­al Con­fer­ence on Prac­ti­cal Appli­ca­tions of Agents and Mul­ti-Agent Sys­tems, PAAMS 18, page 42–58, Tole­do, Spain, June 2018.
    [Bib­tex]
    @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}
    }
  • Behnam Tora­bi, Moham­mad Al-Zinati, and Rym Z. Wenkstern. MATISSE 3.0: A Large-Scale Mul­ti-agent Sim­u­la­tion Sys­tem for Intel­li­gent Trans­porta­tion Sys­tems. In Pro­ceed­ings of the 16th Inter­na­tion­al Con­fer­ence on Prac­ti­cal Appli­ca­tions of Agents and Mul­ti-Agent Sys­tems, PAAMS 18, page 357–360, Tole­do, Spain, June 2018.
    [Bib­tex]
    @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}
    }
  • Behnam Tora­bi, Rym Z. Wenkstern, and Robert Say­lor. Agent-based decen­tral­ized traf­fic sig­nal tim­ing. In Pro­ceed­ings of the 21st Inter­na­tion­al Sym­po­sium on Dis­trib­uted Sim­u­la­tion and Real Time Appli­ca­tions, DS-RT 17, page 123–126, Rome, Italy, Octo­ber 2017.
    [Bib­tex]
    @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}
    }
  • Hafez Esla­mi and Rym Wenkstern. Dynam­ic Coali­tion Struc­ture Gen­er­a­tion for Autonomous Con­nect­ed Vehi­cles. In Pro­ceed­ings of IEEE Inter­na­tion­al Con­fer­ence on Agents, ICA 17, page 21–26, Bei­jing, Chi­na, July 2017.
    [Bib­tex]
    @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}
    }
  • Moham­mad Al-Zinati and Rym Wenkstern. An Agent-Based Self-Orga­niz­ing Traf­fic Envi­ron­ment for Urban Evac­u­a­tions. In Pro­ceed­ings of the The Six­teenth Inter­na­tion­al Con­fer­ence on Autonomous Agent and Mul­ti­a­gent Sys­tems, AAMAS ‘2017, page 1454–1456, Sao Paulo, Brazil, May 2017.
    [Bib­tex]
    @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}
    }
  • Moham­mad Al-Zinati and Rym Wenkstern. Sim­u­la­tion of traf­fic net­work re-orga­ni­za­tion oper­a­tions. In Pro­ceed­ings of the 20th IEEE/ACM Inter­na­tion­al Sym­po­sium on Dis­trib­uted Sim­u­la­tion and Real Time Appli­ca­tions, DS-RT 16, page 178–186, Lon­don, Eng­land, Sep­tem­ber 2016.
    [Bib­tex]
    @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}
    }
  • Moham­mad Al-Zinati and Rym Wenkstern. Matisse 2.0: a large-scale mul­ti-agent sim­u­la­tion sys­tem for agent-based its. In Pro­ceed­ings of the 2015 ieee/wiciacm inter­na­tion­al con­fer­ence on intel­li­gent agent tech­nol­o­gy, lAT’ 15, page 328–335, Sin­ga­pore, Sin­ga­pore, Decem­ber 2015.
    [Bib­tex]
    @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}
    }
  • Travis Steel, Dane Kuiper, and Rym Z. Wenkstern. Emi­go: a large-scale mul­ti-agent plat­form for the web. In Pro­ceed­ings of the 2015 inter­na­tion­al con­fer­ence on autonomous agents and mul­ti­a­gent sys­tems, AAMAS ’15, page 1955–1956, Istan­bul, Turkey, May 2015.
    [Bib­tex]
    @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}
    }
  • Moham­mad Al-Zinati and Rym Wenkstern. A self-orga­niz­ing vir­tu­al envi­ron­ment for agent-based sim­u­la­tions. In Pro­ceed­ings of the 2015 inter­na­tion­al con­fer­ence on autonomous agents and mul­ti­a­gent sys­tems, AAMAS ’15, page 1031–1039, Istan­bul, Turkey, May 2015.
    [Bib­tex]
    @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}
    }
  • Dane Kuiper and Rym Z. Wenkstern. Agent Vision in Mul­ti-Agent Based Sim­u­la­tion Sys­tems. Jour­nal of Autonomous Agents and Mul­ti-Agent Sys­tems (JAAMAS), 29(2):161–191, 2015.
    [Bib­tex]
    @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}
    }
  • Moham­mad Al-Zinati and Rym Wenkstern. A Self-Orga­niz­ing Mod­el for Decen­tral­ized Vir­tu­al Envi­ron­ments in Agent-Based Sim­u­la­tion Sys­tems. In Pro­ceed­ings of the 13th Inter­na­tion­al Con­fer­ence on Autonomous Agents and Mul­ti­a­gent Sys­tems (AAMAS2014), page 1583–1584, Paris, France, (May) 2014.
    [Bib­tex]
    @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}
    }
  • M. Al-Zinati, F. Arau­jo, D. Kuiper, J. Valente, and R. Z. Wenkstern. DIVAs 4.0: A Mul­ti-Agent Based Sim­u­la­tion Frame­work. In Pro­ceed­ings of the 17th IEEE/ACM Inter­na­tion­al Sym­po­sium on Dis­trib­uted Sim­u­la­tion and Real Time Appli­ca­tions (DS-RT 2013), pages 105–114, Delft, Nether­lands, Novem­ber 2013.
    [Bib­tex]
    @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}
    }
  • Fred­eri­co Arau­jo, Moham­mad Al-Zinati, Junia Valente, Dane Kuiper, and Rym Zalila-Wenkstern. DIVAs 4.0: A Frame­work for the Devel­op­ment of Sit­u­at­ed Mul­ti-Agent Based Sim­u­la­tion Sys­tems. In Demo Paper, Pro­ceed­ings of the 12th Inter­na­tion­al Con­fer­ence on Autonomous Agents and Mul­ti­a­gent Sys­tems (AAMAS2013), Best Demo Award, pages 1351–1352, Saint Paul, MN, USA, May 2013.
    [Bib­tex]
    @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}
    }
  • Dane Kuiper and Rym Zalila-Wenkstern. Vir­tu­al Agent Per­cep­tion Com­bi­na­tion in Mul­ti Agent Based Sys­tems. In Pro­ceed­ings of the 12th Inter­na­tion­al Con­fer­ence on Autonomous Agents and Mul­ti­a­gent Sys­tems (AAMAS2013), pages 611–618, Saint Paul, MN, USA, May 2013.
    [Bib­tex]
    @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}
    }
  • Junia Valente, Fred­eri­co Arau­jo, and Rym Zalila-Wenkstern. On Mod­el­ing and Ver­i­fi­ca­tion of Agent-Based Traf­fic Sim­u­la­tion Prop­er­ties in Alloy. Jour­nal of Agent Tech­nolo­gies and Sys­tems, 4(4):38–60, 2012.
    [Bib­tex]
    @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}
    }
  • Fred­eri­co Arau­jo, Junia Valente, and Rym Zalila-Wenkstern. Mod­el­ing Agent-Based Traf­fic Sim­u­la­tion Prop­er­ties in Alloy. In Pro­ceed­ings of the ACM Agent Direct­ed Sim­u­la­tion Sym­po­sium. Best paper award, Agent Direct­ed Sim­u­la­tion Sym­po­sium. Best over­all paper award, 2012 Spring Sim­u­la­tion Mul­ti-Con­fer­ence, Soci­ety for Mod­el­ing and Sim­u­la­tion., pages 5:1–5:8, Orlan­do, Flori­da, March 2012. Best paper award, Agent Direct­ed Sim­u­la­tion Sym­po­sium. Best over­all paper award, 2012 Spring Sim­u­la­tion Mul­ti-Con­fer­ence, Soci­ety for Mod­el­ing and Sim­u­la­tion.
    [Bib­tex]
    @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}
    }
  • Dane Kuiper and Rym Zalila-Wenkstern. Vir­tu­al Agent Per­cep­tion in Large Scale Mul­ti-Agent Based Sim­u­la­tion Sys­tems. In Pro­ceed­ings of 10th Inter­na­tion­al Con­fer­ence on Autonomous Agents and Mul­ti­a­gent Sys­tems, page 1235–1236, Taipei, Tai­wan, May 2011.
    [Bib­tex]
    @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}
    }
  • Travis Steel, Dane Kuiper, and Rym Wenkstern. Vir­tu­al Agent Per­cep­tion in Mul­ti-Agent Based Sim­u­la­tion Sys­tems. In Pro­ceed­ings of IEEE/WIC/ACM Inter­na­tion­al Con­fer­ence on Intel­li­gent Agent Tech­nol­o­gy (IAT-10), page 453–456, Toron­to, Cana­da, August 2010. ACM.
    [Bib­tex]
    @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}
    }
  • Travis Steel and R. Zalila-Wenkstern. Sim­u­lat­ed Event Prop­a­ga­tion in Dis­trib­uted, Open Envi­ron­ments. In Pro­ceed­ings of the Agent-Direct­ed Sim­u­la­tion Sym­po­sium, pages 17:1–17:8, Orlan­do, Flori­da, USA, April 2010.
    [Bib­tex]
    @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}
    }
  • [DOI] Travis Steel, Dane Kuiper, and R. Zalila-Wenkstern. Con­text-Aware Vir­tu­al Agents in Open Envi­ron­ments. In Pro­ceed­ings of 2010 Sixth Inter­na­tion­al Con­fer­ence on Auto­nom­ic and Autonomous Sys­tems (ICAS), pages 90–96, Can­cun, Mex­i­co, March 2010. IEEE.
    [Bib­tex]
    @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}
    }
  • R. Z. Wenkstern, T. Steel, and G. Leask. A Self Orga­niz­ing Archi­tec­ture for Traf­fic Man­age­ment, vol­ume 6090 of {Lec­ture Notes in Com­put­er Sci­ence}. Springer Ver­lag, 2010.
    [Bib­tex]
    @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}
    }
  • R. Zalila-Wenkstern, Travis Steel, and G. Leask. A Self-Orga­niz­ing Archi­tec­ture for Traf­fic Man­age­ment. In Pro­ceed­ings of WICSA/ECSA Work­shop on Self Orga­niz­ing Archi­tec­tures, Cam­bridge, UK, Sep­tem­ber 2009.
    [Bib­tex]
    @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}
    }
  • R. Z. Wenkstern, T. Steel, O. Daes­cu, J. Hansen, and P. Boyraz. SOTERIA: A Large Scale Mul­ti-Agent Sys­tem for Sim­u­lat­ing Traf­fic Safe­ty Sce­nar­ios. In Pro­ceed­ings of 4th Bien­ni­al Work­shop on DSP for In-Vehi­cle Sys­tems and Safe­ty, Dal­las, TX, June 2009. IEEE.
    [Bib­tex]
    @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}
    }
  • R. Zalila-Wenkstern, Travis Steel, O. Daes­cu, J. Hansen, and P. Boyraz. MATISSE: A Large Scale Mul­ti-Agent Sys­tem for Sim­u­lat­ing Traf­fic Safe­ty Sce­nar­ios. In IEEE 4th Bien­ni­al Work­shop on DSP for In-Vehi­cle Sys­tems and Safe­ty, Dal­las, TX, June 2009.
    [Bib­tex]
    @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}
    }
  • Renee Stein­er, R. Zalila-Wenkstern, and J. Bur­nell. Visu­al­ly Spec­i­fy­ing Mul­ti-Agent Sim­u­la­tion Envi­ron­ments with DIVAs. In Pro­ceed­ings of the Inter­na­tion­al Con­fer­ence on Mul­ti­me­dia Sys­tems, Visu­al Lan­guages and Com­put­ing, pages 318–326, Boston, MA, Novem­ber 2008.
    [Bib­tex]
    @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}
    }
  • Y. Hagh­panah-Jahro­mi, R. Zalila-Wenkstern, Renee Stein­er, and K. Coop­er. Towards the Def­i­n­i­tion of Agent-UP: The DIVAs Process. In Pro­ceed­ings of Agent-Ori­ent­ed Soft­ware Devel­op­ment Method­ol­o­gy, page 22–24, Glas­gow, UK, July 2008.
    [Bib­tex]
    @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}
    }
  • [DOI] S. Arunacha­lam, R. Zalila-Wenkstern, and Renee Stein­er. Envi­ron­ment Medi­at­ed Mul­ti Agent Sim­u­la­tion Tools: A Com­par­i­son. In Pro­ceed­ings of Work­shop on Envi­ron­ment-Medi­at­ed Coor­di­na­tion in Self-Orga­niz­ing and Self-Adap­tive Sys­tems, pages 43–48, Venice, Italy, 2008. IEEE.
    [Bib­tex]
    @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}
    }
  • Rym Zalila-Mili and Renee Stein­er. Mod­el­ing Agent-Envi­ron­ment Inter­ac­tions in Adap­tive MAS. Lec­ture Notes in AI. Engi­neer­ing Envi­ron­ment-Medi­at­ed Mul­ti-Agent Sys­tems, 5049:135–147, 2008.
    [Bib­tex]
    @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}
    }
  • Kendra Coop­er, L. Dai, Renee Stein­er, and Rym Zalila-Mili. A Sur­vey of Soft­ware Archi­tec­ture Approach­es. Design­ing Soft­ware-Inten­sive Sys­tems: Meth­ods and Prin­ci­ples, pages 256–288, 2008.
    [Bib­tex]
    @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}
    }
  • Rym Zalila-Mili and Renee Stein­er. Mod­el­ing Agent-Envi­ron­ment Inter­ac­tions. In Pro­ceed­ings of Engi­neer­ing Envi­ron­ment-Medi­at­ed Mul­ti­a­gent Sys­tems (EEMMAS07), Euro­pean Con­fer­ence on Com­plex Sys­tems, pages 135–147, Dres­den, Ger­many, Novem­ber 2007.
    [Bib­tex]
    @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}
    }
  • Rym Zalila-Mili, E. Oladime­ji, and Renee Stein­er. Archi­tec­ture of the DIVAs Sim­u­la­tion Sys­tem. In Pro­ceed­ings of Agent-Direct­ed Sim­u­la­tion Sym­po­sium ADS06, Huntsville, Alaba­ma, April 2006. Soci­ety for Mod­el­ing and Sim­u­la­tion, Soci­ety for Mod­el­ing and Sim­u­la­tion.
    [Bib­tex]
    @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}
    }
  • Rym Zalila-Mili, Renee Stein­er, and E. Oladime­ji. DIVAs: Illus­trat­ing an Abstract Archi­tec­ture for Agent-Envi­ron­ment Sim­u­la­tion Sys­tems. Mul­ti­a­gent and Grid Sys­tems. Spe­cial issue on Agent-Ori­ent­ed Soft­ware Devel­op­ment Method­olo­gies, 2(4):505{–}525, Jan­u­ary 2006.
    [Bib­tex]
    @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}
    }
  • Renee Stein­er, G. Leask, and Rym Mili. An Archi­tec­ture for MAS Sim­u­la­tion Envi­ron­ments, vol­ume 3830, page 50{–}67. Springer Ver­lag, 2006.
    [Bib­tex]
    @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}
    }
  • R. Stein­er, G. Leask, and R. Mili. An Archi­tec­ture for MAS Sim­u­la­tion Envi­ron­ments. In Pro­ceed­ings of ACM Con­fer­ence on Autonomous Agents and Mul­ti Agent Sys­tems, pages 50–67, Utrecht, The Nether­lands, July 2005.
    [Bib­tex]
    @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}
    }
  • Rym Mili, G. Leask, U. Shakya, and Renee Stein­er. Archi­tec­tur­al Design of the DIVAs Envi­ron­ment. In Pro­ceed­ings of Envi­ron­ments for Mul­ti-Agent Sys­tems (E4MAS04), Colum­bia Uni­ver­si­ty, NY, July 2004.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo and Rym Mili. Visu­al­iz­ing Graph­i­cal and Tex­tu­al For­malisms. Infor­ma­tion Sys­tems, 28:753–768, 2003.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, and I. G. Tol­lis. Visu­al­iz­ing Stat­e­charts with ViSta, pages 299–319. Springer Ver­lag, 2003.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, and I. G. Tol­lis. Visu­al­iz­ing Stat­e­charts: The ViSta tool, vol­ume 2265. Springer Ver­lag, Sep­tem­ber 2002.
    [Bib­tex]
    @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}
    }
  • Rym Mili and Renee Stein­er. Soft­ware Visu­al­iza­tion in Soft­ware Engi­neer­ing. Lec­ture Notes in Com­put­er Sci­ence. State-of-the-Art Sur­vey, 2269:129–137, 2002.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, and I. G. Tol­lis. Auto­mat­ic Lay­out of Stat­e­charts. Soft­ware Prac­tice and Expe­ri­ence, 32:25–55, 2002.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, and I. G. Tol­lis. A Frame­work for the Sta­t­ic and Inter­ac­tive Visu­al­iza­tion of Stat­e­charts. Jour­nal of Graph Algo­rithms and Appli­ca­tions, 6(3):313–351, 2002.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, and I. G. Tol­lis. ViSta: A Tool Suite for the Visu­al­iza­tion of Behav­ioral Require­ments. Jour­nal of Sys­tems and Soft­ware, 62:141–159, 2002.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, and I. G. Tol­lis. Visu­al­iz­ing Stat­e­charts: The ViSta tool. In Pro­ceed­ings of Graph Draw­ing 2001, Vien­na, Aus­tria, Sep­tem­ber 2001.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, and H. Mad­abushi. Visu­al­iz­ing Tex­tu­al and Graph­i­cal For­malisms. In Pro­ceed­ings of IEEE Sym­posia on Human-Cen­tric Com­put­ing Lan­guages and Envi­ron­ments (HCC01), pages 120–121, Stre­sa, Italy, Sep­tem­ber 2001.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, and I. G. Tol­lis. An Algo­rith­mic Frame­work for Visu­al­iz­ing Stat­e­charts, vol­ume 1984, pages 139–149. Springer Ver­lag, 2001.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, and I. G. Tol­lis. An Algo­rith­mic Frame­work for Visu­al­iz­ing Stat­e­charts. In Pro­ceed­ings of Graph Draw­ing 2000, pages 139–149, VA, Sep­tem­ber 2000.
    [Bib­tex]
    @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}
    }
  • R. Castel­lo, Rym Mili, I. G. Tol­lis, and V. Ben­son. On the Auto­mat­ic Visu­al­iza­tion of Stat­e­charts: The ViSta tool. In Pro­ceed­ings of 4th Inter­na­tion­al Work­shop on Tools for Sys­tem Design and Ver­i­fi­ca­tion (FM-Tools 2000), pages 179–186, Ulm, Ger­many, July 2000.
    [Bib­tex]
    @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}
    }
  • [DOI] Rym Mili, J. Deshar­nais, M. Frap­pi­er, and A. Mili. Seman­tic dis­tance between spec­i­fi­ca­tions. The­o­ret­i­cal Com­put­er Sci­ence, 247:257–276, 2000.
    [Bib­tex]
    @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}
    }
  • J. Ray­mond, J. Shah, and Rym Mili. Auto­mat­ed Reusabil­i­ty Eval­u­a­tion Sys­tem. In 2nd Euro­pean Soft­ware Mea­sure­ment Con­fer­ence (FESMA99), Ams­ter­dam, The Nether­lands, Oct­ber 1999.
    [Bib­tex]
    @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}
    }
  • R. T. Mit­ter­meir, Rym Mili, Rym Mili, and H. Poze­wau­nig. Uncer­tain­ty Aspects in Com­po­nent Retrieval. In Pro­ceed­ings of 7th Con­fer­ence on Infor­ma­tion Pro­cess­ing and Man­age­ment of Uncer­tain­ty in Knowl­edge-Based Sys­tems (IPMU98), page 564{–}571, Paris, France, July 1998.
    [Bib­tex]
    @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}
    }
  • A. Mili, Rym Mili, and R. T. Mit­ter­meir. A sur­vey of soft­ware reuse libraries. Annu­als of Soft­ware Engi­neer­ing, 5(1):349{–}414, Jan­u­ary 1998.
    [Bib­tex]
    @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.}
    }
  • [DOI] Rym Mili and Jacques Ray­mond. Towards a for­mal frame­work for soft­ware reuse. Infor­ma­tion Sci­ences, 110(3–4):135{–}149, 1998.
    [Bib­tex]
    @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}
    }
  • Labed L. Jilani, J. Deshar­nais, M. Frap­pi­er, Rym Mili, and A. Mili. Retriev­ing soft­ware com­po­nents that min­i­mize adap­ta­tion effort. In ASE97: Pro­ceed­ings of the 12th inter­na­tion­al con­fer­ence on Auto­mat­ed soft­ware engi­neer­ing (for­mer­ly: KBSE), page 255, Wash­ing­ton, DC, USA, Novem­ber 1997. IEEE Com­put­er Soci­ety, IEEE Com­put­er Soci­ety.
    [Bib­tex]
    @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}
    }
  • [DOI] Rym Mili, M. Frap­pi­er, J. Deshar­nais, and A. Mili. A cal­cu­lus of pro­gram mod­i­fi­ca­tions. In Pro­ceed­ings of the 1997 sym­po­sium on Soft­ware reusabil­i­ty, SSR 97, page 157{–}168, New York, NY, USA, May 1997. ACM, ACM.
    [Bib­tex]
    @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}
    }
  • [DOI] Rym Mili, M. Frap­pi­er, J. Deshar­nais, and A. Mili. A cal­cu­lus of pro­gram mod­i­fi­ca­tions. SIGSOFT Softw. Eng. Notes, 22:157{–}168, May 1997.
    [Bib­tex]
    @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}
    }
  • Labed L. Jilani, Rym Mili, and A. Mili. Using Func­tion­al Dis­tance to Per­form Approx­i­mate Retrieval. In Pro­ceed­ings of the Eighth Inter­na­tion­al Work­shop on Soft­ware Reuse, Colum­bus, OH, March 1997.
    [Bib­tex]
    @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}
    }
  • Rym Mili and J. Ray­mond. Mea­sur­ing the Reusabil­i­ty of a Com­po­nent: A Return On Invest­ment Approach. In Pro­ceed­ings of Inter­na­tion­al Con­fer­ence on Soft­ware Qual­i­ty, Ottawa, Cana­da, Octo­ber 1996.
    [Bib­tex]
    @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}
    }
  • Ben L. Arfa, Rym Mili, M. Frap­pi­er, and A. Mili. Ver­i­fi­ca­tion Based Inspec­tion of Object Ori­ent­ed Soft­ware: A Rela­tion­al Approach. In Pro­ceed­ings of Third Annu­al Inter­na­tion­al Con­fer­ence on Clean­room Soft­ware Engi­neer­ing Prac­tices, Col­lege Park, MD, Octo­ber 1996.
    [Bib­tex]
    @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}
    }
  • Rym Mili and J. Ray­mond. Assess­ing Reusabil­i­ty: An Eco­nom­ics Based Mea­sure. In Pro­ceed­ings of Reuse95, Mor­gan­town, WV, August 1995.
    [Bib­tex]
    @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}
    }
  • Rym Mili and R. Mit­ter­meir. Ex-Ante Reusabil­i­ty Assess­ment. In Pro­ceed­ings of Fourth Inter­na­tion­al Con­fer­ence on Re-Tech­nolo­gies for Infor­ma­tion Sys­tems, Bled, Slove­nia, June 1995.
    [Bib­tex]
    @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}
    }
  • Rym Mili and A. Mili. La Méthodolo­gie Clean­room pour le Développe­ment de Logi­ciels sans Fautes. In Pro­ceed­ings of Forum Informatique95, Tunis, Tunisia, March 1995.
    [Bib­tex]
    @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}
    }
  • J. Deshar­nais, A. Mili, Rym Mili, J. Mullins, and Y. Sli­mani. Seman­tics of Con­cur­ren­cy. McGraw Hill, 1995.
    [Bib­tex]
    @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}
    }
  • Rym Mili, A. Mili, and S. Tal­bert. Mod­el­ing Soft­ware Engi­neer­ing Knowl­edge: Appli­ca­tions to Cur­ricu­lum Devel­op­ment. In Pro­ceed­ings of Work­shop on Soft­ware Engi­neer­ing Edu­ca­tion, Soren­to, Italy, May 1994.
    [Bib­tex]
    @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}
    }
  • A. Mili, Rym Mili, and R. Mit­ter­meir. Stor­ing and Retriev­ing Soft­ware Com­po­nents: A Refine­ment Based Sys­tem. In Pro­ceed­ings of the Six­teenth IEEE Inter­na­tion­al Con­fer­ence on Soft­ware Engi­neer­ing, Soren­to, Italy, May 1994.
    [Bib­tex]
    @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}
    }
  • Rym Mili and A. Mili. A For­mal Mod­el for Soft­ware Spec­i­fi­ca­tion and Its Automa­tion. In Pro­ceed­ings of ARO/AFOSR/ONR Work­shop, Mon­terey, CA, Novem­ber 1993.
    [Bib­tex]
    @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}
    }
  • R. Mit­ter­meir, Rym Mili, and A. Mili. A Sys­tem for Soft­ware Reuse: Pre­lim­i­nary Imple­men­ta­tion. In Pro­ceed­ings of Sixth Inter­na­tion­al Work­shop on Soft­ware Reuse, Owego, NY, Novem­ber 1993.
    [Bib­tex]
    @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}
    }
  • Rym Mili, B. Hod­son, A. Mili, and J. Ray­mond. Soft­ware Engi­neer­ing Edu­ca­tion in Gov­ern­ment: The DSS Insti­tute. In Pro­ceed­ings of Nation­al Work­shop on Soft­ware Engi­neer­ing Edu­ca­tion, Toron­to, Cana­da, May 1993.
    [Bib­tex]
    @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}
    }
  • A. Mili, Rym Mili, and R. Mit­ter­meir. A For­mal Approach to Soft­ware Reuse: Design and Imple­men­ta­tion. In Pro­ceed­ings of Fifth Annu­al Work­shop on Soft­ware Reuse, Palo Alto, CA, Octo­ber 1992.
    [Bib­tex]
    @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}
    }
  • N. Boudri­ga, A. Mili, and Rym Mili. An Auto­mat­ed Tool for Spec­i­fi­ca­tion Val­i­da­tion: Design and Pre­lim­i­nary Imple­men­ta­tion. In Pro­ceed­ings of the 25th Hawaii Inter­na­tion­al Con­fer­ence on Sys­tem Sci­ences, pages 74–82, Koloa, HI, Jan­u­ary 1992. IEEE Com­put­er Soci­ety Press, IEEE Com­put­er Soci­ety Press.
    [Bib­tex]
    @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}
    }
  • N. Boudri­ga, A. Mili, F. Mili, and Rym Mili. A Rela­tion­al Approach to the Spec­i­fi­ca­tion of Data Types: The Gen­er­al­ized Mod­el. Com­put­er Lan­guages, 17(2):101–131, 1992.
    [Bib­tex]
    @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}
    }
  • N. Boudri­ga, A. Mili, and Rym Mili. DIDON: A Sys­tem for Exe­cutable Spec­i­fi­ca­tions. Infor­ma­tion and Soft­ware Tech­nol­o­gy, 33(7):489–498, 1991.
    [Bib­tex]
    @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}
    }
  • N. Boudri­ga, A. Mili, F. Mili, and Rym Mili. Spec­i­fy­ing and Ver­i­fy­ing Data Types. In Pro­ceed­ings of the Thir­teenth Aus­tralian Com­put­er Sci­ence Con­fer­ence, Mel­bourne, Aus­tralia, Feb­ru­ary 1990.
    [Bib­tex]
    @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}
    }