Selected Publications

Geri Georg & Robert France, “An Activity Theory Language: USE Implementation”, Colorado State University, Computer Science Technical Report, CS-13-101, January, 2013.

Michelle Mills Strout, Geri Georg, and Catherine Olschanowsky, “Set and Relation Manipulation for the Sparse Polyhedral Framework”, Proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC), September 2012.

Geri Georg, Kyriakos Anastasakis, Behzad Bordbar, Siv Hilde Houmb, Indrakshi Ray, Manachai Toahchoodee, "Verification and Trade-off Analysis of Security Properties in UML System Models", Transactions on Software Engineering, Vol. 36 Issue 3, p338-356, 2010.

Siv Hilde Houmb, Geri Georg, Dorina C. Petriu, Behzad Bordbar, Indrakshi Ray, Kyriakos Anastasakis, and Robert B. France, "Balancing Security and Performance Properties During System Architectural Design", in Software Engineering for Secure Systems: Industrial and Research Perspectives, Haris Mouratidis, editor, ISBN: 1615208372, IGI Global, 2011.

Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, and Behzad Bordbar, “Ensuring Spatio-Temporal Access Control for Real-World Applications”, Proceedings of the 14th ACM Symposium on Access Control Models and Technologies (SACMAT’09), ACM, pp 13-32, 2009.

Murray Woodside, Dorina C. Petriu, Dorin B. Petriu, Jing Xu, Tauseef Israr, Geri Georg, Robert France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens, “Performance Analysis of Security Aspects by Weaving Scenarios Extracted from UML Models”, Journal of Systems and Software (JSS), 82, 56–74, 2009.

Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb, "An Aspect-Oriented Methodology for Designing Secure Applications", Information and Software Technology (IST), 51, Elsevier B.V., pp. 846-864, 2009.

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, and Indrakshi Ray, "On Challenges of Model Transformation from UML to Alloy", accepted for publication in Journal on Software and Systems Modeling (SOSYM) special issue of extended papers from the MODELS 2007 conference, Software & Systems Modeling, Jan2010, Vol. 9 Issue 1, p69-86, 2008.

Y. Raghu Reddy, Sudipto Ghosh, Robert B. France, Greg Straw, James M. Bieman, N. McEachen, Eunjee Song, Geri Georg, “Directives for composing aspect-oriented design class models”, Transactions on Aspect-Oriented Software Development I, LNCS 3880, p 75-105, Springer-Verlag, 2006.

Eunjee Song, Raghu Reddy, Robert France, Indrakshi Ray, Geri Georg, and Roger Alexander, “Verifiable composition of access control and application features”, ACM Symposium on Access Control Models and Technologies (SACMAT), June 2005.

Robert France, Indrakshi Ray, Geri Georg, and Sudipto Ghosh, “Aspect-oriented approach to design modeling”, IEE Proceedings on Software, 4(151):173-185, 2004.

Indrakshi Ray, Robert France, Na Li and Geri Georg, "An aspect-based approach to modeling access control concerns", Journal of Information and Software Technology, 46(9), pages 575-587, 2004.

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.