Christine Choppy

Affiliations:
  • University of Paris 13, France


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Formalizing UML State Machines for Automated Verification - A Survey.
ACM Comput. Surv., 2023

2018
Specialisation and Generalisation of Processes.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

2016
Formalising concurrent UML state machines using coloured Petri nets.
Formal Aspects Comput., 2016

2015
A Framework for Defining and Comparing Modelling Methods.
Proceedings of the Software, 2015

2014
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report.
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

Modelling Timed Concurrent Systems Using Activity Diagram Patterns.
Proceedings of the Knowledge and Systems Engineering, 2014

Optimizing Functional and Quality Requirements According to Stakeholders' Goals.
Proceedings of the Relating System Quality and Software Architecture, 2014

2013
Activity Diagrams Patterns for Modeling Business Processes.
Proceedings of the Software Engineering Research, 2013

A Formal Semantics for Complete UML State Machines with Communications.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns.
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.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Coloured Petri Nets Refinements.
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.
Trans. Petri Nets Other Model. Concurr., 2012

Formalizing non-concurrent UML state machines using colored petri nets.
ACM SIGSOFT Softw. Eng. Notes, 2012

Designing architectures from problem descriptions by interactive model transformation.
Proceedings of the ACM Symposium on Applied Computing, 2012

Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML.
Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

Behavioural Analysis for Distributed Simulations.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Formal verification of UML state diagrams: a petri net based approach.
ACM SIGSOFT Softw. Eng. Notes, 2011

Behaviour Recognition Using Chronicles.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Systematic Architectural Design Based on Problem Patterns.
Proceedings of the Relating Software Requirements and Architectures., 2011

2010
Coloured Petri net refinement specification and correctness proof with Coq.
Innov. Syst. Softw. Eng., 2010

Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation).
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.
Proceedings of the Applications and Theory of Petri Nets, 2010

2009
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example.
Trans. Petri Nets Other Model. Concurr., 2009

Viewpoint - Research evaluation for computer science.
Commun. ACM, 2009

Modelling chronicle recognition for distributed simulation processing with coloured Petri nets.
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

A method for developing UML state machines.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Coloured Petri Nets for Chronicle Recognition.
Proceedings of the Reliable Software Technologies, 2009

2008
Experimenting Formal Proofs of Petri Nets Refinements.
Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

A Modelling Approach with Coloured Petri Nets.
Proceedings of the Reliable Software Technologies, 2008

2006
A formally grounded software specification method.
J. Log. Algebraic Methods Program., 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.
Proceedings of the Theoretical Aspects of Computing, 2006

Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

Component composition through architectural patterns for problem frames.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005
A UML-based approach for problem frame oriented software development.
Inf. Softw. Technol., 2005

Architectural patterns for problem frames.
IEE Proc. Softw., 2005

2004
Using UML for Problem Frame Oriented Software Development.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

2002
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001
The Korrigan Environment.
J. Univers. Comput. Sci., 2001

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Formal Specification of Mixed Components with Korrigan.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

A Global Semantics for Views.
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.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

From Informal Requirements to COOP: A Concurrent Automata Approach.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Concurrency and Data Types: A Specification Method: An Example with LOTOS.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997
A method for FORTRAN programs reverse engineering using algebraic specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

1996
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU<sup>+</sup>/LP Experience.
Proceedings of the Recent Trends in Data Type Specification, 1995

1992
Integrating ASSPEGIQUE and LP.
Proceedings of the First International Workshop on Larch, 1992

About the Correctness and Adequacy of PLUSS Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1992

1990
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping.
Proceedings of the 12th International Conference on Software Engineering, 1990

The design and specification of the ASSPEGIQUE database.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1989
Complexity Analysis of Term-Rewriting Systems.
Theor. Comput. Sci., 1989

Abstract Rewriting with Concrete Operations.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

ASSPEGIQUE: An Integrated Specification Environment.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1987
Asspegique: An Integrated Specification Environment.
Proceedings of the STACS 87, 1987

Algorithmic Complexity of Term Rewriting Systems.
Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

Formal Specifications, Prototyping and Integration Tests.
Proceedings of the ESEC '87, 1987

ASSPEGIQUE: An Integrated Specification Environment.
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.
Theor. Comput. Sci., 1986

Abstract Implementations and Correctness Proofs.
Proceedings of the STACS 86, 1986

Algebraic Semantics of Exception Handling.
Proceedings of the ESOP 86, 1986

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

1985
A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics.
Proceedings of the Mathematical Foundations of Software Development, 1985

ASSPEGIQUE: An Integrated Environment for Algebraic Specifications.
Proceedings of the Mathematical Foundations of Software Development, 1985

PETRIREVE: Proving Petri Net Properties with Rewriting Systems.
Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

1984
The ASSPEGIQUE Specification Environment - Motivations and Design.
Proceedings of the Recent Trends in Data Type Specification, 1984


  Loading...