The ASSPEGIQUE Specification Environment - Motivations and Design. - Michel Bidoit; Christine Choppy; Frédéric Voisin (ADT, 1984)

PETRIREVE: Proving Petri Net Properties with Rewriting Systems. - Christine Choppy; Colette Johnen (RTA, 1985)

ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. - Michel Bidoit; Christine Choppy (TAPSOFT, Vol.2, 1985)

A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. - Christine Choppy; G. Guiho; Stéphane Kaplan (TAPSOFT, Vol.1, 1985)

Complexity of Abstract Data Types. - Christine Choppy (ADT, 1986)

Algebraic Semantics of Exception Handling. - Gilles Bernot; Michel Bidoit; Christine Choppy (ESOP, 1986)

Abstract Implementations and Correctness Proofs. - Gilles Bernot; Michel Bidoit; Christine Choppy (STACS, 1986)

Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors. - Gilles Bernot; Michel Bidoit; Christine Choppy (Theor. Comput. Sci., 1986)

ASSPEGIQUE: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy; Stéphane Kaplan; Françoise Schlienger; Frédéric Voisin (CTRS, 1987)

Formal Specifications, Prototyping and Integration Tests. - Christine Choppy (ESEC, 1987)

Algorithmic Complexity of Term Rewriting Systems. - Christine Choppy; Stéphane Kaplan; Michèle Soria (RTA, 1987)

Asspegique: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy; M.-A. Choquer; Stéphane Kaplan; Françoise Schlienger; Frédéric Voisin (STACS, 1987)

ASSPEGIQUE: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy (RTA, 1989)

Abstract Rewriting with Concrete Operations. - Stéphane Kaplan; Christine Choppy (RTA, 1989)

Complexity Analysis of Term-Rewriting Systems. - Christine Choppy; Stéphane Kaplan; Michèle Soria (Theor. Comput. Sci., 1989)

The design and specification of the ASSPEGIQUE database. - Michel Bidoit; Francis Capy; Christine Choppy (DISCO, 1990)

Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. - Christine Choppy; Stéphane Kaplan (ICSE, 1990)

About the Correctness and Adequacy of PLUSS Specifications. - Christine Choppy (COMPASS/ADT, 1992)

Integrating ASSPEGIQUE and LP. - Christine Choppy; Michel Bidoit (Larch, 1992)

Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience. - Michel Bidoit; Christine Choppy; Frédéric Voisin (COMPASS/ADT, 1995)

ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. - Michel Bidoit; Christine Choppy; Frédéric Voisin (AMAST, 1996)

A method for FORTRAN programs reverse engineering using algebraic specifications. - Sophie Cherki; Christine Choppy (WADT, 1997)

Concurrency and Data Types: A Specification Method: An Example with LOTOS. - Pascal Poizat; Christine Choppy; Jean-Claude Royer (WADT, 1998)

From Informal Requirements to COOP: A Concurrent Automata Approach. - Pascal Poizat; Christine Choppy; Jean-Claude Royer (World Congress on Formal Methods, 1999)

Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. - Christine Choppy; Gianna Reggio (WADT, 1999)

A Global Semantics for Views. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (AMAST, 2000)

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. - Gianna Reggio; Egidio Astesiano; Christine Choppy; Heinrich Hußmann (FASE, 2000)

Formal Specification of Mixed Components with Korrigan. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (APSEC, 2001)

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (FASE, 2001)

The Korrigan Environment. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (J. Univers. Comput. Sci., 2001)

Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. - Christine Choppy; Maritta Heisel (WADT, 2002)

Improving Use Case Based Requirements Using Formally Grounded Specifications. - Christine Choppy; Gianna Reggio (FASE, 2004)

Using UML for Problem Frame Oriented Software Development. - Christine Choppy; Gianna Reggio (IASSE, 2004)

Architectural patterns for problem frames. - Christine Choppy; Denis Hatebur; Maritta Heisel (IEE Proc. Softw., 2005)

A UML-based approach for problem frame oriented software development. - Christine Choppy; Gianna Reggio (Inf. Softw. Technol., 2005)

Component composition through architectural patterns for problem frames. - Christine Choppy; Denis Hatebur; Maritta Heisel (APSEC, 2006)

Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. - Christine Choppy; Gianna Reggio (ASWEC, 2006)

Tutorial on Formal Methods for Distributed and Cooperative Systems. - Christine Choppy; Serge Haddad; Hanna Klaudel; Fabrice Kordon; Laure Petrucci; Yann Thierry-Mieg (ICTAC, 2006)

A formally grounded software specification method. - Christine Choppy; Gianna Reggio (J. Log. Algebraic Methods Program., 2006)

A Modelling Approach with Coloured Petri Nets. - Christine Choppy; Laure Petrucci; Gianna Reggio (Ada-Europe, 2008)

