Jean-Claude Fernandez

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
“On the fly” verification of behavioural equivalences and preorders	2024-04-29	Paper
An algorithm for reducing binary branchings Lecture Notes in Computer Science	2017-01-19	Paper
Runtime enforcement monitors: Composition, synthesis, and enforcement abilities Formal Methods in System Design	2011-06-30	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2009-06-04	Paper
Symbolic quality control for multimedia applications Real-Time Systems	2008-09-12	Paper
Test Generation for Network Security Rules Lecture Notes in Computer Science	2007-05-02	Paper
State space reduction based on live variables analysis. Science of Computer Programming	2003-08-07	Paper
scientific article; zbMATH DE number 1670801 (Why is no real title available?)	2001-12-18	Paper
scientific article; zbMATH DE number 1629962 (Why is no real title available?)	2001-11-04	Paper
scientific article; zbMATH DE number 1617317 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 1487855 (Why is no real title available?)	2000-08-10	Paper
Adiabatic Perturbations of Solitons and Shock Waves Physica Scripta	2000-07-24	Paper
Ehrenfest theorem for nonlinear Klein-Gordon solitary waves Physical Review Letters	2000-07-16	Paper
Protocol verification with the Aldébaran toolset International Journal on Software Tools for Technology Transfer. STTT	1997-01-01	Paper
scientific article; zbMATH DE number 177515 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177241 (Why is no real title available?)	1993-05-18	Paper
An implementation of an efficient algorithm for bisimulation equivalence Science of Computer Programming	1990-01-01	Paper

Research outcomes over time

This page was built for person: Jean-Claude Fernandez