Christine Choppy

78 papers A* 1A 3B 5C 4Misc 6Journal 16Unranked 37

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Formalizing UML State Machines for Automated Verification - A Survey. CoRR Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
2023	J	`jnl`	Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
2018	J	`jnl`	Specialisation and Generalisation of Processes. Enterp. Model. Inf. Syst. Archit. Christine Choppy, Jörg Desel, Laure Petrucci
2016	J	`jnl`	Formalising concurrent UML state machines using coloured Petri nets. Formal Aspects Comput. Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
2015	—	`conf`	A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems Gianna Reggio, Egidio Astesiano, Christine Choppy
2014	—	`conf`	Formalising Concurrent UML State Machines Using Coloured Petri Nets. KSE Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
2014	—	`conf`	Modelling Timed Concurrent Systems Using Activity Diagram Patterns. KSE Étienne André, Christine Choppy, Thierry Noulamo
2014	—	`ch.`	Optimizing Functional and Quality Requirements According to Stakeholders' Goals. Relating System Quality and Software Architecture Azadeh Alebrahim, Christine Choppy, Stephan Faßbender, Maritta Heisel
2014	—	`conf`	Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. ESSS Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
2013	—	`ed.`	1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, Singapore, July 15-16, 2013 FSFMA Christine Choppy, Jun Sun
2013	—	`conf`	A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows. APSEC (1) Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
2013	B	`conf`	A Formal Semantics for Complete UML State Machines with Communications. IFM Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong
2013	—	`conf`	Activity Diagrams Patterns for Modeling Business Processes. SERA (selected papers) Étienne André, Christine Choppy, Gianna Reggio
2013	—	`conf`	Coloured Petri Nets Refinements. PNSE+ModPE Christine Choppy, Laure Petrucci, Alfred Sanogo
2013	—	`conf`	Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. FSFMA Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
2012	C	`conf`	Behavioural Analysis for Distributed Simulations. APSEC Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
2012	Misc	`conf`	Designing architectures from problem descriptions by interactive model transformation. SAC Azadeh Alebrahim, Isabelle Côté, Maritta Heisel, Christine Choppy, Denis Hatebur
2012	—	`conf`	Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. KSE Christine Choppy, Gianna Reggio, Khanh-Dung Tran
2012	J	`jnl`	Formalizing non-concurrent UML state machines using colored petri nets. ACM SIGSOFT Softw. Eng. Notes Étienne André, Christine Choppy, Kais Klai
2012	J	`jnl`	Modelling and Formal Verification of the NEO Protocol. Trans. Petri Nets Other Model. Concurr. Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef
2011	Misc	`conf`	Behaviour Recognition Using Chronicles. TASE Patrice Carle, Christine Choppy, Romain Kervarc
2011	J	`jnl`	Formal verification of UML state diagrams: a petri net based approach. ACM SIGSOFT Softw. Eng. Notes Christine Choppy, Kais Klai, Hacene Zidani
2011	—	`conf`	Specialisation and Generalisation of Processes. PNSE Christine Choppy, Jörg Desel, Laure Petrucci
2011	—	`ch.`	Systematic Architectural Design Based on Problem Patterns. Relating Software Requirements and Architectures Christine Choppy, Denis Hatebur, Maritta Heisel
2010	Misc	`conf`	A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). SAC Christine Choppy, Gianna Reggio
2010	—	`conf`	Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. WADT Christine Choppy, Gianna Reggio
2010	J	`jnl`	Coloured Petri net refinement specification and correctness proof with Coq. Innov. Syst. Softw. Eng. Christine Choppy, Micaela Mayero, Laure Petrucci
2010	—	`ed.`	Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers Monterey Workshop Christine Choppy, Oleg Sokolsky
2010	B	`conf`	The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. Petri Nets Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci
2009	J	`jnl`	A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Trans. Petri Nets Other Model. Concurr. Fabien Bonnefoi, Christine Choppy, Fabrice Kordon
2009	Misc	`conf`	A method for developing UML state machines. SAC Christine Choppy, Gianna Reggio
2009	Misc	`conf`	Coloured Petri Nets for Chronicle Recognition. Ada-Europe Christine Choppy, Olivier Bertrand, Patrice Carle
2009	—	`conf`	Coloured Petri net refinement specification, and correctness proof with Coq. NASA Formal Methods Christine Choppy, Micaela Mayero, Laure Petrucci
2009	—	`conf`	Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. SimuTools Olivier Bertrand, Patrice Carle, Christine Choppy
2009	J	`jnl`	Viewpoint - Research evaluation for computer science. Commun. ACM Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen
2008	Misc	`conf`	A Modelling Approach with Coloured Petri Nets. Ada-Europe Christine Choppy, Laure Petrucci, Gianna Reggio
2008	—	`conf`	Experimenting Formal Proofs of Petri Nets Refinements. Refine@FM Christine Choppy, Micaela Mayero, Laure Petrucci
2006	J	`jnl`	A formally grounded software specification method. J. Log. Algebraic Methods Program. Christine Choppy, Gianna Reggio
2006	C	`conf`	Component composition through architectural patterns for problem frames. APSEC Christine Choppy, Denis Hatebur, Maritta Heisel
2006	—	`conf`	Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC Christine Choppy, Gianna Reggio
2006	C	`conf`	Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
2005	J	`jnl`	A UML-based approach for problem frame oriented software development. Inf. Softw. Technol. Christine Choppy, Gianna Reggio
2005	J	`jnl`	Architectural patterns for problem frames. IEE Proc. Softw. Christine Choppy, Denis Hatebur, Maritta Heisel
2004	B	`conf`	Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE Christine Choppy, Gianna Reggio
2004	—	`conf`	Using UML for Problem Frame Oriented Software Development. IASSE Christine Choppy, Gianna Reggio
2002	—	`conf`	Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. WADT Christine Choppy, Maritta Heisel
2001	C	`conf`	Formal Specification of Mixed Components with Korrigan. APSEC Christine Choppy, Pascal Poizat, Jean-Claude Royer
2001	B	`conf`	Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. FASE Christine Choppy, Pascal Poizat, Jean-Claude Royer
2001	J	`jnl`	The Korrigan Environment. J. Univers. Comput. Sci. Christine Choppy, Pascal Poizat, Jean-Claude Royer
2000	—	`conf`	A Global Semantics for Views. AMAST Christine Choppy, Pascal Poizat, Jean-Claude Royer
2000	B	`conf`	Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann
2000	—	`ed.`	Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers WADT Didier Bert, Christine Choppy, Peter D. Mosses
1999	—	`conf`	From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods Pascal Poizat, Christine Choppy, Jean-Claude Royer
1999	—	`conf`	Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT Christine Choppy, Gianna Reggio
1998	—	`conf`	Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT Pascal Poizat, Christine Choppy, Jean-Claude Royer
1997	—	`conf`	A method for FORTRAN programs reverse engineering using algebraic specifications. WADT Sophie Cherki, Christine Choppy
1996	—	`conf`	ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. AMAST Michel Bidoit, Christine Choppy, Frédéric Voisin
1995	—	`conf`	Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU COMPASS/ADT Michel Bidoit, Christine Choppy, Frédéric Voisin
1993	—	`ed.`	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 COMPASS/ADT Michel Bidoit, Christine Choppy
1992	—	`conf`	About the Correctness and Adequacy of PLUSS Specifications. COMPASS/ADT Christine Choppy
1992	—	`conf`	Integrating ASSPEGIQUE and LP. Larch Christine Choppy, Michel Bidoit
1990	A*	`conf`	Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. ICSE Christine Choppy, Stéphane Kaplan
1990	—	`conf`	The design and specification of the ASSPEGIQUE database. DISCO Michel Bidoit, Francis Capy, Christine Choppy
1989	—	`conf`	ASSPEGIQUE: An Integrated Specification Environment. RTA Michel Bidoit, Francis Capy, Christine Choppy
1989	—	`conf`	Abstract Rewriting with Concrete Operations. RTA Stéphane Kaplan, Christine Choppy
1989	J	`jnl`	Complexity Analysis of Term-Rewriting Systems. Theor. Comput. Sci. Christine Choppy, Stéphane Kaplan, Michèle Soria
1987	—	`conf`	ASSPEGIQUE: An Integrated Specification Environment. CTRS Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
1987	—	`conf`	Algorithmic Complexity of Term Rewriting Systems. RTA Christine Choppy, Stéphane Kaplan, Michèle Soria
1987	A	`conf`	Asspegique: An Integrated Specification Environment. STACS Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
1987	—	`conf`	Formal Specifications, Prototyping and Integration Tests. ESEC Christine Choppy
1986	J	`jnl`	Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors. Theor. Comput. Sci. Gilles Bernot, Michel Bidoit, Christine Choppy
1986	A	`conf`	Abstract Implementations and Correctness Proofs. STACS Gilles Bernot, Michel Bidoit, Christine Choppy
1986	A	`conf`	Algebraic Semantics of Exception Handling. ESOP Gilles Bernot, Michel Bidoit, Christine Choppy
1986	—	`conf`	Complexity of Abstract Data Types. ADT Christine Choppy
1985	—	`conf`	A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. TAPSOFT, Vol.1 Christine Choppy, G. Guiho, Stéphane Kaplan
1985	—	`conf`	ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. TAPSOFT, Vol.2 Michel Bidoit, Christine Choppy
1985	—	`conf`	PETRIREVE: Proving Petri Net Properties with Rewriting Systems. RTA Christine Choppy, Colette Johnen
1984	—	`conf`	The ASSPEGIQUE Specification Environment - Motivations and Design. ADT Michel Bidoit, Christine Choppy, Frédéric Voisin