HDR

This page contains all information about my "Habilitation à Diriger des Recherches".

* Title:

Automated Deduction applied to the Analysis and Verification of Infinite State Systems.

* Jury:

*President
Laurent Fribourg, CNRS, LSV - ENS Cachan
*Reviewers
Bernhard Gramlich, TU Wien
Christopher Lynch, Clarkson University
Ralf Treinen, Université Paris Diderot
*Examiners
Paliath Narendran, University at Albany
Michaël Rusinowitch, INRIA Nancy Grand-Est
Peter Ryan, University of Luxembourg
Jeanine Souquières, Université Nancy 2

* Defence:

The defence took place on November 14, 2011, at LORIA.

* Dissertation:

Here is the final version: HDR-LjV.pdf

* Selected publications:

[CSL95] (reference paper for Chapter 1)
L. Vigneron. Positive Deduction modulo Regular Theories. In H.K. Büning, editor, Proceedings of the Annual Conference of the European Association for Computer Science Logic, Paderborn (Germany), volume 1092 of Lecture Notes in Computer Science, pages 468-485, September 1995. Springer-Verlag. Selected paper.
[JAR03] (reference paper for Chapter 2)
L. Bachmair, A. Tiwari and L. Vigneron. Abstract Congruence Closure. Journal of Automated Reasoning, 31(2): 129-168, January 2003. Kluwer Academic Publishers.
[RSinKD98] (reference paper for Chapter 3)
A. Wasilewska and L. Vigneron. Rough Algebras and Automated Deduction. In L. Polkowski and A. Skowron, editors, Rough Sets in Knowledge Discovery 1, pages 261-275. Springer Verlag, July 1998.
[LPAR00] (reference paper for Chapter 4)
F. Jacquemard, M. Rusinowitch and L. Vigneron. Compiling and Verifying Security Protocols. In M. Parigot and A. Voronkov, editors, Proceedings of 7th Conference on Logic for Programming and Automated Reasoning (LPAR 2000), St Gilles (Reunion, France), volume 1955 of Lecture Notes in Computer Science, pages 131-160. Springer-Verlag, November 2000.
[ASE04] (reference paper for Chapter 5)
Y. Chevalier and L. Vigneron. Strategy for Verifying Security Protocols with Unbounded Message Size. Journal of Automated Software Engineering, 11(2): 141-166, April 2004. Kluwer Academic Publishers.

Laurent Vigneron.