@InProceedings{ChoppyHeisel04a,
  author =       {C. Choppy and M. Heisel},
  title =        {Une approche {\`a} base de "patrons" pour la 
sp{\'e}cification et le d{\'e}veloppement de syst{\`e}mes d'information},
  booktitle =    {Proceedings Approches Formelles dans l'Assistance au
                       D{\'e}veloppement de Logiciels - AFADL'2004},
  pages =        "61--76",
  year =         {2004},
  lipn-category = "autc",
}   

@InProceedings{ChoppyReggioFASE04,
  author = 	 {C. Choppy and G. Reggio},
  title = 	 "{Improving Use Case Based Requirements Using
		  Formally Grounded Specifications}",
  booktitle = 	 {Fundamental Approaches to Software Engineering (FASE)},
  pages = 	 {244-260},
  year = 	 {2004},
  OPTeditor = 	 {M. Wermelinger and T. Margaria-Steffen},
  series = 	 lncs,
  volume = 2984,
  publisher = SV,
  lipn-category = "intc",
}

@InProceedings{ChoppyReggioIWAAPF04,
  author = 	 {C. Choppy and G. Reggio},
  title = 	 "{A UML-Based Method for the Commanded Behaviour Frame}",
  booktitle = 	 {Proc. of the 1st International Workshop on Advances and 
Applications of Problem Frames (IWAAPF 2004)},
  pages = 	 {27-34},
  editor = 	 {K. Cox and J.G. Hall and L. Rapanotti},
  organization = {An ICSE 2004 workshop},
  publisher = {IEEE},
  year = {2004},
  lipn-category = "autc",
}

@InProceedings{ChoppyReggioIASSE04,
  author = 	 {C. Choppy and G. Reggio},
  title = 	 "{Using UML for Problem Frame Oriented Software Development}",
  booktitle = 	 {Proc of the ISCA 13th Int. Conf. on Intelligent and 
Adaptative Systems and Software Engineering (IASSE-2004)},
  pages = 	 {239-244},
  editor = 	 {Walter Dosch and Narayan Debnath},
  publisher = {The International Society for Computers and Their Applications 
(ISCA)},
  year = {2004},
  lipn-category = "intc",
}

@InProceedings{ChoppyReggioASWEC06,
  author = 	 {C. Choppy and G. Reggio},
  title = 	 "{Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt}",
  booktitle = 	 {Proc of the Australian Software Engineering Conference (ASWEC-2006)},
  pages = 	 {19--28},
  editor = 	 {Jun Han and Mark Staples},
  publisher = {IEEE},
  year = {2006},
  lipn-category = "intc",
}

@article{ChoppyReggioJLAP06,
   author = {C. Choppy and G. Reggio},
   title = {A Formally Grounded Software Specification Method},
   journal = {Journal of Logic and Algebraic Programming},
  publisher = {Elsevier},
   volume = {67},
   number = {1-2},
   pages = {52--86},
   year = {2006},
  lipn-category = "jour",
}

@article{ChoppyReggioIST05,
   author = {C. Choppy and G. Reggio},
   title = "{A UML-Based Approach for Problem Frame Oriented Software Development}",
   journal = {Journal of Information and Software Technology},
   publisher = {Elsevier},
   volume = {47},
   pages = {929-954},
   year = {2005},
  lipn-category = "jour",
}

@Article{ChoppyHatHeisIE05,
   author = {C. Choppy and D. Hatebur and M. Heisel},
   title = {Architectural Patterns for Problem Frames},
   journal = {IEE Proceedings - Software, Special Issue on Relating Software Requirements and Architectures},
   volume = {152},
   number = {4},
   pages = {198-208},
   year = {2005},
  lipn-category = "jour",
}

@InProceedings{ChoppyHatHeisAPSEC06,
   author = {C. Choppy and D. Hatebur and M. Heisel},
  title = "{Component composition through architectural patterns for problem frames}",
  booktitle = 	 {Proc.\ of the Asia Pacific Software Engineering Conference (APSEC-2006)},
  pages = 	 {27--34},
  editor = 	 {Pankaj Jalote},
  publisher = {IEEE},
  year = {2006},
  lipn-category = "intc",
}

@TechReport{Reggio:2003:CLC,
  author =       "G. Reggio and E. Astesiano and C. Choppy",
  title =        "\textsc{Casl-Ltl}: {A} \textsc{Casl} Extension for
                 Dynamic Reactive Systems Version 1.0 -- Summary",
  number =       "DISI-TR-03-36",
  institution =  "Univ. of Genova",
  year =         "2003",
  lipn-category = "rapl"
}

@InBook{CC-LP-MeFo-06,
  author =       "C. Choppy and L. Petrucci",
  title =        "D\'emarches de sp\'ecification",
  booktitle =    "{M\'ethodes formelles pour les syst\`emes r\'epartis et
    coop\'eratifs}",
 crossref = {MeFoSyLoMa-06},
  chapter = 2,
  lipn-category = "chap"
}

@InProceedings{CC-LP-CPN-04,
  author =       "C. Choppy and L. Petrucci",
  title =        "Towards a methodology for modelling with {P}etri nets",
  booktitle =    "Proc.\ Workshop on Practical Use of Coloured Petri Nets,
                 Aarhus, Denmark",
  pages =        "39--56",
  year =         "2004",
  month =	 oct,
  note =         "Proceedings published as Report DAIMI-PB 570, Aarhus, DK",
  lipn-category = "autc"
}

@InProceedings{CC-SH-HK-FK-LP-YTM-ICTAC-06,
  author =       "C. Choppy and S. Haddad and H. Klaudel and F. Kordon and
    L. Petrucci and Y. Thierry-Mieg",
  title =        "Tutorial on Formal Methods for Distributed and Cooperative
    Systems",
  booktitle =    "Proc.\ 3rd Int. Coll. on Theoretical Aspects of Computing
    (1-day tutorial at ICTAC'06), Tunis, Tunisia",
  missingpages =        "362--365",
  year =         "2006",
  month =	 nov,
  publisher =    SV,
  series =    lncs,
  volume =	 4281,
  lipn-category = "tuto"
}

@InProceedings{ChoppyHeiselWADT,
  author = 	 {C. Choppy and D. Hatebur and M. Heisel},
  title = 	 "{Use of Patterns in Formal Development: Systematic Transition
From Problems to Architectural Designs}",
  booktitle = "{Recent Trends in Algebraic Development Techniques}",
  pages = 	 "205--220",
  year = 	 {2003},
  publisher =    SV,
  series =    lncs,
  volume = 	 {2755},
  lipn-category = "intc",
}

@InProceedings{BCC-DX07,
  author = 	{O. Bertrand and P. Carle and C. Choppy},
  title = 	 "{Chronicle modelling using automata and colored Petri nets}",
  booktitle = {The 18th International Workshop on Principles of Diagnosis (DX-07)},
  pages = 	 "229--234",
  year = 2007,
  lipn-category = "autc",
}

@InProceedings{BCC-RJCIA07,
  author = 	 {O. Bertrand and P. Carle and C. Choppy},
  title =  "{Vers une exploitation des simulations distribu\'ees 
par les chroniques}",
  booktitle =	 {8e Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 07)},
  pages = 	 "15--30",
  year = 2007,
  lipn-category = "autc",
}

@TechReport{CC-LP-GR07r,
  author =       "C. Choppy and L. Petrucci and G. Reggio",
  title =        "A method for modelling with coloured nets",
  institution = "Universite Paris 13",
  year =         "2007",
  lipn-category = "rapl"
}

@TechReport{CC-LP-GR06r,
  author =       "C. Choppy and L. Petrucci and G. Reggio",
  title =        "A method for modelling with place/transitions nets",
  institution = "Universite Paris 13",
  year =         "2006",
  lipn-category = "rapl"
}