Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(498)
Sandeep Kumar Shukla
15
Arvind
10
Klaus Schneider
9
Nirav Dave
9
Franco Fummi
8
Masahiro Fujita
8
Graziano Pravadelli
7
Michael Pellauer
6
James C. Hoe
6
Tevfik Bultan
6
Keywords
(606)
Subscribe
Academic
Conferences
MEMOCODE - International Conference on Formal Methods and Models for Co-Design
MEMOCODE - International Conference on Formal Methods and Models for Co-Design
Publications: 259
|
Citation Count: 974 (Self-Citation: 63)
|
H-Index: 14Year Range: 2003-2011
Interests:
Programming Languages
Paper submissions due: 4 March 2011, Duration:
11 - 13 July 2011, Cambridge, UK
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(259)
Rigorous system level modeling and analysis of mixed HW/SW systems
P. Bourgos
,
A. Basu
,
M. Bozga
,
S. Bensalem
,
J. Sifakis
,
K. Huang
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
A flexible formal verification framework for industrial scale validation
Anna Slobodova
,
Jared Davis
,
Sol Swords
,
Warren Hunt
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
Parallel assertions for debugging parallel programs
Daniel Schwartz-Narbonne
,
Feng Liu
,
Tarun Pondicherry
,
David August
,
Sharad Malik
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
Verification of microarchitectural refinements in rule-based systems
Nirav Dave
,
Michael Katelman
,
Myron King
,
Arvind
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
Polychronous controller synthesis from MARTE CCSL timing specifications
Huafeng Yu
,
Jean-Pierre Talpin
,
Loic Besnard
,
Thierry Gautier
,
Herve Marchand
,
Paul Le Guernic
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011