| 2013 | APSEC | A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows. | Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel |
| 2013 | IFM | A Formal Semantics for Complete UML State Machines with Communications. | Shuang Liu, Yang Liu, tienne Andr, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong |
| 2013 | SERA | Activity Diagrams Patterns for Modeling Business Processes. | tienne Andr, Christine Choppy, Gianna Reggio |
| 2012 | APSEC | Behavioural Analysis for Distributed Simulations. | Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel |
| 2012 | SAC | Designing architectures from problem descriptions by interactive model transformation. | Azadeh Alebrahim, Isabelle Ct, Maritta Heisel, Christine Choppy, Denis Hatebur |
| 2011 | TASE | Behaviour Recognition Using Chronicles. | Patrice Carle, Christine Choppy, Romain Kervarc |
| 2010 | SAC | A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). | Christine Choppy, Gianna Reggio |
| 2009 | SAC | A method for developing UML state machines. | Christine Choppy, Gianna Reggio |
| 2006 | APSEC | Component composition through architectural patterns for problem frames. | Christine Choppy, Denis Hatebur, Maritta Heisel |
| 2006 | ICTAC | Tutorial on Formal Methods for Distributed and Cooperative Systems. | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
| 2004 | FASE | Improving Use Case Based Requirements Using Formally Grounded Specifications. | Christine Choppy, Gianna Reggio |
| 2001 | APSEC | Formal Specification of Mixed Components with Korrigan. | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 2001 | FASE | Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 2000 | FASE | Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. | Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Humann |
| 1999 | FM | From Informal Requirements to COOP: A Concurrent Automata Approach. | Pascal Poizat, Christine Choppy, Jean-Claude Royer |
| 1995 | COMPASS | Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU | Michel Bidoit, Christine Choppy, Frdric Voisin |
| 1992 | COMPASS | About the Correctness and Adequacy of PLUSS Specifications. | Christine Choppy |
| 1990 | ICSE | Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. | Christine Choppy, Stphane Kaplan |
| 1987 | STACS | Asspegique: An Integrated Specification Environment. | Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stphane Kaplan, Franoise Schlienger, Frdric Voisin |
| 1986 | ESOP | Algebraic Semantics of Exception Handling. | Gilles Bernot, Michel Bidoit, Christine Choppy |
| 1986 | STACS | Abstract Implementations and Correctness Proofs. | Gilles Bernot, Michel Bidoit, Christine Choppy |