The research and projects below have been discontinued. In a former life (as a researcher in software engineering), I published under the name of Rym Mili.
Model Transformation and Visualization
Publications
R. Castello and Rym Mili. Visualizing Graphical and Textual Formalisms. Information Systems, 28:753-768, 2003.
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. Visualizing Statecharts: The ViSta tool, volume 2265. Springer Verlag, September 2002.
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. Automatic Layout of Statecharts. Software Practice and Experience, 32:25-55, 2002
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. 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. Visualizing Statecharts: The ViSta tool. In Proceedings of Graph Drawing 2001, Vienna, Austria, September 2001.
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. An Algorithmic Framework for Visualizing Statecharts, volume 1984, pages 139-149. Springer Verlag, 2001.
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. 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.
Software Reuse
Publications
J. Raymond, J. Shah, and Rym Mili. Automated Reusability Evaluation System. In 2nd European Software Measurement Conference (FESMA99), Amsterdam, The Netherlands, October 1999.
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-571, Paris, France, July 1998.
A. Mili, Rym Mili, and R. T. Mittermeir. A survey of software reuse libraries. Annuals of Software Engineering, 5(1):349-414, January 1998.
Rym Mili and Jacques Raymond. Towards a formal framework for software reuse. Information Sciences, 110(3-4):135-149, 1998.
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), Washington, DC, USA, November 1997. IEEE Computer Society, IEEE Computer Society.
Rym Mili, M. Frappier, J. Desharnais, and A. Mili. A calculus of program modifications. In Proceedings of the Symposium on Software Seusability, SSR 97, pages 157-168, New York, NY, USA, May 1997. ACM, ACM.
Rym Mili, M. Frappier, J. Desharnais, and A. Mili. A calculus of program modifications. SIGSOFT Software Engineering Notes, 22:157-168, May 1997.
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. Measuring the Reusability of a Component: A Return On Investment Approach. In Proceedings of International Conference on Software Quality, Ottawa, Canada, October 1996.
Rym Mili and J. Raymond. Assessing Reusability: An Economics Based Measure. In Proceedings of Symposium on Software Reuse, Morgantown, WV, August 1995.
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.
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.
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.
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.
Formal Specification and Validation
Publications
Rym Mili, J. Desharnais, M. Frappier, and A. Mili. Semantic distance between specifications. Theoretical Computer Science, 247:257-276, 2000.
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.
J. Desharnais, A. Mili, Rym Mili, J. Mullins, and Y. Slimani. Semantics of Concurrency. McGraw Hill, 1995.
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.
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.
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, 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. DIDON: A System for Executable Specifications. Information and Software Technology, 33(7):489-498, 1991.
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.