Francis Klay

15 papers A* 2A 2C 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2011 J jnl
Rigid tree automata and applications.
Inf. Comput.
Florent Jacquemard, Francis Klay, Camille Vacher
2009 C conf
Rigid Tree Automata.
LATA
Florent Jacquemard, Francis Klay, Camille Vacher
2008 — conf
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder.
Formal Aspects in Security and Trust
Francis Klay, Laurent Vigneron
2007 J jnl
Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder
CoRR
Francis Klay, Judson Santiago, Laurent Vigneron
2007 — conf
Model Inference Approach for Detecting Feature Interactions in Integrated Systems.
ICFI
Muzammil Shahbaz, Benoît Parreaux, Francis Klay
2003 — conf
An Environment for Interactive Service Specification.
FIW
Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
2003 J jnl
Compared Study of Two Correctness Proofs for the Standardized.
Formal Methods Syst. Des.
Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin
2003 J jnl
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm.
J. Autom. Reason.
Michaël Rusinowitch, Sorin Stratulat, Francis Klay
2000 — conf
An incremental method for the design of feature-oriented systems.
FIREworks
Karim Berkani, Pascale Le Gall, Francis Klay
2000 A* conf
Mechanical Verification of an Ideal Incremental
CAV
Michaël Rusinowitch, Sorin Stratulat, Francis Klay
2000 A conf
Rewriting for Cryptographic Protocol Verification.
CADE
Thomas Genet, Francis Klay
1999 — conf
Correctness Proof of the Standardized Algorithm for ABR Conformance.
World Congress on Formal Methods
Jean-François Monin, Francis Klay
1994 A conf
Combination Techniques for Non-Disjoint Equational Theories.
CADE
Eric Domenjoud, Francis Klay, Christophe Ringeissen
1991 — conf
Undecidable Properties of Syntactic Theories.
RTA
Francis Klay
1990 A* conf
Syntactic Theories and Unification
LICS
Claude Kirchner, Francis Klay