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

• L. Fribourg, D. Lesens, P. Moro and R. Soulat.  Robustness Analysis for Scheduling Problems using the Inverse Method.  In TIME'12. IEEE Computer Society Press,  2012. To appear. ( PDF | BibTeX )
• É. André, L. Fribourg, U. Kühne and R. Soulat.  IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems.  In FM'12, LNCS. Springer,  2012. To appear. ( PDF | BibTeX )
• A. Agarwal, A. Madalinski and S. Haar.  Effective Verification of Weak Diagnosability.  In SAFEPROCESS'12. IFAC,  2012. To appear. ( PDF | BibTeX )
• B. Barbot, S. Haddad and C. Picaronny.  Importance Sampling for Model Checking of Continuous-Time Markov Chains.  Research Report LSV-12-08, Laboratoire Spécification et Vérification, ENS Cachan, France,  2012. 15 pages. ( PDF | BibTeX )
• P. Bouyer, K. G. Larsen and N. Markey.  Lower-Bound Constrained Runs in Weighted Timed Automata.  In QEST'12. IEEE Computer Society Press,  2012. To appear. ( PDF | BibTeX )

All the LSV publications