Publications

Dhruvkumar Patel, Rishita Bansal, and Rym Zalila-Wenkstern

Dhruvkumar Patel, Rishita Bansal, and Rym Zalila-Wenkstern. Cooperative collision avoidance for coalitions of connected and autonomous vehicles. In Proceedings of the 25th IEEE Intelligent Transportation Systems Conference, Macau, China, October 2022.

Mohammad Al-Zinati and Rym Zalila-Wenkstern

Mohammad Al-Zinati and Rym Zalila-Wenkstern. Divas: a multi-agent simulation framework. International Journal of Agent-Oriented Software Engineering, 7(2):152–183, 2022.

Sultan Alsarra and Rym Zalila-Wenkstern

Sultan Alsarra and Rym Zalila-Wenkstern. Requirements Engineering in AOSE: Taxonomy and Challenges. In Proceedings of the 9th International Workshop on Engineering Multi-Agent Systems, London, UK, May 2021.

Dhruvkumar Patel and Rym Zalila-Wenkstern

Dhruvkumar Patel and Rym Zalila-Wenkstern. Adaptive Reward for CAV Action Planning Using Monte Carlo Tree Search. In Proceedings of the 24th IEEE Intelligent Transportation Systems Conference, Indianapolis, Indiana, USA, September 2021.

Dhruvkumar Patel and Rym Zalila-Wenkstern

Dhruvkumar Patel and Rym Zalila-Wenkstern. Scalable Monte Carlo Tree Search for CAVs Action Planning in Colliding Scenarios. In Proceedings of the 32nd IEEE Intelligent Vehicles Symposium, Nagoya, Japan, July 2021.

Dhruvkumar Patel and Rym Zalila-Wenkstern

Dhruvkumar Patel and Rym Zalila-Wenkstern. Collaborative Collision Avoidance for CAVs in Unpredictable Scenarios. In Proceedings of the 3rd IEEE Connected and Automated Vehicles Symposium, Virtual, November 2020.

Behnam Torabi and Rym Z. Wenkstern

Behnam Torabi and Rym Z. Wenkstern. DALI: An Agent-Plug-In System to “Smartify” Conventional Traffic Control Systems. In Proceedings of the 19th international conference on autonomous agents and multiagent systems, page 2120–2122, Auckland, New Zealand, May 2020.

Behnam Torabi, Rym Z. Wenkstern, Robert Saylor, and Patrick Ryan

Behnam Torabi, Rym Z. Wenkstern, Robert Saylor, and Patrick Ryan. Deployment of a Multi-Agent Traffic Signal Timing System. In Proceedings of the 19th international conference on autonomous agents and multiagent systems, page 1386–1394, Auckland, New Zealand, May 2020.

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor. A collaborative agent-based traffic signal system for highly dynamic traffic conditions. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 34(1):1–24, 2020.

Mohammad Al-Zinati and Rym Wenkstern

Mohammad Al-Zinati and Rym Wenkstern. Agent-environment interactions in large-scale multi-agent based simulation systems. In Proceedings of the 18th international conference on autonomous agents and multiagent systems, AAMAS ’19, page 763–771, Montreal QC, Canada, May 2019.

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor. A Self-Adaptive Collaborative Multi-Agent based Traffic Signal Timing System. In Proceedings of the 4th IEEE International Smart Cities Conference, ISC2 2018, Kansas City, Missouri, USA, September 2018.

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor. A Collaborative Agent-Based Traffic Signal System For Highly Dynamic Traffic Conditions. In Proceedings of the 21st IEEE International Conference on Intelligent Transportation Systems, IEEE ITSC 2018, page 626–633, Maui, Hawaii, USA, November 2018.

Behnam Torabi, Rym Z. Wenkstern, and Mohammad Al-Zinati

Behnam Torabi, Rym Z. Wenkstern, and Mohammad Al-Zinati. An Agent-Based Micro-Simulator for ITS. In Proceedings of the 21st IEEE International Conference on Intelligent Transportation Systems, IEEE ITSC 2018, page 2556–2561, Maui, Hawaii, USA, November 2018.

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor. A Multi-Hop Agent-Based Traffic Signal Timing System for the City of Richardson. In Proceedings of the The Sixteenth International Conference on Autonomous Agent and Multiagent Systems, AAMAS 2018, page 2094–2096, Stockholm, Sweden, July 2018.

