Heap Storage Specification and Development. - Chris George (VDM Europe, 1987)

The RAISE Language, Method and Tools. - Mogens Nielsen; Klaus Havelund; Kim Ritter Wagner; Chris George (Formal Aspects Comput., 1989)

The RAISE Specification Langiage: A Tutorial. - Chris George (VDM Europe (2), 1991)

The NDB Database Specified in the RAISE Specification Language. - Chris George (Formal Aspects Comput., 1992)

A Concurrency Case Study Using RAISE. - Anne E. Haxthausen; Chris George (FME, 1993)

A Theory of Distributing Train Rescheduling. - Chris George (FME, 1996)

Combining and Distributing Hierarchical Systems. - Chris George; Do Tien Dung (Requirements Targeting Software and Systems Engineering, 1997)

An Operational Semantics for Timed RAISE. - Xia Yong; Chris George (World Congress on Formal Methods, 1999)

Combining case-based and model-based reasoning: a formal specification. - Shuguang Li; Qing Jiang; Chris George (APSEC, 2000)

Supporting Collaborative Design. - Yanjie Wang; Chris George (FMOODS, 2002)

The Development of the RAISE Tools. - Chris George (10th Anniversary Colloquium of UNU/IIST, 2002)

The Logic of the RAISE Specification Language. - Chris George; Anne E. Haxthausen (Comput. Artif. Intell., 2003)

"UML-ising' Formal Techniques. - Dines Bjørner; Chris George; Anne E. Haxthausen; Christian Krog Madsen; Steffen Holmslykke; Martin Pnika (SoftSpez Final Report, 2004)

Automating software development by cross-utilization of specification tools. - Aristides Dasso; Chris George (IASTED Conf. on Software Engineering and Applications, 2004)

Specifying a Mobile Computing Infrastructure and Services. - Satyajit Acharya; Chris George; Hrushikesha Mohanty (ICDCIT, 2004)

Tutorial on the RAISE Language, Method and Tools. - Chris George (ICFEM, 2004)

Domain Consistency in Requirements Specification. - Satyajit Acharya; Chris George; Hrushikesha Mohanty (QSIC, 2005)

When Model-based Testing Fails. - Bernhard K. Aichernig; Chris George (MBT, 2006)

Applicative Modelling with RAISE. - Chris George (Domain Modeling and the Duration Calculus, 2007)

Specification for Testing. - Chris George; Padmanabhan Krishnan; Percy Antonio Pari Salas; Jeff W. Sanders (Formal Methods and Hybrid Real-Time Systems, 2007)

A Translation from RSL to CSP. - Abigail Parisaca Vargas; Silvia Lizeth Tapia Tarifa; Chris George (SCCC, 2008)

Specification, proof, and model checking of the Mondex electronic purse using RAISE. - Chris George; Anne E. Haxthausen (Formal Aspects Comput., 2008)

Model Checking LTL Formulae in RAISE with FDR. - Abigail Parisaca Vargas; Ana Gabriela Garis; Silvia Lizeth Tapia Tarifa; Chris George (IFM, 2009)

Change Impact Analysis for Large-scale Enterprise Systems. - Wen Chen; Asif Iqbal 006; Akbar Abdrakhmanov; Jay Parlar; Chris George; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (ICEIS (2), 2012)

Large-Scale Enterprise Systems: Changes and Impacts. - Wen Chen; Asif Iqbal 006; Akbar Abdrakhmanov; Jay Parlar; Chris George; Mark Lawford; Tom Maibaum; Alan Wassyng (ICEIS, 2012)

Model checking RAISE applicative specifications. - Juan Ignacio Perna; Chris George (Formal Aspects Comput., 2013)

Introducing a new open source GIS user interface for the SWAT model. - Yihun T. Dile; Prasad Daggupati; Chris George; Raghavan Srinivasan 001; Jeffrey G. Arnold (Environ. Model. Softw., 2016)

User-friendly workflows for catchment modelling: Towards reproducible SWAT+ model studies. - Celray James Chawanda; Chris George; Wim Thiery; Ann van Griensven; Jaclyn Tech; Jeffrey Arnold; Raghavan Srinivasan 001 (Environ. Model. Softw., 2020)

SWATLitho: A hydrogeochemical model to estimate daily geochemical loads at the catchment scale. - Juan Luis Lechuga-Crespo; Sabine Sauvage; Estilita Ruiz-Romera; Chris George; José-Miguel Sánchez-Pérez (Environ. Model. Softw., 2021)

Introducing a new post-processing tool for the SWAT+ model to evaluate environmental flows. - Javier Senent-Aparicio; Chris George; Raghavan Srinivasan 001 (Environ. Model. Softw., 2021)

Search-based Testing of Simulink Models with Requirements Tables. - Federico Formica; Chris George; Shayda Rahmatyan; Vera Pantelic; Mark Lawford; Angelo Gargantini; Claudio Menghi (CoRR, 2025)