Christine Choppy

Étienne André, Christine Choppy, Kais Klai: Formalizing non-concurrent UML state machines using colored petri nets. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef: Modelling and Formal Verification of the NEO Protocol. T. Petri Nets and Other Models of Concurrency 6: 197-225 (2012)

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel: Behavioural Analysis for Distributed Simulations. APSEC 2012: 482-487

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

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

Christine Choppy, Kais Klai, Hacene Zidani: Formal verification of UML state diagrams: a petri net based approach. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)

Christine Choppy, Denis Hatebur, Maritta Heisel: Systematic Architectural Design Based on Problem Patterns. Relating Software Requirements and Architectures 2011: 133-159

Patrice Carle, Christine Choppy, Romain Kervarc: Behaviour Recognition Using Chronicles. TASE 2011: 100-107

Christine Choppy, Micaela Mayero, Laure Petrucci: Coloured Petri net refinement specification and correctness proof with Coq. ISSE 6(3): 195-202 (2010)

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

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

Christine Choppy, Gianna Reggio: Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. WADT 2010: 76-97

Christine Choppy, Oleg Sokolsky (Eds.): Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers. Lecture Notes in Computer Science 6028, Springer 2010, isbn 978-3-642-12565-2

Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen: Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009)

Fabien Bonnefoi, Christine Choppy, Fabrice Kordon: A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. T. Petri Nets and Other Models of Concurrency 3: 159-188 (2009)

Christine Choppy, Olivier Bertrand, Patrice Carle: Coloured Petri Nets for Chronicle Recognition. Ada-Europe 2009: 266-281

Christine Choppy, Micaela Mayero, Laure Petrucci: Coloured Petri net refinement specification, and correctness proof with Coq. NASA Formal Methods 2009: 156-165

Christine Choppy, Gianna Reggio: A method for developing UML state machines. SAC 2009: 382-388

Olivier Bertrand, Patrice Carle, Christine Choppy: Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. SimuTools 2009: 42

Christine Choppy, Micaela Mayero, Laure Petrucci: Experimenting Formal Proofs of Petri Nets Refinements. Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008)

Christine Choppy, Laure Petrucci, Gianna Reggio: A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86

Christine Choppy, Gianna Reggio: A formally grounded software specification method. J. Log. Algebr. Program. 67(1-2): 52-86 (2006)

Christine Choppy, Denis Hatebur, Maritta Heisel: Component composition through architectural patterns for problem frames. APSEC 2006: 27-36

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

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

Christine Choppy, Gianna Reggio: A UML-based approach for problem frame oriented software development. Information & Software Technology 47(14): 929-954 (2005)

Christine Choppy, Gianna Reggio: Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE 2004: 244-260

Christine Choppy, Gianna Reggio: Using UML for Problem Frame Oriented Software Development. IASSE 2004: 239-244

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

Christine Choppy, Pascal Poizat, Jean-Claude Royer: The Korrigan Environment. J. UCS 7(1): 19-36 (2001)

Christine Choppy, Pascal Poizat, Jean-Claude Royer: Formal Specification of Mixed Components with Korrigan. APSEC 2001: 169-176

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

Christine Choppy, Pascal Poizat, Jean-Claude Royer: A Global Semantics for Views. AMAST 2000: 165-180

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

Didier Bert, Christine Choppy, Peter D. Mosses (Eds.): Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Lecture Notes in Computer Science 1827, Springer 2000, isbn 3-540-67898-0

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

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

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

Sophie Cherki, Christine Choppy: A method for FORTRAN programs reverse engineering using algebraic specifications. WADT 1997: 156-173

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

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

Michel Bidoit, Christine Choppy (Eds.): 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. Lecture Notes in Computer Science 655, Springer 1993, isbn 3-540-56379-2

Christine Choppy: About the Correctness and Adequacy of PLUSS Specifications. COMPASS/ADT 1992: 128-143

Christine Choppy, Michel Bidoit: Integrating ASSPEGIQUE and LP. Larch 1992: 69-85

Michel Bidoit, Francis Capy, Christine Choppy: The design and specification of the ASSPEGIQUE database. DISCO 1990: 205-214

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

Christine Choppy, Stéphane Kaplan, Michèle Soria: Complexity Analysis of Term-Rewriting Systems. Theor. Comput. Sci. 67(2&3): 261-282 (1989)

Stéphane Kaplan, Christine Choppy: Abstract Rewriting with Concrete Operations. RTA 1989: 178-186

Michel Bidoit, Francis Capy, Christine Choppy: ASSPEGIQUE: An Integrated Specification Environment. RTA 1989: 547

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

Christine Choppy: Formal Specifications, Prototyping and Integration Tests. ESEC 1987: 172-179

Christine Choppy, Stéphane Kaplan, Michèle Soria: Algorithmic Complexity of Term Rewriting Systems. RTA 1987: 256-273

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

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)

Christine Choppy: Complexity of Abstract Data Types. ADT 1986

Gilles Bernot, Michel Bidoit, Christine Choppy: Algebraic Semantics of Exception Handling. ESOP 1986: 173-186

Gilles Bernot, Michel Bidoit, Christine Choppy: Abstract Implementations and Correctness Proofs. STACS 1986: 236-251

Christine Choppy, Colette Johnen: PETRIREVE: Proving Petri Net Properties with Rewriting Systems. RTA 1985: 271-286

Michel Bidoit, Christine Choppy: ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. TAPSOFT, Vol.2 1985: 246-260

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

Michel Bidoit, Christine Choppy, Frédéric Voisin: The ASSPEGIQUE Specification Environment - Motivations and Design. ADT 1984: 54-72