3. MEMOCODE 2005:
Verona,
Italy
3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings.
IEEE 2005 BibTeX
Keynote Talk I
Hardware Synthesis
Hardware Languages and Semantics
Invited Tutorial
Keynote Talk II
Software Verification
System-Level Verification
Panel
Keynote Talk III
Model Checking
Micro-Architectural Specification and Verification
Core Algorithms
Panel
Posters
- Nicola Bombieri, Andrea Fedeli, Franco Fummi:
Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling.
239-240
Electronic Edition (link) BibTeX
- Masahiro Fujita:
Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL.
241-242
Electronic Edition (link) BibTeX
- Ralph D. Jeffords, Ramesh Bharadwaj:
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.
243-244
Electronic Edition (link) BibTeX
- Elizabeth I. Leonard, Myla Archer:
Extended abstract: organizing automaton specifications to achieve faithful representation.
245-246
Electronic Edition (link) BibTeX
- Gustaf Naeser, Johan Furunäs:
Extended abstract: evaluation of delay queues for a Ravenscar HW kernel.
247-248
Electronic Edition (link) BibTeX
- Lars Pareto:
Extended abstract: requirements modeling within iterative, incremental processes.
249-250
Electronic Edition (link) BibTeX
- Peter Poplavko, Twan Basten, Milan Pastrnak, Jef L. van Meerbergen, Marco Bekooij, Peter H. N. de With:
Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications.
250-251
Electronic Edition (link) BibTeX
- Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger:
Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC.
253-254
Electronic Edition (link) BibTeX
- Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede:
Extended abstract: a race-free hardware modeling language.
255-256
Electronic Edition (link) BibTeX
- Iñigo Ugarte, Pablo Sanchez:
Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems.
257-258
Electronic Edition (link) BibTeX
- Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya:
Extended abstract: transition traversal coverage estimation for symbolic model checking.
259-260
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:29:28 2009
by Michael Ley (ley@uni-trier.de)