Marie-Claude Gaudel

From MaRDI portal
Person:391417

Available identifiers

zbMath Open gaudel.marie-claudeWikidataQ21127205 ScholiaQ21127205MaRDI QIDQ391417

List of research outcomes





PublicationDate of PublicationType
Testing can be formal, too2022-08-18Paper
Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives2022-08-18Paper
Test selection for traces refinement2014-12-12Paper
A new dichotomic algorithm for the uniform random generation of words in regular languages2014-01-10Paper
Testing for refinement in \textsf{Circus}2012-03-23Paper
Specification coverage for testing in Circus2010-11-09Paper
Unifying theories in Isabelle/HOL2010-11-09Paper
A note on traces refinement and the conf relation in the unifying theories of programming2010-08-31Paper
FM 2005: Formal Methods2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q27717642002-02-18Paper
https://portal.mardi4nfdi.de/entity/Q27299042001-10-23Paper
Dynamical systems with implicit state2001-04-26Paper
https://portal.mardi4nfdi.de/entity/Q47025912000-09-18Paper
Testing algebraic data types and processes: A unifying theory1999-12-06Paper
https://portal.mardi4nfdi.de/entity/Q46928011993-06-05Paper
https://portal.mardi4nfdi.de/entity/Q46928021993-06-05Paper
https://portal.mardi4nfdi.de/entity/Q31973421990-01-01Paper
How to make algebraic specifications more understandable: An experiment with the PLUSS specification language1989-01-01Paper
Exception Handling: Formal Specification and Systematic Program Construction1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33392641984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36574111983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39392211981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41380621977-01-01Paper

Research outcomes over time

This page was built for person: Marie-Claude Gaudel