Christine Choppy

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 4

Top Topics

Sequence Diagrams

Automated Verification

Top Venues

Software, Services, and Systems

Formal Aspects Comput.

Publications

Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
Formalizing UML State Machines for Automated Verification - A Survey. CoRR (2024)
Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. 55 (13s) (2023)
Christine Choppy, Jörg Desel, Laure Petrucci
Specialisation and Generalisation of Processes. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13 (Special) (2018)
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
Formalising concurrent UML state machines using coloured Petri nets. Formal Aspects Comput. 28 (5) (2016)
Gianna Reggio, Egidio Astesiano, Christine Choppy
A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems (2015)
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
Formalising Concurrent UML State Machines Using Coloured Petri Nets. KSE (2014)
Étienne André, Christine Choppy, Thierry Noulamo
Modelling Timed Concurrent Systems Using Activity Diagram Patterns. KSE (2014)
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. ESSS (2014)
Étienne André, Christine Choppy, Gianna Reggio
Activity Diagrams Patterns for Modeling Business Processes. SERA (selected papers) (2013)
Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. FSFMA (2013)
Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows. APSEC (1) (2013)
Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong
A Formal Semantics for Complete UML State Machines with Communications. IFM (2013)
Christine Choppy, Laure Petrucci, Alfred Sanogo
Coloured Petri Nets Refinements. PNSE+ModPE (2013)
Christine Choppy, Gianna Reggio, Khanh-Dung Tran
Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. KSE (2012)
Étienne André, Christine Choppy, Kais Klai
Formalizing non-concurrent UML state machines using colored petri nets. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
Behavioural Analysis for Distributed Simulations. APSEC (2012)
Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef
Modelling and Formal Verification of the NEO Protocol. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Azadeh Alebrahim, Isabelle Côté, Maritta Heisel, Christine Choppy, Denis Hatebur
Designing architectures from problem descriptions by interactive model transformation. SAC (2012)
Christine Choppy, Jörg Desel, Laure Petrucci
Specialisation and Generalisation of Processes. PNSE (2011)
Christine Choppy, Kais Klai, Hacene Zidani
Formal verification of UML state diagrams: a petri net based approach. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Patrice Carle, Christine Choppy, Romain Kervarc
Behaviour Recognition Using Chronicles. TASE (2011)
Christine Choppy, Gianna Reggio
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). SAC (2010)
Christine Choppy, Micaela Mayero, Laure Petrucci
Coloured Petri net refinement specification and correctness proof with Coq. Innov. Syst. Softw. Eng. 6 (3) (2010)
Christine Choppy, Gianna Reggio
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. WADT (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)
Christine Choppy, Micaela Mayero, Laure Petrucci
Coloured Petri net refinement specification, and correctness proof with Coq. NASA Formal Methods (2009)
Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen
Viewpoint - Research evaluation for computer science. Commun. ACM 52 (4) (2009)
Christine Choppy, Olivier Bertrand, Patrice Carle
Coloured Petri Nets for Chronicle Recognition. Ada-Europe (2009)
Olivier Bertrand, Patrice Carle, Christine Choppy
Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. SimuTools (2009)
Fabien Bonnefoi, Christine Choppy, Fabrice Kordon
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Christine Choppy, Gianna Reggio
A method for developing UML state machines. SAC (2009)
Christine Choppy, Micaela Mayero, Laure Petrucci
Experimenting Formal Proofs of Petri Nets Refinements. Electron. Notes Theor. Comput. Sci. 214 (2008)
Christine Choppy, Laure Petrucci, Gianna Reggio
A Modelling Approach with Coloured Petri Nets. Ada-Europe (2008)
Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC (2006)
Christine Choppy, Denis Hatebur, Maritta Heisel
Component composition through architectural patterns for problem frames. APSEC (2006)
Christine Choppy, Gianna Reggio
A formally grounded software specification method. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Christine Choppy, Gianna Reggio
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC (2006)
Christine Choppy, Gianna Reggio
A UML-based approach for problem frame oriented software development. Inf. Softw. Technol. 47 (14) (2005)
Christine Choppy, Denis Hatebur, Maritta Heisel
Architectural patterns for problem frames. IEE Proc. Softw. 152 (4) (2005)
Christine Choppy, Gianna Reggio
Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE (2004)
Christine Choppy, Gianna Reggio
Using UML for Problem Frame Oriented Software Development. IASSE (2004)
Christine Choppy, Maritta Heisel
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. WADT (2002)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
Formal Specification of Mixed Components with Korrigan. APSEC (2001)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. FASE (2001)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
The Korrigan Environment. J. Univers. Comput. Sci. 7 (1) (2001)
Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE (2000)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
A Global Semantics for Views. AMAST (2000)
Christine Choppy, Gianna Reggio
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT (1999)
Pascal Poizat, Christine Choppy, Jean-Claude Royer
From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods (1999)
Pascal Poizat, Christine Choppy, Jean-Claude Royer
Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT (1998)
Sophie Cherki, Christine Choppy
A method for FORTRAN programs reverse engineering using algebraic specifications. WADT (1997)
Michel Bidoit, Christine Choppy, Frédéric Voisin
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. AMAST (1996)
Michel Bidoit, Christine Choppy, Frédéric Voisin
/LP Experience. COMPASS/ADT (1995)
Christine Choppy, Michel Bidoit
Integrating ASSPEGIQUE and LP. Larch (1992)
Christine Choppy
About the Correctness and Adequacy of PLUSS Specifications. COMPASS/ADT (1992)
Christine Choppy, Stéphane Kaplan
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. ICSE (1990)
Michel Bidoit, Francis Capy, Christine Choppy
The design and specification of the ASSPEGIQUE database. DISCO (1990)
Stéphane Kaplan, Christine Choppy
Abstract Rewriting with Concrete Operations. RTA (1989)
Michel Bidoit, Francis Capy, Christine Choppy
ASSPEGIQUE: An Integrated Specification Environment. RTA (1989)
Christine Choppy, Stéphane Kaplan, Michèle Soria
Complexity Analysis of Term-Rewriting Systems. Theor. Comput. Sci. 67 (2&3) (1989)
Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
ASSPEGIQUE: An Integrated Specification Environment. CTRS (1987)
Christine Choppy
Formal Specifications, Prototyping and Integration Tests. ESEC (1987)
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)
Christine Choppy, Stéphane Kaplan, Michèle Soria
Algorithmic Complexity of Term Rewriting Systems. RTA (1987)
Gilles Bernot, Michel Bidoit, Christine Choppy
Algebraic Semantics of Exception Handling. ESOP (1986)
Christine Choppy
Complexity of Abstract Data Types. ADT (1986)
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) (1986)
Gilles Bernot, Michel Bidoit, Christine Choppy
Abstract Implementations and Correctness Proofs. STACS (1986)
Christine Choppy, G. Guiho, Stéphane Kaplan
A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. TAPSOFT, Vol.1 (1985)
Christine Choppy, Colette Johnen
PETRIREVE: Proving Petri Net Properties with Rewriting Systems. RTA (1985)
Michel Bidoit, Christine Choppy
ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. TAPSOFT, Vol.2 (1985)
Michel Bidoit, Christine Choppy, Frédéric Voisin
The ASSPEGIQUE Specification Environment - Motivations and Design. ADT (1984)