Publications

  • Hafez Eslami and Rym Wenkstern. Dynamic coalition structure generation for autonomous connected vehicles. In Proceedings of IEEE International Conference on Agents, ICA 17, July 2017.
    [Bibtex]
    @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},
    month = {July},
    location = {Beijing, China},
    notes = {to appear}
    }
  • Mohammad Al-Zinati and Rym Wenkstern. An agent-based self-organizing traffic environment for urban evacuations. In Proceedings of the The Sixteenth International Conference on Autonomous Agent and Multiagent Systems, AAMAS ‘2017, May 2017.
    [Bibtex]
    @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},
    location = {Sao Paulo, Brazil},
    notes = {to appear}
    }
  • Mohammad Al-Zinati and Rym Wenkstern. Simulation of traffic network re-organization operations. In Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 16, pages 178-186, September 2016.
    [Bibtex]
    @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},
    location = {London, England},
    pages = {178--186}
    }
  • Mohammad Al-Zinati and Rym Wenkstern. Matisse 2.0: a large-scale multi-agent simulation system for agent-based its. In Proceedings of the 2015 ieee/wiciacm international conference on intelligent agent technology, lAT’ 15, pages 328-335, December 2015.
    [Bibtex]
    @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},
    location = {Singapore, Singapore},
    pages = {328--335}
    }
  • Travis Steel, Dane Kuiper, and Rym Z. Wenkstern. Emigo: a large-scale multi-agent platform for the web. In Proceedings of the 2015 international conference on autonomous agents and multiagent systems, AAMAS ’15, pages 1955-1956, May 2015.
    [Bibtex]
    @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},
    location = {Istanbul, Turkey},
    pages = {1955--1956}
    }
  • Mohammad Al-Zinati and Rym Wenkstern. A self-organizing virtual environment for agent-based simulations. In Proceedings of the 2015 international conference on autonomous agents and multiagent systems, AAMAS ’15, pages 1031-1039, May 2015.
    [Bibtex]
    @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},
    location = {Istanbul, Turkey},
    pages = {1031--1039}
    }
  • Dane Kuiper and Rym Z. Wenkstern. Agent Vision in Multi-Agent Based Simulation Systems. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 29(2):161-191, 2015.
    [Bibtex]
    @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}
    }
  • Mohammad Al-Zinati and Rym Wenkstern. A Self-Organizing Model for Decentralized Virtual Environments in Agent-Based Simulation Systems. In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014), pages 1583-1584, Paris, France, (May) 2014.
    [Bibtex]
    @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. Araujo, D. Kuiper, J. Valente, and R. Z. Wenkstern. DIVAs 4.0: A Multi-Agent Based Simulation Framework. In Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2013), pages 105-114, Delft, Netherlands, November 2013.
    [Bibtex]
    @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}
    }
  • Frederico Araujo, Mohammad Al-Zinati, Junia Valente, Dane Kuiper, and Rym Zalila-Wenkstern. DIVAs 4.0: A Framework for the Development of Situated Multi-Agent Based Simulation Systems. In Demo Paper, Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2013), Best Demo Award, pages 1351-1352, Saint Paul, MN, USA, May 2013.
    [Bibtex]
    @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. Virtual Agent Perception Combination in Multi Agent Based Systems. In Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2013), pages 611-618, Saint Paul, MN, USA, May 2013.
    [Bibtex]
    @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, Frederico Araujo, and Rym Zalila-Wenkstern. On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy. Journal of Agent Technologies and Systems, 4(4):38-60, 2012.
    [Bibtex]
    @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}
    }
  • Frederico Araujo, Junia Valente, and Rym Zalila-Wenkstern. Modeling Agent-Based Traffic Simulation Properties in Alloy. In 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., pages 5:1–5:8, Orlando, Florida, March 2012. Best paper award, Agent Directed Simulation Symposium. Best overall paper award, 2012 Spring Simulation Multi-Conference, Society for Modeling and Simulation.
    [Bibtex]
    @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. Virtual Agent Perception in Large Scale Multi-Agent Based Simulation Systems. In Proceedings of 10th International Conference on Autonomous Agents and Multiagent Systems, pages 1235-1236, Taipei, Taiwan, May 2011.
    [Bibtex]
    @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. Virtual Agent Perception in Multi-Agent Based Simulation Systems. In Proceedings of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-10), pages 453-456, Toronto, Canada, August 2010. ACM.
    [Bibtex]
    @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. Simulated Event Propagation in Distributed, Open Environments. In Proceedings of the Agent-Directed Simulation Symposium, pages 17:1–17:8, Orlando, Florida, USA, April 2010.
    [Bibtex]
    @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. Context-Aware Virtual Agents in Open Environments. In Proceedings of 2010 Sixth International Conference on Autonomic and Autonomous Systems (ICAS), pages 90-96, Cancun, Mexico, March 2010. IEEE.
    [Bibtex]
    @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 Organizing Architecture for Traffic Management, volume 6090 of {Lecture Notes in Computer Science}. Springer Verlag, 2010.
    [Bibtex]
    @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-Organizing Architecture for Traffic Management. In Proceedings of WICSA/ECSA Workshop on Self Organizing Architectures, Cambridge, UK, September 2009.
    [Bibtex]
    @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. Daescu, J. Hansen, and P. Boyraz. SOTERIA: A Large Scale Multi-Agent System for Simulating Traffic Safety Scenarios. In Proceedings of 4th Biennial Workshop on DSP for In-Vehicle Systems and Safety, Dallas, TX, June 2009. IEEE.
    [Bibtex]
    @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. Daescu, J. Hansen, and P. Boyraz. MATISSE: A Large Scale Multi-Agent System for Simulating Traffic Safety Scenarios. In IEEE 4th Biennial Workshop on DSP for In-Vehicle Systems and Safety, Dallas, TX, June 2009.
    [Bibtex]
    @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 Steiner, R. Zalila-Wenkstern, and J. Burnell. Visually Specifying Multi-Agent Simulation Environments with DIVAs. In Proceedings of the International Conference on Multimedia Systems, Visual Languages and Computing, pages 318-326, Boston, MA, November 2008.
    [Bibtex]
    @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. Haghpanah-Jahromi, R. Zalila-Wenkstern, Renee Steiner, and K. Cooper. Towards the Definition of Agent-UP: The DIVAs Process. In Proceedings of Agent-Oriented Software Development Methodology, pages 22-24, Glasgow, UK, July 2008.
    [Bibtex]
    @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. Arunachalam, R. Zalila-Wenkstern, and Renee Steiner. Environment Mediated Multi Agent Simulation Tools: A Comparison. In Proceedings of Workshop on Environment-Mediated Coordination in Self-Organizing and Self-Adaptive Systems, pages 43-48, Venice, Italy, 2008. IEEE.
    [Bibtex]
    @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 Steiner. Modeling Agent-Environment Interactions in Adaptive MAS. Lecture Notes in AI. Engineering Environment-Mediated Multi-Agent Systems, 5049:135-147, 2008.
    [Bibtex]
    @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 Cooper, L. Dai, Renee Steiner, and Rym Zalila-Mili. A Survey of Software Architecture Approaches. Designing Software-Intensive Systems: Methods and Principles, pages 256-288, 2008.
    [Bibtex]
    @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 Steiner. Modeling Agent-Environment Interactions. In Proceedings of Engineering Environment-Mediated Multiagent Systems (EEMMAS07), European Conference on Complex Systems, pages 135-147, Dresden, Germany, November 2007.
    [Bibtex]
    @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. Oladimeji, and Renee Steiner. Architecture of the DIVAs Simulation System. In Proceedings of Agent-Directed Simulation Symposium ADS06, Huntsville, Alabama, April 2006. Society for Modeling and Simulation, Society for Modeling and Simulation.
    [Bibtex]
    @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 Steiner, and E. Oladimeji. DIVAs: Illustrating an Abstract Architecture for Agent-Environment Simulation Systems. Multiagent and Grid Systems. Special issue on Agent-Oriented Software Development Methodologies, 2(4):505{\textendash}525, January 2006.
    [Bibtex]
    @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 Steiner, G. Leask, and Rym Mili. An Architecture for MAS Simulation Environments, volume 3830, pages 50{\textendash}67. Springer Verlag, 2006.
    [Bibtex]
    @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. Steiner, G. Leask, and R. Mili. An Architecture for MAS Simulation Environments. In Proceedings of ACM Conference on Autonomous Agents and Multi Agent Systems, pages 50-67, Utrecht, The Netherlands, July 2005.
    [Bibtex]
    @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 Steiner. Architectural Design of the DIVAs Environment. In Proceedings of Environments for Multi-Agent Systems (E4MAS04), Columbia University, NY, July 2004.
    [Bibtex]
    @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. Castello and Rym Mili. Visualizing Graphical and Textual Formalisms. Information Systems, 28:753-768, 2003.
    [Bibtex]
    @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. Castello, Rym Mili, and I. G. Tollis. Visualizing Statecharts with ViSta, pages 299-319. Springer Verlag, 2003.
    [Bibtex]
    @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. Castello, Rym Mili, and I. G. Tollis. Visualizing Statecharts: The ViSta tool, volume 2265. Springer Verlag, September 2002.
    [Bibtex]
    @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 Steiner. Software Visualization in Software Engineering. Lecture Notes in Computer Science. State-of-the-Art Survey, 2269:129-137, 2002.
    [Bibtex]
    @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. Castello, Rym Mili, and I. G. Tollis. Automatic Layout of Statecharts. Software Practice and Experience, 32:25-55, 2002.
    [Bibtex]
    @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. Castello, Rym Mili, and I. G. Tollis. A Framework for the Static and Interactive Visualization of Statecharts. Journal of Graph Algorithms and Applications, 6(3):313-351, 2002.
    [Bibtex]
    @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. Castello, Rym Mili, and I. G. Tollis. ViSta: A Tool Suite for the Visualization of Behavioral Requirements. Journal of Systems and Software, 62:141-159, 2002.
    [Bibtex]
    @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. Castello, Rym Mili, and I. G. Tollis. Visualizing Statecharts: The ViSta tool. In Proceedings of Graph Drawing 2001, Vienna, Austria, September 2001.
    [Bibtex]
    @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. Castello, Rym Mili, and H. Madabushi. Visualizing Textual and Graphical Formalisms. In Proceedings of IEEE Symposia on Human-Centric Computing Languages and Environments (HCC01), pages 120-121, Stresa, Italy, September 2001.
    [Bibtex]
    @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. Castello, Rym Mili, and I. G. Tollis. An Algorithmic Framework for Visualizing Statecharts, volume 1984, pages 139-149. Springer Verlag, 2001.
    [Bibtex]
    @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. Castello, Rym Mili, and I. G. Tollis. An Algorithmic Framework for Visualizing Statecharts. In Proceedings of Graph Drawing 2000, pages 139-149, VA, September 2000.
    [Bibtex]
    @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. Castello, Rym Mili, I. G. Tollis, and V. Benson. On the Automatic Visualization of Statecharts: The ViSta tool. In Proceedings of 4th International Workshop on Tools for System Design and Verification (FM-Tools 2000), pages 179-186, Ulm, Germany, July 2000.
    [Bibtex]
    @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. Desharnais, M. Frappier, and A. Mili. Semantic distance between specifications. Theoretical Computer Science, 247:257-276, 2000.
    [Bibtex]
    @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. Raymond, J. Shah, and Rym Mili. Automated Reusability Evaluation System. In 2nd European Software Measurement Conference (FESMA99), Amsterdam, The Netherlands, Octber 1999.
    [Bibtex]
    @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. Mittermeir, Rym Mili, Rym Mili, and H. Pozewaunig. Uncertainty Aspects in Component Retrieval. In Proceedings of 7th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU98), pages 564{\textendash}571, Paris, France, July 1998.
    [Bibtex]
    @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. Mittermeir. A survey of software reuse libraries. Annuals of Software Engineering, 5(1):349{\textendash}414, January 1998.
    [Bibtex]
    @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 Raymond. Towards a formal framework for software reuse. Information Sciences, 110(3-4):135{\textendash}149, 1998.
    [Bibtex]
    @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. Desharnais, M. Frappier, Rym Mili, and A. Mili. Retrieving software components that minimize adaptation effort. In ASE97: Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE), page 255, Washington, DC, USA, November 1997. IEEE Computer Society, IEEE Computer Society.
    [Bibtex]
    @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. Frappier, J. Desharnais, and A. Mili. A calculus of program modifications. In Proceedings of the 1997 symposium on Software reusability, SSR 97, pages 157{\textendash}168, New York, NY, USA, May 1997. ACM, ACM.
    [Bibtex]
    @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: <em>black box</em> reuse, which consists in reusing components <em>verbatim</em>, without modifying them; and <em>white box</em> 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. Frappier, J. Desharnais, and A. Mili. A calculus of program modifications. SIGSOFT Softw. Eng. Notes, 22:157{\textendash}168, May 1997.
    [Bibtex]
    @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: <em>black box</em> reuse, which consists in reusing components <em>verbatim</em>, without modifying them; and <em>white box</em> 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 Functional Distance to Perform Approximate Retrieval. In Proceedings of the Eighth International Workshop on Software Reuse, Columbus, OH, March 1997.
    [Bibtex]
    @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. Raymond. Measuring the Reusability of a Component: A Return On Investment Approach. In Proceedings of International Conference on Software Quality, Ottawa, Canada, October 1996.
    [Bibtex]
    @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. Frappier, and A. Mili. Verification Based Inspection of Object Oriented Software: A Relational Approach. In Proceedings of Third Annual International Conference on Cleanroom Software Engineering Practices, College Park, MD, October 1996.
    [Bibtex]
    @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. Raymond. Assessing Reusability: An Economics Based Measure. In Proceedings of Reuse95, Morgantown, WV, August 1995.
    [Bibtex]
    @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. Mittermeir. Ex-Ante Reusability Assessment. In Proceedings of Fourth International Conference on Re-Technologies for Information Systems, Bled, Slovenia, June 1995.
    [Bibtex]
    @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éthodologie Cleanroom pour le Développement de Logiciels sans Fautes. In Proceedings of Forum Informatique95, Tunis, Tunisia, March 1995.
    [Bibtex]
    @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. Desharnais, A. Mili, Rym Mili, J. Mullins, and Y. Slimani. Semantics of Concurrency. McGraw Hill, 1995.
    [Bibtex]
    @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. Talbert. Modeling Software Engineering Knowledge: Applications to Curriculum Development. In Proceedings of Workshop on Software Engineering Education, Sorento, Italy, May 1994.
    [Bibtex]
    @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. Mittermeir. Storing and Retrieving Software Components: A Refinement Based System. In Proceedings of the Sixteenth IEEE International Conference on Software Engineering, Sorento, Italy, May 1994.
    [Bibtex]
    @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 Formal Model for Software Specification and Its Automation. In Proceedings of ARO/AFOSR/ONR Workshop, Monterey, CA, November 1993.
    [Bibtex]
    @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. Mittermeir, Rym Mili, and A. Mili. A System for Software Reuse: Preliminary Implementation. In Proceedings of Sixth International Workshop on Software Reuse, Owego, NY, November 1993.
    [Bibtex]
    @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. Hodson, A. Mili, and J. Raymond. Software Engineering Education in Government: The DSS Institute. In Proceedings of National Workshop on Software Engineering Education, Toronto, Canada, May 1993.
    [Bibtex]
    @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. Mittermeir. A Formal Approach to Software Reuse: Design and Implementation. In Proceedings of Fifth Annual Workshop on Software Reuse, Palo Alto, CA, October 1992.
    [Bibtex]
    @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. Boudriga, A. Mili, and Rym Mili. An Automated Tool for Specification Validation: Design and Preliminary Implementation. In Proceedings of the 25th Hawaii International Conference on System Sciences, pages 74-82, Koloa, HI, January 1992. IEEE Computer Society Press, IEEE Computer Society Press.
    [Bibtex]
    @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. Boudriga, A. Mili, F. Mili, and Rym Mili. A Relational Approach to the Specification of Data Types: The Generalized Model. Computer Languages, 17(2):101-131, 1992.
    [Bibtex]
    @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. Boudriga, A. Mili, and Rym Mili. DIDON: A System for Executable Specifications. Information and Software Technology, 33(7):489-498, 1991.
    [Bibtex]
    @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. Boudriga, A. Mili, F. Mili, and Rym Mili. Specifying and Verifying Data Types. In Proceedings of the Thirteenth Australian Computer Science Conference, Melbourne, Australia, February 1990.
    [Bibtex]
    @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}
    }