default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristine Choppy
Person information
- affiliation: University of Paris 13, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i1]Étienne André, Shuang Liu, Yang Liu
, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. CoRR abs/2407.17215 (2024)- 2023
- [j15]É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): 277:1-277:47 (2023)
2010 – 2019
- 2018
- [j14]Christine Choppy, Jörg Desel, Laure Petrucci:
Specialisation and Generalisation of Processes. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13(Special): 35-46 (2018) - 2016
- [j13]Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
Formalising concurrent UML state machines using coloured Petri nets. Formal Aspects Comput. 28(5): 805-845 (2016) - 2015
- [c56]Gianna Reggio, Egidio Astesiano, Christine Choppy:
A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems 2015: 377-408 - 2014
- [c55]Étienne André, Christine Choppy, Thierry Noulamo:
Modelling Timed Concurrent Systems Using Activity Diagram Patterns. KSE 2014: 339-351 - [c54]Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
Formalising Concurrent UML State Machines Using Coloured Petri Nets. KSE 2014: 473-486 - [c53]Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. ESSS 2014: 1-7 - [p2]Azadeh Alebrahim, Christine Choppy, Stephan Faßbender, Maritta Heisel:
Optimizing Functional and Quality Requirements According to Stakeholders' Goals. Relating System Quality and Software Architecture 2014: 75-120 - 2013
- [c52]Christine Choppy, Laure Petrucci, Alfred Sanogo:
Coloured Petri Nets Refinements. PNSE+ModPE 2013: 187-201 - [c51]Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel:
A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows. APSEC (1) 2013: 323-330 - [c50]Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel:
Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. FSFMA 2013: 86-91 - [c49]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: 331-346 - [c48]Étienne André, Christine Choppy, Gianna Reggio:
Activity Diagrams Patterns for Modeling Business Processes. SERA (selected papers) 2013: 197-213 - [e4]Christine Choppy, Jun Sun:
1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore. OASIcs 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-56-9 [contents] - 2012
- [j12]Étienne André, Christine Choppy, Kais Klai:
Formalizing non-concurrent UML state machines using colored petri nets. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [j11]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: 197-225 (2012) - [c47]Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel:
Behavioural Analysis for Distributed Simulations. APSEC 2012: 482-487 - [c46]Christine Choppy, Gianna Reggio, Khanh-Dung Tran:
Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. KSE 2012: 187-194 - [c45]Azadeh Alebrahim, Isabelle Côté, Maritta Heisel, Christine Choppy, Denis Hatebur:
Designing architectures from problem descriptions by interactive model transformation. SAC 2012: 1256-1258 - 2011
- [j10]Christine Choppy, Kais Klai, Hacene Zidani:
Formal verification of UML state diagrams: a petri net based approach. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c44]Christine Choppy, Jörg Desel, Laure Petrucci:
Specialisation and Generalisation of Processes. PNSE 2011: 109-123 - [c43]Patrice Carle, Christine Choppy, Romain Kervarc:
Behaviour Recognition Using Chronicles. TASE 2011: 100-107 - [p1]Christine Choppy, Denis Hatebur, Maritta Heisel:
Systematic Architectural Design Based on Problem Patterns. Relating Software Requirements and Architectures 2011: 133-159 - 2010
- [j9]Christine Choppy, Micaela Mayero, Laure Petrucci:
Coloured Petri net refinement specification and correctness proof with Coq. Innov. Syst. Softw. Eng. 6(3): 195-202 (2010) - [c42]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 - [c41]Christine Choppy, Gianna Reggio:
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). SAC 2010: 2451-2458 - [c40]Christine Choppy, Gianna Reggio:
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. WADT 2010: 76-97 - [e3]Christine Choppy, Oleg Sokolsky:
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 [contents]
2000 – 2009
- 2009
- [j8]Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen:
Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009) - [j7]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: 159-188 (2009) - [c39]Christine Choppy, Olivier Bertrand, Patrice Carle:
Coloured Petri Nets for Chronicle Recognition. Ada-Europe 2009: 266-281 - [c38]Christine Choppy, Micaela Mayero, Laure Petrucci:
Coloured Petri net refinement specification, and correctness proof with Coq. NASA Formal Methods 2009: 156-165 - [c37]Christine Choppy, Gianna Reggio:
A method for developing UML state machines. SAC 2009: 382-388 - [c36]Olivier Bertrand, Patrice Carle, Christine Choppy:
Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. SimuTools 2009: 42 - 2008
- [c35]Christine Choppy, Laure Petrucci, Gianna Reggio:
A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86 - [c34]Christine Choppy, Micaela Mayero, Laure Petrucci:
Experimenting Formal Proofs of Petri Nets Refinements. Refine@FM 2008: 231-254 - 2006
- [j6]Christine Choppy, Gianna Reggio:
A formally grounded software specification method. J. Log. Algebraic Methods Program. 67(1-2): 52-86 (2006) - [c33]Christine Choppy, Denis Hatebur, Maritta Heisel:
Component composition through architectural patterns for problem frames. APSEC 2006: 27-36 - [c32]Christine Choppy, Gianna Reggio:
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC 2006: 19-28 - [c31]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 - 2005
- [j5]Christine Choppy, Denis Hatebur, Maritta Heisel:
Architectural patterns for problem frames. IEE Proc. Softw. 152(4): 198-208 (2005) - [j4]Christine Choppy, Gianna Reggio:
A UML-based approach for problem frame oriented software development. Inf. Softw. Technol. 47(14): 929-954 (2005) - 2004
- [c30]Christine Choppy, Gianna Reggio:
Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE 2004: 244-260 - [c29]Christine Choppy, Gianna Reggio:
Using UML for Problem Frame Oriented Software Development. IASSE 2004: 239-244 - 2002
- [c28]Christine Choppy, Maritta Heisel:
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. WADT 2002: 201-215 - 2001
- [j3]Christine Choppy, Pascal Poizat, Jean-Claude Royer:
The Korrigan Environment. J. Univers. Comput. Sci. 7(1): 19-36 (2001) - [c27]Christine Choppy, Pascal Poizat, Jean-Claude Royer:
Formal Specification of Mixed Components with Korrigan. APSEC 2001: 169-176 - [c26]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 - 2000
- [c25]Christine Choppy, Pascal Poizat, Jean-Claude Royer:
A Global Semantics for Views. AMAST 2000: 165-180 - [c24]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 - [e2]Didier Bert, Christine Choppy, Peter D. Mosses:
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 [contents]
1990 – 1999
- 1999
- [c23]Pascal Poizat, Christine Choppy, Jean-Claude Royer:
From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods 1999: 939-962 - [c22]Christine Choppy, Gianna Reggio:
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT 1999: 106-125 - 1998
- [c21]Pascal Poizat, Christine Choppy, Jean-Claude Royer:
Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT 1998: 277-292 - 1997
- [c20]Sophie Cherki, Christine Choppy:
A method for FORTRAN programs reverse engineering using algebraic specifications. WADT 1997: 156-173 - 1996
- [c19]Michel Bidoit, Christine Choppy, Frédéric Voisin:
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. AMAST 1996: 555-558 - 1995
- [c18]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 - 1993
- [e1]Michel Bidoit, Christine Choppy:
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 [contents] - 1992
- [c17]Christine Choppy:
About the Correctness and Adequacy of PLUSS Specifications. COMPASS/ADT 1992: 128-143 - [c16]Christine Choppy, Michel Bidoit:
Integrating ASSPEGIQUE and LP. Larch 1992: 69-85 - 1990
- [c15]Michel Bidoit, Francis Capy, Christine Choppy:
The design and specification of the ASSPEGIQUE database. DISCO 1990: 205-214 - [c14]Christine Choppy, Stéphane Kaplan:
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. ICSE 1990: 173-184
1980 – 1989
- 1989
- [j2]Christine Choppy, Stéphane Kaplan, Michèle Soria:
Complexity Analysis of Term-Rewriting Systems. Theor. Comput. Sci. 67(2&3): 261-282 (1989) - [c13]Stéphane Kaplan, Christine Choppy:
Abstract Rewriting with Concrete Operations. RTA 1989: 178-186 - [c12]Michel Bidoit, Francis Capy, Christine Choppy:
ASSPEGIQUE: An Integrated Specification Environment. RTA 1989: 547 - 1987
- [c11]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 - [c10]Christine Choppy:
Formal Specifications, Prototyping and Integration Tests. ESEC 1987: 172-179 - [c9]Christine Choppy, Stéphane Kaplan, Michèle Soria:
Algorithmic Complexity of Term Rewriting Systems. RTA 1987: 256-273 - [c8]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 - 1986
- [j1]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) - [c7]Christine Choppy:
Complexity of Abstract Data Types. ADT 1986 - [c6]Gilles Bernot, Michel Bidoit, Christine Choppy:
Algebraic Semantics of Exception Handling. ESOP 1986: 173-186 - [c5]Gilles Bernot, Michel Bidoit, Christine Choppy:
Abstract Implementations and Correctness Proofs. STACS 1986: 236-251 - 1985
- [c4]Christine Choppy, Colette Johnen:
PETRIREVE: Proving Petri Net Properties with Rewriting Systems. RTA 1985: 271-286 - [c3]Michel Bidoit, Christine Choppy:
ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. TAPSOFT, Vol.2 1985: 246-260 - [c2]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 - 1984
- [c1]Michel Bidoit, Christine Choppy, Frédéric Voisin:
The ASSPEGIQUE Specification Environment - Motivations and Design. ADT 1984: 54-72
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
