dblp.uni-trier.dewww.uni-trier.de

Chris George Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
27EEAbigail Parisaca Vargas, Ana Gabriela Garis, S. Lizeth Tapia Tarifa, Chris George: Model Checking LTL Formulae in RAISE with FDR. IFM 2009: 231-245
2008
26EEAbigail Parisaca Vargas, S. Lizeth Tapia Tarifa, Chris George: A Translation from RSL to CSP. SCCC 2008: 119-126
25EEChris 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
23EEChris George: Applicative Modelling with RAISE. Domain Modeling and the Duration Calculus 2007: 51-118
22EEChris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders: Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299
21EEJuan Ignacio Perna, Chris George: Model Checking RAISE Applicative Specifications. SEFM 2007: 257-268
2006
20EEBernhard K. Aichernig, Chris George: When Model-based Testing Fails. Electr. Notes Theor. Comput. Sci. 164(4): 115-128 (2006)
2005
19EESatyajit 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
17EESatyajit Acharya, Chris George, Hrushikesha Mohanty: Specifying a Mobile Computing Infrastructure and Services. ICDCIT 2004: 244-254
16EEChris George: Tutorial on the RAISE Language, Method and Tools. ICFEM 2004: 3-4
15EEDines 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
12EEChris 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
10EELi Shuguang, Jiang Qing, Chris George: Combining case-based and model-based reasoning: a formal specification. APSEC 2000: 416-420
1999
9EEXia 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
7EEChris George: A Theory of Distributing Train Rescheduling. FME 1996: 499-517
1993
6EEAnne 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
4EEChris 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
2EEMogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George: The RAISE Language, Method and Tools. VDM Europe 1988: 376-405
1987
1EEChris George: Heap Storage Specification and Development. VDM Europe 1987: 97-105

Coauthor Index

1Satyajit Acharya [17] [19]
2Bernhard K. Aichernig [20]
3Dines Bjørner [15]
4Aristides Dasso [18]
5Do Tien Dung [8]
6Ana Gabriela Garis [27]
7Klaus Havelund [2] [3]
8Anne Elisabeth Haxthausen [6] [14] [15] [25]
9Steffen Holmslykke [15]
10Padmanabhan Krishnan [22]
11Zhiming Liu [24]
12Christian Krog Madsen [15]
13Huaikou Miao [13]
14Hrushikesha Mohanty [17] [19]
15Mogens Nielsen [2] [3]
16Juan Ignacio Perna [21]
17Martin Pnika [15]
18Jiang Qing [10]
19Percy Antonio Pari Salas [22]
20Jeff W. Sanders (Jeffrey W. Sanders) [22]
21Li Shuguang [10]
22S. Lizeth Tapia Tarifa [26] [27]
23Abigail Parisaca Vargas [26] [27]
24Kim Ritter Wagner [2] [3]
25Yanjie Wang [11]
26Jim Woodcock (J. C. P. Woodcock) [24]
27Xia Yong [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)