| 2009 |
|---|
| 27 | EE | Abigail Parisaca Vargas,
Ana G. Garis,
S. Lizeth Tapia Tarifa,
Chris George:
Model Checking LTL Formulae in RAISE with FDR.
IFM 2009: 231-245 |
| 2008 |
|---|
| 26 | EE | Abigail Parisaca Vargas,
S. Lizeth Tapia Tarifa,
Chris George:
A Translation from RSL to CSP.
SCCC 2008: 119-126 |
| 25 | EE | Chris George,
Anne Elisabeth Haxthausen:
Specification, proof, and model checking of the Mondex electronic purse using RAISE.
Formal Asp. Comput. 20(1): 101-116 (2008) |
| 2007 |
|---|
| 24 | | Chris George,
Zhiming Liu,
Jim Woodcock:
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Springer 2007 |
| 23 | EE | Chris George:
Applicative Modelling with RAISE.
Domain Modeling and the Duration Calculus 2007: 51-118 |
| 22 | EE | Chris George,
Padmanabhan Krishnan,
Percy Antonio Pari Salas,
Jeff W. Sanders:
Specification for Testing.
Formal Methods and Hybrid Real-Time Systems 2007: 280-299 |
| 21 | EE | Juan Ignacio Perna,
Chris George:
Model Checking RAISE Applicative Specifications.
SEFM 2007: 257-268 |
| 2006 |
|---|
| 20 | EE | Bernhard K. Aichernig,
Chris George:
When Model-based Testing Fails.
Electr. Notes Theor. Comput. Sci. 164(4): 115-128 (2006) |
| 2005 |
|---|
| 19 | EE | Satyajit Acharya,
Chris George,
Hrushikesha Mohanty:
Domain Consistency in Requirements Specification.
QSIC 2005: 231-240 |
| 2004 |
|---|
| 18 | | Aristides Dasso,
Chris George:
Automating software development by cross-utilization of specification tools.
IASTED Conf. on Software Engineering and Applications 2004: 368-373 |
| 17 | EE | Satyajit Acharya,
Chris George,
Hrushikesha Mohanty:
Specifying a Mobile Computing Infrastructure and Services.
ICDCIT 2004: 244-254 |
| 16 | EE | Chris George:
Tutorial on the RAISE Language, Method and Tools.
ICFEM 2004: 3-4 |
| 15 | EE | Dines Bjørner,
Chris George,
Anne Elisabeth Haxthausen,
Christian Krog Madsen,
Steffen Holmslykke,
Martin Pnika:
"UML-ising' Formal Techniques.
SoftSpez Final Report 2004: 423-450 |
| 2003 |
|---|
| 14 | | Chris George,
Anne Elisabeth Haxthausen:
The Logic of the RAISE Specification Language.
Computers and Artificial Intelligence 22(4): (2003) |
| 2002 |
|---|
| 13 | | Chris George,
Huaikou Miao:
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings
Springer 2002 |
| 12 | EE | Chris George:
The Development of the RAISE Tools.
10th Anniversary Colloquium of UNU/IIST 2002: 49-64 |
| 11 | | Yanjie Wang,
Chris George:
Supporting Collaborative Design.
FMOODS 2002: 249-262 |
| 2000 |
|---|
| 10 | EE | Li Shuguang,
Jiang Qing,
Chris George:
Combining case-based and model-based reasoning: a formal specification.
APSEC 2000: 416-420 |
| 1999 |
|---|
| 9 | EE | Xia Yong,
Chris George:
An Operational Semantics for Timed RAISE.
World Congress on Formal Methods 1999: 1008-1027 |
| 1997 |
|---|
| 8 | | Chris George,
Do Tien Dung:
Combining and Distributing Hierarchical Systems.
Requirements Targeting Software and Systems Engineering 1997: 133-153 |
| 1996 |
|---|
| 7 | | Chris George:
A Theory of Distributing Train Rescheduling.
FME 1996: 499-517 |
| 1993 |
|---|
| 6 | | Anne Elisabeth Haxthausen,
Chris George:
A Concurrency Case Study Using RAISE.
FME 1993: 367-387 |
| 1992 |
|---|
| 5 | | Chris George:
The NDB Database Specified in the RAISE Specification Language.
Formal Asp. Comput. 4(1): 48-75 (1992) |
| 1991 |
|---|
| 4 | | Chris George:
The RAISE Specification Langiage: A Tutorial.
VDM Europe (2) 1991: 238-319 |
| 1989 |
|---|
| 3 | | Mogens Nielsen,
Klaus Havelund,
Kim Ritter Wagner,
Chris George:
The RAISE Language, Method and Tools.
Formal Asp. Comput. 1(1): 85-114 (1989) |
| 1988 |
|---|
| 2 | | Mogens Nielsen,
Klaus Havelund,
Kim Ritter Wagner,
Chris George:
The RAISE Language, Method and Tools.
VDM Europe 1988: 376-405 |
| 1987 |
|---|
| 1 | | Chris George:
Heap Storage Specification and Development.
VDM Europe 1987: 97-105 |
