Chris George

According to our database1, Chris George authored at least 27 papers between 1987 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Introducing a new open source GIS user interface for the SWAT model.
Environmental Modelling and Software, 2016

2012
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

2009
Model Checking LTL Formulae in RAISE with FDR.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008
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

2007
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

2006
When Model-based Testing Fails.
Electr. Notes Theor. Comput. Sci., 2006

2005
Domain Consistency in Requirements Specification.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

2004
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

2003
The Logic of the RAISE Specification Language.
Computers and Artificial Intelligence, 2003

2002
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

2000
Combining case-based and model-based reasoning: a formal specification.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
An Operational Semantics for Timed RAISE.
Proceedings of the FM'99 - Formal Methods, 1999

1997
Combining and Distributing Hierarchical Systems.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

1996
A Theory of Distributing Train Rescheduling.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1993
A Concurrency Case Study Using RAISE.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992
The NDB Database Specified in the RAISE Specification Language.
Formal Asp. Comput., 1992

1991
The RAISE Specification Langiage: A Tutorial.
Proceedings of the VDM '91, 1991

1988
The RAISE Language, Method and Tools.
Proceedings of the VDM '88, 1988

1987
Heap Storage Specification and Development.
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987


  Loading...