Mohammad Al-Zinati and Rym Z. Wenkstern

Mohammad Al-Zinati and Rym Z. Wenkstern. A Resilient Agent-Based Re-organizing Traffic Network for Urban Evacuations. In Proceedings of the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 18, page 42–58, Toledo, Spain, June 2018.

Behnam Torabi, Mohammad Al-Zinati, and Rym Z. Wenkstern

Behnam Torabi, Mohammad Al-Zinati, and Rym Z. Wenkstern. MATISSE 3.0: A Large-Scale Multi-agent Simulation System for Intelligent Transportation Systems. In Proceedings of the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 18, page 357–360, Toledo, Spain, June 2018.

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor

Behnam Torabi, Rym Z. Wenkstern, and Robert Saylor. Agent-based decentralized traffic signal timing. In Proceedings of the 21st International Symposium on Distributed Simulation and Real Time Applications, DS-RT 17, page 123–126, Rome, Italy, October 2017.

Hafez Eslami and Rym Wenkstern

Hafez Eslami and Rym Wenkstern. Dynamic Coalition Structure Generation for Autonomous Connected Vehicles. In Proceedings of IEEE International Conference on Agents, ICA 17, page 21–26, Beijing, China, July 2017.

Mohammad Al-Zinati and Rym Wenkstern

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, page 1454–1456, Sao Paulo, Brazil, May 2017.

Mohammad Al-Zinati and Rym Wenkstern

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, page 178–186, London, England, September 2016.

Mohammad Al-Zinati and Rym Wenkstern

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, page 328–335, Singapore, Singapore, December 2015.

Travis Steel, Dane Kuiper, and Rym Z. Wenkstern

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, page 1955–1956, Istanbul, Turkey, May 2015

Mohammad Al-Zinati and Rym Wenkstern

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, page 1031–1039, Istanbul, Turkey, May 2015.

Dane Kuiper and Rym Z. Wenkstern

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.

Mohammad Al-Zinati and Rym Wenkstern

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), page 1583–1584, Paris, France, (May) 2014.

M. Al-Zinati, F. Araujo, D. Kuiper, J. Valente, and R. Z. 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.

Frederico Araujo, Mohammad Al-Zinati, Junia Valente, Dane Kuiper, and Rym Zalila-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.

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.

Junia Valente, Frederico Araujo, 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.

Frederico Araujo, Junia Valente, 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.

Dane Kuiper 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, page 1235–1236, Taipei, Taiwan, May 2011.

Travis Steel, Dane Kuiper, and Rym 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), page 453–456, Toronto, Canada, August 2010. Acm.

Travis Steel and R. Zalila-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.

Travis Steel, Dane Kuiper, and R. Zalila-Wenkstern

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.

R. Z. Wenkstern, T. Steel, and G. Leask

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.

R. Zalila-Wenkstern, Travis Steel, and G. Leask

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.

R. Z. Wenkstern, T. Steel, O. Daescu, J. Hansen, and P. Boyraz

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.

R. Zalila-Wenkstern, Travis Steel, O. Daescu, J. Hansen, and P. Boyraz

RR. 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.

Renee Steiner, R. Zalila-Wenkstern, and J. Burnell

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.

Y. Haghpanah-Jahromi, R. Zalila-Wenkstern, Renee Steiner, and K. Cooper

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, page 22–24, Glasgow, UK, July 2008.

S. Arunachalam, R. Zalila-Wenkstern, and Renee Steiner

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.

Rym Zalila-Mili and Renee Steiner

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.

Kendra Cooper, L. Dai, Renee Steiner, and Rym Zalila-Mili

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.

Rym Zalila-Mili and Renee Steiner

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.

Rym Zalila-Mili, E. Oladimeji, and Renee Steiner

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.

Rym Zalila-Mili, Renee Steiner, and E. Oladimeji

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.

Renee Steiner, G. Leask, and Rym Mili

Renee Steiner, G. Leask, and Rym Mili. An Architecture for MAS Simulation Environments, volume 3830, pages 50{textendash}67. Springer verlag, 2006.

R. Steiner, G. Leask, and R. Mili

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.

Rym Mili, G. Leask, U. Shakya, and Renee Steiner

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.

R. Castello and Rym Mili

R. Castello and Rym Mili. Visualizing Graphical and Textual Formalisms. Information Systems, 28:753-768, 2003.

R. Castello, Rym Mili, and I

