Selected Publications

Mira Balaban, Phillipa Bennett, Khanh Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron and Michael Kifer, “A Comparison of Textual Modeling Languages: OCL, Alloy, FOML“, proceedings 16th International Workshop on OCL and Textual Modeling at MODELS 2016.

Phillipa Bennett, Wuliang Sun, Wade Ted, Geri Georg, Indrakshi Ray, and Michael Kahn, “Analyzing Regulatory Conformance in Medical Research Systems Using Multi-Paradigm Modeling”, in proceedings Multi-Paradigm Modeling Workshop at MODELS 2015 (MPM’15), CEUR Workshop Proceedings, Vol 1511,, ISSN 1613-0073, pages 22-31, 2015.

Geri Georg, Gunter Mussbacher, Daniel Amyot, Dorina Petriu, Lucy Troup, Saul Lozano-Fuentez, and Robert France, "Synergy between Activity Theory and Goal/Scenario Modeling for Requirements Elicitation, Analysis, and Evolution", Information and Software Technology (IST), Vol 59, pp 109-135, March 2015, DOI:, 2014.

Geri Georg, "Activity Theory Language as a Visual Studio 2013 Tool Extension", Colorado State University Technical Report, CS-14-102, November 2014.

Geri Georg and Lucy Troup, “Experiences Developing a Requirements Language Based on the Psychological Framework Activity Theory”, Proceedings of the MODELS 2013 OCL Workshop, CEUR Workshop Proceedings, Vol 1092,, ISSN 1613-0073, pp 63-72, 2013.

Geri Georg and Gunter Mussbacher, "USE Tool Analysis of Activity Theory Models", Colorado State University Technical Report, CS-13-102, March, 2013

Geri Georg and 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, and 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, and 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, and 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", Journal on Software and Systems Modeling (SOSYM) special issue of extended papers from the MODELS 2007 conference, Software and 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, and 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.

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.