Publications in Verification

Articles in Second-Level Refereed Conferences and Journals:

1. César Sánchez, Martin Leucker. Regular Linear Temporal Logic with Past. Proc. of the 11th Int'l Conf. on Verification, Model Checking, and Abstract Interpretation, (VMCAI'10), LNCS, Vol. 5944, pages 295-311, Springer, 2010.

   CORE: B. CiteseerX position (ave) top 14%, impact (ave) 0.330. Average position: top 39%.

2. Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez. Analyzing the Impact of Change in Multi-threaded Programs. Proc. of the 13th Int'l Conf. on Fundamental Approaches to Software Engineering (FASE'10), LNCS, Vol. 6013, pages 293-307, Springer, 2010.

   CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.250. Average position: top 45%.

3. Alejandro Sánchez, César Sánchez. Decision Procedures for the Temporal Verification of Concurrent Lists. Proc. of the 12th Int'l Conf. on Formal Engineering Methods (ICFEM'10), LNCS, Vol. 6447, pages 74-89, Springer, 2010.

   CORE: B. CiteseerX position (ave) top 45%, impact (ave) 0.142. Average position: top 54%.