R. Castello, Rym Mili, and I. G. Tollis. Visualizing Statecharts with ViSta, pages 299-319. Springer verlag, 2003.

R. Castello, Rym Mili, and I. G. Tollis

R. Castello, Rym Mili, and I. G. Tollis. Visualizing Statecharts: The ViSta tool, volume 2265. Springer verlag, September 2002.

Rym Mili and Renee Steiner

Rym Mili and Renee Steiner. Software Visualization in Software Engineering. Lecture Notes in Computer Science. State-of-the-Art Survey, 2269:129-137, 2002.

R. Castello, Rym Mili, and I. G. Tollis

R. Castello, Rym Mili, and I. G. Tollis. Automatic Layout of Statecharts. Software Practice and Experience, 32:25-55, 2002.

R. Castello, Rym Mili, 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.

R. Castello, Rym Mili, 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.

R. Castello, Rym Mili, 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.

R. Castello, Rym Mili, and H. Madabushi

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.

R. Castello, Rym Mili, and H. Madabushi

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.

R. Castello, Rym Mili, and I. G. Tollis

R. Castello, Rym Mili, and I. G. Tollis. An Algorithmic Framework for Visualizing Statecharts, volume 1984, pages 139-149. Springer verlag, 2001.

R. Castello, Rym Mili, 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.

R. Castello, Rym Mili, I. G. Tollis, and V. Benson

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.

Rym Mili, J. Desharnais, M. Frappier, and A. Mili

Rym Mili, J. Desharnais, M. Frappier, and A. Mili. Semantic distance between specifications. Theoretical Computer Science, 247:257-276, 2000.

J. Raymond, J. Shah, and Rym Mili

J. Raymond, J. Shah, and Rym Mili. Automated Reusability Evaluation System. In 2nd European Software Measurement Conference (FESMA99), Amsterdam, The Netherlands, Octber 1999.

R. T. Mittermeir, Rym Mili, Rym Mili, and H. Pozewaunig

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.

A. Mili, Rym Mili, and R. T. Mittermeir

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.

Rym Mili and Jacques Raymond

Rym Mili and Jacques Raymond. Towards a formal framework for software reuse. Information Sciences, 110(3-4):135{textendash}149, 1998.

Labed L. Jilani, J. Desharnais, M. Frappier, Rym Mili, and A. Mili

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.

Rym Mili, M. Frappier, J. Desharnais, and A. Mili

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.

Rym Mili, M. Frappier, J. Desharnais, and A. Mili

Rym Mili, M. Frappier, J. Desharnais, and A. Mili. A calculus of program modifications. SIGSOFT Softw. Eng. Notes, 22:157{textendash}168, May 1997.

Labed L. Jilani, Rym Mili, 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.

Rym Mili and J. Raymond

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.

Ben L. Arfa, Rym Mili, M. Frappier, and A. Mili

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.

Rym Mili and J. Raymond

Rym Mili and J. Raymond. Assessing Reusability: An Economics Based Measure. In Proceedings of Reuse95, Morgantown, WV, August 1995.

Rym Mili and R. Mittermeir

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.

Rym Mili and A. Mili

Rym Mili and A. Mili. La M’ethodologie Cleanroom pour le D’eveloppement de Logiciels sans Fautes. In Proceedings of Forum Informatique95, Tunis, Tunisia, March 1995.

J. Desharnais, A. Mili, Rym Mili, J. Mullins, and Y. Slimani

J. Desharnais, A. Mili, Rym Mili, J. Mullins, and Y. Slimani. Semantics of Concurrency. Mcgraw hill, 1995.

Rym Mili, A. Mili, and S. Talbert

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.

A. Mili, Rym Mili, and R. Mittermeir

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.

Rym Mili and A. Mili

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.

R. Mittermeir, Rym Mili, 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.

Rym Mili, B. Hodson, A. Mili, and J. Raymond

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.

A. Mili, Rym Mili, and R. Mittermeir

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.

N. Boudriga, A. Mili, and Rym Mili

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.

N. Boudriga, A. Mili, F. Mili, and Rym Mili

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.

N. Boudriga, A. Mili, and Rym Mili

N. Boudriga, A. Mili, and Rym Mili. DIDON: A System for Executable Specifications. Information and Software Technology, 33(7):489-498, 1991.

N. Boudriga, A. Mili, and Rym Mili

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.