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