Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781457701177

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transforming SystemC Transaction Level Models into UPPAAL timed automata

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970523 ◽

2011 ◽

Cited By ~ 16

Author(s):

Paula Herber ◽

Marcel Pockrandt ◽

Sabine Glesner

Keyword(s):

Timed Automata ◽

Transaction Level

Download Full-text

Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970505 ◽

2011 ◽

Cited By ~ 1

Author(s):

David Greaves ◽

Satnam Singh

Download Full-text

Parallel assertions for debugging parallel programs

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970525 ◽

2011 ◽

Cited By ~ 5

Author(s):

Daniel Schwartz-Narbonne ◽

Feng Liu ◽

Tarun Pondicherry ◽

David August ◽

Sharad Malik

Keyword(s):

Parallel Programs

Download Full-text

Verification of microarchitectural refinements in rule-based systems

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970511 ◽

2011 ◽

Cited By ~ 4

Author(s):

Nirav Dave ◽

Michael Katelman ◽

Myron King ◽

Arvind ◽

Jose Meseguer

Keyword(s):

Rule Based ◽

Rule Based Systems

Download Full-text

Controller synthesis for pipelined circuits using uninterpreted functions

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970508 ◽

2011 ◽

Cited By ~ 3

Author(s):

Georg Hofferek ◽

Roderick Bloem

Keyword(s):

Controller Synthesis ◽

Pipelined Circuits

Download Full-text

Mining assumptions for synthesis

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970509 ◽

2011 ◽

Cited By ~ 44

Author(s):

Wenchao Li ◽

Lili Dworkin ◽

Sanjit A. Seshia

Download Full-text

A flexible formal verification framework for industrial scale validation

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970515 ◽

2011 ◽

Cited By ~ 24

Author(s):

Anna Slobodova ◽

Jared Davis ◽

Sol Swords ◽

Warren Hunt

Keyword(s):

Formal Verification ◽

Scale Validation ◽

Industrial Scale

Download Full-text

GPU-based NoC simulator

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970514 ◽

2011 ◽

Cited By ~ 7

Author(s):

Mahdy Zolghadr ◽

Koosha Mirhosseini ◽

Saeid Gorgin ◽

Abbas Nayebi

Download Full-text

Efficient deadlock detection for concurrent systems

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970518 ◽

2011 ◽

Cited By ~ 8

Author(s):

Saddek Bensalem ◽

Andreas Griesmayer ◽

Axel Legay ◽

Thanh-Hung Nguyen ◽

Doron Peled

Keyword(s):

Concurrent Systems ◽

Deadlock Detection

Download Full-text

Polychronous controller synthesis from MARTE CCSL timing specifications

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970507 ◽

2011 ◽

Cited By ~ 20

Author(s):

Huafeng Yu ◽

Jean-Pierre Talpin ◽

Loic Besnard ◽

Thierry Gautier ◽

Herve Marchand ◽

...

Keyword(s):

Controller Synthesis

Download Full-text

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Transforming SystemC Transaction Level Models into UPPAAL timed automata

Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi

Parallel assertions for debugging parallel programs

Verification of microarchitectural refinements in rule-based systems

Controller synthesis for pipelined circuits using uninterpreted functions

Mining assumptions for synthesis

A flexible formal verification framework for industrial scale validation

GPU-based NoC simulator

Efficient deadlock detection for concurrent systems

Polychronous controller synthesis from MARTE CCSL timing specifications

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)
Latest Publications