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.