Program Analysis and Verification

2010

– D. da Cruz, P. R. Henriques, and J. S. Pinto. Contract-based Slicing. In B. Steffen, editor, Proceedings of the 4th International Symposium On Leveraging Applications  of Formal Methods, Verification and Validation (ISoLA’10). Springer, 2010. To appear. 

– A. Carvalho, J. Carvalho, J. S. Pinto, , and S. M. de Sousa. Model-Checking Temporal Properties of Real-Time HTL Programs. In Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’10). Springer, 2010. To appear. 

– J. Barros, D. da Cruz, P. R. Henriques, and J. S. Pinto. Assertion-based Slicing and Slice Graphs. In J. L. Fiadeiro and S. Gnesi, editors, Proceedings of  the eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM’10), 2010. 

– S. Areias, D. da Cruz, and J. S. Pinto. Contract-based Slicing Helps on Safety Reuse (poster). In Proceedings of 18th IEEE International Conference on Program Comprehension (ICPC’10), pages 62–63, June 2010. 

– D. da Cruz, P. R. Henriques, and J. S. Pinto. Gamaslicer: an Online Laboratory for Program Verification and Analysis. In proceedings of the 10th. Workshop on Language Descriptions Tools and Applications (LDTA’10), 2010. To appear.

– E. Brito and J. S. Pinto. Program Verification in SPARK and ACSL: A Comparative Case Study. In Proceedings of the 15th International Conference on Reliable Software Technologies (Ada-Europe 2010), Lecture Notes in Computer Science. Springer-Verlag, 2010. To appear

– J. Almeida, M. Barbosa, J. Pinto, and B. Vieira. Deductive Verification of Cryptographic Software. Innovations in Systems and Software Engineering – a NASA Journal. Springer, 2010. To appear.

2009

– J. B. Almeida, M. Barbosa, J. S. Pinto, and B. Vieira. Verifying Cryptographic Software Correctness with Respect to Reference Implementations. In M. Alpuente, B. Cook, and C. Joubert, editors, FMICS, volume 5825 of Lecture Notes in Computer Science, pages 37–52. Springer, 2009. Distinguished with EASST “best paper award”.

– J. B. Almeida, M. Barbosa, J. S. Pinto, and B. Vieira. Deductive Verification of Cryptographic Software. In Proceedings of the First NASA Formal Methods  Symposium (NFM 2009), NASA conference publication CP-2009-215407.