Chris George

35 papers B 2C 3Misc 1Journal 10Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
Search-based Testing of Simulink Models with Requirements Tables.
CoRR
Federico Formica, Chris George, Shayda Rahmatyan, Vera Pantelic, Mark Lawford, Angelo Gargantini, Claudio Menghi
2021 J jnl
Introducing a new post-processing tool for the SWAT+ model to evaluate environmental flows.
Environ. Model. Softw.
Javier Senent-Aparicio, Chris George, Raghavan Srinivasan
2021 J jnl
SWATLitho: A hydrogeochemical model to estimate daily geochemical loads at the catchment scale.
Environ. Model. Softw.
Juan Luis Lechuga-Crespo, Sabine Sauvage, Estilita Ruiz-Romera, Chris George, José-Miguel Sánchez-Pérez
2020 J jnl
User-friendly workflows for catchment modelling: Towards reproducible SWAT+ model studies.
Environ. Model. Softw.
Celray James Chawanda, Chris George, Wim Thiery, Ann van Griensven, Jaclyn Tech, Jeffrey Arnold, Raghavan Srinivasan
2016 J jnl
Introducing a new open source GIS user interface for the SWAT model.
Environ. Model. Softw.
Yihun T. Dile, Prasad Daggupati, Chris George, Raghavan Srinivasan, Jeffrey G. Arnold
2013 J jnl
Model checking RAISE applicative specifications.
Formal Aspects Comput.
Juan Ignacio Perna, Chris George
2012 — conf
Change Impact Analysis for Large-scale Enterprise Systems.
ICEIS (2)
Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2012 — conf
Large-Scale Enterprise Systems: Changes and Impacts.
ICEIS
Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng
2009 B conf
Model Checking LTL Formulae in RAISE with FDR.
IFM
Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George
2008 — conf
A Translation from RSL to CSP.
SCCC
Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George
2008 J jnl
Specification, proof, and model checking of the Mondex electronic purse using RAISE.
Formal Aspects Comput.
Chris George, Anne E. Haxthausen
2007 — conf
Applicative Modelling with RAISE.
Domain Modeling and the Duration Calculus
Chris George
2007 — ed.
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Domain Modeling and the Duration Calculus
Chris George, Zhiming Liu, Jim Woodcock
2007 B conf
Model Checking RAISE Applicative Specifications.
SEFM
Juan Ignacio Perna, Chris George
2007 — conf
Specification for Testing.
Formal Methods and Hybrid Real-Time Systems
Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
2006 — conf
When Model-based Testing Fails.
MBT
Bernhard K. Aichernig, Chris George
2005 — conf
Domain Consistency in Requirements Specification.
QSIC
Satyajit Acharya, Chris George, Hrushikesha Mohanty
2004 — conf
"UML-ising' Formal Techniques.
SoftSpez Final Report
Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika
2004 — conf
Automating software development by cross-utilization of specification tools.
IASTED Conf. on Software Engineering and Applications
Aristides Dasso, Chris George
2004 Misc conf
Specifying a Mobile Computing Infrastructure and Services.
ICDCIT
Satyajit Acharya, Chris George, Hrushikesha Mohanty
2004 C conf
Tutorial on the RAISE Language, Method and Tools.
ICFEM
Chris George
2003 J jnl
The Logic of the RAISE Specification Language.
Comput. Artif. Intell.
Chris George, Anne E. Haxthausen
2002 C ed.
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings
ICFEM
Chris George, Huaikou Miao
2002 — conf
Supporting Collaborative Design.
FMOODS
Yanjie Wang, Chris George
2002 — conf
The Development of the RAISE Tools.
10th Anniversary Colloquium of UNU/IIST
Chris George
2000 C conf
Combining case-based and model-based reasoning: a formal specification.
APSEC
Shuguang Li, Qing Jiang, Chris George
1999 — conf
An Operational Semantics for Timed RAISE.
World Congress on Formal Methods
Xia Yong, Chris George
1997 — conf
Combining and Distributing Hierarchical Systems.
Requirements Targeting Software and Systems Engineering
Chris George, Do Tien Dung
1996 — conf
A Theory of Distributing Train Rescheduling.
FME
Chris George
1993 — conf
A Concurrency Case Study Using RAISE.
FME
Anne E. Haxthausen, Chris George
1992 J jnl
The NDB Database Specified in the RAISE Specification Language.
Formal Aspects Comput.
Chris George
1991 — conf
The RAISE Specification Langiage: A Tutorial.
VDM Europe (2)
Chris George
1989 J jnl
The RAISE Language, Method and Tools.
Formal Aspects Comput.
Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
1988 — conf
The RAISE Language, Method and Tools.
VDM Europe
Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
1987 — conf
Heap Storage Specification and Development.
VDM Europe
Chris George