Travelled to:1 × Finland
1 × Spain
1 × Switzerland
2 × Germany
2 × USA
3 × Italy
6 × France
Collaborated with:G.Reggio S.Kaplan M.Bidoit P.Poizat J.Royer ∅ C.Johnen O.Bertrand P.Carle L.Petrucci F.Capy M.Soria G.Bernot G.Guiho E.Astesiano H.Hußmann A.Alebrahim I.Côté M.Heisel D.Hatebur S.Liu Y.Liu É.André J.Sun B.Wadhwa J.S.Dong
Talks about:specif (6) approach (4) formal (4) uml (4) algebra (3) system (3) semant (3) rewrit (3) machin (3) integr (3)
Person: Christine Choppy
DBLP: Choppy:Christine
Contributed to:
2013
20122010
200920092008
200420012000
1999
1990
1989
19871987
19861985
19851985Wrote 19 papers:
- IFM-2013-LiuLACSWD #semantics #state machine #uml
- A Formal Semantics for Complete UML State Machines with Communications (SL, YL, ÉA, CC, JS, BW, JSD), pp. 331–346.
- SAC-2012-AlebrahimCHCH #architecture #design #interactive #model transformation #problem
- Designing architectures from problem descriptions by interactive model transformation (AA, IC, MH, CC, DH), pp. 1256–1258.
- SAC-2010-ChoppyR #approach #modelling
- A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation) (CC, GR), pp. 2451–2458.
- AdaEurope-2009-ChoppyBC #petri net #recognition
- Coloured Petri Nets for Chronicle Recognition (CC, OB, PC), pp. 266–281.
- SAC-2009-ChoppyR #state machine #uml
- A method for developing UML state machines (CC, GR), pp. 382–388.
- AdaEurope-2008-ChoppyPR #approach #modelling #petri net
- A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.
- FASE-2004-ChoppyR #case study #requirements #specification #using
- Improving Use Case Based Requirements Using Formally Grounded Specifications (CC, GR), pp. 244–260.
- FASE-2001-ChoppyPR #specification #uml #visual notation
- Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation (CC, PP, JCR), pp. 124–139.
- FASE-2000-ReggioACH #approach #formal method #lightweight #state machine #uml
- Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.
- FM-v2-1999-PoizatCR #approach #automaton #concurrent #requirements
- From Informal Requirements to COOP: A Concurrent Automata Approach (PP, CC, JCR), pp. 939–962.
- ICSE-1990-ChoppyK #development #prototype #specification
- Mixing Abstract and Concrete Modules: Specification, Development and Prototyping (CC, SK), pp. 173–184.
- RTA-1989-BidoitCC #named #specification
- ASSPEGIQUE: An Integrated Specification Environment (MB, FC, CC), p. 547.
- RTA-1989-KaplanC
- Abstract Rewriting with Concrete Operations (SK, CC), pp. 178–186.
- ESEC-1987-Choppy #integration #prototype #specification #testing
- Formal Specifications, Prototyping and Integration Tests (CC), pp. 172–179.
- RTA-1987-ChoppyKS #algorithm #complexity #term rewriting
- Algorithmic Complexity of Term Rewriting Systems (CC, SK, MS), pp. 256–273.
- ESOP-1986-BernotBC #algebra #exception #semantics
- Algebraic Semantics of Exception Handling (GB, MB, CC), pp. 173–186.
- RTA-1985-ChoppyJ #named #petri net #proving #term rewriting
- PETRIREVE: Proving Petri Net Properties with Rewriting Systems (CC, CJ), pp. 271–286.
- CAAP-1985-ChoppyGK #algebra #compilation #lisp #proving #semantics
- A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics (CC, GG, SK), pp. 403–415.
- CSE-1985-BidoitC #algebra #ide #named #specification
- ASSPEGIQUE: An Integrated Environment for Algebraic Specifications (MB, CC), pp. 246–260.