Christine Choppy

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstract rewriting with concrete operators Rewriting Techniques and Applications	2022-12-09	Paper
Formalising concurrent UML state machines using coloured Petri nets Formal Aspects of Computing	2016-09-20	Paper
A Framework for Defining and Comparing Modelling Methods Software, Services, and Systems	2015-06-22	Paper
Experimenting Formal Proofs of Petri Nets Refinements Electronic Notes in Theoretical Computer Science	2014-03-26	Paper
Casl-Mdl, modelling dynamic systems with a formal foundation and a UML-like notation Recent Trends in Algebraic Development Techniques	2012-06-08	Paper
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science	2007-11-28	Paper
A formally grounded software specification method The Journal of Logic and Algebraic Programming	2006-04-28	Paper
scientific article; zbMATH DE number 1696887 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1693517 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1617294 (Why is no real title available?)	2001-07-11	Paper
The Korrigan environment Journal of Universal Computer Science	2001-05-13	Paper
scientific article; zbMATH DE number 139990 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 4092743 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3943002 (Why is no real title available?)	1986-01-01	Paper
Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors Theoretical Computer Science	1986-01-01	Paper
scientific article; zbMATH DE number 3938540 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3921987 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3936505 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3928329 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Christine Choppy