Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/charme

Publication years (Num. hits)
1993 (21) 1995 (21) 1997 (21) 1999 (35) 2001 (36) 2003 (36) 2005 (43)
Publication types (Num. hits)
inproceedings(206) proceedings(7)
Venues (Conferences, Journals, ...)
CHARME(213)
Authors
David L. Dill(5) Dominique Borrione(5) E. Allen Emerson(5) Ganesh Gopalakrishnan(5) Moshe Y. Vardi(5) Orna Kupferman(5) Paolo Camurati(5) Steven D. Johnson(5) Thomas Kropf(5) Edmund M. Clarke(4) Enrico Tronci(4) Fabio Somenzi(4) Kenneth L. McMillan(4) Laurence Pierre(4) Mark D. Aagaard(4) Orna Grumberg(4) More (+10 of total 380)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 11 keywords
Results
Found 213 publication records. Showing 213 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Paolo Camurati, Fulvio Corno, Paolo Prinetto A Methodology for System-Level Design for Verifiability. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Keith Hanna, Neil Daeche Strongly-Typed Theory of Structures and Behaviours. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Robin Sharp, Ole Rasmussen Rewriting with Constraints in T-Ruby. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jifeng He 0001, Ian Page, Jonathan P. Bowen Towards a Provably Correct Hardware Implementation of Occam. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jacques Chazarain, Hélène Collavizza Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Neal A. Harman, John V. Tucker Algebraic Models and the Correctness of Microprocessors. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Qinhai Zhang, Charles Trullemans Logic Verification of Incomplete Functions and Design Error Location. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Serafín Olcoz, José Manuel Colom A Petri Net Approach for the Analysis of VHDL Descriptions. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Phillip J. Windley A Theory of Generic Interpreters. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ayman M. Wahba, Einar J. Aas Verification and Diagnosis of Digital Systems by Termary Reasoning. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alan R. Martello, Steven P. Levitan Temporal Analysis of Time Bounded Digital Systems. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Scott F. Smith 0001, Amy E. Zwarico Correct Compilation of Specifications to Deterministic Asynchronous Circuits. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Joep L. W. Kessels Calculational Derivation of a Counter with Bounded Response Time. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #213 of 213 (100 per page; Change: )
Pages: [<<][1][2][3]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license