The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Christine Choppy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christine Choppy, Colette Johnen
    PETRIREVE: Proving Petri Net Properties with Rewriting Systems. [Citation Graph (1, 0)][DBLP]
    RTA, 1985, pp:271-286 [Conf]
  2. Michel Bidoit, Christine Choppy, Frédéric Voisin
    The ASSPEGIQUE Specification Environment - Motivations and Design. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:54-72 [Conf]
  3. Christine Choppy
    Complexity of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  4. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    A Global Semantics for Views. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:165-180 [Conf]
  5. Michel Bidoit, Christine Choppy, Frédéric Voisin
    ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:555-558 [Conf]
  6. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    Formal Specification of Mixed Components with Korrigan. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:169-176 [Conf]
  7. Christine Choppy, Gianna Reggio
    Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:19-28 [Conf]
  8. Michel Bidoit, Christine Choppy, Frédéric Voisin
    Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:102-124 [Conf]
  9. Christine Choppy
    About the Correctness and Adequacy of PLUSS Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:128-143 [Conf]
  10. Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
    ASSPEGIQUE: An Integrated Specification Environment. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:251-252 [Conf]
  11. Michel Bidoit, Francis Capy, Christine Choppy
    The design and specification of the ASSPEGIQUE database. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:205-214 [Conf]
  12. Christine Choppy
    Formal Specifications, Prototyping and Integration Tests. [Citation Graph (0, 0)][DBLP]
    ESEC, 1987, pp:172-179 [Conf]
  13. Gilles Bernot, Michel Bidoit, Christine Choppy
    Algebraic Semantics of Exception Handling. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:173-186 [Conf]
  14. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:124-139 [Conf]
  15. Christine Choppy, Gianna Reggio
    Improving Use Case Based Requirements Using Formally Grounded Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:244-260 [Conf]
  16. Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann
    Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:127-146 [Conf]
  17. Pascal Poizat, Christine Choppy, Jean-Claude Royer
    From Informal Requirements to COOP: A Concurrent Automata Approach. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:939-962 [Conf]
  18. Christine Choppy, Gianna Reggio
    Using UML for Problem Frame Oriented Software Development. [Citation Graph (0, 0)][DBLP]
    IASSE, 2004, pp:239-244 [Conf]
  19. Christine Choppy, Stéphane Kaplan
    Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. [Citation Graph (0, 0)][DBLP]
    ICSE, 1990, pp:173-184 [Conf]
  20. Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
    Tutorial on Formal Methods for Distributed and Cooperative Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:362-365 [Conf]
  21. Christine Choppy, Michel Bidoit
    Integrating ASSPEGIQUE and LP. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:69-85 [Conf]
  22. Michel Bidoit, Francis Capy, Christine Choppy
    ASSPEGIQUE: An Integrated Specification Environment. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:547- [Conf]
  23. Christine Choppy, Stéphane Kaplan, Michèle Soria
    Algorithmic Complexity of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 1987, pp:256-273 [Conf]
  24. Stéphane Kaplan, Christine Choppy
    Abstract Rewriting with Concrete Operations. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:178-186 [Conf]
  25. Gilles Bernot, Michel Bidoit, Christine Choppy
    Abstract Implementations and Correctness Proofs. [Citation Graph (0, 0)][DBLP]
    STACS, 1986, pp:236-251 [Conf]
  26. Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
    Asspegique: An Integrated Specification Environment. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:471- [Conf]
  27. Christine Choppy, G. Guiho, Stéphane Kaplan
    A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:403-415 [Conf]
  28. Michel Bidoit, Christine Choppy
    ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:246-260 [Conf]
  29. Sophie Cherki, Christine Choppy
    A method for FORTRAN programs reverse engineering using algebraic specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:156-173 [Conf]
  30. Christine Choppy, Maritta Heisel
    Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:201-215 [Conf]
  31. Christine Choppy, Gianna Reggio
    Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:106-125 [Conf]
  32. Pascal Poizat, Christine Choppy, Jean-Claude Royer
    Concurrency and Data Types: A Specification Method: An Example with LOTOS. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:277-292 [Conf]
  33. Christine Choppy, Gianna Reggio
    A UML-based approach for problem frame oriented software development. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2005, v:47, n:14, pp:929-954 [Journal]
  34. Christine Choppy, Gianna Reggio
    A formally grounded software specification method. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:52-86 [Journal]
  35. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    The Korrigan Environment. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:1, pp:19-36 [Journal]
  36. Gilles Bernot, Michel Bidoit, Christine Choppy
    Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:13-45 [Journal]
  37. Christine Choppy, Stéphane Kaplan, Michèle Soria
    Complexity Analysis of Term-Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:67, n:2&3, pp:261-282 [Journal]

  38. A Modelling Approach with Coloured Petri Nets. [Citation Graph (, )][DBLP]


  39. Coloured Petri Nets for Chronicle Recognition. [Citation Graph (, )][DBLP]


  40. The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. [Citation Graph (, )][DBLP]


  41. Component composition through architectural patterns for problem frames. [Citation Graph (, )][DBLP]


  42. A method for developing UML state machines. [Citation Graph (, )][DBLP]


  43. A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). [Citation Graph (, )][DBLP]


  44. Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. [Citation Graph (, )][DBLP]


  45. Viewpoint - Research evaluation for computer science. [Citation Graph (, )][DBLP]


  46. Experimenting Formal Proofs of Petri Nets Refinements. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.306secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002