Christine Choppy

According to our database, Christine Choppy authored at least 70 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Formalizing UML State Machines for Automated Verification - A Survey.

Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong

ACM Comput. Surv., 2023

2018

Specialisation and Generalisation of Processes.

Christine Choppy, Jörg Desel, Laure Petrucci

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

2016

Formalising concurrent UML state machines using coloured Petri nets.

Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy

Formal Aspects Comput., 2016

2015

A Framework for Defining and Comparing Modelling Methods.

Gianna Reggio, Egidio Astesiano, Christine Choppy

Proceedings of the Software, 2015

2014

Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report.

Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy

Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

Modelling Timed Concurrent Systems Using Activity Diagram Patterns.

Étienne André, Christine Choppy, Thierry Noulamo

Proceedings of the Knowledge and Systems Engineering, 2014

Optimizing Functional and Quality Requirements According to Stakeholders' Goals.

Azadeh Alebrahim, Christine Choppy, Stephan Faßbender, Maritta Heisel

Proceedings of the Relating System Quality and Software Architecture, 2014

2013

Activity Diagrams Patterns for Modeling Business Processes.

Étienne André, Christine Choppy, Gianna Reggio

Proceedings of the Software Engineering Research, 2013

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

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Coloured Petri Nets Refinements.

Christine Choppy, Laure Petrucci, Alfred Sanogo

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

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

Formalizing non-concurrent UML state machines using colored petri nets.

Étienne André, Christine Choppy, Kais Klai

ACM SIGSOFT Softw. Eng. Notes, 2012

Designing architectures from problem descriptions by interactive model transformation.

Azadeh Alebrahim, Isabelle Côté, Maritta Heisel, Christine Choppy, Denis Hatebur

Proceedings of the ACM Symposium on Applied Computing, 2012

Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML.

Christine Choppy, Gianna Reggio, Khanh-Dung Tran

Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

Behavioural Analysis for Distributed Simulations.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Formal verification of UML state diagrams: a petri net based approach.

Christine Choppy, Kais Klai, Hacene Zidani

ACM SIGSOFT Softw. Eng. Notes, 2011

Behaviour Recognition Using Chronicles.

Patrice Carle, Christine Choppy, Romain Kervarc

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Systematic Architectural Design Based on Problem Patterns.

Christine Choppy, Denis Hatebur, Maritta Heisel

Proceedings of the Relating Software Requirements and Architectures., 2011

2010

Coloured Petri net refinement specification and correctness proof with Coq.

Christine Choppy, Micaela Mayero, Laure Petrucci

Innov. Syst. Softw. Eng., 2010

Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation.

Christine Choppy, Gianna Reggio

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation).

Christine Choppy, Gianna Reggio

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

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

Proceedings of the Applications and Theory of Petri Nets, 2010

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

Viewpoint - Research evaluation for computer science.

Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen

Commun. ACM, 2009

Modelling chronicle recognition for distributed simulation processing with coloured Petri nets.

Olivier Bertrand, Patrice Carle, Christine Choppy

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

A method for developing UML state machines.

Christine Choppy, Gianna Reggio

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Coloured Petri Nets for Chronicle Recognition.

Christine Choppy, Olivier Bertrand, Patrice Carle

Proceedings of the Reliable Software Technologies, 2009

2008

Experimenting Formal Proofs of Petri Nets Refinements.

Christine Choppy, Micaela Mayero, Laure Petrucci

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

A Modelling Approach with Coloured Petri Nets.

Christine Choppy, Laure Petrucci, Gianna Reggio

Proceedings of the Reliable Software Technologies, 2008

2006

A formally grounded software specification method.

Christine Choppy, Gianna Reggio

J. Log. Algebraic Methods Program., 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.

Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg

Proceedings of the Theoretical Aspects of Computing, 2006

Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt.

Christine Choppy, Gianna Reggio

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

Component composition through architectural patterns for problem frames.

Christine Choppy, Denis Hatebur, Maritta Heisel

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

A UML-based approach for problem frame oriented software development.

Christine Choppy, Gianna Reggio

Inf. Softw. Technol., 2005

Architectural patterns for problem frames.

