Publications

Export 52 results:
Virtual Agent Perception in Multi-Agent Based Simulation Systems, Steel, Travis, Kuiper Dane, and Wenkstern Rym , Proceedings of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-10), 8/2010, Toronto, Canada, p.453--456, (2010) Abstract
Simulated Event Propagation in Distributed, Open Environments, Steel, Travis, and Zalila-Wenkstern Rym , Proceedings of the Agent-Directed Simulation Symposium, 4/2010, Orlando, Florida, USA, (2010) Abstract
Context-Aware Virtual Agents in Open Environments, Steel, Travis, Kuiper Dane, and Zalila-Wenkstern Rym , Proceedings of 2010 Sixth International Conference on Autonomic and Autonomous Systems (ICAS), 03/2010, Cancun, Mexico, p.90 - 96, (2010) Abstract
A Self-Organizing Architecture for Traffic Management, Zalila-Wenkstern, Rym, Steel Travis, and Leask G. , Proceedings of WICSA/ECSA Workshop on Self Organizing Architectures, September 14-17, Cambridge, UK, (2009) Abstract
MATISSE: A Large Scale Multi-Agent System for Simulating Traffic Safety Scenarios, Zalila-Wenkstern, Rym, Steel Travis, Daescu O., Hansen J., and Boyraz P. , IEEE 4th Biennial Workshop on DSP for In-Vehicle Systems and Safety, 6/2009, Dallas, TX, (2009) Abstract
Visually Specifying Multi-Agent Simulation Environments with DIVAs, Steiner, Renee, Zalila-Wenkstern Rym, and Burnell J. , Proceedings of the International Conference on Multimedia Systems, Visual Languages and Computing, 11/2008, Boston, MA, (2008)
Towards the Definition of Agent-UP: The DIVAs Process, Haghpanah-Jahromi, Y., Zalila-Wenkstern Rym, Steiner Renee, and Cooper K. , Proceedings of Agent-Oriented Software Development Methodology, 07/2008, Glasgow, UK, (2008)
Environment Mediated Multi Agent Simulation Tools: A Comparison, Arunachalam, S., Zalila-Wenkstern Rym, and Steiner Renee , Proceedings of Workshop on Environment-Mediated Coordination in Self-Organizing and Self-Adaptive Systems, Venice, Italy, p.43 - 48, (2008) Abstract
Modeling Agent-Environment Interactions in Adaptive MAS, Zalila-Mili, Rym, and Steiner Renee , Lecture Notes in AI. Engineering Environment-Mediated Multi-Agent Systems, Volume 5049, Berlin, Heidelberg, p.135 - 147, (2008) Abstract
A Survey of Software Architecture Approaches, Cooper, Kendra, Dai L., Steiner Renee, and Zalila-Mili Rym , Designing Software-Intensive Systems: Methods and Principles, p.256-288, (2008)
Modeling Agent-Environment Interactions, Zalila-Mili, Rym, and Steiner Renee , Proceedings of Engineering Environment-Mediated Multiagent Systems (EEMMAS'07), European Conference on Complex Systems, 11/2007, Dresden, Germany, (2007)
Architecture of the DIVAs Simulation System, Zalila-Mili, Rym, Oladimeji E., and Steiner Renee , Proceedings of Agent-Directed Simulation Symposium ADS'06, 04/2006, Huntsville, Alabama, (2006)
DIVAs: Illustrating an Abstract Architecture for Agent-Environment Simulation Systems, Zalila-Mili, Rym, Steiner Renee, and Oladimeji E. , Multiagent and Grid Systems. Special issue on Agent-Oriented Software Development Methodologies, 01/2006, Volume 2, Issue 4, Number 4, p.505–525, (2006) Abstract
An Architecture for MAS Simulation Environments, Steiner, Renee, Leask G., and Mili Rym , Lecture Notes in Computer Science. Environments for Multi-Agent Systems, Volume 3830, p.50–67, (2006) Abstract
Architectural Design of the DIVAs Environment, Mili, Rym, Leask G., Shakya U., and Steiner Renee , Proceedings of Environments for Multi-Agent Systems (E4MAS'04), 07/2004, Columbia University, NY, (2004)
Visualizing Graphical and Textual Formalisms, Castello, R., and Mili Rym , Information Systems, Volume 28, p.753-768, (2003)
Visualizing Statecharts with ViSta, Castello, R., Mili Rym, and Tollis I. G. , Graph Drawing Software: Mathematics and Visualization, p.299-319, (2003)
Visualizing Statecharts: The ViSta tool, Castello, R., Mili Rym, and Tollis I. G. , Lecture Notes in Computer Science, 09/2002, Volume 2265, (2002)
Software Visualization in Software Engineering, Mili, Rym, and Steiner Renee , Lecture Notes in Computer Science. State-of-the-Art Survey, Volume 2269, p.129-137, (2002)
Automatic Layout of Statecharts, Castello, R., Mili Rym, and Tollis I. G. , Software Practice and Experience, Volume 32, p.25-55, (2002)
A Framework for the Static and Interactive Visualization of Statecharts, Castello, R., Mili Rym, and Tollis I. G. , Journal of Graph Algorithms and Applications, Volume 6, Number 3, p.313-351, (2002)
ViSta: A Tool Suite for the Visualization of Behavioral Requirements, Castello, R., Mili Rym, and Tollis I. G. , Journal of Systems and Software, Volume 62, p.141-159, (2002)
Visualizing Statecharts: The ViSta tool, Castello, R., Mili Rym, and Tollis I. G. , Proceedings of Graph Drawing 2001, 09/2001, Vienna, Austria, (2001)
Visualizing Textual and Graphical Formalisms, Castello, R., Mili Rym, and Madabushi H. , Proceedings of IEEE Symposia on Human-Centric Computing Languages and Environments (HCC'01), 09/2001, Stresa, Italy, (2001)
An Algorithmic Framework for Visualizing Statecharts, Castello, R., Mili Rym, and Tollis I. G. , Lecture Notes in Computer Science, Volume 1984, p.139-149, (2001)
An Algorithmic Framework for Visualizing Statecharts, Castello, R., Mili Rym, and Tollis I. G. , Proceedings of Graph Drawing 2000, 09/2000, VA, (2000)
On the Automatic Visualization of Statecharts: The ViSta tool, Castello, R., Mili Rym, Tollis I. G., and Benson V. , Proceedings of 4th International Workshop on Tools for System Design and Verification (FM-Tools 2000), 07/2000, Ulm, Germany, p.179-186, (2000)
Semantic distance between specifications, Mili, Rym, Desharnais J., Frappier M., and Mili A. , Theoretical Computer Science, Volume 247, Issue 1-2, p.257 - 276, (2000)
Automated Reusability Evaluation System, Raymond, J., Shah J., and Mili Rym , 2nd European Software Measurement Conference (FESMA'99), 10/1999, Amsterdam, The Netherlands, (1999)
Uncertainty Aspects in Component Retrieval, Mittermeir, R. T., Mili Rym, Mili Rym, and Pozewaunig H. , Proceedings of 7th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), 07/1998, Paris, France, p.564–571, (1998)
A survey of software reuse libraries, Mili, A., Mili Rym, and Mittermeir R. T. , Annuals of Software Engineering, 01/1998, Volume 5, Number 1, p.349–414, (1998) Abstract
Towards a formal framework for software reuse, Mili, Rym, and Raymond Jacques , Information Sciences, Volume 110, Number 3-4, New York, NY, USA, p.135–149, (1998)
Retrieving software components that minimize adaptation effort, Jilani, Labed L., Desharnais J., Frappier M., Mili Rym, and Mili A. , ASE '97: Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE), 11/1997, Washington, DC, USA, p.255, (1997) Abstract
A calculus of program modifications, Mili, Rym, Frappier M., Desharnais J., and Mili A. , Proceedings of the 1997 symposium on Software reusability, 05/1997, New York, NY, USA, p.157–168, (1997) Abstract
A calculus of program modifications, Mili, Rym, Frappier M., Desharnais J., and Mili A. , SIGSOFT Softw. Eng. Notes, 05/1997, Volume 22, New York, NY, USA, p.157–168, (1997) Abstract
Using Functional Distance to Perform Approximate Retrieval, Jilani, Labed L., Mili Rym, and Mili A. , Proceedings of the Eighth International Workshop on Software Reuse, 03/1997, Columbus, OH, (1997)
Measuring the Reusability of a Component: A Return On Investment Approach, Mili, Rym, and Raymond J. , Proceedings of International Conference on Software Quality, 10/1996, Ottawa, Canada, (1996)
Verification Based Inspection of Object Oriented Software: A Relational Approach, Arfa, Ben L., Mili Rym, Frappier M., and Mili A. , Proceedings of Third Annual International Conference on Cleanroom Software Engineering Practices, 10/1996, College Park, MD, (1996)
Assessing Reusability: An Economics Based Measure, Mili, Rym, and Raymond J. , Proceedings of Reuse'95, 08/1995, Morgantown, WV, (1995)
Ex-Ante Reusability Assessment, Mili, Rym, and Mittermeir R. , Proceedings of Fourth International Conference on Re-Technologies for Information Systems, 06/1995, Bled, Slovenia, (1995)
La Méthodologie Cleanroom pour le Développement de Logiciels sans Fautes, Mili, Rym, and Mili A. , Proceedings of Forum Informatique'95, 03/1995, Tunis, Tunisia, (1995)
Semantics of Concurrency, Desharnais, J., Mili A., Mili Rym, Mullins J., and Slimani Y. , Handbook of Parallel Programming, (1995)
Modeling Software Engineering Knowledge: Applications to Curriculum Development, Mili, Rym, Mili A., and Talbert S. , Proceedings of Workshop on Software Engineering Education, 05/1994, Sorento, Italy, (1994)
Storing and Retrieving Software Components: A Refinement Based System, Mili, A., Mili Rym, and Mittermeir R. , Proceedings of the Sixteenth IEEE International Conference on Software Engineering, 05/1994, Sorento, Italy, (1994)
A Formal Model for Software Specification and Its Automation, Mili, Rym, and Mili A. , Proceedings of ARO/AFOSR/ONR Workshop, 11/1993, Monterey, CA, (1993)
A System for Software Reuse: Preliminary Implementation, Mittermeir, R., Mili Rym, and Mili A. , Proceedings of Sixth International Workshop on Software Reuse, 11/1993, Owego, NY, (1993)
Software Engineering Education in Government: The DSS Institute, Mili, Rym, Hodson B., Mili A., and Raymond J. , Proceedings of National Workshop on Software Engineering Education, 05/1993, Toronto, Canada, (1993)
A Formal Approach to Software Reuse: Design and Implementation, Mili, A., Mili Rym, and Mittermeir R. , Proceedings of Fifth Annual Workshop on Software Reuse, 10/1992, Palo Alto, CA, (1992)
An Automated Tool for Specification Validation: Design and Preliminary Implementation, Boudriga, N., Mili A., and Mili Rym , Proceedings of the 25th Hawaii International Conference on System Sciences, 01/1992, Koloa, HI, p.74-82, (1992)
A Relational Approach to the Specification of Data Types: The Generalized Model, Boudriga, N., Mili A., Mili F., and Mili Rym , Computer Languages, Volume 17, Number 2, p.101-131, (1992)
DIDON: A System for Executable Specifications, Boudriga, N., Mili A., and Mili Rym , Information and Software Technology, Volume 33, Number 7, p.489-498, (1991)
Specifying and Verifying Data Types, Boudriga, N., Mili A., Mili F., and Mili Rym , Proceedings of the Thirteenth Australian Computer Science Conference, 02/1990, Melbourne, Australia, (1990)