Francis Klay

According to our database, Francis Klay authored at least 15 papers between 1990 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Rigid tree automata and applications.

Florent Jacquemard, Francis Klay, Camille Vacher

Inf. Comput., 2011

2009

Rigid Tree Automata.

Florent Jacquemard, Francis Klay, Camille Vacher

Proceedings of the Language and Automata Theory and Applications, 2009

2008

Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder.

Francis Klay, Laurent Vigneron

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder

Francis Klay, Judson Santiago, Laurent Vigneron

CoRR, 2007

Model Inference Approach for Detecting Feature Interactions in Integrated Systems.

Muzammil Shahbaz, Benoît Parreaux, Francis Klay

Proceedings of the Feature Interactions in Software and Communication Systems IX, 2007

2003

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm.

Michaël Rusinowitch, Sorin Stratulat, Francis Klay

J. Autom. Reason., 2003

Compared Study of Two Correctness Proofs for the Standardized.

Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin

Formal Methods Syst. Des., 2003

An Environment for Interactive Service Specification.

Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2000

An incremental method for the design of feature-oriented systems.

Karim Berkani, Pascale Le Gall, Francis Klay

Proceedings of the Language Constructs for Describing Features, 2000

Mechanical Verification of an Ideal Incremental <i>ABR</i> Conformance.

Michaël Rusinowitch, Sorin Stratulat, Francis Klay

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Rewriting for Cryptographic Protocol Verification.

Thomas Genet, Francis Klay

Proceedings of the Automated Deduction, 2000

1999

Correctness Proof of the Standardized Algorithm for ABR Conformance.

Jean-François Monin, Francis Klay

Proceedings of the FM'99 - Formal Methods, 1999

1994

Combination Techniques for Non-Disjoint Equational Theories.

Eric Domenjoud, Francis Klay, Christophe Ringeissen

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1991

Undecidable Properties of Syntactic Theories.

Francis Klay

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990

Syntactic Theories and Unification

Claude Kirchner, Francis Klay

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990