The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chris George: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Li Shuguang, Jiang Qing, Chris George
    Combining case-based and model-based reasoning: a formal specification. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:416-420 [Conf]
  2. Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika
    "UML-ising' Formal Techniques. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:423-450 [Conf]
  3. Chris George
    Heap Storage Specification and Development. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:97-105 [Conf]
  4. Chris George
    The RAISE Specification Langiage: A Tutorial. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:238-319 [Conf]
  5. Chris George
    A Theory of Distributing Train Rescheduling. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:499-517 [Conf]
  6. Anne Elisabeth Haxthausen, Chris George
    A Concurrency Case Study Using RAISE. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:367-387 [Conf]
  7. Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
    The RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:376-405 [Conf]
  8. Xia Yong, Chris George
    An Operational Semantics for Timed RAISE. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1008-1027 [Conf]
  9. Yanjie Wang, Chris George
    Supporting Collaborative Design. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:249-262 [Conf]
  10. Satyajit Acharya, Chris George, Hrushikesha Mohanty
    Specifying a Mobile Computing Infrastructure and Services. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2004, pp:244-254 [Conf]
  11. Chris George
    Tutorial on the RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:3-4 [Conf]
  12. Satyajit Acharya, Chris George, Hrushikesha Mohanty
    Domain Consistency in Requirements Specification. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:231-240 [Conf]
  13. Chris George, Do Tien Dung
    Combining and Distributing Hierarchical Systems. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:133-153 [Conf]
  14. Chris George
    The Development of the RAISE Tools. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:49-64 [Conf]
  15. Chris George, Anne Elisabeth Haxthausen
    The Logic of the RAISE Specification Language. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:4, pp:- [Journal]
  16. Bernhard K. Aichernig, Chris George
    When Model-based Testing Fails. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:115-128 [Journal]
  17. Chris George
    The NDB Database Specified in the RAISE Specification Language. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:1, pp:48-75 [Journal]
  18. Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
    The RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1989, v:1, n:1, pp:85-114 [Journal]
  19. Chris George
    Applicative Modelling with RAISE. [Citation Graph (0, 0)][DBLP]
    Domain Modeling and the Duration Calculus, 2007, pp:51-118 [Conf]
  20. Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
    Specification for Testing. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:280-299 [Conf]
  21. Aristides Dasso, Chris George
    Automating software development by cross-utilization of specification tools. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:368-373 [Conf]

  22. Model Checking LTL Formulae in RAISE with FDR. [Citation Graph (, )][DBLP]


  23. A Translation from RSL to CSP. [Citation Graph (, )][DBLP]


  24. Model Checking RAISE Applicative Specifications. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002