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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marie-Claude Gaudel