Christine Choppy, Denis Hatebur, Maritta Heisel

IEE Proc. Softw., 2005

2004

Using UML for Problem Frame Oriented Software Development.

Christine Choppy, Gianna Reggio

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Improving Use Case Based Requirements Using Formally Grounded Specifications.

Christine Choppy, Gianna Reggio

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2002

Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs.

Christine Choppy, Maritta Heisel

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

The Korrigan Environment.

Christine Choppy, Pascal Poizat, Jean-Claude Royer

J. Univers. Comput. Sci., 2001

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.

Christine Choppy, Pascal Poizat, Jean-Claude Royer

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Formal Specification of Mixed Components with Korrigan.

Christine Choppy, Pascal Poizat, Jean-Claude Royer

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.

Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann

Proceedings of the Fundamental Approaches to Software Engineering, 2000

A Global Semantics for Views.

Christine Choppy, Pascal Poizat, Jean-Claude Royer

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Using CASL to Specify the Requirements and the Design: A Problem Specific Approach.

Christine Choppy, Gianna Reggio

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

From Informal Requirements to COOP: A Concurrent Automata Approach.

Pascal Poizat, Christine Choppy, Jean-Claude Royer

Proceedings of the FM'99 - Formal Methods, 1999

1998

Concurrency and Data Types: A Specification Method: An Example with LOTOS.

Pascal Poizat, Christine Choppy, Jean-Claude Royer

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997

A method for FORTRAN programs reverse engineering using algebraic specifications.

Sophie Cherki, Christine Choppy

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

1996

ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools.

Michel Bidoit, Christine Choppy, Frédéric Voisin

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU⁺/LP Experience.

Michel Bidoit, Christine Choppy, Frédéric Voisin

Proceedings of the Recent Trends in Data Type Specification, 1995

1992

Integrating ASSPEGIQUE and LP.

Christine Choppy, Michel Bidoit

Proceedings of the First International Workshop on Larch, 1992

About the Correctness and Adequacy of PLUSS Specifications.

Christine Choppy

Proceedings of the Recent Trends in Data Type Specification, 1992

1990

Mixing Abstract and Concrete Modules: Specification, Development and Prototyping.

Christine Choppy, Stéphane Kaplan

Proceedings of the 12th International Conference on Software Engineering, 1990

The design and specification of the ASSPEGIQUE database.

Michel Bidoit, Francis Capy, Christine Choppy

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1989

Complexity Analysis of Term-Rewriting Systems.

Christine Choppy, Stéphane Kaplan, Michèle Soria

Theor. Comput. Sci., 1989

Abstract Rewriting with Concrete Operations.

Stéphane Kaplan, Christine Choppy

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

ASSPEGIQUE: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

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

Proceedings of the STACS 87, 1987

Algorithmic Complexity of Term Rewriting Systems.

Christine Choppy, Stéphane Kaplan, Michèle Soria

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

Formal Specifications, Prototyping and Integration Tests.

Christine Choppy

Proceedings of the ESEC '87, 1987

ASSPEGIQUE: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin

Proceedings of the Conditional Term Rewriting Systems, 1987

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

Abstract Implementations and Correctness Proofs.

Gilles Bernot, Michel Bidoit, Christine Choppy

Proceedings of the STACS 86, 1986

Algebraic Semantics of Exception Handling.

Gilles Bernot, Michel Bidoit, Christine Choppy

Proceedings of the ESOP 86, 1986

Complexity of Abstract Data Types.

Christine Choppy

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics.

Christine Choppy, G. Guiho, Stéphane Kaplan

Proceedings of the Mathematical Foundations of Software Development, 1985

ASSPEGIQUE: An Integrated Environment for Algebraic Specifications.

Michel Bidoit, Christine Choppy

Proceedings of the Mathematical Foundations of Software Development, 1985

PETRIREVE: Proving Petri Net Properties with Rewriting Systems.

Christine Choppy, Colette Johnen

Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

1984

The ASSPEGIQUE Specification Environment - Motivations and Design.

Michel Bidoit, Christine Choppy, Frédéric Voisin

Proceedings of the Recent Trends in Data Type Specification, 1984