Biblio

Found 15 results
Filters: Author is David Sanán  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Gallardo M-del-M, Merino P, Sanán D.  2008.  Automatic verification of C programs with dynamic memory allocation. Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. :247–261.
C
Gallardo M-del-M, Merino P, Sanán D.  2007.  C.OPEN, a tool for analyzing C code in CADP. Mar{ía del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. :199–214.
Gallardo M-del-M, Joubert C, Merino P, Sanán D.  2007.  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. :268–273.
Merino P, Gallardo M-del-M, Sanán D.  2006.  C.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs. Joseph Barjis; Ulrich Ulte-Nitsche and Juan C. Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on(...) MSVVEIS, 2006, Paphos, Cyprus, May.
D
Panizo L, Gallardo M-del-M, Merino P, Sanán D, Linares A.  2010.  Dam management based on model checking techniques. 8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010. :9–13.
E
Gallardo M-del-M, Merino P, Sanán D.  2007.  Extending CADP for analyzing C code. Juan C. Augusto; Joseph Barjis and Ulrich Ultes-Nitsche (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 5th International Workshop on (...). MSVVEIS-2007, Funchal, Madeira, Portugal, June. :104–113.
F
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  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. :321–329.
M
Gallardo M-del-M, Merino P, Sanán D.  2009.  Model checking dynamic data structures in operating systems. Marisa Llorens y Javier Oliver (eds.). Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos.10,11 y 12 de Junio de 2009. Sagunto (Valencia). :3–16.
Gallardo M-del-M, Merino P, Sanán D.  2009.  Model Checking dynamic memory allocation in operating systems. Journal of Automated Reasoning. 42:229–264.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2012.  A Model-extraction approach to verifying concurrent C programs with CADP. Science of Computer Programming. 77:375–392.
O
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  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. :1–4.
V
Gallardo M-del-M, Sanán D.  2012.  Verification of complex dynamic data tree with mu-calculus. Automated Software Engineering. :onlinefirst.
Gallardo M-del-M, Sanán D.  2010.  Verification of dynamic data tree with mu-calculus extended with separation. V{íctor M. Gul{ías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010. :109–110.
Gallardo M-del-M, Sanán D.  2010.  Verification of dynamic data tree with mu-calculus extended with separation. Proceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy. :211–221.