Chris George

According to our database, Chris George authored at least 30 papers between 1987 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Introducing a new post-processing tool for the SWAT+ model to evaluate environmental flows.

Javier Senent-Aparicio, Chris George, Raghavan Srinivasan

Environ. Model. Softw., 2021

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

2020

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

Environ. Model. Softw., 2020

2016

Introducing a new open source GIS user interface for the SWAT model.

Yihun T. Dile, Prasad Daggupati, Chris George, Raghavan Srinivasan, Jeffrey G. Arnold

Environ. Model. Softw., 2016

2013

Model checking RAISE applicative specifications.

Juan Ignacio Perna, Chris George

Formal Aspects Comput., 2013

2012

Large-Scale Enterprise Systems: Changes and Impacts.

Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng

Proceedings of the Enterprise Information Systems - 14th International Conference, 2012

Change Impact Analysis for Large-scale Enterprise Systems.

Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

2009

Model Checking LTL Formulae in RAISE with FDR.

Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Specification, proof, and model checking of the Mondex electronic purse using RAISE.

Chris George, Anne E. Haxthausen

Formal Aspects Comput., 2008

A Translation from RSL to CSP.

Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

2007

Specification for Testing.

Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Applicative Modelling with RAISE.

Chris George

Proceedings of the Domain Modeling and the Duration Calculus, 2007

2006

When Model-based Testing Fails.

Bernhard K. Aichernig, Chris George

Proceedings of the Second Workshop on Model Based Testing, 2006

2005

Domain Consistency in Requirements Specification.

Satyajit Acharya, Chris George, Hrushikesha Mohanty

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

2004

Tutorial on the RAISE Language, Method and Tools.

Chris George

Proceedings of the Formal Methods and Software Engineering, 2004

Specifying a Mobile Computing Infrastructure and Services.

Satyajit Acharya, Chris George, Hrushikesha Mohanty

Proceedings of the Distributed Computing and Internet Technology, 2004

Automating software development by cross-utilization of specification tools.

Aristides Dasso, Chris George

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

"UML-ising' Formal Techniques.

Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

The Logic of the RAISE Specification Language.

Chris George, Anne E. Haxthausen

Comput. Artif. Intell., 2003

2002

The Development of the RAISE Tools.

Chris George

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Supporting Collaborative Design.

Yanjie Wang, Chris George

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

2000

Combining case-based and model-based reasoning: a formal specification.

Shuguang Li, Qing Jiang, Chris George

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

An Operational Semantics for Timed RAISE.

Xia Yong, Chris George

Proceedings of the FM'99 - Formal Methods, 1999

1997

Combining and Distributing Hierarchical Systems.

Chris George, Do Tien Dung

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

1996

A Theory of Distributing Train Rescheduling.

Chris George

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1993

A Concurrency Case Study Using RAISE.

Anne E. Haxthausen, Chris George

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

The NDB Database Specified in the RAISE Specification Language.

Chris George

Formal Aspects Comput., 1992

1991

The RAISE Specification Langiage: A Tutorial.

Chris George

Proceedings of the VDM '91, 1991

1989

The RAISE Language, Method and Tools.

Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George

Formal Aspects Comput., 1989

1987

Heap Storage Specification and Development.

Chris George

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987