Christine Choppy

	2011
55		Patrice Carle, Christine Choppy, Romain Kervarc: Behaviour Recognition Using Chronicles. TASE 2011: 100-107
54		Christine Choppy, Denis Hatebur, Maritta Heisel: Systematic Architectural Design Based on Problem Patterns. Relating Software Requirements and Architectures 2011: 133-159
53		Christine Choppy, Kais Klai, Hacene Zidani: Formal verification of UML state diagrams: a petri net based approach. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
	2010
52		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 Springer 2010
51		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
50		Christine Choppy, Gianna Reggio: A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). SAC 2010: 2451-2458
49		Christine Choppy, Gianna Reggio: Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. WADT 2010: 76-97
48		Christine Choppy, Micaela Mayero, Laure Petrucci: Coloured Petri net refinement specification and correctness proof with Coq. ISSE 6(3): 195-202 (2010)
	2009
47		Christine Choppy, Olivier Bertrand, Patrice Carle: Coloured Petri Nets for Chronicle Recognition. Ada-Europe 2009: 266-281
46		Christine Choppy, Gianna Reggio: A method for developing UML state machines. SAC 2009: 382-388
45		Olivier Bertrand, Patrice Carle, Christine Choppy: Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. SimuTools 2009: 42
44		Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen: Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009)
43		Fabien Bonnefoi, Christine Choppy, Fabrice Kordon: A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. T. Petri Nets and Other Models of Concurrency 3: 159-188 (2009)
	2008
42		Christine Choppy, Laure Petrucci, Gianna Reggio: A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86
41		Christine Choppy, Micaela Mayero, Laure Petrucci: Experimenting Formal Proofs of Petri Nets Refinements. Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008)
	2006
40		Christine Choppy, Denis Hatebur, Maritta Heisel: Component composition through architectural patterns for problem frames. APSEC 2006: 27-36
39		Christine Choppy, Gianna Reggio: Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC 2006: 19-28
38		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
37		Christine Choppy, Gianna Reggio: A formally grounded software specification method. J. Log. Algebr. Program. 67(1-2): 52-86 (2006)
	2005
36		Christine Choppy, Gianna Reggio: A UML-based approach for problem frame oriented software development. Information & Software Technology 47(14): 929-954 (2005)
	2004
35		Christine 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
33		Christine Choppy, Maritta Heisel: Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. WADT 2002: 201-215
	2001
32		Christine Choppy, Pascal Poizat, Jean-Claude Royer: Formal Specification of Mixed Components with Korrigan. APSEC 2001: 169-176
31		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
30		Christine 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
28		Christine Choppy, Pascal Poizat, Jean-Claude Royer: A Global Semantics for Views. AMAST 2000: 165-180
27		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
	1999
26		Christine Choppy, Gianna Reggio: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT 1999: 106-125
25		Pascal Poizat, Christine Choppy, Jean-Claude Royer: From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods 1999: 939-962
	1998
24		Pascal 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
17		Michel 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
15		Stéphane Kaplan, Christine Choppy: Abstract Rewriting with Concrete Operations. RTA 1989: 178-186
14		Michel 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
10		Christine 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
7		Gilles Bernot, Michel Bidoit, Christine Choppy: Algebraic Semantics of Exception Handling. ESOP 1986: 173-186
6		Gilles 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
4		Christine Choppy, Colette Johnen: PETRIREVE: Proving Petri Net Properties with Rewriting Systems. RTA 1985: 271-286
3		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
2		Michel 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

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page