Marie-Claude Gaudel

Available identifiers

zbMath Open gaudel.marie-claudeWikidataQ21127205 ScholiaQ21127205MaRDI QIDQ391417

List of research outcomes

Publication	Date of Publication	Type
Testing can be formal, too	2022-08-18	Paper
Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives	2022-08-18	Paper
Test selection for traces refinement	2014-12-12	Paper
A new dichotomic algorithm for the uniform random generation of words in regular languages	2014-01-10	Paper
Testing for refinement in \textsf{Circus}	2012-03-23	Paper
Specification coverage for testing in Circus	2010-11-09	Paper
Unifying theories in Isabelle/HOL	2010-11-09	Paper
A note on traces refinement and the conf relation in the unifying theories of programming	2010-08-31	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2771764	2002-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q2729904	2001-10-23	Paper
Dynamical systems with implicit state	2001-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4702591	2000-09-18	Paper
Testing algebraic data types and processes: A unifying theory	1999-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4692801	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4692802	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q3197342	1990-01-01	Paper
How to make algebraic specifications more understandable: An experiment with the PLUSS specification language	1989-01-01	Paper
Exception Handling: Formal Specification and Systematic Program Construction	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3339264	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3657411	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939221	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138062	1977-01-01	Paper

Research outcomes over time

This page was built for person: Marie-Claude Gaudel