CV

Education

Ph. D.: Computer Science Department, Colorado State University, Fort Collins, Colorado, 2001.

Graduate Degree: Master of Science, Computer Science, Computer Science Department, Colorado State University, Fort Collins, Colorado, 1986.

Undergraduate Degree: Bachelor of Engineering, Biomedical Engineering, University of New Mexico, Albuquerque, New Mexico, 1979.

Professional Experience

Instructor, Colorado State University, 2017 – present.

Research Associate, Colorado State University, 2006 – 2017.

Research Scientist, Colorado State University, 2003 – 2005.

Project Scientist, Agilent Laboratories, Agilent Technologies, 2000 – 2003.

Project Scientist, Hewlett Packard Laboratories, Hewlett Packard Company, 1999-2000.

Technical Contributor, Software Technology Center, Hewlett Packard Company, 1996-1999.

Technical Contributor, Un*x Development Lab, Hewlett Packard Company, 1992-1996.

Software Engineer, Hewlett Packard Company, 1979-1992.

Honors

Upsilon Pi Epsilon, International Honor Society for the Computing Sciences, 2002.

Tau Beta Pi Engineering Honor Society, 1979

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, http://ceur-ws.org/Vol-1511/#paper-01, ISSN 1613-0073, pages 22-31, 2015.

Geri Georg, Gunter Mussbacher, Daniel Amyot, Dorina Petriu, Lucy Troup, Saul Lozano-Fuentez, 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, 2015, DOI: http://dx.doi.org/10.1016/j.infsof.2014.11.003, 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, http://ceur-ws.org/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

Gunter Mussbacher, Omar Alam, Mohammad Alhaj, Shaukat Ali, Nuno Amálio, Balbir Barn, Rolv Bræk, Tony Clark, Benoit Combemale, Luiz Marcio Cysneiros, Urooj Fatima, Robert France, Geri Georg, Jennifer Horkoff, Jörg Kienzle, Julio Cesar Leite, Timothy C. Lethbridge, Markus Luckey, Ana Moreira, Felix Mutz, A. Padua A. Oliveira, Dorina C. Petriu, Matthias Schöttle, Lucy Troup, and Vera M. B. Werneck, "Assessing Composition in Modeling Approaches", Proceedings of the CMA 2012 Workshop (CMA'12 at MODELS'12), ISBN: 978-1-4503-1843-3, ACM, 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.

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", Software Engineering for Secure Systems: Industrial and Research Perspectives, Haris Mouratidis, editor, ISBN: 1615208372, copyright 2011, IGI Global.

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, May/Jun2010, 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.

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.

Professional Activities

MODELS (Model Driven Engineering Languages and Systems) conference steering committee, October 2004 – 2014, steering committee vice-chair October 2009-2010, steering committee chair October 2010-October 2012.

Conference Chair, Model Driven Engineering Languages and Systems (MODELS) 2005.

Assistant Editor, Journal on Software and Systems Modeling (SoSyM), Feb 2002 – present.

Program Board Member: MODELS 2012.

Program Committee Member: MODELS 2016 Foundation Track, MODELS 2015 Foundation Track, MODELS 2013 Foundation Track, MODELS 2011 Application Track, MODELS 2010 Foundation and Application Track, Workshop on Modeling in Software Engineering (MISE at ICSE) 2013 - 2016, Object Constraint Language at MODELS 2015-2016, MODELS Educator's Symposium 2016, MODELS ACM Student Research Competition 2016, ACM SRC Grand Finals 2016, Workshop on Composition and Variability 2011-2013, held in conjunction with AOSD, Quality of Software Architectures (QoSA) 2011-2012, International Workshop on Risk and Trust in Extended Enterprises (RTEE), held in conjunction with ISSRE 2010, Aspect-Oriented Software Development (AOSD) 2009, Modeling Security Workshop, held in conjunction with MODELS 2008, Workshop in Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects at ICSE), in conjunction with ICSE 2007, 5th International Workshop on Critical Systems Development Using Modeling Languages, in conjunction with MoDELS 2006, October 2006, 4th International Workshop on Critical Systems Development Using Modeling Languages, held in conjunction with SAFECOMP 2005, Multi-Conference on Systemics, Cybernetics and Informatics (SCI), 2000 to 2003.

Organizing Committee: Tutorials at MODELS 2016, Workshop on Object Constraint Language (OCL), held at MODELS 2014, Workshop on Modeling in Software Engineering (MISE at ICSE), held in conjunction with ICSE 2007-2009 and 2012, Comparing Modeling Approaches Workshop, held in conjunction with MODELS2011-2013 and RE 2013, Risk and Trust Workshop 2012 held at ISSRE 2012, Model-Driven Security (MDSec) workshop at MODELS 2012, 1st International Model-Driven Engineering for High Performance and CLoud computing (MDHPCL) at MODELS 2012, Workshop on Composition and Variability 2010, held in conjunction with AOSD, 5th International Workshop on Critical Systems Development Using Modeling Languages, in conjunction with MODELS 2006.