BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × France
1 × Germany
1 × Ireland
1 × The Netherlands
2 × Poland
2 × United Kingdom
Collaborated with:
J.I.Perna B.K.Aichernig X.Yong A.E.Haxthausen W.Chen A.Iqbal A.Abdrakhmanov J.Parlar M.Lawford T.S.E.Maibaum A.Wassyng A.P.Vargas A.G.Garis S.L.T.Tarifa M.Nielsen K.Havelund K.R.Wagner
Talks about:
rais (6) specif (3) model (3) enterpris (2) system (2) impact (2) scale (2) check (2) chang (2) larg (2)

Person: Chris George

DBLP DBLP: George:Chris

Contributed to:

Post-ICEIS 20122012
ICEIS v2 20122012
IFM 20092009
SEFM 20072007
MBT 20062006
World Congress on Formal Methods 19991999
FME 19961996
FME 19931993
VDM Europe 19881988
VDM Europe 19871987
VDM Europe (2) 19911991

Wrote 12 papers:

ICEIS-J-2012-ChenIAPGLMW12a #enterprise #scalability
Large-Scale Enterprise Systems: Changes and Impacts (WC, AI, AA, JP, CG, ML, TSEM, AW), pp. 274–290.
ICEIS-v2-2012-ChenIAPGLMW #enterprise #impact analysis #scalability
Change Impact Analysis for Large-scale Enterprise Systems (WC, AI, AA, JP, CG, ML, TSEM, AW), pp. 359–368.
IFM-2009-VargasGTG #ltl #model checking
Model Checking LTL Formulae in RAISE with FDR (APV, AGG, SLTT, CG), pp. 231–245.
SEFM-2007-PernaG #model checking #specification
Model Checking RAISE Applicative Specifications (JIP, CG), pp. 257–268.
MBT-2006-AichernigG #modelling #testing
When Model-based Testing Fails (BKA, CG), pp. 115–128.
FM-v2-1999-YongG #semantics
An Operational Semantics for Timed RAISE (XY, CG), pp. 1008–1027.
FME-1996-George #formal method
A Theory of Distributing Train Rescheduling (CG), pp. 499–517.
FME-1993-HaxthausenG #case study #concurrent #using
A Concurrency Case Study Using RAISE (AEH, CG), pp. 367–387.
VDME-1988-NielsenHWG #tool support
The RAISE Language, Method and Tools (MN, KH, KRW, CG), pp. 376–405.
VDME-1987-George #development #specification
Heap Storage Specification and Development (CG), pp. 97–105.
VDME-1991-George #specification #tutorial
The RAISE Specification Langiage: A Tutorial (CG), pp. 238–319.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.