dblp.uni-trier.dewww.uni-trier.de

Christine Choppy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
46EEChristine Choppy, Olivier Bertrand, Patrice Carle: Coloured Petri Nets for Chronicle Recognition. Ada-Europe 2009: 266-281
45EEChristine Choppy, Gianna Reggio: A method for developing UML state machines. SAC 2009: 382-388
44EEOlivier Bertrand, Patrice Carle, Christine Choppy: Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. SimuTools 2009: 42
43EEBertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen: Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009)
2008
42EEChristine Choppy, Laure Petrucci, Gianna Reggio: A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86
41EEChristine Choppy, Micaela Mayero, Laure Petrucci: Experimenting Formal Proofs of Petri Nets Refinements. Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008)
2006
40EEChristine Choppy, Denis Hatebur, Maritta Heisel: Component composition through architectural patterns for problem frames. APSEC 2006: 27-36
39EEChristine Choppy, Gianna Reggio: Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC 2006: 19-28
38EEChristine 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
37EEChristine Choppy, Gianna Reggio: A formally grounded software specification method. J. Log. Algebr. Program. 67(1-2): 52-86 (2006)
2005
36EEChristine Choppy, Gianna Reggio: A UML-based approach for problem frame oriented software development. Information & Software Technology 47(14): 929-954 (2005)
2004
35EEChristine Choppy, Gianna Reggio: Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE 2004: 244-260
34 Christine Choppy, Gianna Reggio: Using UML for Problem Frame Oriented Software Development. IASSE 2004: 239-244
2002
33EEChristine Choppy, Maritta Heisel: Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. WADT 2002: 201-215
2001
32EEChristine Choppy, Pascal Poizat, Jean-Claude Royer: Formal Specification of Mixed Components with Korrigan. APSEC 2001: 169-176
31EEChristine 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
30EEChristine Choppy, Pascal Poizat, Jean-Claude Royer: The Korrigan Environment. J. UCS 7(1): 19-36 (2001)
2000
29 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 Springer 2000
28EEChristine Choppy, Pascal Poizat, Jean-Claude Royer: A Global Semantics for Views. AMAST 2000: 165-180
27EEGianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann: Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
1999
26 Christine Choppy, Gianna Reggio: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT 1999: 106-125
25EEPascal Poizat, Christine Choppy, Jean-Claude Royer: From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods 1999: 939-962
1998
24EEPascal Poizat, Christine Choppy, Jean-Claude Royer: Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT 1998: 277-292
1997
23 Sophie Cherki, Christine Choppy: A method for FORTRAN programs reverse engineering using algebraic specifications. WADT 1997: 156-173
1996
22 Michel Bidoit, Christine Choppy, Frédéric Voisin: ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. AMAST 1996: 555-558
1995
21 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
20 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 Springer 1993
1992
19 Christine Choppy: About the Correctness and Adequacy of PLUSS Specifications. COMPASS/ADT 1992: 128-143
18 Christine Choppy, Michel Bidoit: Integrating ASSPEGIQUE and LP. Larch 1992: 69-85
1990
17EEMichel Bidoit, Francis Capy, Christine Choppy: The design and specification of the ASSPEGIQUE database. DISCO 1990: 205-214
16 Christine Choppy, Stéphane Kaplan: Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. ICSE 1990: 173-184
1989
15EEStéphane Kaplan, Christine Choppy: Abstract Rewriting with Concrete Operations. RTA 1989: 178-186
14EEMichel Bidoit, Francis Capy, Christine Choppy: ASSPEGIQUE: An Integrated Specification Environment. RTA 1989: 547
13 Christine Choppy, Stéphane Kaplan, Michèle Soria: Complexity Analysis of Term-Rewriting Systems. Theor. Comput. Sci. 67(2&3): 261-282 (1989)
1987
12 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
11 Christine Choppy: Formal Specifications, Prototyping and Integration Tests. ESEC 1987: 172-179
10EEChristine Choppy, Stéphane Kaplan, Michèle Soria: Algorithmic Complexity of Term Rewriting Systems. RTA 1987: 256-273
9 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
8 Christine Choppy: Complexity of Abstract Data Types. ADT 1986
7EEGilles Bernot, Michel Bidoit, Christine Choppy: Algebraic Semantics of Exception Handling. ESOP 1986: 173-186
6EEGilles Bernot, Michel Bidoit, Christine Choppy: Abstract Implementations and Correctness Proofs. STACS 1986: 236-251
5 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)
1985
4EEChristine Choppy, Colette Johnen: PETRIREVE: Proving Petri Net Properties with Rewriting Systems. RTA 1985: 271-286
3EEChristine Choppy, G. Guiho, Stéphane Kaplan: A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. TAPSOFT, Vol.1 1985: 403-415
2EEMichel Bidoit, Christine Choppy: ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. TAPSOFT, Vol.2 1985: 246-260
1984
1 Michel Bidoit, Christine Choppy, Frédéric Voisin: The ASSPEGIQUE Specification Environment - Motivations and Design. ADT 1984: 54-72

Coauthor Index

1Egidio Astesiano [27]
2Gilles Bernot [5] [6] [7]
3Didier Bert [29]
4Olivier Bertrand [44] [46]
5Michel Bidoit [1] [2] [5] [6] [7] [9] [12] [14] [17] [18] [20] [21] [22]
6Francis Capy [9] [12] [14] [17]
7Patrice Carle [44] [46]
8Sophie Cherki [23]
9M.-A. Choquer [9]
10G. Guiho [3]
11Serge Haddad [38]
12Denis Hatebur [40]
13Maritta Heisel [33] [40]
14Heinrich Hußmann (Heinrich Hussmann) [27]
15Colette Johnen [4]
16Stéphane Kaplan [3] [9] [10] [12] [13] [15] [16]
17Hanna Klaudel [38]
18Fabrice Kordon [38]
19Jan van Leeuwen [43]
20Micaela Mayero [41]
21Bertrand Meyer [43]
22Peter D. Mosses [29]
23Laure Petrucci (Laure Petrucci-Dauchy) [38] [41] [42]
24Pascal Poizat [24] [25] [28] [30] [31] [32]
25Gianna Reggio [26] [27] [34] [35] [36] [37] [39] [42] [45]
26Jean-Claude Royer [24] [25] [28] [30] [31] [32]
27Françoise Schlienger [9] [12]
28Michèle Soria [10] [13]
29Jørgen Staunstrup [43]
30Yann Thierry-Mieg [38]
31Frédéric Voisin [1] [9] [12] [21] [22]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)