LSV Publications

You can search for specific entries in the whole list of publications (including those published while their author was not at LSV).

Search for publications

in the "author" field (with reg. exp., e.g. (foo|bar)).
AND in the "title" field
AND in the "year" field (with reg. exp., e.g. 200(4|5)).
AND in the "abstract" field
AND in the whole entry
Restrict to publications at LSV
Sort by year

About LSV

Select by Year

Latest publications

All the LSV publications

S. Haar, J. Kolcák and L. PaulevéCombining Refinement of Parametric Models with Goal-Oriented Reduction of DynamicsIn VMCAI'19, LNCS. Springer, January 2019. To appear. Web page | PDF | BibTeX )
É. André, L. Fribourg, J.-M. Mota and R. SoulatVerification of an industrial asynchronous leader election algorithm using abstractions and parametric model checkingIn VMCAI'19, LNCS. Springer, January 2019. To appear. PDF | BibTeX )
Y. DuplouyApplying Formal Methods to Autonomous Vehicle Control.  Thèse de doctorat, École Normale Supérieure Paris-Saclay, France, November 2018. Web page | BibTeX )
A. DallonVerification of indistinguishability properties in cryptographic protocols - Small attacks and efficient decision with SAT-Equiv.  Thèse de doctorat, École Normale Supérieure Paris-Saclay, France, November 2018. PDF | BibTeX )
P. Bouyer, S. Jaziri and N. MarkeyEfficient Timed Diagnosis Using Automata with Timed DomainsIn RV'18, LNCS 11237, pages 205-221. Springer, September 2018. PDF | BibTeX )

All the LSV publications