Experimenting Formal Proofs of Petri Nets Refinements. - Christine Choppy; Micaela Mayero; Laure Petrucci (Refine@FM, 2008)

Coloured Petri Nets for Chronicle Recognition. - Christine Choppy; Olivier Bertrand; Patrice Carle (Ada-Europe, 2009)

A method for developing UML state machines. - Christine Choppy; Gianna Reggio (SAC, 2009)

Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. - Olivier Bertrand; Patrice Carle; Christine Choppy (SimuTools, 2009)

Viewpoint - Research evaluation for computer science. - Bertrand Meyer 001; Christine Choppy; Jørgen Staunstrup; Jan van Leeuwen (Commun. ACM, 2009)

A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. - Fabien Bonnefoi; Christine Choppy; Fabrice Kordon (Trans. Petri Nets Other Model. Concurr., 2009)

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. - Christine Choppy; Anna Dedova; Sami Evangelista; Silien Hong; Kais Klai; Laure Petrucci (Petri Nets, 2010)

A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). - Christine Choppy; Gianna Reggio (SAC, 2010)

Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. - Christine Choppy; Gianna Reggio (WADT, 2010)

Coloured Petri net refinement specification and correctness proof with Coq. - Christine Choppy; Micaela Mayero; Laure Petrucci (Innov. Syst. Softw. Eng., 2010)

Systematic Architectural Design Based on Problem Patterns. - Christine Choppy; Denis Hatebur; Maritta Heisel (Relating Software Requirements and Architectures, 2011)

Behaviour Recognition Using Chronicles. - Patrice Carle; Christine Choppy; Romain Kervarc (TASE, 2011)

Formal verification of UML state diagrams: a petri net based approach. - Christine Choppy; Kais Klai; Hacene Zidani (ACM SIGSOFT Softw. Eng. Notes, 2011)

Behavioural Analysis for Distributed Simulations. - Patrice Carle; Christine Choppy; Romain Kervarc; Ariane Piel (APSEC, 2012)

Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. - Christine Choppy; Gianna Reggio; Khanh-Dung Tran (KSE, 2012)

Designing architectures from problem descriptions by interactive model transformation. - Azadeh Alebrahim; Isabelle Côté; Maritta Heisel; Christine Choppy; Denis Hatebur (SAC, 2012)

Formalizing non-concurrent UML state machines using colored petri nets. - Étienne André; Christine Choppy; Kais Klai (ACM SIGSOFT Softw. Eng. Notes, 2012)

Modelling and Formal Verification of the NEO Protocol. - Christine Choppy; Anna Dedova; Sami Evangelista; Kais Klai; Laure Petrucci; Samir Youcef (Trans. Petri Nets Other Model. Concurr., 2012)

Coloured Petri Nets Refinements. - Christine Choppy; Laure Petrucci; Alfred Sanogo (PNSE+ModPE, 2013)

A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows. - Patrice Carle; Christine Choppy; Romain Kervarc; Ariane Piel (APSEC (1), 2013)

Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. - Patrice Carle; Christine Choppy; Romain Kervarc; Ariane Piel (FSFMA, 2013)

A Formal Semantics for Complete UML State Machines with Communications. - Shuang Liu 007; Yang Liu 003; Étienne André; Christine Choppy; Jun Sun 001; Bimlesh Wadhwa; Jin Song Dong (IFM, 2013)

Activity Diagrams Patterns for Modeling Business Processes. - Étienne André; Christine Choppy; Gianna Reggio (SERA (selected papers), 2013)

Optimizing Functional and Quality Requirements According to Stakeholders' Goals. - Azadeh Alebrahim; Christine Choppy; Stephan Faßbender; Maritta Heisel (Relating System Quality and Software Architecture, 2014)

Modelling Timed Concurrent Systems Using Activity Diagram Patterns. - Étienne André; Christine Choppy; Thierry Noulamo (KSE, 2014)

Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. - Étienne André; Mohamed Mahdi Benmoussa; Christine Choppy (ESSS, 2014)

A Framework for Defining and Comparing Modelling Methods. - Gianna Reggio; Egidio Astesiano; Christine Choppy (Software, Services, and Systems, 2015)

Formalising concurrent UML state machines using coloured Petri nets. - Étienne André; Mohamed Mahdi Benmoussa; Christine Choppy (Formal Aspects Comput., 2016)

Specialisation and Generalisation of Processes. - Christine Choppy; Jörg Desel; Laure Petrucci (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018)

Formalizing UML State Machines for Automated Verification - A Survey. - Étienne André; Shuang Liu 007; Yang Liu 003; Christine Choppy; Jun Sun 001; Jin Song Dong 001 (ACM Comput. Surv., 2023)

Formalizing UML State Machines for Automated Verification - A Survey. - Étienne André; Shuang Liu 007; Yang Liu 003; Christine Choppy; Jun Sun 001; Jin Song Dong (CoRR, 2024)