Search results for "MEMOCODE"

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

Hits ?▲	Authors	Title	Venue	Year	Link
1		1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings	MEMOCODE	2003	DBLP BibTeX RDF
1	Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang	High Level Verification of Control Intensive Systems Using Predicate Abstraction.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Grant Martin, Sandeep K. Shukla	Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Dumitru Potop-Butucaru, Robert de Simone	Optimizations for Faster Execution of Esterel Programs.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Rajesh K. Gupta 0001, Sandeep K. Shukla	Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Görschwin Fey, Rolf Drechsler	Finding Good Counter-Examples to Aid Design Verification.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Kenneth L. McMillan	Methods for exploiting SAT solvers in unbounded model checking.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Thierry Grandpierre, Yves Sorel	From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	José Meseguer 0001	Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Tobias Schüle, Klaus Schneider 0001	Exact Runtime Analysis Using Automata-Based Symbolic Simulation.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Rohit Jindal, Kshitiz Jain	Verification of Transaction-Level SystemC models using RTL Testbenches.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Sudarshan K. Srinivasan, Miroslav N. Velev	Formal Verification of an Intel XScale Processor Model with Scoreboarding, Specialized Execution Pipelines, and Impress Data-Memory Exceptions.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Sérgio Murilo Maciel Fernandes, Paulo Romero Martins Maciel	Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Sander Stuijk, Twan Basten	Analyzing Concurrency in Computational Networks.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko	How to Compute the Refinement Relation for Parameterized Systems.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Jinfeng Huang, Jeroen Voeten, Marc Geilen	Real-time Property Preservation in Approximations of Timed Systems.	MEMOCODE	2003	DBLP DOI BibTeX RDF

Displaying result #501 - #516 of 516 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6]

Publications at "MEMOCODE"( http://dblp.L3S.de/Venues/MEMOCODE )