MULTI-AGENT SYSTEMS

S. Arunachalam, R. Zalila-Wenkstern and R. Steiner, Environment Mediated Multi-Agent Simulation Tools: A Comparison, in Proceedings of IEEE Workshop on Environment-Mediated Coordination in Self-Organizing and Self-Adaptive Systems, Venice, Italy, October 20-24, 2008.

Y. Haghpanah-Jahromi, R. Zalila-Wenkstern, R. Steiner and K. Cooper, Towards the Definition of Agent-UP: The DIVAs Process, in Proceedings of Agent-Oriented Software Development Methodology, Glasgow, UK, July 22-24, 2008.

R. Steiner, R. Zalila-Wenkstern and J. Burnell, Visually Specifying Multi-Agent Simulation Environments with DIVAs, in Proceedings of Workshop on Visual Languages and Computing (VLC'08), Boston, September 4-6, 2008.

R. Zalila-Mili and R. Steiner, Modeling Agent-Environment Interactions in Adaptive MAS, Environments for Multi-Agent Systems, Lecture Notes in AI, vol. 5049, D. Weyns, S. A. Brueckner, Y. Demazeau (eds.), pp 135-147, Springer Verlag, 2008.

R. Z. Mili and R. Steiner, Modeling Agent-Environment Interactions, Engineering Environment-Mediated Multiagent Systems, in Proceedings of EEMMAS'07, European Conference on Complex Systems, Dresden, Germany, October 2007.

R. Mili, E. Oladimeji and R. Steiner, DIVAs: Illustrating an Abstract Architecture for Agent-Environment Simulation Systems, in Multi Agent and Grid Systems, Special Issue on Agent-Oriented Software Development Methodologies, No. 4, vol 2, pp. 505-525, IOS Press, 2006.

R. Z. Mili, E. Oladimeji and R. Steiner, Architecture of the DIVAs Simulation System, in proceedings of Agent-Directed Simulation Symposium ADS'06, Society for Modeling and Simulation, Huntsville, Alabama, USA, 2006.

R. Steiner, G. Leask, R. Mili, An Architecture for MAS Simulation Environments, Environments for Multi-Agent Systems, Lecture Notes in Computer Science, vol. 3830, D. Weyns (ed), pp. 50-67, Springer Verlag, 2006.

R. Steiner, G. Leask, R. Mili, An Architecture for MAS Simulation Environments, in Proceedings of Environments for Multi-Agent Systems (E4MAS'05), ACM Conference on Autonomous Agents and Multi Agent Systems, Utrecht, The Netherlands, July 15-29, 2005.

R. Mili, G. Leask, U. Shakya, R. Steiner, Architectural Design of the DIVAS environment, in Proceedings of Environments for Multi-Agent Systems (E4MAS'04), ACM Conference on Autonoumous Agents and Multi Agent Systems, Columbia University, NY, July 19-23, 2004.

SOFTWARE ENGINEERING

K. Cooper, L. Dai, R. Steiner and R. Z. Mili, A Survey of Software Architecture Approaches, book chapter, Designing Software-Intensive Systems: Methods and Principles, P. F. Tiako (ed), pp 256-288, 2008.

R. Mili, J. Desharnais, M. Frappier and A. Mili, Semantic Distance Between Relational Specifications, Theoretical Computer Science, 247(1-2), pp. 257-276, North-Holland, 2000.

J. Raymond, J. Shah and R. Mili, Automated Reusability Evaluation System, in Proceedings of 2nd European Software Measurement Conference (FESMA'99), Amsterdam, The Netherlands, October 1999.

R. Mili and J. Raymond, Towards a Formal Framework for Software Reuse, Information Sciences, 110(1998), pp. 135-149, Elsevier Science Inc., 1998.

A. Mili, R. Mili and R. Mittermeir, A Survey of Software Storage and Retrieval, Annals of Software Engineering, 5(1998), pp. 349-414, Baltzer Science Publishers, 1998.

R. Mittermeir, H. Pozewaunig, A. Mili and R. Mili, Uncertainty Aspects in Component Retrieval, in Proceedings of 7th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), Paris, France, July 1998.

R. Mili, A. Mili and R. Mittermeir, Storing and Retrieving Software Components: A Refinement Based System, IEEE Transactions on Software Engineering, 23(7), pp. 445-460, 1997.

M. Frappier, L. Labed, J. Desharnais, A. Mili and R. Mili, Retrieving Software Components That Minimize Adaptation Effort, in Proceedings of IEEE Conference on Automated Software Engineering, Nevada, November 1997.

R. Mili, M. Frappier, J. Desharnais and A. Mili, A Calculus of Program Modifications, in Proceedings of ACM Symposium on Software Reuse, Boston, Ma, May 1997. Also in Software Engineering Notes, ACM Press. vol 22, No 3, May 1997.

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

R. 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 28-29, 1996.

L. Ben Arfa, R. 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 10-11, 1996.

R. Mili and J. Raymond, Assessing Reusability: An Economics Based Measure, in Proceedings of Reuse'95, Morgantown, WV, August 1995.

R. Mili and R. Mittermeir. Ex-Ante Reusability Assessment, in Proceedings of Fourth International Conference on Re-Technologies for Information Systems, Bled, Slovenia, June 19-20th, 1995.

J. Desharnais, A. Mili, R. Mili, J. Mullins and Y. Slimani, Semantics of Concurrency, Book chapter, in ,B>Handbook of Parallel Programming, A. Zomaya, (ed.), McGraw Hill, 1995.

R. Mili and A. Mili, La Méthodologie Cleanroom pour le Développement de Logiciels sans Fautes, in Proceedings of Forum Informatique'95, Tunis, Tunisia, March 1995.

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

R. Mili, A. Mili and S. Talbert, Modeling Software Engineering Knowledge: Applications to Curriculum Development, in Proceedings of Workshop on Software Engineering Education, ICSE, Sorento, Italy, May 1994.

R. Mittermeir, R. Mili and A. Mili, A System for Software Reuse: Preliminary Implementation, in Proceedings of Sixth International Workshop on Software Reuse, Owego, NY, November 2-4th, 1993.

R. Mili and A. Mili, A Formal Model for Software Specification and Its Automation, in Proceedings of ARO/AFOSR/ONR Workshop, Monterey, Ca, October 1993.

R. 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, May 1993.

A. Mili, R. 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 26-29, 1992.

N. Boudriga, A. Mili and R. Mili, An Automated Tool for Specification Validation: Design and Preliminary Implementation, in Proceedings of the 25th Hawaii International Conference on System Sciences, Koloa, HI, January 7th-10th, 1992. IEEE Computer Society Press, pp 74-82, 1992.

N. Boudriga, A. Mili, F. Mili and R. Mili, A Relational Approach to the Specification of Data Types: The Generalized Model, Computer Languages, vol. 17, No 2, pp. 101-131, Pergamon Press, 1992.

N. Boudriga, A. Mili and R. Mili, DIDON: A System for Executable Specifications, Information and Software Technology, vol. 33, No 7, pp. 489-498, Butterworth Heinemann, 1991.

N. Boudriga, A. Mili, F. Mili and R. Mili, Specifying and Verifying Data Types, in Proceedings of the Thirteenth Australian Computer Science Conference, Melbourne, February 7th-9th, 1990.

SOFTWARE VISUALIZATION

R. Castello and R. Mili, Visualizing Graphical and Textual Formalisms, Information Systems, vol. 28, pp. 753-768, Elsevier, 2003.

R. Castello, R. Mili and I. G. Tollis, Visualizing Statecharts with ViSta, book chapter, Graph Drawing Software: Mathematics and Visualization, P. Mutzel and M. Juenger (eds.), pp. 299-319, Springer Verlag, 2003.

R. Castello , R. Mili and I. G. Tollis, A Framework for the Static and Interactive Visualization of Statecharts, Journal of Graph Algorithms and Applications, vol. 6, no. 3, pp. 313-351, 2002.

R. Mili and R. Steiner, Software Visualization in Software Engineering, State-of-the-Art Survey, Lecture Notes in Computer Science, vol. 2269, pp. 129-137, Stephan Diehl (ed.), Springer Verlag, 2002.

R. Castello, R. Mili and I. G. Tollis, ViSta: A Tool Suite for the Visualization of Behavioral Requirements, Journal of Systems and Software, Elsevier, vol. 62, pp. 141-159, 2002.

R. Castello, R. Mili and I. G. Tollis, Automatic Layout of Statecharts, Software Practice and Experience, vol. 32, pp. 25-55, John Wiley, 2002.

R. Castello, R. Mili and I. G. Tollis, Visualizing Statcharts: The ViSta tool, in Proceedings of Graph Drawing 2001, Vienna, Austria, September 23-26, 2001. Also in Lecture Notes in Computer Science, vol. 2265, Springer Verlag, 2002.

R. Castello, R. Mili and H. Madabushi, Visualizing Textual and Graphical Formalisms, in Proceedings of IEEE Symposia on Human-Centric Computing Languages and Environments, HCC'01, Stresa, Italy, September 5-7, 2001.

R. Castello, R. Mili and I. G. Tollis, An Algorithmic Framework for Visualizing Statecharts, in Proceedings of Graph Drawing 2000, VA, September 2000. Also in Lecture Notes in Computer Science, vol. 1984, pp. 139-149, Springer Verlag, 2001.

R. Castello, R. 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), Ulm, Germany, July 2000, pp. 179-186.