Publications Section
2005 | 2004 | 2003 | 2002 | 2001

    2005 publications
    Journal Papers:
    1. T. T. Dinh-Trong. J. M. Bieman, "The FreeBSD Development Process: A Case Study", (to appear) IEEE Transactions on Software Engineering - Special Issue on Mining Software Repositories, 2005. pdf
    2. S. Ghosh, R. B. France, D. M. Simmonds, A. Bare, B. Kamalakar, R. P. Shankar, G. Tandon, P. Vile, and S. Yin, "A Middleware Transparent Approach to Developing Distributed Applications," Software Practice and Experience, 35(12):1131-1154, Wiley, October 2005.

    Conference Papers:
    1. Devon Simmonds, Arnor Solberg, Raghu Reddy, Robert France, Sudipto Ghosh, "An Aspect Oriented Model Driven Framework", Accepted to Ninth IEEE "The Enterprise Computing Conference" (EDOC 2005), Enschede, Netherlands, 19-23 September, 2005. pdf
    2. Arnor Solberg, Devon Simmonds, Raghu Reddy, Sudipto Ghosh, Robert France, "Using Aspect Oriented Technologies to Support Separation of Concerns in Model Driven Development", In Proc. of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), Edinburgh, Scotland, July, 2005. pdf
    3. Siv Hilde Homb, Geri Georg, Robert France, Raghu Reddy, and James Bieman, "Predicting availability of systems using BBN in Aspect-Oriented Risk-Driven Development", In Symposium on Risk Management and Cyber-Informatics (RMCI 2005), Orlando, Florida, July, 2005. pdf
    4. Siv Hilde Houmb, Geri Georg, Robert France, James M. Bieman, Jan Jurjens, "Cost-Benefit Trade-Off Analysis using BBN for Aspect-Oriented Risk-Driven Development", In Proc. of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Shanghai, China, June 16-20, 2005.
    5. T. Dinh-Trong, N. Kawane, S. Ghosh, R. France, A. A. Andrews, "A Tool-Supported Approach to Testing UML Design Models", In Proc. of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Shanghai, China, June 16-20, 2005. pdf
    6. Eunjee Song, Raghu Reddy, Robert France, Indrakshi Ray, Geri Georg and Roger Alexander, "Verifiable Composition of Access Control Features and Applications", In Proc. of the 10th ACM Symposium on Access Control Models and Technologies (SACMAT 2005), Scandic Hasselbacken, Stockholm, June 1-3, 2005. pdf

    Workshop Papers:
    1. Raghu Reddy, Robert France and Geri Georg, "Aspect Oriented Modeling approach to Analyzing Dependability Features", Proceedings of Aspect Oriented Modeling workshop held in conjunction with Aspect Oriented Software Development (AOSD 2005) conference, Chicago, March 14-18, 2005. pdf

    Technical Reports:

    2004 publications
    Journal Papers:
      Robert France, Indrakshi Ray, Geri Georg, Sudipto Ghosh, "An Aspect-Oriented Approach to Early Design Modeling", IEE Proceedings - Software, vol 151, number 4, August, 2004. pdf
    1. Indrakshi Ray, Robert France, Na Li, and Geri Georg, "An Aspect-Based Approach to Modeling Access Control Concerns", Journal of Information and Software Technology, vol 46, number 9, pp 575-587, July 2004. pdf
    2. Robert France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song, "A UML-Based Pattern Specification Technique", IEEE Transactions on Software Engineering, Vol 30, number 3, pp 193-206, March 2004. pdf

    Conference Papers:
    1. Brahmila Kamalakar, Sudipto Ghosh and Peter Vile. "Middleware Transparent Development of Dependable CORBA Applications", Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering, St. Malo, France, November 2-5, 2004.
    2. Geri Georg, Y. Raghu Reddy and Robert France, "Specifying Cross-cutting Requirement Concerns", Proceedings of Seventh International Conference on UML Modeling Languages and Applications, Lisbon, Portugal, October, 2004. pdf
    3. Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert France, and James M. Bieman, "Model Composition Directives", Proceedings of the 7th UML Conference, Lisbon, Portugal, October 10-15, 2004. pdf
    4. T. Dinh-Trong, N. Kawane, S. Ghosh, R. France, "EPTUD: An Eclipse Plugin for Testing UML Designs", Lecture Notes in Computer Science (Vol. 3297/2005): UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised selected papers. pdf
    5. Gagan Tandon and Sudipto Ghosh. "Using Subject-Oriented Modeling to Develop Jini Applications", Proceedings of the IEEE International Enterprise Distributed Object Computing Conference (EDOC), Monterey, California, September 20-24, 2004. pdf
    6. Indrakshi Ray, Na Li, Robert France and Dae-Kyoo Kim, "Using UML to Visualize Role-Based Access Control Constraints", Proceedings of the Ninth ACM Symposium on Access Control Model and Technologies (SACMAT), Yorktown Heights, NY, June 2004. pdf
    7. Dae-Kyoo Kim, Indrakshi Ray, Robert France and Na Li, "Modeling Role-Based Access Control Using Parameterized UML Models", Proceedings of the Seventh Conference on Fundamental Approaches to Software Engineering, Barcelona, Spain, March 2004. pdf

    Workshop Papers:
    1. Y. Raghu Reddy. "An Aspect Oriented Approach to Early Software Development", Doctoral Symposium, 7th International Conference on the UML, Lisbon, Portugal, October, 2004. pdf
    2. T. T. Dinh-Trong, "A Systematic Approach to Testing UML Design Models", Doctoral Symposium, 7th International Conference on the UML, Lisbon, Portugal, October, 2004. pdf
    3. B. Kamalakar and S. Ghosh. A Middleware Transparent Approach for Developing CORBA-based Distributed Applications, In the Workshop on Aspect-Oriented Modeling at the 7th International Conference on the Unified Modeling Language, Lisbon, Portugal, October 10-15, 2004. pdf
    4. S. Ghosh and B. Kamalakar. An Aspect-Oriented Approach to Developing Middleware-based Applications, In OOPSLA and GPCE Workshop on Best Practices for Model Driven Software Development, Vancouver, Canada, October 25, 2004. pdf

    Technical Reports:
    1. Raghu Reddy, Robert France, Geri Georg , "An Aspect-based Approach to Modeling and Analyzing Dependability Features", Technical Report CS04-109, Colorado State University, November 2004. pdf

    2003 publications
    Journal Papers:
    1. R. B. France, S. Ghosh, E. Song and D. K. Kim, "A Metamodeling Approach to Pattern-based Model Refactoring", IEEE Software Special Issue on Model-Driven Development, Vol.20. No.5. September/October 2003.
    2. R. B. France, D. K. Kim, E. Song , S. Ghosh, "Using Roles to Characterize Model Families", Practical Foundations of Business and System Specifications, pp. 179-195. Haim Kilov, Editor, Kluwer Academic Publisher. August, 2003, ISBN: 1402014805 pdf
    3. A. Andrews, R. France, S. Ghosh, and G. Craig. "Test Adequacy Criteria for UML Design Models". Journal of Software Testing, Verification and Reliability, 13(2):95-127, April- June 2003. pdf

    Conference Papers:
    1. S. Ghosh, R. B. France, C. Braganza, N. Kawane, A. Andrews and O. Pilskalns, "Test Adequacy Assessment for UML Design Model Testing", International Symposium on Software Reliability Engineering, ISSRE 2003, Denver, USA, November 17-20, 2003. pdf
    2. D. K. Kim, R. B. France, S. Ghosh and E. Song, "A Role-Based Metamodeling Approach to Specifying Design Patterns," 27th Annual International Computer Software and Applications Conference, COMPSAC 2003, Dallas, USA, November 3-6, 2003. pdf
    3. O. Pilskalns, A. Andrews, R. France, S. Ghosh, "Rigorous Testing by Merging Structural and Behavioral UML Representations", Sixth International Conference on the Unified Modeling Language, 2003, San Francisco, CA, USA, October 20-24, 2003. pdf

    Workshop Papers:
    1. Trung Thanh Dinh Trong, "A Systematic Procedure for Testing UML Designs". Student paper for International Symposium on Software Reliability Engineering, ISSRE 2003, Denver, USA, November 17-20, 2003. pdf
    2. Nilesh Kawane, "Fault Detection Effectiveness of UML Design Model Test Adequacy Criteria". Student paper for International Symposium on Software Reliability Engineering, ISSRE 2003, Denver, USA, November 17-20, 2003. pdf
    3. Geri Georg, Robert France, and Indrakshi Ray, "Composing Aspect Models", The 4th AOM workshop held with UML conference, UML 2003, October, 2003. pdf
    4. Geri Georg, Robert France, and Indrakshi Ray, "Creating security mechanism aspect models from abstract security aspect models", Workshop on Critical Systems Development with UML, UML 2003, October, 2003. pdf
    5. Devon Simmonds, Sudipto Ghosh and Robert B. France, "Middleware Transparent Software Development and the MDA", Workshop in Software Model Engineering (WisME), UML 2003, October, 2003. pdf
    6. Devon Simmonds, Sudipto Ghosh and Robert B. France, Workshop on SIVOES-MDA, "Middleware Transparent Software Development and the MDA", Proceedings SIVOES 2003, Electronic Notes in Theoretical Computer Science, Elsevier, UML 2003, October, 2003. pdf
    7. Devon Simmonds, Sudipto Ghosh and Robert B. France, "An MDA Framework for Middleware Transparent Software Development and Quality of Service", Workshop on Qos in Component-Based Software Engineering, June, 2003. pdf
    8. Devon Simmonds, Sudipto Ghosh and Robert B. France, "An MDA Framework for Middleware Transparent Software Development", IEEE RTAS 2003 Model-Driven Embedded Systems Workshop, May, 2003. pdf
    9. Robert France, Geri Georg, and Indrakshi Ray, "Supporting Multi-Dimensional Separation of Design Concerns", AOSD Workshop on AOM: Aspect-Oriented Modeling with UML, March, 2003. pdf
    10. Devon Simmonds, Sudipto Ghosh, Robert France, "An Aspect-Oriented Model Driven Architectural Framework for Middlware Transparency", AOSD Workshop on Early Aspects 2003: Aspect-Oriented Requirements Engineering and Architecture Design, March, 2003. pdf

    Technical Reports:

    2002 publications
    Journal Papers:

    Conference Papers:
    1. Geri Georg, Indrakshi Ray, and Robert France, "Using Aspects to Design a Secure System", Proceedings of the 8th IEEE International Conference on Engineering of Complex Computer Systems. Greenbelt, MD, December, 2002. pdf
    2. D. K. Kim, R. B. France, S. Ghosh and E. Song, "Using Role-Based Modeling Language (RBML) as Precise Characterizations of Model Families," 8th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2002), Greenbelt, MD, December 2-4, 2002. pdf
    3. Geri Georg and Robert France, "UML Aspect Specification using Role Models", Proceedings of Object-Oriented Information Systems (OOIS 2002), September 2002. pdf
    4. Devon Simmonds and Sudipto Ghosh, "Middleware Transparency through Aspect-Oriented Programming using AspectJ and Jini" Proceedings of the SPIE ITCOM Conference on Java/Jini Technologies, August, 2002. pdf

    Workshop Papers:
    1. Geri Georg, Robert France, and Indrakshi Ray, "Designing High Integrity Systems using Aspects Proceedings of the Fifth IFIP TC-11 WG 11.5 Working Conference on Integrity and Internal Control in Information Systems (IICIS 2002), November, 2002. pdf
    2. S.Ghosh, D. K. Kim, R. B. France, E. Song, "Using Role Models as Precise Characterizations of Model Families ", 11th OOPSLA Workshop on Behavioral Semantics: Serving the Customer, November 4, 2002. pdf
    3. E. Song, R. B. France, D. K. Kim and S. Ghosh, "Using Roles for Pattern-Based Model Refactoring", Workshop on Critical Systems Development with UML (CSDUML'02), September 30 - October 4, 2002, Dresden, Germany. pdf
    4. Geri Georg, Robert France, and Indrakshi Ray, "An Aspect-Based Appraoch to Modeling Security Concerns", Critical Systems Development with UML - Proceedings of the UML'02 workshop, Jan Jurgens et al. editors, September 2002. pdf
    5. Francois Mekerke, Geri Georg, Robert France, and Roger Alexander, "Tool Support for Aspect-Oriented Design", OOIS Workshop on Model-Driven Approaches to Software Development. September 2002. pdf

    Technical Reports:
    1. Robert France and Geri Georg, "Modeling Fault Tolerant Concerns Using Aspects", Technical Report 02-102, Computer Science Department, Colorado State University, 2002. pdf

    2001 publications
    Journal Papers:

    Conference Papers:

    Workshop Papers:
    1. R. B. France, D. K. Kim, E. Song, S. Ghosh, "Using Roles to Characterize Model Families", 10th OOPSLA Workshop on Behavioral Semantics: Back to the Basics, October 15, 2001. pdf

    Technical Reports: