ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)
Latest Publications
TOTAL DOCUMENTS
26
(FIVE YEARS 0)
H-INDEX
8
(FIVE YEARS 0)
Published By IEEE
9781457701177
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
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
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
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
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close