Marie-Claude Gaudel

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
Testing can be formal, too TAPSOFT '95: Theory and Practice of Software Development	2022-08-18	Paper
Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives STACS 92	2022-08-18	Paper
Test selection for traces refinement Theoretical Computer Science	2014-12-12	Paper
A new dichotomic algorithm for the uniform random generation of words in regular languages Theoretical Computer Science	2014-01-10	Paper
Testing for refinement in \textsf{Circus} Acta Informatica	2012-03-23	Paper
Specification coverage for testing in Circus Unifying Theories of Programming	2010-11-09	Paper
Unifying theories in Isabelle/HOL Unifying Theories of Programming	2010-11-09	Paper
A note on traces refinement and the conf relation in the unifying theories of programming Unifying Theories of Programming	2010-08-31	Paper
FM 2005: Formal Methods Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 1706341 (Why is no real title available?)	2002-02-18	Paper
scientific article; zbMATH DE number 1630101 (Why is no real title available?)	2001-10-23	Paper
Dynamical systems with implicit state Programming and Computer Software	2001-04-26	Paper
scientific article; zbMATH DE number 1368947 (Why is no real title available?)	2000-09-18	Paper
Testing algebraic data types and processes: A unifying theory Formal Aspects of Computing	1999-12-06	Paper
scientific article; zbMATH DE number 194822 (Why is no real title available?)	1993-06-05	Paper
scientific article; zbMATH DE number 194823 (Why is no real title available?)	1993-06-05	Paper
scientific article; zbMATH DE number 4172406 (Why is no real title available?)	1990-01-01	Paper
How to make algebraic specifications more understandable: An experiment with the PLUSS specification language Science of Computer Programming	1989-01-01	Paper
Exception Handling: Formal Specification and Systematic Program Construction IEEE Transactions on Software Engineering	1985-01-01	Paper
scientific article; zbMATH DE number 3872656 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3808931 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3755855 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3566107 (Why is no real title available?)	1977-01-01	Paper

Research outcomes over time

This page was built for person: Marie-Claude Gaudel