Chris George
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
1987–2009
Best venue rank
B
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | IFM | Model Checking LTL Formulae in RAISE with FDR. | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
| 2007 | SEFM | Model Checking RAISE Applicative Specifications. | Juan Ignacio Perna, Chris George |
| 2004 | ICDCIT | Specifying a Mobile Computing Infrastructure and Services. | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
| 2004 | ICFEM | Tutorial on the RAISE Language, Method and Tools. | Chris George |
| 2000 | APSEC | Combining case-based and model-based reasoning: a formal specification. | Shuguang Li, Qing Jiang, Chris George |
| 1999 | FM | An Operational Semantics for Timed RAISE. | Xia Yong, Chris George |
| 1996 | FM | A Theory of Distributing Train Rescheduling. | Chris George |
| 1993 | FM | A Concurrency Case Study Using RAISE. | Anne E. Haxthausen, Chris George |
| 1991 | FM | The RAISE Specification Langiage: A Tutorial. | Chris George |
| 1988 | FM | The RAISE Language, Method and Tools. | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George |
| 1987 | FM | Heap Storage Specification and Development. | Chris George |