Publications

  • B. Tora­bi and R. Z. Wenkstern, “DALI: An Agent-Plug-In Sys­tem to “Smar­ti­fy” Con­ven­tion­al Traf­fic Con­trol Sys­tems,” in Pro­ceed­ings of the 19th inter­na­tion­al con­fer­ence on autonomous agents and mul­ti­a­gent sys­tems, Auck­land, New Zealand, 2020, p. 2120–2122.
    [Bib­tex]
    @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},
    pages = {2120--2122}
    }
  • B. Tora­bi, R. Z. Wenkstern, R. Say­lor, and P. Ryan, “Deploy­ment of a Mul­ti-Agent Traf­fic Sig­nal Tim­ing Sys­tem,” in Pro­ceed­ings of the 19th inter­na­tion­al con­fer­ence on autonomous agents and mul­ti­a­gent sys­tems, Auck­land, New Zealand, 2020, p. 1386–1394.
    [Bib­tex]
    @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},
    pages = {1386--1394}
    }
  • B. Tora­bi, R. Z. Wenkstern, and R. 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,” Jour­nal of Autonomous Agents and Mul­ti-Agent Sys­tems (JAAMAS), vol. 34, iss. 1, p. 1–24, 2020.
    [Bib­tex]
    @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},
    publisher={Springer}
    }
  • M. Al-Zinati and R. Wenkstern, “Agent-envi­ron­ment inter­ac­tions in large-scale mul­ti-agent based sim­u­la­tion sys­tems,” in Pro­ceed­ings of the 18th inter­na­tion­al con­fer­ence on autonomous agents and mul­ti­a­gent sys­tems, Mon­tre­al QC, Cana­da, 2019, p. 763–771.
    [Bib­tex]
    @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},
    }
  • [PDF] B. Tora­bi, R. Z. Wenkstern, and R. 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, Kansas City, Mis­souri, USA, 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},
    pdf = {/wp-content/uploads/2019/09/ISC22018.pdf},
    address = {Kansas City, Missouri, USA},
    notes = {to appear}
    }
  • [PDF] B. Tora­bi, R. Z. Wenkstern, and R. 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, Maui, Hawaii, USA, 2018, p. 626–633.
    [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},
    key = {itsc2018dali},
    pdf = {/wp-content/uploads/2019/09/ITSC2018DALI.pdf},
    month = {November},
    address = {Maui, Hawaii, USA},
    pages = {626--633}
    }
  • [PDF] B. Tora­bi, R. Z. Wenkstern, and M. 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, Maui, Hawaii, USA, 2018, p. 2556–2561.
    [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},
    pdf = {/wp-content/uploads/2019/09/ITSC2018MATISSE.pdf},
    address = {Maui, Hawaii, USA},
    pages = {2556--2561}
    }
  • B. Tora­bi, R. Z. Wenkstern, and R. 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, Stock­holm, Swe­den, 2018, p. 2094–2096.
    [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}
    }
  • M. Al-Zinati and R. 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, Tole­do, Spain, 2018, p. 42–58.
    [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}
    }
  • B. Tora­bi, M. Al-Zinati, and R. 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, Tole­do, Spain, 2018, p. 357–360.
    [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}
    }
  • B. Tora­bi, R. Z. Wenkstern, and R. 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, Rome, Italy, 2017, p. 123–126.
    [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}
    }
  • H. Esla­mi and R. 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, Bei­jing, Chi­na, 2017, p. 21–26.
    [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}
    }
  • M. Al-Zinati and R. 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, Sao Paulo, Brazil, 2017, p. 1454–1456.
    [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}
    }
  • M. Al-Zinati and R. 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, Lon­don, Eng­land, 2016, p. 178–186.
    [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}
    }
  • M. Al-Zinati and R. 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, Sin­ga­pore, Sin­ga­pore, 2015, p. 328–335.
    [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}
    }
  • T. Steel, D. Kuiper, and R. 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, Istan­bul, Turkey, 2015, p. 1955–1956.
    [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}
    }
  • M. Al-Zinati and R. 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, Istan­bul, Turkey, 2015, p. 1031–1039.
    [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}
    }
  • D. Kuiper and R. 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), vol. 29, iss. 2, pp. 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}
    }
  • M. Al-Zinati and R. 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), Paris, France, 2014, p. 1583–1584.
    [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), Delft, Nether­lands, 2013, pp. 105–114.
    [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}
    }
  • F. Arau­jo, M. Al-Zinati, J. Valente, D. Kuiper, and R. 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, Saint Paul, MN, USA, 2013, pp. 1351–1352.
    [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}
    }
  • D. Kuiper and R. 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), Saint Paul, MN, USA, 2013, pp. 611–618.
    [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}
    }
  • J. Valente, F. Arau­jo, and R. 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, vol. 4, iss. 4, pp. 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}
    }
  • F. Arau­jo, J. Valente, and R. 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., Orlan­do, Flori­da, 2012, p. 5:1–5:8.
    [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}
    }
  • D. Kuiper and R. 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, Taipei, Tai­wan, 2011, p. 1235–1236.
    [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}
    }
  • T. Steel, D. Kuiper, and R. 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), Toron­to, Cana­da, 2010, p. 453–456.
    [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}
    }
  • T. 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, Orlan­do, Flori­da, USA, 2010, p. 17:1–17:8.
    [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] T. Steel, D. 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), Can­cun, Mex­i­co, 2010, pp. 90–96.
    [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, D. Weyns, S. Malek, R. de Lemos, and J. Ander­s­son, Eds., Springer Ver­lag, 2010, vol. 6090.
    [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, T. 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, 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, 2009.
    [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, T. 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, 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}
    }
  • R. 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, Boston, MA, 2008, pp. 318–326.
    [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, R. 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, Glas­gow, UK, 2008, p. 22–24.
    [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 R. 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, Venice, Italy, 2008, pp. 43–48.
    [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}
    }
  • R. Zalila-Mili and R. 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, vol. 5049, pp. 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}
    }
  • K. Coop­er, L. Dai, R. Stein­er, and R. 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, pp. 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}
    }
  • R. Zalila-Mili and R. 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, Dres­den, Ger­many, 2007, pp. 135–147.
    [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}
    }
  • R. Zalila-Mili, E. Oladime­ji, and R. 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, 2006.
    [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}
    }
  • R. Zalila-Mili, R. 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, vol. 2, iss. 4, p. 505{textendash}525, 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}
    }
  • R. Stein­er, G. Leask, and R. Mili, “An Archi­tec­ture for MAS Sim­u­la­tion Envi­ron­ments,” in Lec­ture Notes in Com­put­er Sci­ence. Envi­ron­ments for Mul­ti-Agent Sys­tems, Springer Ver­lag, 2006, vol. 3830, p. 50{textendash}67.
    [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, Utrecht, The Nether­lands, 2005, pp. 50–67.
    [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}
    }
  • R. Mili, G. Leask, U. Shakya, and R. 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, 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 R. Mili, “Visu­al­iz­ing Graph­i­cal and Tex­tu­al For­malisms,” Infor­ma­tion Sys­tems, vol. 28, pp. 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, R. Mili, and I. G. Tol­lis, “Visu­al­iz­ing Stat­e­charts with ViSta,” in Graph Draw­ing Soft­ware: Math­e­mat­ics and Visu­al­iza­tion, P. Mutzel and M. Juenger, Eds., Springer Ver­lag, 2003, pp. 299–319.
    [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, R. Mili, and I. G. Tol­lis, “Visu­al­iz­ing Stat­e­charts: The ViSta tool,” in Lec­ture Notes in Com­put­er Sci­ence, Springer Ver­lag, 2002, vol. 2265.
    [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}
    }
  • R. Mili and R. 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, vol. 2269, pp. 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, R. Mili, and I. G. Tol­lis, “Auto­mat­ic Lay­out of Stat­e­charts,” Soft­ware Prac­tice and Expe­ri­ence, vol. 32, pp. 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, R. 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, vol. 6, iss. 3, pp. 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, R. 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, vol. 62, pp. 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, R. 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, 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, R. 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), Stre­sa, Italy, 2001, pp. 120–121.
    [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, R. Mili, and I. G. Tol­lis, “An Algo­rith­mic Frame­work for Visu­al­iz­ing Stat­e­charts,” in Lec­ture Notes in Com­put­er Sci­ence, Springer Ver­lag, 2001, vol. 1984, pp. 139–149.
    [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, R. 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, VA, 2000, pp. 139–149.
    [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, R. 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), Ulm, Ger­many, 2000, pp. 179–186.
    [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] R. 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, vol. 247, pp. 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 R. 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, 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, R. Mili, R. 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), Paris, France, 1998, p. 564{textendash}571.
    [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, R. Mili, and R. T. Mit­ter­meir, “A sur­vey of soft­ware reuse libraries,” Annu­als of Soft­ware Engi­neer­ing, vol. 5, iss. 1, p. 349{textendash}414, 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] R. Mili and J. Ray­mond, “Towards a for­mal frame­work for soft­ware reuse,” Infor­ma­tion Sci­ences, vol. 110, iss. 3–4, p. 135{textendash}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}
    }
  • L. L. Jilani, J. Deshar­nais, M. Frap­pi­er, R. 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), Wash­ing­ton, DC, USA, 1997, p. 255.
    [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] R. 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, New York, NY, USA, 1997, p. 157{textendash}168.
    [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] R. 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, vol. 22, p. 157{textendash}168, 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}
    }
  • L. L. Jilani, R. 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, 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}
    }
  • R. 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, 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}
    }
  • B. L. Arfa, R. 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, 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}
    }
  • R. 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, 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}
    }
  • R. 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, 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}
    }
  • R. Mili and A. Mili, “La M’ethod­olo­gie Clean­room pour le D’evel­oppe­ment de Logi­ciels sans Fautes,” in Pro­ceed­ings of Forum Informatique95, Tunis, Tunisia, 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, R. Mili, J. Mullins, and Y. Sli­mani, “Seman­tics of Con­cur­ren­cy,” in Hand­book of Par­al­lel Pro­gram­ming, A. Zomaya, Ed., 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}
    }
  • R. 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, 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, R. 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, 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}
    }
  • R. 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, 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, R. 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, 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}
    }
  • R. 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, 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, R. 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, 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 R. 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, Koloa, HI, 1992, pp. 74–82.
    [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 R. 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, vol. 17, iss. 2, pp. 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 R. Mili, “DIDON: A Sys­tem for Exe­cutable Spec­i­fi­ca­tions,” Infor­ma­tion and Soft­ware Tech­nol­o­gy, vol. 33, iss. 7, pp. 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 R. 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, 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}
    }