According to our database1, Chris George authored at least 27 papers between 1987 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Introducing a new open source GIS user interface for the SWAT model.
Environmental Modelling and Software, 2016
Large-Scale Enterprise Systems: Changes and Impacts.
Proceedings of the Enterprise Information Systems - 14th International Conference, 2012
Change Impact Analysis for Large-scale Enterprise Systems.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012
Model Checking LTL Formulae in RAISE with FDR.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009
Specification, proof, and model checking of the Mondex electronic purse using RAISE.
Formal Asp. Comput., 2008
A Translation from RSL to CSP.
Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008
Model Checking RAISE Applicative Specifications.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Specification for Testing.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007
Applicative Modelling with RAISE.
Proceedings of the Domain Modeling and the Duration Calculus, 2007
When Model-based Testing Fails.
Electr. Notes Theor. Comput. Sci., 2006
Domain Consistency in Requirements Specification.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
Tutorial on the RAISE Language, Method and Tools.
Proceedings of the Formal Methods and Software Engineering, 2004
Specifying a Mobile Computing Infrastructure and Services.
Proceedings of the Distributed Computing and Internet Technology, 2004
Automating software development by cross-utilization of specification tools.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004
"UML-ising' Formal Techniques.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
The Logic of the RAISE Specification Language.
Computers and Artificial Intelligence, 2003
The Development of the RAISE Tools.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Supporting Collaborative Design.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002
Combining case-based and model-based reasoning: a formal specification.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
An Operational Semantics for Timed RAISE.
Proceedings of the FM'99 - Formal Methods, 1999
Combining and Distributing Hierarchical Systems.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997
A Theory of Distributing Train Rescheduling.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
A Concurrency Case Study Using RAISE.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
The NDB Database Specified in the RAISE Specification Language.
Formal Asp. Comput., 1992
The RAISE Specification Langiage: A Tutorial.
Proceedings of the VDM '91, 1991
The RAISE Language, Method and Tools.
Proceedings of the VDM '88, 1988
Heap Storage Specification and Development.
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987