Selected publications by Christine Choppy


  • Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel. Behavioural analysis for distributed simulations. 19th Asia-Pacific Software Engineering Conference, Dec. 2012.

  • Etienne Andre, Christine Choppy, Kais Klai. Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets. ACM SIGSOFT Software Engineering Notes, 37(4), pp.1-8, 2012.

  • Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel. Handling Breakdowns in Unmanned Aircraft Systems. 18th International Symposium on Formal Methods - Doctoral Symposium, 2012.

  • Christine Choppy, Gianna Reggio, Khanh-Dung Tran. Formal or not, but precise modelling of services with CASL4SOA and SoaML. 4th International Conference on Knowledge and Systems Engineering (KSE12), pp.187-194, Aug. 2012.

  • Patrice Carle, Christine Choppy, Romain Kervarc. Detecting behaviours within HLA distributed simulations with added analysis components. 5th IEEE Aerospace Conference, March 2012.

  • Christine Choppy and Gianna Reggio. CASL-MDL, modelling dynamic systems with a formal foundation and a UML-like notation. Recent Trends in Algebraic Development Techniques, Selected papers, LNCS 7137, pp. 76--97, Springer, 2012.

  • Patrice Carle, Christine Choppy, Romain Kervarc. Behaviour recognition using chronicles. 5th IEEE International Conference on Theoretical Aspects of Software Engineering, pp. 100--107, August 2011.

  • Christine Choppy, Jörg Desel, Laure Petrucci Specialisation and Generalisation of Processes. Petri Nets and Software Engineering, PNSE'11. Volume 723 of CEUR Workshop Proceedings, pp. 109--123. June 2011.

  • Christine Choppy, Denis Hatebur and Maritta Heisel. Systematic Architectural Design based on Problem Patterns. Chapter 9 in: Relating Software Requirements and Architecture, John Grundy, Paris Avgeriou, Jon G. Hall, Patricia Lago, Ivan Mistrik (editors), Springer, pp.133-159, 2011.

  • Christine Choppy, Kais Klai, and Hacene Zidani. Formal Verification of UML State Diagrams: a Petri net based approach. ACM SIGSOFT Software Engineering Notes, 36(1), 2011.

  • Romain Kervarc, Patrice Carle, and Christine Choppy. Chronicles : a temporal logic framework for the study of large simulations. Proc. of the 10th IMACS/ISGG Meeting on Applied Scientific Computing and Tools (MASCOT10), IMACS Series in Computational and Applied Mathematics, 2010.

  • Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, and Laure Petrucci. The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. PETRI NETS 2010, LNCS 6128, pp. 145-164, June 2010.

  • Christine Choppy, Micaela Mayero, and Laure Petrucci. Coloured Petri net refinement specification and correctness proof with Coq. Journal of Innovations in Systems and Software Engineering, Springer and NASA, April 2010.

  • Christine Choppy, Oleg Sokolsky editors. Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, Revised Selected Papers, Lecture Notes in Computer Science, volume 6028, Springer, 2010.

  • Christine Choppy and Gianna Reggio. Service Modelling with Casl4Soa: A Well-Founded Approach - Part 1 (Service in isolation). Proc. Annual ACM Symposium on Applied Computing, pages 2444-2451, March 2010.

  • Fabien Bonnefoi, Christine Choppy and Fabrice Kordon. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), III, pages 159-188, Springer Verlag, November 2009.

  • O. Bertrand, A. Calonne, C. Choppy, S. Hong, K. Klai, F. Kordon, Y. Okuji, E. Paviot-Adet, L. Petrucci and J.-P. Smets. Verification of large-scale distributed database systems in the NEOPPOD project. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, pages 315-316, June 2009.

  • Christine Choppy, Olivier Bertrand, and Patrice Carle. Coloured Petri nets for chronicle recognition. 14th Int. Conf. on Reliable Software Technologies, Ada-Europe (invited paper), LNCS 5570, pages 266-281, June 2009.

  • Christine Choppy, Micaela Mayero, and Laure Petrucci. Coloured Petri net refinement specification and correctness proof with Coq. NASA Formal Methods Symposium (NFM 2009), April 2009.

  • Bertrand Meyer, Christine Choppy, Jorgen Staunstrup, and Jan van Leeuwen. Viewpoint: Research Evaluation for Computer Science. Communications of the ACM (CACM), 52:4, pp 31-34, April 2009.

  • Christine Choppy and Gianna Reggio. A Method for Developing UML State Machines. Proc. Annual ACM Symposium on Applied Computing, pp 382-388, Mars 2009.

  • Olivier Bertrand, Patrice Carle and Christine Choppy. Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. SIMUTools'09 - 2nd Int. Conference on SIMUlation Tools and Techniques, March 2009.

  • Fabien Bonnefoi, Christine Choppy and Fabrice Kordon. A discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 183-202, DAIMI PB 588, ISSN 0105-8517, Aarhus, Oct 2008.

  • Christine Choppy, Micaela Mayero, and Laure Petrucci. Experimenting formal proofs of Petri nets refinements. Electr. Notes Theor. Comput. Sci., 214:231-254, 2008.

  • Christine Choppy, Laure Petrucci and Gianna Reggio. A modelling approach with coloured Petri nets. Proc. 13th Int. Conference on Reliable Software Technologies / ADA-Europe, Venice, Italy, volume 5026 of Lecture Notes in Computer Science, Springer, pages 73-86, june 2008.

  • Olivier Bertrand, Patrice Carle and Christine Choppy. Reusing simulation through processing tools. Simulation Interoperability Workshop, Edimburg, June 2008.

  • Olivier Bertrand, Patrice Carle and Christine Choppy. Towards a coloured Petri nets semantics of a chronicle language for distributed simulation processing. CHINA 2008 Workshop (Concurrency metHods: Issues aNd Applications), pp. 105-119, June 2008.

  • Olivier Bertrand, Patrice Carle and Christine Choppy. Chronicle modelling using automata and coloured Petri nets. The 18th International Workshop on Principles of Diagnosis (DX-07), 2007.

  • Olivier Bertrand, Patrice Carle and Christine Choppy . Vers une exploitation des simulations distribuees par les chroniques. 8e Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 07), 2007.

  • Christine Choppy and Gianna Reggio. A Formally Grounded Software Specification Method. Journal of Logic and Algebraic Programming, Elsevier, 67(1-2):52-86, 2006.

  • Christine Choppy, Laure Petrucci. Démarches de spécification. in Méthodes formelles pour les systèmes répartis et coopératifs (S. Haddad, F. Kordon and L. Petrucci eds) Hermès, 2006

  • Christine Choppy, Denis Hatebur and Maritta Heisel. Component composition through architectural patterns for problem frames. Proc. of the Asia Pacific Software Engineering Conference (APSEC-2006), pages 27--34, IEEE, 2006.

  • C. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci and Y. Thierry-Mieg. Tutorial on Formal Methods for Distributed and Cooperative Systems. In 3rd Int. Coll. on Theoretical Aspects of Computing (ICTAC'06), Tunis, Tunisia, LNCS, november 2006.

  • Christine Choppy and Gianna Reggio. Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. Proc of the Australian Software Engineering Conference (ASWEC-2006), IEEE, (Jun Han and Mark Staples eds), April 2006, pp 19--28.

  • Christine Choppy and Gianna Reggio. A UML-Based Approach for Problem Frame Oriented Software Development. Journal of Information and Software Technology, 47:929-954, Elsevier, 2005.

  • Christine Choppy, Denis Hatebur and Maritta Heisel. Architectural Patterns for Problem Frames. IEE Proceedings - Software, Special Issue on Relating Software Requirements and Architectures, 152(4):198-208, 2005.

  • Christine Choppy and Gianna Reggio. Improving Use Case Based Requirements Using Formally Grounded Specifications. Proc. Fundamental Approaches to Software Engineering (FASE 2004), Lecture Notes in Computer Science 2984, pp 244-260, (M. Wermelinger and T. Margaria-Steffen eds), Springer Verlag, 2004.

  • Christine Choppy and Maritta Heisel. Une approche à base de ``patrons'' pour la spécification et le développement de systèmes d'information. AFADL 2004, Approches Formelles dans l'Assistance au Développement de Logiciels, pp. 61-76, Besancon, France, June 2004. pdf and A pattern-based approach for information systems specification and development . English Report

  • Christine Choppy and Laure Petrucci. Towards a Methodology for Modelling with Petri Nets. Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, DAIMI PB - 570, ISSN 0105-8517, pp. 39-56, October 2004.

  • Christine Choppy and Gianna Reggio. A UML-Based Method for the Commanded Behaviour Frame. Proc. of the 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF 2004), An ICSE 2004 workshop, pp 27-34, IEEE, (K. Cox, J.G. Hall and L. Rapanotti, eds), July 2004.

  • Christine Choppy and Maritta Heisel. Use of Patterns in Formal Development: Systematic Transition From Problems to Architectural Designs. Recent Trends in Algebraic Development Techniques, 16th WADT, Selected Papers, LNCS 2755, 205--220, (M. Wirsing, R. Hennicker and D. Pattinson, eds), Springer Verlag, 2003. pdf or ps

  • Christine Choppy, Pascal Poizat and Jean-Claude Royer. Formal Specification of Mixed Components with Korrigan. APSEC'2001 - Asia-Pacific Software Engineering Conference, H. Jifeng (Ed.), IEEE Computer Society Press. pp 169-176. Macau, China. 2001

  • Christine Choppy, Pascal Poizat and Jean-Claude Royer. Specifications of mixed systems in KORRIGAN with the support of a UML-inspired graphical notation. Fundamental Approaches to Software Engineering (FASE 2001)}, Genova, Italie, L.N.C.S. 2029, Springer-Verlag, pp.124-139, Avril 2001.

  • Christine Choppy and Gianna Reggio .Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. Recent Trends in Algebraic Development Techniques, 14th WADT, Selected Papers, LNCS 1827, pp.104-123, Springer-Verlag, 2000.
    extended version ps or pdf

  • Christine Choppy, Pascal Poizat, and Jean-Claude Royer .Integration and Composition of Static and Dynamic "Views": Unifying Approach to Complex System Specification. INT'2000, Workshop on Integration of Specification Techniques with Applications in Engineering, Berlin, Germany, Bericht-Nr 2000/04, ISSN 1436-9915, pp 12-20, 31 mars -- 1er Avril 2000.


    • REPORTS
  • Olivier Bertrand, Patrice Carle and Christine Choppy. Modélisation comparée de chroniques à l'aide d'automates à états finis ou de réseaux de Petri colorés. 50 pages, 2008.
  • Christine Choppy, Denis Hatebur and Maritta Heisel. Composing architectures based on architectural patterns for problem frames. December 2005, 32 pages
  • Christine Choppy, Denis Hatebur and Maritta Heisel. Architectural Patterns for Problem Frames. August 2005 [ pdf ]
  • Christine Choppy and Gianna Reggio. Requirements Capture and Specification for Enterprise Applications: an MDA compliant attempt (Complete Version). 2005. pdf or ps
  • Christine Choppy and Gianna Reggio. Requirements Capture and Specifications for Enterprise Applications: a UML based attempt. 2005. pdf or ps
  • Christine Choppy and Gianna Reggio. A Formally Grounded Specification of a Lift System. Technical Report of DISI - Universita di Genova, 2004. web document
  • Christine Choppy and Gianna Reggio. Towards a Formally Grounded Software Development Method. Technical Report of DISI - Universita di Genova, DISI-TR-03--35, Italy, 2003. pdf or ps
  • Gianna Reggio, Egidio Astesiano and Christine Choppy. CASL-LTL : A CASL Extension for Dynamic Reactive Systems Version 1.0-- Summary. Technical Report of DISI-TR-03-36 - Universita di Genova, 2003. [ ps or pdf ]

    • TALKS
  • Christine Choppy and Gianna Reggio. Formally grounded requirement specification methodology. [ slides and abstract ]