Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

David Sanán

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vmcai/ZhengS0LD013
- ask others
Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu: State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. VMCAI 2013: 515-535
2012
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/GallardoJMS12
- ask others
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: A model-extraction approach to verifying concurrent C programs with CADP. Sci. Comput. Program. 77(3): 375-392 (2012)
2011
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sensys/ZhengSSLDG11
- ask others
Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu: Towards bug-free implementation for wireless sensor networks. SenSys 2011: 407-408
2010
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sefm/GallardoS10
- ask others
María-del-Mar Gallardo, David Sanán: Verification of Dynamic Data Tree with mu-calculus Extended with Separation. SEFM 2010: 211-221

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/GallardoMS09
- ask others
María-del-Mar Gallardo, Pedro Merino, David Sanán: Model Checking Dynamic Memory Allocation in Operating Systems. J. Autom. Reasoning 42(2-4): 229-264 (2009)
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sttt/CamaraGMS09
- ask others
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán: Checking the reliability of socket based communication software. STTT 11(5): 359-374 (2009)
2008
[j1]
- view
  - electronic edition @ ercim.eu
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ercim/GallardoJMS08
- ask others
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: Web Services for Accessing Explicit State Space Verification Tools. ERCIM News 2008(73) (2008)
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/compsac/GallardoMS08
- ask others
María-del-Mar Gallardo, Pedro Merino, David Sanán: Model Checking C Programs with Dynamic Memory Allocation. COMPSAC 2008: 219-226
2007
[c4]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/GallardoMJS07
- ask others
María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán: On-the-fly model checking for C programs with extended CADP in FMICS-jETI. ICECCS 2007: 321-329
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/GallardoJMS07
- ask others
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. SPIN 2007: 268-273
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vveis/GallardoMS07
- ask others
María-del-Mar Gallardo, Pedro Merino, David Sanán: Extending CADP for Analyzing C Code. MSVVEIS 2007: 104-113
2006
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vveis/GallardoMS06
- ask others
María-del-Mar Gallardo, Pedro Merino, David Sanán: Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS 2006: 198-201