Search results for "Néstor Cataño"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Néstor Cataño, Ijaz Ahmed	Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool.	FMICS	2011	DBLP DOI BibTeX RDF
1	Néstor Cataño, Camilo Rueda	Matelas: A Predicate Calculus Common Formal Definition for Social Networking.	ASM	2010	DBLP DOI BibTeX RDF
1	Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda	A Case Study in JML-Assisted Software Development.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Néstor Cataño, Camilo Rueda	Teaching Formal Methods for the Unconquered Territory.	TFM	2009	DBLP DOI BibTeX RDF
1	Néstor Cataño, Tim Wahls	Executing JML specifications of Java card applications: a case study.	SAC	2009	DBLP DOI BibTeX RDF	executable specifications, Java card, JML
1	Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs	Formal methods for smart cards: an experience report.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
1	Néstor Cataño	Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead.	Revista Colombiana de Computación	2005	DBLP BibTeX RDF
1	Néstor Cataño	Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.	TPHOLs	2005	DBLP DOI BibTeX RDF
1	Néstor Cataño	Slicing Event Spaces: Towards a Java Programs Checking Framework.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Néstor Cataño, Marieke Huisman	CHASE: A Static Checker for JML's Assignable Clause.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking

Displaying result #1 - #11 of 11 (100 per page; Change: )

Publications of "Néstor Cataño" ( http://dblp.L3S.de/Authors/Néstor_Cataño )