Jean-Claude Fernandez

From MaRDI portal
Person:548694

Available identifiers

zbMath Open fernandez.jean-claudeMaRDI QIDQ548694

List of research outcomes





PublicationDate of PublicationType
“On the fly” verification of behavioural equivalences and preorders2024-04-29Paper
An algorithm for reducing binary branchings2017-01-19Paper
Runtime enforcement monitors: Composition, synthesis, and enforcement abilities2011-06-30Paper
Formal Approaches to Software Testing2009-06-04Paper
Symbolic quality control for multimedia applications2008-09-12Paper
Test Generation for Network Security Rules2007-05-02Paper
State space reduction based on live variables analysis.2003-08-07Paper
https://portal.mardi4nfdi.de/entity/Q27541172001-12-18Paper
https://portal.mardi4nfdi.de/entity/Q27290782001-11-04Paper
https://portal.mardi4nfdi.de/entity/Q27220482001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q44943802000-08-10Paper
Adiabatic Perturbations of Solitons and Shock Waves2000-07-24Paper
Ehrenfest theorem for nonlinear Klein-Gordon solitary waves2000-07-16Paper
Protocol verification with the Aldébaran toolset1997-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40373841993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40370921993-05-18Paper
An implementation of an efficient algorithm for bisimulation equivalence1990-01-01Paper

Research outcomes over time

This page was built for person: Jean-Claude Fernandez

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:548694&oldid=7039469"
Powered by MediaWiki