|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | M. Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán |
A model-extraction approach to verifying concurrent C programs with CADP.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manchun Zheng, Jun Sun 0001, David Sanán, Yang Liu, Jin Song Dong, Yu Gu 0001 |
Towards bug-free implementation for wireless sensor networks. |
SenSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie del Mar Gallardo, David Sanán |
Verification of Dynamic Data Tree with mu-calculus Extended with Separation. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, David Sanán |
Model Checking Dynamic Memory Allocation in Operating Systems. |
J. Autom. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Operating systems, Dynamic memory allocation |
| 1 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán |
Checking the reliability of socket based communication software. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán |
Web Services for Accessing Explicit State Space Verification Tools. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, David Sanán |
Model Checking C Programs with Dynamic Memory Allocation. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
software model checking, pointers, dynamic memory, Model extraction |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Mar Gallardo, Pedro Merino, David Sanán |
Extending CADP for Analyzing C Code. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, David Sanán |
Towards Model Checking C Code with OPEN/CÆSAR. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")