"A Model-extraction approach to verifying concurrent C programs with CADP", Science of Computer Programming, vol. 77, no. 3: Elsevier, pp. 375–392, 2012.
"C.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs", Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings, Berlin, Springer, pp. 268–273, nov, 2007.
"On the Fly model checking for C programs with extended CADP in FMICS-jETI", 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings, Los Alamitos, California, IEEE Computer Society, pp. 321–329, nov, 2007.
"Implementing Influence Analysis using Parameterized Boolean Equation Systems", Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, feb, 2007.
"On-the-fly API influence analysis of software", Pedro Merino y Mohammed Bakkali (Eds.). Proceedings of the II International Conference on Science and Technology. JICT 2007, 21-22 March, Malaga, Spain, 23 March, Tangier, Morocco, Málaga, SPICUM; Serv. de Publicaciones, pp. 1–4, nov, 2007.
"On-the-Fly data flow analysis based on verification technology", Proc. of International Workshop on Compiler Optimization Meets Compiler Verification. COCV 2007. Braga, Portugal, 25 March, feb, 2007.
"On-the-Fly data flow analysis based on verification technology", Electronic Notes in Theoretical Computer Science, vol. 190, no. 4: Elsevier, pp. 33–48, dec, 2007.